Index
| $: | Language.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| :$: | Language.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| :*: | Language.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| :+: | Language.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| :-> | Language.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| :<: | Language.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| Ann | |
| 1 (Type/Class) | Language.Syntactic.Features.Annotate, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| 2 (Data Constructor) | Language.Syntactic.Features.Annotate, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| AST | Language.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| ASTF | Language.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| bindN | Language.Syntactic.Features.Binding |
| Condition | |
| 1 (Type/Class) | Language.Syntactic.Features.Condition, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| 2 (Data Constructor) | Language.Syntactic.Features.Condition, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| condition | Language.Syntactic.Features.Condition, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| ConsEval | Language.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| consEval | Language.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| ConsType | Language.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| desugar | Language.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| desugarN | Language.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| drawAST | Language.Syntactic.Analysis.Render, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| eqLambda | Language.Syntactic.Features.Binding |
| eqLambdaM | Language.Syntactic.Features.Binding |
| eqSyn | Language.Syntactic.Analysis.Equality, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| Eval | Language.Syntactic.Analysis.Evaluation, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| evalFull | Language.Syntactic.Analysis.Evaluation, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| evalLambda | Language.Syntactic.Features.Binding, Language.Syntactic.Features.Binding.HigherOrder |
| evalLambdaM | Language.Syntactic.Features.Binding |
| EvalResult | Language.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| evalSyn | Language.Syntactic.Analysis.Evaluation, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| evaluate | Language.Syntactic.Analysis.Evaluation, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| ExprEq | Language.Syntactic.Analysis.Equality, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| exprEq | Language.Syntactic.Analysis.Equality, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| ExprHash | Language.Syntactic.Analysis.Hash, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| exprHash | Language.Syntactic.Analysis.Hash, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| Full | |
| 1 (Type/Class) | Language.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| 2 (Data Constructor) | Language.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| getInfo | Language.Syntactic.Features.Annotate, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| HOAST | 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, Language.Syntactic.Features.Binding.HigherOrder |
| injectAnn | Language.Syntactic.Features.Annotate, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| InjectL | Language.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| InjectR | Language.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| Internal | Language.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| 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 |
| let_ | Language.Syntactic.Features.Binding.HigherOrder |
| lit | Language.Syntactic.Features.Literal, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| Literal | |
| 1 (Type/Class) | Language.Syntactic.Features.Literal, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| 2 (Data Constructor) | Language.Syntactic.Features.Literal, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| litSyn | Language.Syntactic.Features.Literal, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| NAry | Language.Syntactic.Features.Binding |
| NAryEval | Language.Syntactic.Features.Binding |
| Nil | Language.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| Partial | Language.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| PrimFunc | |
| 1 (Type/Class) | Language.Syntactic.Features.PrimFunc, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| 2 (Data Constructor) | Language.Syntactic.Features.PrimFunc, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| primFunc | Language.Syntactic.Features.PrimFunc, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| primFunc2 | Language.Syntactic.Features.PrimFunc, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| primFunc3 | Language.Syntactic.Features.PrimFunc, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| primFunc4 | Language.Syntactic.Features.PrimFunc, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| printExpr | Language.Syntactic.Analysis.Render, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| processNode | Language.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| project | Language.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| projectAnn | Language.Syntactic.Features.Annotate, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| Reifiable | Language.Syntactic.Features.Binding.HigherOrder |
| reify | Language.Syntactic.Features.Binding.HigherOrder |
| reifyHOAST | Language.Syntactic.Features.Binding.HigherOrder |
| reifyM | Language.Syntactic.Features.Binding.HigherOrder |
| Render | Language.Syntactic.Analysis.Render, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| render | Language.Syntactic.Analysis.Render, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| renderPart | Language.Syntactic.Analysis.Render, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| resugar | Language.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| result | Language.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| Sel1 | Language.Syntactic.Features.Tuple, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| Sel2 | Language.Syntactic.Features.Tuple, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| Sel3 | Language.Syntactic.Features.Tuple, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| Sel4 | Language.Syntactic.Features.Tuple, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| Sel5 | Language.Syntactic.Features.Tuple, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| Sel6 | Language.Syntactic.Features.Tuple, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| Sel7 | Language.Syntactic.Features.Tuple, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| Select | Language.Syntactic.Features.Tuple, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| selectPos | Language.Syntactic.Features.Tuple, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| showAST | Language.Syntactic.Analysis.Render, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| showVar | Language.Syntactic.Features.Binding |
| SubTrees | Language.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| sugar | Language.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| sugarN | Language.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| Symbol | Language.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| Syntactic | Language.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| SyntacticN | Language.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| ToTree | Language.Syntactic.Analysis.Render, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| toTreePart | Language.Syntactic.Analysis.Render, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| Tup2 | Language.Syntactic.Features.Tuple, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| Tup3 | Language.Syntactic.Features.Tuple, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| Tup4 | Language.Syntactic.Features.Tuple, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| Tup5 | Language.Syntactic.Features.Tuple, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| Tup6 | Language.Syntactic.Features.Tuple, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| Tup7 | Language.Syntactic.Features.Tuple, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| Tuple | Language.Syntactic.Features.Tuple, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder |
| 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 |