| 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 |
| betaLets | DDC.Core.Simplifier.Recipe |
| betaReduce | DDC.Core.Transform.Beta |
| BetaReduceInfo | |
| 1 (Type/Class) | DDC.Core.Transform.Beta |
| 2 (Data Constructor) | 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 |
| 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 |
| 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 |
| 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 |
| infoBindings | DDC.Core.Transform.Forward |
| infoBindingsErased | DDC.Core.Transform.Prune |
| 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 |
| 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 |
| 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 |
| resultAgain | DDC.Core.Simplifier |
| resultDone | DDC.Core.Simplifier |
| resultInfo | DDC.Core.Simplifier |
| resultProgress | 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 (Data Constructor) | DDC.Core.Simplifier |
| 2 (Type/Class) | DDC.Core.Transform.Snip |
| snip | |
| 1 (Function) | DDC.Core.Simplifier.Recipe |
| 2 (Function) | DDC.Core.Transform.Snip |
| SnipOver | DDC.Core.Simplifier |
| snipOver | DDC.Core.Simplifier.Recipe |
| SubstInfo | DDC.Core.Transform.Rewrite.Match |
| Trans | DDC.Core.Simplifier |
| Transform | DDC.Core.Simplifier |
| TransformInfo | |
| 1 (Type/Class) | DDC.Core.Simplifier |
| 2 (Data Constructor) | DDC.Core.Simplifier |
| TransformResult | |
| 1 (Type/Class) | DDC.Core.Simplifier |
| 2 (Data Constructor) | DDC.Core.Simplifier |
| TransformUpMX | DDC.Core.Transform.TransformX |
| transformUpMX | DDC.Core.Transform.TransformX |
| transformUpX | DDC.Core.Transform.TransformX |
| transformUpX' | DDC.Core.Transform.TransformX |
| 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 |