| :$ | Language.Syntactic.Syntax, Language.Syntactic |
| :* | Language.Syntactic.Traversal, Language.Syntactic |
| :+: | Language.Syntactic.Syntax, Language.Syntactic |
| :-> | Language.Syntactic.Syntax, Language.Syntactic |
| :/\: | Language.Syntactic.Constraint, Language.Syntactic |
| :< | Language.Syntactic.Constraint, Language.Syntactic |
| :<: | Language.Syntactic.Syntax, Language.Syntactic |
| :| | Language.Syntactic.Constraint, Language.Syntactic |
| :|| | Language.Syntactic.Constraint, Language.Syntactic |
| AlphaEq | Language.Syntactic.Constructs.Binding |
| alphaEq | Language.Syntactic.Constructs.Binding |
| alphaEqChildren | Language.Syntactic.Constructs.Binding |
| alphaEqM | Language.Syntactic.Constructs.Binding |
| alphaEqM2 | Language.Syntactic.Constructs.Binding |
| alphaEqSym | Language.Syntactic.Constructs.Binding |
| alphaEqSymDefault | Language.Syntactic.Constructs.Binding |
| appArgs | Language.Syntactic.Traversal, Language.Syntactic |
| appDen | Language.Syntactic.Constructs.Binding |
| ApplySym | Language.Syntactic.Syntax, Language.Syntactic |
| AppPF | Language.Syntactic.Sharing.Graph |
| appSym | Language.Syntactic.Syntax, Language.Syntactic |
| appSym' | Language.Syntactic.Syntax, Language.Syntactic |
| appSymC | Language.Syntactic.Constraint, Language.Syntactic |
| Args | Language.Syntactic.Traversal, Language.Syntactic |
| ASG | |
| 1 (Type/Class) | Language.Syntactic.Sharing.Graph |
| 2 (Data Constructor) | Language.Syntactic.Sharing.Graph |
| AST | Language.Syntactic.Syntax, Language.Syntactic |
| ASTB | |
| 1 (Type/Class) | Language.Syntactic.Constraint, Language.Syntactic |
| 2 (Data Constructor) | Language.Syntactic.Constraint, Language.Syntactic |
| ASTE | |
| 1 (Type/Class) | Language.Syntactic.Constraint, Language.Syntactic |
| 2 (Data Constructor) | Language.Syntactic.Constraint, Language.Syntactic |
| ASTF | Language.Syntactic.Syntax, Language.Syntactic |
| ASTSAT | Language.Syntactic.Constraint, Language.Syntactic |
| betaReduce | Language.Syntactic.Constructs.Binding |
| Bind | Language.Syntactic.Constructs.Monad |
| C | Language.Syntactic.Constraint, Language.Syntactic |
| C' | Language.Syntactic.Constraint, Language.Syntactic |
| CLambda | Language.Syntactic.Constructs.Binding.HigherOrder |
| codeMotion | Language.Syntactic.Sharing.SimpleCodeMotion |
| collectInfo | Language.Syntactic.Constructs.Decoration |
| Condition | |
| 1 (Type/Class) | Language.Syntactic.Constructs.Condition |
| 2 (Data Constructor) | Language.Syntactic.Constructs.Condition |
| ConstFolder | Language.Syntactic.Constructs.Binding.Optimize |
| Constrained | Language.Syntactic.Constraint, Language.Syntactic |
| ConstrainedBy | Language.Syntactic.Constraint, Language.Syntactic |
| Construct | |
| 1 (Type/Class) | Language.Syntactic.Constructs.Construct |
| 2 (Data Constructor) | Language.Syntactic.Constructs.Construct |
| count | Language.Syntactic.Sharing.Utils |
| cse | Language.Syntactic.Sharing.Graph |
| Decor | |
| 1 (Type/Class) | Language.Syntactic.Constructs.Decoration |
| 2 (Data Constructor) | Language.Syntactic.Constructs.Decoration |
| decorExpr | Language.Syntactic.Constructs.Decoration |
| decorInfo | Language.Syntactic.Constructs.Decoration |
| Denotation | Language.Syntactic.Interpretation.Evaluation, Language.Syntactic |
| DenResult | Language.Syntactic.Syntax, Language.Syntactic |
| desugar | Language.Syntactic.Sugar, Language.Syntactic |
| desugarMonad | Language.Syntactic.Frontend.Monad |
| desugarN | Language.Syntactic.Sugar, Language.Syntactic |
| Dict | |
| 1 (Data Constructor) | Language.Syntactic |
| 2 (Type/Class) | Language.Syntactic |
| DList | Language.Syntactic.Sharing.Utils |
| Domain | Language.Syntactic.Sugar, Language.Syntactic |
| DomPF | Language.Syntactic.Sharing.Graph |
| drawASG | Language.Syntactic.Sharing.Graph |
| drawAST | Language.Syntactic.Interpretation.Render, Language.Syntactic |
| drawDecorWith | Language.Syntactic.Constructs.Decoration |
| Dynamic | |
| 1 (Type/Class) | Data.DynamicAlt |
| 2 (Data Constructor) | Data.DynamicAlt |
| Empty | Language.Syntactic.Constraint, Language.Syntactic |
| empty | Language.Syntactic.Sharing.Utils |
| EqEnv | Language.Syntactic.Sharing.Graph |
| equal | Language.Syntactic.Interpretation.Equality, Language.Syntactic |
| equalDefault | Language.Syntactic.Interpretation.Semantics, Language.Syntactic |
| Equality | Language.Syntactic.Interpretation.Equality, Language.Syntactic |
| Eval | Language.Syntactic.Interpretation.Evaluation, Language.Syntactic |
| EvalBind | Language.Syntactic.Constructs.Binding |
| evalBind | Language.Syntactic.Constructs.Binding |
| evalBindM | Language.Syntactic.Constructs.Binding |
| evalBindSym | Language.Syntactic.Constructs.Binding |
| evalBindSymDefault | Language.Syntactic.Constructs.Binding |
| evaluate | Language.Syntactic.Interpretation.Evaluation, Language.Syntactic |
| evaluateDefault | Language.Syntactic.Interpretation.Semantics, Language.Syntactic |
| everywhereDown | Language.Syntactic.Traversal, Language.Syntactic |
| everywhereUp | Language.Syntactic.Traversal, Language.Syntactic |
| exprDict | Language.Syntactic.Constraint, Language.Syntactic |
| exprDictPlus | Language.Syntactic.Constraint, Language.Syntactic |
| exprDictSub | Language.Syntactic.Constraint, Language.Syntactic |
| exprHash | Language.Syntactic.Interpretation.Equality, Language.Syntactic |
| exprHashDefault | Language.Syntactic.Interpretation.Semantics, Language.Syntactic |
| FODomain | Language.Syntactic.Constructs.Binding.HigherOrder |
| fold | Language.Syntactic.Traversal, Language.Syntactic |
| foldGraph | Language.Syntactic.Sharing.Graph |
| fresh | Language.Syntactic.Sharing.StableName |
| fromDList | Language.Syntactic.Sharing.Utils |
| fromDyn | Data.DynamicAlt |
| Full | |
| 1 (Type/Class) | Language.Syntactic.Syntax, Language.Syntactic |
| 2 (Data Constructor) | Language.Syntactic.Syntax, Language.Syntactic |
| fullPartition | Language.Syntactic.Sharing.Utils |
| getInfo | Language.Syntactic.Constructs.Decoration |
| gmapQ | Language.Syntactic.Traversal, Language.Syntactic |
| gmapT | Language.Syntactic.Traversal, Language.Syntactic |
| graphNodes | Language.Syntactic.Sharing.Graph |
| hash | Language.Syntactic.Sharing.StableName |
| hashNodes | Language.Syntactic.Sharing.Graph |
| History | Language.Syntactic.Sharing.StableName |
| HODomain | Language.Syntactic.Constructs.Binding.HigherOrder |
| HOLambda | |
| 1 (Type/Class) | Language.Syntactic.Constructs.Binding.HigherOrder |
| 2 (Data Constructor) | Language.Syntactic.Constructs.Binding.HigherOrder |
| Id | Language.Syntactic.Constructs.Identity |
| Identity | Language.Syntactic.Constructs.Identity |
| inj | Language.Syntactic.Syntax, Language.Syntactic |
| injC | Language.Syntactic.Constraint, Language.Syntactic |
| InjDict | |
| 1 (Type/Class) | Language.Syntactic.Sharing.SimpleCodeMotion |
| 2 (Data Constructor) | Language.Syntactic.Sharing.SimpleCodeMotion |
| InjectC | Language.Syntactic.Constraint, Language.Syntactic |
| InjL | Language.Syntactic.Syntax, Language.Syntactic |
| injLambda | Language.Syntactic.Sharing.SimpleCodeMotion |
| injLet | Language.Syntactic.Sharing.SimpleCodeMotion |
| InjR | Language.Syntactic.Syntax, Language.Syntactic |
| injVariable | Language.Syntactic.Sharing.SimpleCodeMotion |
| inlineAll | Language.Syntactic.Sharing.Graph |
| inlineSingle | Language.Syntactic.Sharing.Graph |
| Internal | Language.Syntactic.Sugar, Language.Syntactic |
| IsHODomain | Language.Syntactic.Constructs.Binding.HigherOrder |
| Lambda | |
| 1 (Type/Class) | Language.Syntactic.Constructs.Binding |
| 2 (Data Constructor) | Language.Syntactic.Constructs.Binding |
| lambda | Language.Syntactic.Constructs.Binding.HigherOrder |
| Let | |
| 1 (Type/Class) | Language.Syntactic.Constructs.Binding, Language.Syntactic.Constructs.Binding.HigherOrder |
| 2 (Data Constructor) | Language.Syntactic.Constructs.Binding, Language.Syntactic.Constructs.Binding.HigherOrder |
| liftASTB | Language.Syntactic.Constraint, Language.Syntactic |
| liftASTB2 | Language.Syntactic.Constraint, Language.Syntactic |
| liftASTE | Language.Syntactic.Constraint, Language.Syntactic |
| liftASTE2 | Language.Syntactic.Constraint, Language.Syntactic |
| liftDecor | Language.Syntactic.Constructs.Decoration |
| listArgs | Language.Syntactic.Traversal, Language.Syntactic |
| listFold | Language.Syntactic.Traversal, Language.Syntactic |
| Literal | |
| 1 (Type/Class) | Language.Syntactic.Constructs.Literal |
| 2 (Data Constructor) | Language.Syntactic.Constructs.Literal |
| lookHistory | Language.Syntactic.Sharing.StableName |
| mapArgs | Language.Syntactic.Traversal, Language.Syntactic |
| mapArgsA | Language.Syntactic.Traversal, Language.Syntactic |
| mapArgsM | Language.Syntactic.Traversal, Language.Syntactic |
| match | Language.Syntactic.Traversal, Language.Syntactic |
| matchTrans | Language.Syntactic.Traversal, Language.Syntactic |
| MkInjDict | Language.Syntactic.Sharing.SimpleCodeMotion |
| mkInjDictFO | Language.Syntactic.Sharing.SimpleCodeMotion |
| modNodeEqEnv | Language.Syntactic.Sharing.Graph |
| modVarEqEnv | Language.Syntactic.Constructs.Binding |
| Mon | |
| 1 (Type/Class) | Language.Syntactic.Frontend.Monad |
| 2 (Data Constructor) | Language.Syntactic.Frontend.Monad |
| MONAD | Language.Syntactic.Constructs.Monad |
| Nil | Language.Syntactic.Traversal, Language.Syntactic |
| Node | |
| 1 (Type/Class) | Language.Syntactic.Sharing.Graph |
| 2 (Data Constructor) | Language.Syntactic.Sharing.Graph |
| nodeChildren | Language.Syntactic.Sharing.Graph |
| NodeDomain | Language.Syntactic.Sharing.Graph |
| NodeEnv | Language.Syntactic.Sharing.Graph |
| NodeEqEnv | Language.Syntactic.Sharing.Graph |
| NodeId | |
| 1 (Type/Class) | Language.Syntactic.Sharing.Graph |
| 2 (Data Constructor) | Language.Syntactic.Sharing.Graph |
| nodeInteger | Language.Syntactic.Sharing.Graph |
| NodePF | Language.Syntactic.Sharing.Graph |
| nubNodes | Language.Syntactic.Sharing.Graph |
| numNodes | Language.Syntactic.Sharing.Graph |
| occurrences | Language.Syntactic.Sharing.Graph |
| Optimize | Language.Syntactic.Constructs.Binding.Optimize |
| optimize | Language.Syntactic.Constructs.Binding.Optimize |
| Optimize' | Language.Syntactic.Constructs.Binding.Optimize |
| optimizeM | Language.Syntactic.Constructs.Binding.Optimize |
| optimizeSym | Language.Syntactic.Constructs.Binding.Optimize |
| optimizeSymDefault | Language.Syntactic.Constructs.Binding.Optimize |
| P | |
| 1 (Type/Class) | Data.PolyProxy, Language.Syntactic |
| 2 (Data Constructor) | Data.PolyProxy, Language.Syntactic |
| Partial | Language.Syntactic.Syntax, Language.Syntactic |
| partitionNodes | Language.Syntactic.Sharing.Graph |
| prj | Language.Syntactic.Syntax, Language.Syntactic |
| PrjDict | |
| 1 (Type/Class) | Language.Syntactic.Sharing.SimpleCodeMotion |
| 2 (Data Constructor) | Language.Syntactic.Sharing.SimpleCodeMotion |
| prjDictFO | Language.Syntactic.Sharing.SimpleCodeMotion |
| prjLambda | Language.Syntactic.Sharing.SimpleCodeMotion |
| prjMonad | Language.Syntactic.Constructs.Monad |
| prjNodeEqEnv | Language.Syntactic.Sharing.Graph |
| prjP | Language.Syntactic.Syntax, Language.Syntactic |
| prjVarEqEnv | Language.Syntactic.Constructs.Binding |
| prjVariable | Language.Syntactic.Sharing.SimpleCodeMotion |
| Project | Language.Syntactic.Syntax, Language.Syntactic |
| pTop | Language.Syntactic.Constraint, Language.Syntactic |
| pTypeable | Language.Syntactic.Constraint, Language.Syntactic |
| query | Language.Syntactic.Traversal, Language.Syntactic |
| reify | Language.Syntactic.Constructs.Binding.HigherOrder |
| reifyGraph | |
| 1 (Function) | Language.Syntactic.Sharing.Reify |
| 2 (Function) | Language.Syntactic.Sharing.ReifyHO |
| reifyGraphTop | Language.Syntactic.Sharing.ReifyHO |
| reifyM | Language.Syntactic.Constructs.Binding.HigherOrder |
| reifySmart | Language.Syntactic.Sharing.SimpleCodeMotion |
| reifyTop | Language.Syntactic.Constructs.Binding.HigherOrder |
| reindex | Language.Syntactic.Sharing.Utils |
| reindexNodes | Language.Syntactic.Sharing.Graph |
| reindexNodesAST | Language.Syntactic.Sharing.Graph |
| reindexNodesFrom0 | Language.Syntactic.Sharing.Graph |
| remember | Language.Syntactic.Sharing.StableName |
| Render | Language.Syntactic.Interpretation.Render, Language.Syntactic |
| render | Language.Syntactic.Interpretation.Render, Language.Syntactic |
| renderArgs | Language.Syntactic.Interpretation.Render, Language.Syntactic |
| renderArgsDefault | Language.Syntactic.Interpretation.Semantics, Language.Syntactic |
| renderSym | Language.Syntactic.Interpretation.Render, Language.Syntactic |
| renderSymDefault | Language.Syntactic.Interpretation.Semantics, Language.Syntactic |
| resugar | Language.Syntactic.Sugar, Language.Syntactic |
| result | Language.Syntactic.Syntax, Language.Syntactic |
| Return | Language.Syntactic.Constructs.Monad |
| reuseLambda | Language.Syntactic.Constructs.Binding |
| Sat | Language.Syntactic.Constraint, Language.Syntactic |
| Sel1 | Language.Syntactic.Constructs.Tuple |
| Sel1' | Language.Syntactic.Constructs.Tuple |
| Sel2 | Language.Syntactic.Constructs.Tuple |
| Sel2' | Language.Syntactic.Constructs.Tuple |
| Sel3 | Language.Syntactic.Constructs.Tuple |
| Sel3' | Language.Syntactic.Constructs.Tuple |
| Sel4 | Language.Syntactic.Constructs.Tuple |
| Sel4' | Language.Syntactic.Constructs.Tuple |
| Sel5 | Language.Syntactic.Constructs.Tuple |
| Sel5' | Language.Syntactic.Constructs.Tuple |
| Sel6 | Language.Syntactic.Constructs.Tuple |
| Sel6' | Language.Syntactic.Constructs.Tuple |
| Sel7 | Language.Syntactic.Constructs.Tuple |
| Sel7' | Language.Syntactic.Constructs.Tuple |
| Select | Language.Syntactic.Constructs.Tuple |
| selectPos | Language.Syntactic.Constructs.Tuple |
| Sem | Language.Syntactic.Interpretation.Semantics, Language.Syntactic |
| Semantic | Language.Syntactic.Interpretation.Semantics, Language.Syntactic |
| semanticEval | Language.Syntactic.Interpretation.Semantics, Language.Syntactic |
| semanticInstances | Language.Syntactic.Interpretation.Semantics, Language.Syntactic |
| semanticName | Language.Syntactic.Interpretation.Semantics, Language.Syntactic |
| Semantics | Language.Syntactic.Interpretation.Semantics, Language.Syntactic |
| semantics | Language.Syntactic.Interpretation.Semantics, Language.Syntactic |
| showASG | Language.Syntactic.Sharing.Graph |
| showAST | Language.Syntactic.Interpretation.Render, Language.Syntactic |
| showDecorWith | Language.Syntactic.Constructs.Decoration |
| showNode | Language.Syntactic.Sharing.Graph |
| showVar | Language.Syntactic.Constructs.Binding |
| simpleFold | Language.Syntactic.Traversal, Language.Syntactic |
| simpleMatch | Language.Syntactic.Traversal, Language.Syntactic |
| single | Language.Syntactic.Sharing.Utils |
| size | Language.Syntactic.Syntax, Language.Syntactic |
| StName | |
| 1 (Type/Class) | Language.Syntactic.Sharing.StableName |
| 2 (Data Constructor) | Language.Syntactic.Sharing.StableName |
| StringTree | Language.Syntactic.Interpretation.Render, Language.Syntactic |
| stringTree | Language.Syntactic.Interpretation.Render, Language.Syntactic |
| stringTreeDecor | Language.Syntactic.Constructs.Decoration |
| stringTreeSym | Language.Syntactic.Interpretation.Render, Language.Syntactic |
| stripDecor | Language.Syntactic.Constructs.Decoration |
| Sub | Language.Syntactic.Constraint, Language.Syntactic |
| sub | Language.Syntactic.Constraint, Language.Syntactic |
| SubConstr1 | |
| 1 (Type/Class) | Language.Syntactic.Constraint, Language.Syntactic |
| 2 (Data Constructor) | Language.Syntactic.Constraint, Language.Syntactic |
| SubConstr2 | |
| 1 (Type/Class) | Language.Syntactic.Constraint, Language.Syntactic |
| 2 (Data Constructor) | Language.Syntactic.Constraint, Language.Syntactic |
| subst | Language.Syntactic.Constructs.Binding |
| sugar | Language.Syntactic.Sugar, Language.Syntactic |
| sugarMonad | Language.Syntactic.Frontend.Monad |
| sugarN | Language.Syntactic.Sugar, Language.Syntactic |
| sugarSym | Language.Syntactic.Sugar, Language.Syntactic |
| sugarSymC | Language.Syntactic.Sugar, Language.Syntactic |
| Sym | Language.Syntactic.Syntax, Language.Syntactic |
| symType | Language.Syntactic.Syntax, Language.Syntactic |
| Syntactic | Language.Syntactic.Sugar, Language.Syntactic |
| SyntacticN | Language.Syntactic.Sugar, Language.Syntactic |
| SyntaxPF | Language.Syntactic.Sharing.Graph |
| Then | Language.Syntactic.Constructs.Monad |
| toDyn | Data.DynamicAlt |
| Top | Language.Syntactic.Constraint, Language.Syntactic |
| topExpression | Language.Syntactic.Sharing.Graph |
| toTree | Language.Syntactic.Traversal, Language.Syntactic |
| Tup2 | Language.Syntactic.Constructs.Tuple |
| Tup3 | Language.Syntactic.Constructs.Tuple |
| Tup4 | Language.Syntactic.Constructs.Tuple |
| Tup5 | Language.Syntactic.Constructs.Tuple |
| Tup6 | Language.Syntactic.Constructs.Tuple |
| Tup7 | Language.Syntactic.Constructs.Tuple |
| Tuple | Language.Syntactic.Constructs.Tuple |
| TupleSat | Language.Syntactic.Frontend.TupleConstrained |
| universe | Language.Syntactic.Constraint, Language.Syntactic |
| unMon | Language.Syntactic.Frontend.Monad |
| unwrapFull | Language.Syntactic.Traversal, Language.Syntactic |
| updateDecor | Language.Syntactic.Constructs.Decoration |
| VarEqEnv | Language.Syntactic.Constructs.Binding |
| Variable | |
| 1 (Type/Class) | Language.Syntactic.Constructs.Binding, Language.Syntactic.Constructs.Binding.HigherOrder |
| 2 (Data Constructor) | Language.Syntactic.Constructs.Binding |
| VarId | |
| 1 (Type/Class) | Language.Syntactic.Constructs.Binding |
| 2 (Data Constructor) | Language.Syntactic.Constructs.Binding |
| varInteger | Language.Syntactic.Constructs.Binding |
| weakL | Language.Syntactic.Constraint, Language.Syntactic |
| weakR | Language.Syntactic.Constraint, Language.Syntactic |
| When | Language.Syntactic.Constructs.Monad |
| WrapFull | |
| 1 (Type/Class) | Language.Syntactic.Traversal, Language.Syntactic |
| 2 (Data Constructor) | Language.Syntactic.Traversal, Language.Syntactic |
| writeHtmlAST | Language.Syntactic.Interpretation.Render, Language.Syntactic |