syntactic-0.2: Generic abstract syntax, and utilities for embedded languages

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
ASTLanguage.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
ASTFLanguage.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
bindNLanguage.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
conditionLanguage.Syntactic.Features.Condition, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
ConsEvalLanguage.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
consEvalLanguage.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
ConsTypeLanguage.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
desugarLanguage.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
desugarNLanguage.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
drawASTLanguage.Syntactic.Analysis.Render, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
eqLambdaLanguage.Syntactic.Features.Binding
eqLambdaMLanguage.Syntactic.Features.Binding
eqSynLanguage.Syntactic.Analysis.Equality, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
EvalLanguage.Syntactic.Analysis.Evaluation, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
evalFullLanguage.Syntactic.Analysis.Evaluation, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
evalLambdaLanguage.Syntactic.Features.Binding, Language.Syntactic.Features.Binding.HigherOrder
evalLambdaMLanguage.Syntactic.Features.Binding
EvalResultLanguage.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
evalSynLanguage.Syntactic.Analysis.Evaluation, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
evaluateLanguage.Syntactic.Analysis.Evaluation, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
ExprEqLanguage.Syntactic.Analysis.Equality, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
exprEqLanguage.Syntactic.Analysis.Equality, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
ExprHashLanguage.Syntactic.Analysis.Hash, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
exprHashLanguage.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
getInfoLanguage.Syntactic.Features.Annotate, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
HOASTLanguage.Syntactic.Features.Binding.HigherOrder
HOLambda 
1 (Type/Class)Language.Syntactic.Features.Binding.HigherOrder
2 (Data Constructor)Language.Syntactic.Features.Binding.HigherOrder
injectLanguage.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
injectAnnLanguage.Syntactic.Features.Annotate, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
InjectLLanguage.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
InjectRLanguage.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
InternalLanguage.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
Lambda 
1 (Type/Class)Language.Syntactic.Features.Binding
2 (Data Constructor)Language.Syntactic.Features.Binding
lambdaLanguage.Syntactic.Features.Binding.HigherOrder
lambdaNLanguage.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
litLanguage.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
litSynLanguage.Syntactic.Features.Literal, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
NAryLanguage.Syntactic.Features.Binding
NAryEvalLanguage.Syntactic.Features.Binding
NilLanguage.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
PartialLanguage.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
primFuncLanguage.Syntactic.Features.PrimFunc, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
primFunc2Language.Syntactic.Features.PrimFunc, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
primFunc3Language.Syntactic.Features.PrimFunc, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
primFunc4Language.Syntactic.Features.PrimFunc, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
printExprLanguage.Syntactic.Analysis.Render, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
processNodeLanguage.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
projectLanguage.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
projectAnnLanguage.Syntactic.Features.Annotate, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
ReifiableLanguage.Syntactic.Features.Binding.HigherOrder
reifyLanguage.Syntactic.Features.Binding.HigherOrder
reifyHOASTLanguage.Syntactic.Features.Binding.HigherOrder
reifyMLanguage.Syntactic.Features.Binding.HigherOrder
RenderLanguage.Syntactic.Analysis.Render, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
renderLanguage.Syntactic.Analysis.Render, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
renderPartLanguage.Syntactic.Analysis.Render, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
resugarLanguage.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
resultLanguage.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
Sel1Language.Syntactic.Features.Tuple, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
Sel2Language.Syntactic.Features.Tuple, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
Sel3Language.Syntactic.Features.Tuple, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
Sel4Language.Syntactic.Features.Tuple, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
Sel5Language.Syntactic.Features.Tuple, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
Sel6Language.Syntactic.Features.Tuple, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
Sel7Language.Syntactic.Features.Tuple, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
SelectLanguage.Syntactic.Features.Tuple, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
selectPosLanguage.Syntactic.Features.Tuple, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
showASTLanguage.Syntactic.Analysis.Render, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
showVarLanguage.Syntactic.Features.Binding
SubTreesLanguage.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
sugarLanguage.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
sugarNLanguage.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
SymbolLanguage.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
SyntacticLanguage.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
SyntacticNLanguage.Syntactic.Syntax, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
ToTreeLanguage.Syntactic.Analysis.Render, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
toTreePartLanguage.Syntactic.Analysis.Render, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
Tup2Language.Syntactic.Features.Tuple, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
Tup3Language.Syntactic.Features.Tuple, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
Tup4Language.Syntactic.Features.Tuple, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
Tup5Language.Syntactic.Features.Tuple, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
Tup6Language.Syntactic.Features.Tuple, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
Tup7Language.Syntactic.Features.Tuple, Language.Syntactic, Language.Syntactic.Features.Binding.HigherOrder
TupleLanguage.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
varIntegerLanguage.Syntactic.Features.Binding