| $: | Language.Syntactic.Syntax, Language.Syntactic |
| :$: | Language.Syntactic.Syntax, Language.Syntactic |
| :*: | Language.Syntactic.Syntax, Language.Syntactic |
| :+: | Language.Syntactic.Syntax, Language.Syntactic |
| :-> | Language.Syntactic.Syntax, Language.Syntactic |
| :<: | Language.Syntactic.Syntax, Language.Syntactic |
| alphaEq | Language.Syntactic.Features.Binding |
| alphaEqM | Language.Syntactic.Features.Binding |
| Ann | |
| 1 (Type/Class) | Language.Syntactic.Features.Annotate, Language.Syntactic |
| 2 (Data Constructor) | Language.Syntactic.Features.Annotate, Language.Syntactic |
| annExpr | Language.Syntactic.Features.Annotate, Language.Syntactic |
| annInfo | Language.Syntactic.Features.Annotate, Language.Syntactic |
| AnnSTF | Language.Syntactic.Features.Annotate, Language.Syntactic |
| appHList | Language.Syntactic.Syntax, Language.Syntactic |
| AppPF | Language.Syntactic.Sharing.Graph |
| ASG | |
| 1 (Type/Class) | Language.Syntactic.Sharing.Graph |
| 2 (Data Constructor) | Language.Syntactic.Sharing.Graph |
| AST | Language.Syntactic.Syntax, Language.Syntactic |
| ASTF | Language.Syntactic.Syntax, Language.Syntactic |
| bindN | Language.Syntactic.Features.Binding |
| collectInfo | Language.Syntactic.Features.Annotate, Language.Syntactic |
| Condition | |
| 1 (Type/Class) | Language.Syntactic.Features.Condition |
| 2 (Data Constructor) | Language.Syntactic.Features.Condition |
| condition | Language.Syntactic.Features.Condition |
| conditionCtx | Language.Syntactic.Features.Condition |
| ConsEval | Language.Syntactic.Syntax, Language.Syntactic |
| ConstFolder | Language.Syntactic.Features.Binding.PartialEval |
| ConsType | Language.Syntactic.Syntax, Language.Syntactic |
| ConsWit | |
| 1 (Type/Class) | Language.Syntactic.Syntax, Language.Syntactic |
| 2 (Data Constructor) | Language.Syntactic.Syntax, Language.Syntactic |
| Context | Language.Syntactic.Syntax, Language.Syntactic |
| count | Language.Syntactic.Sharing.Utils |
| cse | Language.Syntactic.Sharing.Graph |
| desugar | Language.Syntactic.Syntax, Language.Syntactic |
| desugarN | Language.Syntactic.Syntax, Language.Syntactic |
| desugarTup2 | Language.Syntactic.Features.Tuple |
| desugarTup3 | Language.Syntactic.Features.Tuple |
| desugarTup4 | Language.Syntactic.Features.Tuple |
| desugarTup5 | Language.Syntactic.Features.Tuple |
| desugarTup6 | Language.Syntactic.Features.Tuple |
| desugarTup7 | Language.Syntactic.Features.Tuple |
| DList | Language.Syntactic.Sharing.Utils |
| DomPF | Language.Syntactic.Sharing.Graph |
| drawANN | Language.Syntactic.Features.Annotate, Language.Syntactic |
| drawASG | Language.Syntactic.Sharing.Graph |
| drawAST | Language.Syntactic.Interpretation.Render, Language.Syntactic |
| empty | Language.Syntactic.Sharing.Utils |
| Eval | Language.Syntactic.Interpretation.Evaluation, Language.Syntactic |
| evalFull | Language.Syntactic.Interpretation.Evaluation, Language.Syntactic |
| evalLambda | Language.Syntactic.Features.Binding, Language.Syntactic.Features.Binding.HigherOrder |
| evalLambdaM | Language.Syntactic.Features.Binding |
| EvalResult | Language.Syntactic.Syntax, Language.Syntactic |
| evaluate | Language.Syntactic.Interpretation.Evaluation, Language.Syntactic |
| evaluateSym | Language.Syntactic.Features.Symbol |
| ExprEq | Language.Syntactic.Interpretation.Equality, Language.Syntactic |
| exprEq | Language.Syntactic.Interpretation.Equality, Language.Syntactic |
| exprEqSym | Language.Syntactic.Features.Symbol |
| exprHash | Language.Syntactic.Interpretation.Equality, Language.Syntactic |
| exprHashSym | Language.Syntactic.Features.Symbol |
| foldGraph | Language.Syntactic.Sharing.Graph |
| fresh | Language.Syntactic.Sharing.StableName |
| fromDList | Language.Syntactic.Sharing.Utils |
| fromEval | Language.Syntactic.Syntax, Language.Syntactic |
| 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.Features.Annotate, Language.Syntactic |
| graphNodes | Language.Syntactic.Sharing.Graph |
| hash | Language.Syntactic.Sharing.StableName |
| hashNodes | Language.Syntactic.Sharing.Graph |
| History | Language.Syntactic.Sharing.StableName |
| HList | Language.Syntactic.Syntax, Language.Syntactic |
| HOAST | Language.Syntactic.Features.Binding.HigherOrder |
| HOASTF | Language.Syntactic.Features.Binding.HigherOrder |
| HOLambda | |
| 1 (Type/Class) | Language.Syntactic.Features.Binding.HigherOrder |
| 2 (Data Constructor) | Language.Syntactic.Features.Binding.HigherOrder |
| inject | Language.Syntactic.Syntax, Language.Syntactic |
| injectAnn | Language.Syntactic.Features.Annotate, Language.Syntactic |
| InjectL | Language.Syntactic.Syntax, Language.Syntactic |
| InjectR | Language.Syntactic.Syntax, Language.Syntactic |
| inlineAll | Language.Syntactic.Sharing.Graph |
| inlineSingle | Language.Syntactic.Sharing.Graph |
| Internal | Language.Syntactic.Syntax, Language.Syntactic |
| IsSymbol | Language.Syntactic.Features.Symbol |
| Lambda | |
| 1 (Type/Class) | Language.Syntactic.Features.Binding |
| 2 (Data Constructor) | Language.Syntactic.Features.Binding |
| lambda | Language.Syntactic.Features.Binding.HigherOrder |
| lambdaN | Language.Syntactic.Features.Binding.HigherOrder |
| Let | |
| 1 (Type/Class) | Language.Syntactic.Features.Binding, Language.Syntactic.Features.Binding.HigherOrder |
| 2 (Data Constructor) | Language.Syntactic.Features.Binding, Language.Syntactic.Features.Binding.HigherOrder |
| letBind | Language.Syntactic.Features.Binding.HigherOrder |
| letBindCtx | Language.Syntactic.Features.Binding.HigherOrder |
| liftSome2 | Language.Syntactic.Sharing.Graph |
| listHList | Language.Syntactic.Syntax, Language.Syntactic |
| listHListM | Language.Syntactic.Syntax, Language.Syntactic |
| lit | Language.Syntactic.Features.Literal |
| litCtx | Language.Syntactic.Features.Literal |
| Literal | |
| 1 (Type/Class) | Language.Syntactic.Features.Literal |
| 2 (Data Constructor) | Language.Syntactic.Features.Literal |
| lookHistory | Language.Syntactic.Sharing.StableName |
| mapHList | Language.Syntactic.Syntax, Language.Syntactic |
| mapHListM | Language.Syntactic.Syntax, Language.Syntactic |
| NAry | Language.Syntactic.Features.Binding |
| NAryEval | Language.Syntactic.Features.Binding |
| Nil | Language.Syntactic.Syntax, Language.Syntactic |
| Node | |
| 1 (Type/Class) | Language.Syntactic.Sharing.Graph |
| 2 (Data Constructor) | Language.Syntactic.Sharing.Graph |
| nodeChildren | 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 |
| partEvalFeat | Language.Syntactic.Features.Binding.PartialEval |
| partEvalFeatDefault | Language.Syntactic.Features.Binding.PartialEval |
| Partial | Language.Syntactic.Syntax, Language.Syntactic |
| PartialEval | Language.Syntactic.Features.Binding.PartialEval |
| partialEval | Language.Syntactic.Features.Binding.PartialEval |
| partialEvalM | Language.Syntactic.Features.Binding.PartialEval |
| partitionNodes | Language.Syntactic.Sharing.Graph |
| Poly | Language.Syntactic.Syntax, Language.Syntactic |
| poly | Language.Syntactic.Syntax, Language.Syntactic |
| PolyWit | Language.Syntactic.Syntax, Language.Syntactic |
| printExpr | Language.Syntactic.Interpretation.Render, Language.Syntactic |
| prjCondition | Language.Syntactic.Features.Condition |
| prjLambda | Language.Syntactic.Features.Binding |
| prjLet | Language.Syntactic.Features.Binding |
| prjLiteral | Language.Syntactic.Features.Literal |
| prjNode | Language.Syntactic.Sharing.Graph |
| prjSelect | Language.Syntactic.Features.Tuple |
| prjSym | Language.Syntactic.Features.Symbol |
| prjTuple | Language.Syntactic.Features.Tuple |
| prjVariable | Language.Syntactic.Features.Binding |
| project | Language.Syntactic.Syntax, Language.Syntactic |
| projectAnn | Language.Syntactic.Features.Annotate, Language.Syntactic |
| queryNode | Language.Syntactic.Syntax, Language.Syntactic |
| queryNodeI | Language.Syntactic.Syntax, Language.Syntactic |
| Reifiable | Language.Syntactic.Features.Binding.HigherOrder |
| reify | Language.Syntactic.Features.Binding.HigherOrder |
| reifyCtx | Language.Syntactic.Features.Binding.HigherOrder |
| reifyGraph | |
| 1 (Function) | Language.Syntactic.Sharing.Reify |
| 2 (Function) | Language.Syntactic.Sharing.ReifyHO |
| reifyGraphTop | Language.Syntactic.Sharing.ReifyHO |
| reifyM | Language.Syntactic.Features.Binding.HigherOrder |
| reifyTop | Language.Syntactic.Features.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 |
| renderPart | Language.Syntactic.Interpretation.Render, Language.Syntactic |
| renderPartSym | Language.Syntactic.Features.Symbol |
| resugar | Language.Syntactic.Syntax, Language.Syntactic |
| result | Language.Syntactic.Syntax, Language.Syntactic |
| Sat | Language.Syntactic.Syntax, Language.Syntactic |
| Sel1 | Language.Syntactic.Features.Tuple |
| Sel2 | Language.Syntactic.Features.Tuple |
| Sel3 | Language.Syntactic.Features.Tuple |
| Sel4 | Language.Syntactic.Features.Tuple |
| Sel5 | Language.Syntactic.Features.Tuple |
| Sel6 | Language.Syntactic.Features.Tuple |
| Sel7 | Language.Syntactic.Features.Tuple |
| Select | Language.Syntactic.Features.Tuple |
| selectPos | Language.Syntactic.Features.Tuple |
| showANN | Language.Syntactic.Features.Annotate, Language.Syntactic |
| showASG | Language.Syntactic.Sharing.Graph |
| showAST | Language.Syntactic.Interpretation.Render, Language.Syntactic |
| showNode | Language.Syntactic.Sharing.Graph |
| showVar | Language.Syntactic.Features.Binding |
| SimpleCtx | Language.Syntactic.Syntax, Language.Syntactic |
| simpleCtx | Language.Syntactic.Syntax, Language.Syntactic |
| SimpleWit | Language.Syntactic.Syntax, Language.Syntactic |
| single | Language.Syntactic.Sharing.Utils |
| SomeAST | |
| 1 (Type/Class) | Language.Syntactic.Sharing.Graph |
| 2 (Data Constructor) | Language.Syntactic.Sharing.Graph |
| stCast | Language.Syntactic.Sharing.StableName |
| StName | |
| 1 (Type/Class) | Language.Syntactic.Sharing.StableName |
| 2 (Data Constructor) | Language.Syntactic.Sharing.StableName |
| sugar | Language.Syntactic.Syntax, Language.Syntactic |
| sugarN | Language.Syntactic.Syntax, Language.Syntactic |
| sugarTup2 | Language.Syntactic.Features.Tuple |
| sugarTup3 | Language.Syntactic.Features.Tuple |
| sugarTup4 | Language.Syntactic.Features.Tuple |
| sugarTup5 | Language.Syntactic.Features.Tuple |
| sugarTup6 | Language.Syntactic.Features.Tuple |
| sugarTup7 | Language.Syntactic.Features.Tuple |
| Sym | |
| 1 (Type/Class) | Language.Syntactic.Features.Symbol |
| 2 (Data Constructor) | Language.Syntactic.Features.Symbol |
| sym0 | Language.Syntactic.Features.Symbol |
| sym1 | Language.Syntactic.Features.Symbol |
| sym2 | Language.Syntactic.Features.Symbol |
| sym3 | Language.Syntactic.Features.Symbol |
| sym4 | Language.Syntactic.Features.Symbol |
| Symbol | Language.Syntactic.Syntax, Language.Syntactic |
| Syntactic | Language.Syntactic.Syntax, Language.Syntactic |
| SyntacticN | Language.Syntactic.Syntax, Language.Syntactic |
| SyntaxPF | Language.Syntactic.Sharing.Graph |
| toEval | Language.Syntactic.Syntax, Language.Syntactic |
| topExpression | Language.Syntactic.Sharing.Graph |
| toSym | Language.Syntactic.Features.Symbol |
| ToTree | Language.Syntactic.Interpretation.Render, Language.Syntactic |
| toTreeAnn | Language.Syntactic.Features.Annotate, Language.Syntactic |
| toTreePart | Language.Syntactic.Interpretation.Render, Language.Syntactic |
| transformNode | Language.Syntactic.Syntax, Language.Syntactic |
| transformNodeC | Language.Syntactic.Syntax, Language.Syntactic |
| Tup2 | Language.Syntactic.Features.Tuple |
| Tup3 | Language.Syntactic.Features.Tuple |
| Tup4 | Language.Syntactic.Features.Tuple |
| Tup5 | Language.Syntactic.Features.Tuple |
| Tup6 | Language.Syntactic.Features.Tuple |
| Tup7 | Language.Syntactic.Features.Tuple |
| Tuple | Language.Syntactic.Features.Tuple |
| Variable | |
| 1 (Type/Class) | Language.Syntactic.Features.Binding, Language.Syntactic.Features.Binding.HigherOrder |
| 2 (Data Constructor) | Language.Syntactic.Features.Binding |
| VarId | |
| 1 (Type/Class) | Language.Syntactic.Features.Binding |
| 2 (Data Constructor) | Language.Syntactic.Features.Binding |
| varInteger | Language.Syntactic.Features.Binding |
| withContext | Language.Syntactic.Syntax, Language.Syntactic |
| Witness | Language.Syntactic.Syntax, Language.Syntactic |
| witness | Language.Syntactic.Syntax, Language.Syntactic |
| Witness' | |
| 1 (Type/Class) | Language.Syntactic.Syntax, Language.Syntactic |
| 2 (Data Constructor) | Language.Syntactic.Syntax, Language.Syntactic |
| witness' | Language.Syntactic.Syntax, Language.Syntactic |
| WitnessCons | Language.Syntactic.Syntax, Language.Syntactic |
| witnessCons | Language.Syntactic.Syntax, Language.Syntactic |
| WitnessSat | Language.Syntactic.Syntax, Language.Syntactic |
| witnessSat | Language.Syntactic.Syntax, Language.Syntactic |
| witnessSatSym | Language.Syntactic.Features.Symbol |