$: | 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 |