$: | 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 |
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 |
AST | Language.Syntactic.Syntax, Language.Syntactic |
ASTF | Language.Syntactic.Syntax, Language.Syntactic |
bindN | Language.Syntactic.Features.Binding |
Condition | |
1 (Type/Class) | Language.Syntactic.Features.Condition |
2 (Data Constructor) | Language.Syntactic.Features.Condition |
condition | Language.Syntactic.Features.Condition |
ConsEval | Language.Syntactic.Syntax, Language.Syntactic |
ConsType | Language.Syntactic.Syntax, Language.Syntactic |
desugar | Language.Syntactic.Syntax, Language.Syntactic |
desugarN | Language.Syntactic.Syntax, Language.Syntactic |
drawAST | Language.Syntactic.Analysis.Render, Language.Syntactic |
eqLambda | Language.Syntactic.Features.Binding |
eqLambdaM | Language.Syntactic.Features.Binding |
eqSyn | Language.Syntactic.Analysis.Equality, Language.Syntactic |
Eval | Language.Syntactic.Analysis.Evaluation, Language.Syntactic |
evalFull | Language.Syntactic.Analysis.Evaluation, Language.Syntactic |
evalLambda | Language.Syntactic.Features.Binding, Language.Syntactic.Features.Binding.HigherOrder |
evalLambdaM | Language.Syntactic.Features.Binding |
EvalResult | Language.Syntactic.Syntax, Language.Syntactic |
evalSyn | Language.Syntactic.Analysis.Evaluation, Language.Syntactic |
evaluate | Language.Syntactic.Analysis.Evaluation, Language.Syntactic |
evaluateFunc | Language.Syntactic.Features.PrimFunc |
ExprEq | Language.Syntactic.Analysis.Equality, Language.Syntactic |
exprEq | Language.Syntactic.Analysis.Equality, Language.Syntactic |
exprEqFunc | Language.Syntactic.Features.PrimFunc |
ExprHash | Language.Syntactic.Analysis.Hash, Language.Syntactic |
exprHash | Language.Syntactic.Analysis.Hash, Language.Syntactic |
exprHashFunc | Language.Syntactic.Features.PrimFunc |
fromEval | Language.Syntactic.Syntax, Language.Syntactic |
Full | |
1 (Type/Class) | Language.Syntactic.Syntax, Language.Syntactic |
2 (Data Constructor) | Language.Syntactic.Syntax, Language.Syntactic |
getInfo | Language.Syntactic.Features.Annotate, Language.Syntactic |
HList | Language.Syntactic.Syntax, Language.Syntactic |
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 |
injectAnn | Language.Syntactic.Features.Annotate, Language.Syntactic |
InjectL | Language.Syntactic.Syntax, Language.Syntactic |
InjectR | Language.Syntactic.Syntax, Language.Syntactic |
Internal | Language.Syntactic.Syntax, Language.Syntactic |
IsFunction | Language.Syntactic.Features.PrimFunc |
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 |
listHList | Language.Syntactic.Syntax, Language.Syntactic |
listHListM | Language.Syntactic.Syntax, Language.Syntactic |
lit | Language.Syntactic.Features.Literal |
litAnn | Language.Syntactic.Features.Literal |
Literal | |
1 (Type/Class) | Language.Syntactic.Features.Literal |
2 (Data Constructor) | Language.Syntactic.Features.Literal |
mapHList | Language.Syntactic.Syntax, Language.Syntactic |
NAry | Language.Syntactic.Features.Binding |
NAryEval | Language.Syntactic.Features.Binding |
Nil | Language.Syntactic.Syntax, Language.Syntactic |
Partial | Language.Syntactic.Syntax, Language.Syntactic |
PrimFunc | |
1 (Type/Class) | Language.Syntactic.Features.PrimFunc |
2 (Data Constructor) | Language.Syntactic.Features.PrimFunc |
primFunc1 | Language.Syntactic.Features.PrimFunc |
primFunc2 | Language.Syntactic.Features.PrimFunc |
primFunc3 | Language.Syntactic.Features.PrimFunc |
primFunc4 | Language.Syntactic.Features.PrimFunc |
primFuncAnn1 | Language.Syntactic.Features.PrimFunc |
primFuncAnn2 | Language.Syntactic.Features.PrimFunc |
primFuncAnn3 | Language.Syntactic.Features.PrimFunc |
primFuncAnn4 | Language.Syntactic.Features.PrimFunc |
printExpr | Language.Syntactic.Analysis.Render, Language.Syntactic |
project | Language.Syntactic.Syntax, Language.Syntactic |
projectAnn | Language.Syntactic.Features.Annotate, Language.Syntactic |
queryNode | Language.Syntactic.Syntax, Language.Syntactic |
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 |
render | Language.Syntactic.Analysis.Render, Language.Syntactic |
renderPart | Language.Syntactic.Analysis.Render, Language.Syntactic |
renderPartFunc | Language.Syntactic.Features.PrimFunc |
resugar | Language.Syntactic.Syntax, Language.Syntactic |
result | 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 |
showAST | Language.Syntactic.Analysis.Render, Language.Syntactic |
showVar | Language.Syntactic.Features.Binding |
sugar | Language.Syntactic.Syntax, Language.Syntactic |
sugarN | Language.Syntactic.Syntax, Language.Syntactic |
Symbol | Language.Syntactic.Syntax, Language.Syntactic |
Syntactic | Language.Syntactic.Syntax, Language.Syntactic |
SyntacticN | Language.Syntactic.Syntax, Language.Syntactic |
toEval | Language.Syntactic.Syntax, Language.Syntactic |
toFunction | Language.Syntactic.Features.PrimFunc |
ToTree | Language.Syntactic.Analysis.Render, Language.Syntactic |
toTreePart | Language.Syntactic.Analysis.Render, Language.Syntactic |
transformNode | 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 |