|
..
|
|
AddClarifyingParensIntention
|
|
ChangeArgumentExplicitnessIntention
|
|
CreateLetBindingIntention
|
|
ExtractExpressionToFunctionIntention
|
|
GenerateElimMissingClausesIntention
|
|
GenerateFunctionFromGoalIntention
|
|
GenerateMissingClausesIntention
|
|
ImplementFieldsInCoClauseIntention
|
|
RemoveClarifyingParensIntention
|
|
ReplaceBracketsIntention
|
|
ReplaceMetaWithResultIntention
|
|
ReplaceWithNormalFormIntention
|
|
ReplaceWithShortNameIntention
|
|
SplitAtomPatternIntention
|
|
SwapInfixOperatorArgumentsIntention
|
|
WrapInGoalIntention
|