Index

$:	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
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
drawASG	Language.Syntactic.Sharing.Graph
drawAST	Language.Syntactic.Analysis.Render, Language.Syntactic
empty	Language.Syntactic.Sharing.Utils
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
evaluate	Language.Syntactic.Analysis.Evaluation, Language.Syntactic
evaluateFunc	Language.Syntactic.Features.Symbol
ExprEq	Language.Syntactic.Analysis.Equality, Language.Syntactic
exprEq	Language.Syntactic.Analysis.Equality, Language.Syntactic
exprEqFunc	Language.Syntactic.Features.Symbol
exprHash	Language.Syntactic.Analysis.Equality, Language.Syntactic
exprHashFunc	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
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
Partial	Language.Syntactic.Syntax, Language.Syntactic
partitionNodes	Language.Syntactic.Sharing.Graph
Poly	Language.Syntactic.Syntax, Language.Syntactic
poly	Language.Syntactic.Syntax, Language.Syntactic
printExpr	Language.Syntactic.Analysis.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
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.Analysis.Render, Language.Syntactic
render	Language.Syntactic.Analysis.Render, Language.Syntactic
renderPart	Language.Syntactic.Analysis.Render, Language.Syntactic
renderPartFunc	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
showASG	Language.Syntactic.Sharing.Graph
showAST	Language.Syntactic.Analysis.Render, Language.Syntactic
showNode	Language.Syntactic.Sharing.Graph
showVar	Language.Syntactic.Features.Binding
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.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
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