| 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 |
| Boxing | DDC.Core.Transform.Boxing |
| boxing | DDC.Core.Transform.Boxing |
| 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.Boxing |
| 4 (Data Constructor) | DDC.Core.Transform.Boxing |
| 5 (Type/Class) | DDC.Core.Transform.Eta |
| 6 (Data Constructor) | DDC.Core.Transform.Eta |
| 7 (Type/Class) | DDC.Core.Transform.Beta |
| 8 (Data Constructor) | DDC.Core.Transform.Beta |
| 9 (Type/Class) | DDC.Core.Transform.Snip |
| 10 (Data Constructor) | DDC.Core.Transform.Snip |
| 11 (Type/Class) | DDC.Core.Transform.Forward |
| 12 (Data Constructor) | DDC.Core.Transform.Forward |
| configBindRedexes | DDC.Core.Transform.Beta |
| configBoxedOfIndexType | DDC.Core.Transform.Boxing |
| configBoxedOfUnboxed | DDC.Core.Transform.Boxing |
| configBoxedOfValue | DDC.Core.Transform.Boxing |
| configCheckConfig | DDC.Core.Transform.Thread |
| configExpand | DDC.Core.Transform.Eta |
| configFloatControl | DDC.Core.Transform.Forward |
| configFloatLetBody | DDC.Core.Transform.Forward |
| configIndexTypeOfBoxed | DDC.Core.Transform.Boxing |
| configIndexTypeOfUnboxed | DDC.Core.Transform.Boxing |
| configIsBoxedType | DDC.Core.Transform.Boxing |
| configIsUnboxedType | DDC.Core.Transform.Boxing |
| configIsValueIndexType | DDC.Core.Transform.Boxing |
| configNameIsUnboxedOp | DDC.Core.Transform.Boxing |
| configPreserveLambdas | DDC.Core.Transform.Snip |
| 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 |
| configUnboxedOfBoxed | DDC.Core.Transform.Boxing |
| configUnboxedOfIndexType | DDC.Core.Transform.Boxing |
| configValueOfBoxed | DDC.Core.Transform.Boxing |
| configValueTypeOfForeignName | DDC.Core.Transform.Boxing |
| configValueTypeOfLitName | DDC.Core.Transform.Boxing |
| configValueTypeOfPrimOpName | DDC.Core.Transform.Boxing |
| 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 |
| Rep | DDC.Core.Transform.Boxing |
| RepBoxed | DDC.Core.Transform.Boxing |
| RepNone | DDC.Core.Transform.Boxing |
| RepUnboxed | DDC.Core.Transform.Boxing |
| 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 |