ddc-core-simpl-0.3.2.1: Disciplined Disciple Compiler code transformations.

Index

AlphaDDC.Type.Transform.Alpha
alphaDDC.Type.Transform.Alpha
AnonymizeDDC.Core.Simplifier
anonymizeDDC.Core.Simplifier.Recipe
AnonymizeTDDC.Type.Transform.AnonymizeT
anonymizeTDDC.Type.Transform.AnonymizeT
anonymizeWithTDDC.Type.Transform.AnonymizeT
anonymizeWithXDDC.Core.Transform.AnonymizeX
AnonymizeXDDC.Core.Transform.AnonymizeX
anonymizeXDDC.Core.Transform.AnonymizeX
anormalizeDDC.Core.Simplifier.Recipe
applySimplifierDDC.Core.Simplifier
applySimplifierXDDC.Core.Simplifier
AritiesDDC.Core.Analysis.Arity
aritiesOfLetsDDC.Core.Analysis.Arity
aritiesOfModuleDDC.Core.Analysis.Arity
aritiesOfPatDDC.Core.Analysis.Arity
arityFromTypeDDC.Core.Analysis.Arity
arityOfExpDDC.Core.Analysis.Arity
BetaDDC.Core.Simplifier
betaDDC.Core.Simplifier.Recipe
betaLetsDDC.Core.Simplifier.Recipe
betaReduceDDC.Core.Transform.Beta
BindModeDDC.Core.Transform.Rewrite.Rule
BMSpecDDC.Core.Transform.Rewrite.Rule
BMValueDDC.Core.Transform.Rewrite.Rule
BubbleDDC.Core.Simplifier
bubbleDDC.Core.Simplifier.Recipe
bubbleModuleDDC.Core.Transform.Bubble
bubbleXDDC.Core.Transform.Bubble
checkDisjointDDC.Core.Transform.Rewrite.Disjoint
checkDistinctDDC.Core.Transform.Rewrite.Disjoint
checkRewriteRuleDDC.Core.Transform.Rewrite.Rule
Config 
1 (Type/Class)DDC.Core.Transform.Thread
2 (Data Constructor)DDC.Core.Transform.Thread
3 (Type/Class)DDC.Core.Transform.Eta
4 (Data Constructor)DDC.Core.Transform.Eta
5 (Type/Class)DDC.Core.Transform.Beta
6 (Data Constructor)DDC.Core.Transform.Beta
7 (Type/Class)DDC.Core.Transform.Snip
8 (Data Constructor)DDC.Core.Transform.Snip
9 (Type/Class)DDC.Core.Transform.Forward
10 (Data Constructor)DDC.Core.Transform.Forward
configBindRedexesDDC.Core.Transform.Beta
configCheckConfigDDC.Core.Transform.Thread
configExpandDDC.Core.Transform.Eta
configFloatControlDDC.Core.Transform.Forward
configFloatLetBodyDDC.Core.Transform.Forward
configSnipLetBodyDDC.Core.Transform.Snip
configSnipOverAppliedDDC.Core.Transform.Snip
configThreadMeDDC.Core.Transform.Thread
configThreadPatDDC.Core.Transform.Thread
configTokenTypeDDC.Core.Transform.Thread
configVoidTypeDDC.Core.Transform.Thread
configWrapResultExpDDC.Core.Transform.Thread
configWrapResultTypeDDC.Core.Transform.Thread
configZero 
1 (Function)DDC.Core.Transform.Eta
2 (Function)DDC.Core.Transform.Beta
3 (Function)DDC.Core.Transform.Snip
containsRegionDDC.Core.Transform.Rewrite.Env
containsWitnessDDC.Core.Transform.Rewrite.Env
ElaborateDDC.Core.Simplifier
elaborateDDC.Core.Simplifier.Recipe
elaborateModuleDDC.Core.Transform.Elaborate
elaborateXDDC.Core.Transform.Elaborate
emptyDDC.Core.Transform.Rewrite.Env
emptyAritiesDDC.Core.Analysis.Arity
emptySubstInfoDDC.Core.Transform.Rewrite.Match
ErrorDDC.Core.Transform.Rewrite.Rule
ErrorAnonymousBinderDDC.Core.Transform.Rewrite.Rule
ErrorBadConstraintDDC.Core.Transform.Rewrite.Rule
errorBinderDDC.Core.Transform.Rewrite.Rule
errorCheckErrorDDC.Core.Transform.Rewrite.Rule
errorConstraintDDC.Core.Transform.Rewrite.Rule
errorExpDDC.Core.Transform.Rewrite.Rule
ErrorNotFirstOrderDDC.Core.Transform.Rewrite.Rule
errorSideDDC.Core.Transform.Rewrite.Rule
ErrorTypeCheckDDC.Core.Transform.Rewrite.Rule
ErrorTypeConflictDDC.Core.Transform.Rewrite.Rule
errorTypeLhsDDC.Core.Transform.Rewrite.Rule
errorTypeRhsDDC.Core.Transform.Rewrite.Rule
ErrorVarUnmentionedDDC.Core.Transform.Rewrite.Rule
EtaDDC.Core.Simplifier
etaModuleDDC.Core.Transform.Eta
etaXDDC.Core.Transform.Eta
extendDDC.Core.Transform.Rewrite.Env
extendLetsDDC.Core.Transform.Rewrite.Env
extendsAritiesDDC.Core.Analysis.Arity
FixDDC.Core.Simplifier
FlattenDDC.Core.Simplifier
flatten 
1 (Function)DDC.Core.Transform.Flatten
2 (Function)DDC.Core.Simplifier.Recipe
FloatAllowDDC.Core.Transform.Forward
FloatControlDDC.Core.Transform.Forward
FloatDenyDDC.Core.Transform.Forward
FloatForceDDC.Core.Transform.Forward
ForwardDDC.Core.Simplifier
forwardDDC.Core.Simplifier.Recipe
ForwardInfo 
1 (Type/Class)DDC.Core.Transform.Forward
2 (Data Constructor)DDC.Core.Transform.Forward
forwardModuleDDC.Core.Transform.Forward
forwardXDDC.Core.Transform.Forward
getArityDDC.Core.Analysis.Arity
getDefDDC.Core.Transform.Rewrite.Env
getWitnessesDDC.Core.Transform.Rewrite.Env
hasDefDDC.Core.Transform.Rewrite.Env
IdDDC.Core.Simplifier
idsimpDDC.Core.Simplifier.Recipe
Info 
1 (Type/Class)DDC.Core.Transform.Eta
2 (Data Constructor)DDC.Core.Transform.Eta
3 (Type/Class)DDC.Core.Transform.Beta
4 (Data Constructor)DDC.Core.Transform.Beta
infoBindingsDDC.Core.Transform.Forward
infoBindingsErasedDDC.Core.Transform.Prune
infoExpandedXLAMsDDC.Core.Transform.Eta
infoExpandedXLamsDDC.Core.Transform.Eta
infoInspectedDDC.Core.Transform.Forward
infoSubstsDDC.Core.Transform.Forward
infoTypesDDC.Core.Transform.Beta
infoValuesDDC.Core.Transform.Beta
infoValuesLettedDDC.Core.Transform.Beta
infoValuesSkippedDDC.Core.Transform.Beta
infoWitsDDC.Core.Transform.Beta
injectStateTypeDDC.Core.Transform.Thread
InlineDDC.Core.Simplifier
inlineDDC.Core.Transform.Inline
InlinerTemplatesDDC.Core.Simplifier
InlineSpecDDC.Core.Transform.Inline
InlineSpecAllDDC.Core.Transform.Inline
inlineSpecExcludeDDC.Core.Transform.Inline
inlineSpecIncludeDDC.Core.Transform.Inline
inlineSpecModuleNameDDC.Core.Transform.Inline
InlineSpecNoneDDC.Core.Transform.Inline
insertDefDDC.Core.Transform.Rewrite.Env
isBMSpecDDC.Core.Transform.Rewrite.Rule
isBMValueDDC.Core.Transform.Rewrite.Rule
LhsDDC.Core.Transform.Rewrite.Rule
liftDDC.Core.Transform.Rewrite.Env
liftValueDDC.Core.Transform.Rewrite.Env
lookupTemplateFromModulesDDC.Core.Transform.Inline
makeNamifierDDC.Core.Transform.Namify
matchDDC.Core.Transform.Rewrite.Match
mkRewriteRuleDDC.Core.Transform.Rewrite.Rule
NamedRewriteRuleDDC.Core.Transform.Rewrite.Rule
NamedRewriteRulesDDC.Core.Simplifier
Namifier 
1 (Type/Class)DDC.Core.Transform.Namify
2 (Data Constructor)DDC.Core.Transform.Namify
namifierEnvDDC.Core.Transform.Namify
namifierNewDDC.Core.Transform.Namify
namifierStackDDC.Core.Transform.Namify
Namify 
1 (Type/Class)DDC.Core.Transform.Namify
2 (Data Constructor)DDC.Core.Simplifier
namifyDDC.Core.Transform.Namify
namifyUniqueDDC.Core.Transform.Namify
NoInformationDDC.Core.Simplifier.Result
parseSimplifierDDC.Core.Simplifier.Parser
pRuleDDC.Core.Transform.Rewrite.Parser
pRuleManyDDC.Core.Transform.Rewrite.Parser
PruneDDC.Core.Simplifier
pruneDDC.Core.Simplifier.Recipe
PruneInfo 
1 (Type/Class)DDC.Core.Transform.Prune
2 (Data Constructor)DDC.Core.Transform.Prune
pruneModuleDDC.Core.Transform.Prune
pruneXDDC.Core.Transform.Prune
pushAnonymizeBindTDDC.Type.Transform.AnonymizeT
pushAnonymizeBindXDDC.Core.Transform.AnonymizeX
resultDDC.Core.Simplifier.Result, DDC.Core.Simplifier
resultAgainDDC.Core.Simplifier.Result, DDC.Core.Simplifier
resultDoneDDC.Core.Simplifier.Result, DDC.Core.Simplifier
resultInfoDDC.Core.Simplifier.Result, DDC.Core.Simplifier
resultProgressDDC.Core.Simplifier.Result, DDC.Core.Simplifier
RewriteDDC.Core.Simplifier
RewriteEnvDDC.Core.Transform.Rewrite.Env
rewriteModuleDDC.Core.Transform.Rewrite
RewriteRule 
1 (Type/Class)DDC.Core.Transform.Rewrite.Rule, DDC.Core.Transform.Rewrite
2 (Data Constructor)DDC.Core.Transform.Rewrite.Rule, DDC.Core.Transform.Rewrite
rewriteSimpDDC.Core.Simplifier.Recipe
rewriteXDDC.Core.Transform.Rewrite
RhsDDC.Core.Transform.Rewrite.Rule
ruleBindsDDC.Core.Transform.Rewrite.Rule, DDC.Core.Transform.Rewrite
ruleConstraintsDDC.Core.Transform.Rewrite.Rule, DDC.Core.Transform.Rewrite
ruleFreeVarsDDC.Core.Transform.Rewrite.Rule, DDC.Core.Transform.Rewrite
ruleLeftDDC.Core.Transform.Rewrite.Rule, DDC.Core.Transform.Rewrite
ruleLeftHoleDDC.Core.Transform.Rewrite.Rule, DDC.Core.Transform.Rewrite
ruleRightDDC.Core.Transform.Rewrite.Rule, DDC.Core.Transform.Rewrite
ruleWeakCloDDC.Core.Transform.Rewrite.Rule, DDC.Core.Transform.Rewrite
ruleWeakEffDDC.Core.Transform.Rewrite.Rule, DDC.Core.Transform.Rewrite
SeqDDC.Core.Simplifier
SideDDC.Core.Transform.Rewrite.Rule
SimplifierDDC.Core.Simplifier
SimplifierDetails 
1 (Type/Class)DDC.Core.Simplifier.Parser
2 (Data Constructor)DDC.Core.Simplifier.Parser
simplifierMkNamifierTDDC.Core.Simplifier.Parser
simplifierMkNamifierXDDC.Core.Simplifier.Parser
simplifierRulesDDC.Core.Simplifier.Parser
simplifierTemplatesDDC.Core.Simplifier.Parser
Snip 
1 (Type/Class)DDC.Core.Transform.Snip
2 (Data Constructor)DDC.Core.Simplifier
snip 
1 (Function)DDC.Core.Transform.Snip
2 (Function)DDC.Core.Simplifier.Recipe
snipOverDDC.Core.Simplifier.Recipe
SubstInfoDDC.Core.Transform.Rewrite.Match
ThreadDDC.Core.Transform.Thread
threadDDC.Core.Transform.Thread
TransDDC.Core.Simplifier
TransformDDC.Core.Simplifier
TransformDownMXDDC.Core.Transform.TransformDownX
transformDownMXDDC.Core.Transform.TransformDownX
transformDownXDDC.Core.Transform.TransformDownX
transformDownX'DDC.Core.Transform.TransformDownX
TransformInfo 
1 (Type/Class)DDC.Core.Simplifier.Result, DDC.Core.Simplifier
2 (Data Constructor)DDC.Core.Simplifier.Result, DDC.Core.Simplifier
TransformResult 
1 (Type/Class)DDC.Core.Simplifier.Result, DDC.Core.Simplifier
2 (Data Constructor)DDC.Core.Simplifier.Result, DDC.Core.Simplifier
transformSimpleUpMXDDC.Core.Transform.TransformUpX
transformSimpleUpXDDC.Core.Transform.TransformUpX
transformSimpleUpX'DDC.Core.Transform.TransformUpX
TransformUpMXDDC.Core.Transform.TransformUpX
transformUpMXDDC.Core.Transform.TransformUpX
transformUpXDDC.Core.Transform.TransformUpX
transformUpX'DDC.Core.Transform.TransformUpX
transInlineDefDDC.Core.Simplifier
transMkNamifierTDDC.Core.Simplifier
transMkNamifierXDDC.Core.Simplifier
transRulesDDC.Core.Simplifier
usageModuleDDC.Core.Analysis.Usage
usageXDDC.Core.Analysis.Usage
UsedDDC.Core.Analysis.Usage
UsedDestructDDC.Core.Analysis.Usage
UsedFunctionDDC.Core.Analysis.Usage
UsedInAltDDC.Core.Analysis.Usage
UsedInCastDDC.Core.Analysis.Usage
UsedInLambdaDDC.Core.Analysis.Usage
UsedMap 
1 (Type/Class)DDC.Core.Analysis.Usage
2 (Data Constructor)DDC.Core.Analysis.Usage
UsedOccDDC.Core.Analysis.Usage