Alpha | DDC.Type.Transform.Alpha |
alpha | DDC.Type.Transform.Alpha |
Anonymize | DDC.Core.Simplifier |
anonymize | DDC.Core.Simplifier.Recipe |
AnonymizeT | DDC.Type.Transform.AnonymizeT |
anonymizeT | DDC.Type.Transform.AnonymizeT |
anonymizeWithT | DDC.Type.Transform.AnonymizeT |
anonymizeWithX | DDC.Core.Transform.AnonymizeX |
AnonymizeX | DDC.Core.Transform.AnonymizeX |
anonymizeX | DDC.Core.Transform.AnonymizeX |
anormalize | DDC.Core.Simplifier.Recipe |
applySimplifier | DDC.Core.Simplifier |
applySimplifierX | DDC.Core.Simplifier |
Arities | DDC.Core.Analysis.Arity |
aritiesOfLets | DDC.Core.Analysis.Arity |
aritiesOfModule | DDC.Core.Analysis.Arity |
aritiesOfPat | DDC.Core.Analysis.Arity |
arityFromType | DDC.Core.Analysis.Arity |
arityOfExp | DDC.Core.Analysis.Arity |
Beta | DDC.Core.Simplifier |
beta | DDC.Core.Simplifier.Recipe |
betaLets | DDC.Core.Simplifier.Recipe |
betaReduce | DDC.Core.Transform.Beta |
BindMode | DDC.Core.Transform.Rewrite.Rule |
BMSpec | DDC.Core.Transform.Rewrite.Rule |
BMValue | DDC.Core.Transform.Rewrite.Rule |
Bubble | DDC.Core.Simplifier |
bubble | DDC.Core.Simplifier.Recipe |
bubbleModule | DDC.Core.Transform.Bubble |
bubbleX | DDC.Core.Transform.Bubble |
checkDisjoint | DDC.Core.Transform.Rewrite.Disjoint |
checkDistinct | DDC.Core.Transform.Rewrite.Disjoint |
checkRewriteRule | DDC.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 |
configBindRedexes | DDC.Core.Transform.Beta |
configCheckConfig | DDC.Core.Transform.Thread |
configExpand | DDC.Core.Transform.Eta |
configFloatControl | DDC.Core.Transform.Forward |
configFloatLetBody | DDC.Core.Transform.Forward |
configSnipLetBody | DDC.Core.Transform.Snip |
configSnipOverApplied | DDC.Core.Transform.Snip |
configThreadMe | DDC.Core.Transform.Thread |
configThreadPat | DDC.Core.Transform.Thread |
configTokenType | DDC.Core.Transform.Thread |
configVoidType | DDC.Core.Transform.Thread |
configWrapResultExp | DDC.Core.Transform.Thread |
configWrapResultType | DDC.Core.Transform.Thread |
configZero | |
1 (Function) | DDC.Core.Transform.Eta |
2 (Function) | DDC.Core.Transform.Beta |
3 (Function) | DDC.Core.Transform.Snip |
containsRegion | DDC.Core.Transform.Rewrite.Env |
containsWitness | DDC.Core.Transform.Rewrite.Env |
Elaborate | DDC.Core.Simplifier |
elaborate | DDC.Core.Simplifier.Recipe |
elaborateModule | DDC.Core.Transform.Elaborate |
elaborateX | DDC.Core.Transform.Elaborate |
empty | DDC.Core.Transform.Rewrite.Env |
emptyArities | DDC.Core.Analysis.Arity |
emptySubstInfo | DDC.Core.Transform.Rewrite.Match |
Error | DDC.Core.Transform.Rewrite.Rule |
ErrorAnonymousBinder | DDC.Core.Transform.Rewrite.Rule |
ErrorBadConstraint | DDC.Core.Transform.Rewrite.Rule |
errorBinder | DDC.Core.Transform.Rewrite.Rule |
errorCheckError | DDC.Core.Transform.Rewrite.Rule |
errorConstraint | DDC.Core.Transform.Rewrite.Rule |
errorExp | DDC.Core.Transform.Rewrite.Rule |
ErrorNotFirstOrder | DDC.Core.Transform.Rewrite.Rule |
errorSide | DDC.Core.Transform.Rewrite.Rule |
ErrorTypeCheck | DDC.Core.Transform.Rewrite.Rule |
ErrorTypeConflict | DDC.Core.Transform.Rewrite.Rule |
errorTypeLhs | DDC.Core.Transform.Rewrite.Rule |
errorTypeRhs | DDC.Core.Transform.Rewrite.Rule |
ErrorVarUnmentioned | DDC.Core.Transform.Rewrite.Rule |
Eta | DDC.Core.Simplifier |
etaModule | DDC.Core.Transform.Eta |
etaX | DDC.Core.Transform.Eta |
extend | DDC.Core.Transform.Rewrite.Env |
extendLets | DDC.Core.Transform.Rewrite.Env |
extendsArities | DDC.Core.Analysis.Arity |
Fix | DDC.Core.Simplifier |
Flatten | DDC.Core.Simplifier |
flatten | |
1 (Function) | DDC.Core.Transform.Flatten |
2 (Function) | DDC.Core.Simplifier.Recipe |
FloatAllow | DDC.Core.Transform.Forward |
FloatControl | DDC.Core.Transform.Forward |
FloatDeny | DDC.Core.Transform.Forward |
FloatForce | DDC.Core.Transform.Forward |
Forward | DDC.Core.Simplifier |
forward | DDC.Core.Simplifier.Recipe |
ForwardInfo | |
1 (Type/Class) | DDC.Core.Transform.Forward |
2 (Data Constructor) | DDC.Core.Transform.Forward |
forwardModule | DDC.Core.Transform.Forward |
forwardX | DDC.Core.Transform.Forward |
getArity | DDC.Core.Analysis.Arity |
getDef | DDC.Core.Transform.Rewrite.Env |
getWitnesses | DDC.Core.Transform.Rewrite.Env |
hasDef | DDC.Core.Transform.Rewrite.Env |
Id | DDC.Core.Simplifier |
idsimp | DDC.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 |
infoBindings | DDC.Core.Transform.Forward |
infoBindingsErased | DDC.Core.Transform.Prune |
infoExpandedXLAMs | DDC.Core.Transform.Eta |
infoExpandedXLams | DDC.Core.Transform.Eta |
infoInspected | DDC.Core.Transform.Forward |
infoSubsts | DDC.Core.Transform.Forward |
infoTypes | DDC.Core.Transform.Beta |
infoValues | DDC.Core.Transform.Beta |
infoValuesLetted | DDC.Core.Transform.Beta |
infoValuesSkipped | DDC.Core.Transform.Beta |
infoWits | DDC.Core.Transform.Beta |
injectStateType | DDC.Core.Transform.Thread |
Inline | DDC.Core.Simplifier |
inline | DDC.Core.Transform.Inline |
InlinerTemplates | DDC.Core.Simplifier |
InlineSpec | DDC.Core.Transform.Inline |
InlineSpecAll | DDC.Core.Transform.Inline |
inlineSpecExclude | DDC.Core.Transform.Inline |
inlineSpecInclude | DDC.Core.Transform.Inline |
inlineSpecModuleName | DDC.Core.Transform.Inline |
InlineSpecNone | DDC.Core.Transform.Inline |
insertDef | DDC.Core.Transform.Rewrite.Env |
isBMSpec | DDC.Core.Transform.Rewrite.Rule |
isBMValue | DDC.Core.Transform.Rewrite.Rule |
Lhs | DDC.Core.Transform.Rewrite.Rule |
lift | DDC.Core.Transform.Rewrite.Env |
liftValue | DDC.Core.Transform.Rewrite.Env |
lookupTemplateFromModules | DDC.Core.Transform.Inline |
makeNamifier | DDC.Core.Transform.Namify |
match | DDC.Core.Transform.Rewrite.Match |
mkRewriteRule | DDC.Core.Transform.Rewrite.Rule |
NamedRewriteRule | DDC.Core.Transform.Rewrite.Rule |
NamedRewriteRules | DDC.Core.Simplifier |
Namifier | |
1 (Type/Class) | DDC.Core.Transform.Namify |
2 (Data Constructor) | DDC.Core.Transform.Namify |
namifierEnv | DDC.Core.Transform.Namify |
namifierNew | DDC.Core.Transform.Namify |
namifierStack | DDC.Core.Transform.Namify |
Namify | |
1 (Type/Class) | DDC.Core.Transform.Namify |
2 (Data Constructor) | DDC.Core.Simplifier |
namify | DDC.Core.Transform.Namify |
namifyUnique | DDC.Core.Transform.Namify |
NoInformation | DDC.Core.Simplifier.Result |
parseSimplifier | DDC.Core.Simplifier.Parser |
pRule | DDC.Core.Transform.Rewrite.Parser |
pRuleMany | DDC.Core.Transform.Rewrite.Parser |
Prune | DDC.Core.Simplifier |
prune | DDC.Core.Simplifier.Recipe |
PruneInfo | |
1 (Type/Class) | DDC.Core.Transform.Prune |
2 (Data Constructor) | DDC.Core.Transform.Prune |
pruneModule | DDC.Core.Transform.Prune |
pruneX | DDC.Core.Transform.Prune |
pushAnonymizeBindT | DDC.Type.Transform.AnonymizeT |
pushAnonymizeBindX | DDC.Core.Transform.AnonymizeX |
result | DDC.Core.Simplifier.Result, DDC.Core.Simplifier |
resultAgain | DDC.Core.Simplifier.Result, DDC.Core.Simplifier |
resultDone | DDC.Core.Simplifier.Result, DDC.Core.Simplifier |
resultInfo | DDC.Core.Simplifier.Result, DDC.Core.Simplifier |
resultProgress | DDC.Core.Simplifier.Result, DDC.Core.Simplifier |
Rewrite | DDC.Core.Simplifier |
RewriteEnv | DDC.Core.Transform.Rewrite.Env |
rewriteModule | DDC.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 |
rewriteSimp | DDC.Core.Simplifier.Recipe |
rewriteX | DDC.Core.Transform.Rewrite |
Rhs | DDC.Core.Transform.Rewrite.Rule |
ruleBinds | DDC.Core.Transform.Rewrite.Rule, DDC.Core.Transform.Rewrite |
ruleConstraints | DDC.Core.Transform.Rewrite.Rule, DDC.Core.Transform.Rewrite |
ruleFreeVars | DDC.Core.Transform.Rewrite.Rule, DDC.Core.Transform.Rewrite |
ruleLeft | DDC.Core.Transform.Rewrite.Rule, DDC.Core.Transform.Rewrite |
ruleLeftHole | DDC.Core.Transform.Rewrite.Rule, DDC.Core.Transform.Rewrite |
ruleRight | DDC.Core.Transform.Rewrite.Rule, DDC.Core.Transform.Rewrite |
ruleWeakClo | DDC.Core.Transform.Rewrite.Rule, DDC.Core.Transform.Rewrite |
ruleWeakEff | DDC.Core.Transform.Rewrite.Rule, DDC.Core.Transform.Rewrite |
Seq | DDC.Core.Simplifier |
Side | DDC.Core.Transform.Rewrite.Rule |
Simplifier | DDC.Core.Simplifier |
SimplifierDetails | |
1 (Type/Class) | DDC.Core.Simplifier.Parser |
2 (Data Constructor) | DDC.Core.Simplifier.Parser |
simplifierMkNamifierT | DDC.Core.Simplifier.Parser |
simplifierMkNamifierX | DDC.Core.Simplifier.Parser |
simplifierRules | DDC.Core.Simplifier.Parser |
simplifierTemplates | DDC.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 |
snipOver | DDC.Core.Simplifier.Recipe |
SubstInfo | DDC.Core.Transform.Rewrite.Match |
Thread | DDC.Core.Transform.Thread |
thread | DDC.Core.Transform.Thread |
Trans | DDC.Core.Simplifier |
Transform | DDC.Core.Simplifier |
TransformDownMX | DDC.Core.Transform.TransformDownX |
transformDownMX | DDC.Core.Transform.TransformDownX |
transformDownX | DDC.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 |
transformSimpleUpMX | DDC.Core.Transform.TransformUpX |
transformSimpleUpX | DDC.Core.Transform.TransformUpX |
transformSimpleUpX' | DDC.Core.Transform.TransformUpX |
TransformUpMX | DDC.Core.Transform.TransformUpX |
transformUpMX | DDC.Core.Transform.TransformUpX |
transformUpX | DDC.Core.Transform.TransformUpX |
transformUpX' | DDC.Core.Transform.TransformUpX |
transInlineDef | DDC.Core.Simplifier |
transMkNamifierT | DDC.Core.Simplifier |
transMkNamifierX | DDC.Core.Simplifier |
transRules | DDC.Core.Simplifier |
usageModule | DDC.Core.Analysis.Usage |
usageX | DDC.Core.Analysis.Usage |
Used | DDC.Core.Analysis.Usage |
UsedDestruct | DDC.Core.Analysis.Usage |
UsedFunction | DDC.Core.Analysis.Usage |
UsedInAlt | DDC.Core.Analysis.Usage |
UsedInCast | DDC.Core.Analysis.Usage |
UsedInLambda | DDC.Core.Analysis.Usage |
UsedMap | |
1 (Type/Class) | DDC.Core.Analysis.Usage |
2 (Data Constructor) | DDC.Core.Analysis.Usage |
UsedOcc | DDC.Core.Analysis.Usage |