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

Index

:$Language.Syntactic.Syntax, Language.Syntactic
:*Language.Syntactic.Traversal, Language.Syntactic
:+:Language.Syntactic.Syntax, Language.Syntactic
:->Language.Syntactic.Syntax, Language.Syntactic
:/\:Language.Syntactic.Constraint, Language.Syntactic
:<Language.Syntactic.Constraint, Language.Syntactic
:<:Language.Syntactic.Syntax, Language.Syntactic
:|Language.Syntactic.Constraint, Language.Syntactic
:||Language.Syntactic.Constraint, Language.Syntactic
AlphaEqLanguage.Syntactic.Constructs.Binding
alphaEqLanguage.Syntactic.Constructs.Binding
alphaEqChildrenLanguage.Syntactic.Constructs.Binding
alphaEqMLanguage.Syntactic.Constructs.Binding
alphaEqM2Language.Syntactic.Constructs.Binding
alphaEqSymLanguage.Syntactic.Constructs.Binding
alphaEqSymDefaultLanguage.Syntactic.Constructs.Binding
appArgsLanguage.Syntactic.Traversal, Language.Syntactic
appDenLanguage.Syntactic.Constructs.Binding
ApplySymLanguage.Syntactic.Syntax, Language.Syntactic
AppPFLanguage.Syntactic.Sharing.Graph
appSymLanguage.Syntactic.Syntax, Language.Syntactic
appSym'Language.Syntactic.Syntax, Language.Syntactic
appSymCLanguage.Syntactic.Constraint, Language.Syntactic
ArgsLanguage.Syntactic.Traversal, Language.Syntactic
ASG 
1 (Type/Class)Language.Syntactic.Sharing.Graph
2 (Data Constructor)Language.Syntactic.Sharing.Graph
ASTLanguage.Syntactic.Syntax, Language.Syntactic
ASTB 
1 (Type/Class)Language.Syntactic.Constraint, Language.Syntactic
2 (Data Constructor)Language.Syntactic.Constraint, Language.Syntactic
ASTE 
1 (Type/Class)Language.Syntactic.Constraint, Language.Syntactic
2 (Data Constructor)Language.Syntactic.Constraint, Language.Syntactic
ASTFLanguage.Syntactic.Syntax, Language.Syntactic
ASTSATLanguage.Syntactic.Constraint, Language.Syntactic
betaReduceLanguage.Syntactic.Constructs.Binding
BindLanguage.Syntactic.Constructs.Monad
CLanguage.Syntactic.Constraint, Language.Syntactic
C'Language.Syntactic.Constraint, Language.Syntactic
CLambdaLanguage.Syntactic.Constructs.Binding.HigherOrder
codeMotionLanguage.Syntactic.Sharing.SimpleCodeMotion
codeMotion2Language.Syntactic.Sharing.CodeMotion2
collectInfoLanguage.Syntactic.Constructs.Decoration
Condition 
1 (Type/Class)Language.Syntactic.Constructs.Condition
2 (Data Constructor)Language.Syntactic.Constructs.Condition
ConstFolderLanguage.Syntactic.Constructs.Binding.Optimize
ConstrainedLanguage.Syntactic.Constraint, Language.Syntactic
ConstrainedByLanguage.Syntactic.Constraint, Language.Syntactic
ConstraintLanguage.Syntactic
Construct 
1 (Type/Class)Language.Syntactic.Constructs.Construct
2 (Data Constructor)Language.Syntactic.Constructs.Construct
countLanguage.Syntactic.Sharing.Utils
cseLanguage.Syntactic.Sharing.Graph
Decor 
1 (Type/Class)Language.Syntactic.Constructs.Decoration
2 (Data Constructor)Language.Syntactic.Constructs.Decoration
decorExprLanguage.Syntactic.Constructs.Decoration
decorInfoLanguage.Syntactic.Constructs.Decoration
DenotationLanguage.Syntactic.Interpretation.Evaluation, Language.Syntactic
DenResultLanguage.Syntactic.Syntax, Language.Syntactic
desugarLanguage.Syntactic.Sugar, Language.Syntactic
desugarMonadLanguage.Syntactic.Frontend.Monad
desugarNLanguage.Syntactic.Sugar, Language.Syntactic
Dict 
1 (Data Constructor)Language.Syntactic
2 (Type/Class)Language.Syntactic
DListLanguage.Syntactic.Sharing.Utils
DomainLanguage.Syntactic.Sugar, Language.Syntactic
DomPFLanguage.Syntactic.Sharing.Graph
drawASGLanguage.Syntactic.Sharing.Graph
drawASTLanguage.Syntactic.Interpretation.Render, Language.Syntactic
drawDecorWithLanguage.Syntactic.Constructs.Decoration
Dynamic 
1 (Type/Class)Data.DynamicAlt
2 (Data Constructor)Data.DynamicAlt
EmptyLanguage.Syntactic.Constraint, Language.Syntactic
emptyLanguage.Syntactic.Sharing.Utils
EqEnvLanguage.Syntactic.Sharing.Graph
equalLanguage.Syntactic.Interpretation.Equality, Language.Syntactic
equalDefaultLanguage.Syntactic.Interpretation.Semantics, Language.Syntactic
EqualityLanguage.Syntactic.Interpretation.Equality, Language.Syntactic
EvalLanguage.Syntactic.Interpretation.Evaluation, Language.Syntactic
EvalBindLanguage.Syntactic.Constructs.Binding
evalBindLanguage.Syntactic.Constructs.Binding
evalBindMLanguage.Syntactic.Constructs.Binding
evalBindSymLanguage.Syntactic.Constructs.Binding
evalBindSymDefaultLanguage.Syntactic.Constructs.Binding
evaluateLanguage.Syntactic.Interpretation.Evaluation, Language.Syntactic
evaluateDefaultLanguage.Syntactic.Interpretation.Semantics, Language.Syntactic
everywhereDownLanguage.Syntactic.Traversal, Language.Syntactic
everywhereUpLanguage.Syntactic.Traversal, Language.Syntactic
exprDictLanguage.Syntactic.Constraint, Language.Syntactic
exprDictPlusLanguage.Syntactic.Constraint, Language.Syntactic
exprDictSubLanguage.Syntactic.Constraint, Language.Syntactic
exprHashLanguage.Syntactic.Interpretation.Equality, Language.Syntactic
exprHashDefaultLanguage.Syntactic.Interpretation.Semantics, Language.Syntactic
FODomainLanguage.Syntactic.Constructs.Binding.HigherOrder
foldLanguage.Syntactic.Traversal, Language.Syntactic
foldGraphLanguage.Syntactic.Sharing.Graph
freshLanguage.Syntactic.Sharing.StableName
fromDListLanguage.Syntactic.Sharing.Utils
fromDynData.DynamicAlt
Full 
1 (Type/Class)Language.Syntactic.Syntax, Language.Syntactic
2 (Data Constructor)Language.Syntactic.Syntax, Language.Syntactic
fullPartitionLanguage.Syntactic.Sharing.Utils
getInfoLanguage.Syntactic.Constructs.Decoration
gmapQLanguage.Syntactic.Traversal, Language.Syntactic
gmapTLanguage.Syntactic.Traversal, Language.Syntactic
graphNodesLanguage.Syntactic.Sharing.Graph
hashLanguage.Syntactic.Sharing.StableName
hashNodesLanguage.Syntactic.Sharing.Graph
HistoryLanguage.Syntactic.Sharing.StableName
HODomainLanguage.Syntactic.Constructs.Binding.HigherOrder
HOLambda 
1 (Type/Class)Language.Syntactic.Constructs.Binding.HigherOrder
2 (Data Constructor)Language.Syntactic.Constructs.Binding.HigherOrder
IdLanguage.Syntactic.Constructs.Identity
IdentityLanguage.Syntactic.Constructs.Identity
injLanguage.Syntactic.Syntax, Language.Syntactic
injCLanguage.Syntactic.Constraint, Language.Syntactic
InjDict 
1 (Type/Class)Language.Syntactic.Sharing.SimpleCodeMotion
2 (Data Constructor)Language.Syntactic.Sharing.SimpleCodeMotion
InjectCLanguage.Syntactic.Constraint, Language.Syntactic
InjLLanguage.Syntactic.Syntax, Language.Syntactic
injLambdaLanguage.Syntactic.Sharing.SimpleCodeMotion
injLetLanguage.Syntactic.Sharing.SimpleCodeMotion
InjRLanguage.Syntactic.Syntax, Language.Syntactic
injVariableLanguage.Syntactic.Sharing.SimpleCodeMotion
inlineAllLanguage.Syntactic.Sharing.Graph
inlineSingleLanguage.Syntactic.Sharing.Graph
InternalLanguage.Syntactic.Sugar, Language.Syntactic
IsHODomainLanguage.Syntactic.Constructs.Binding.HigherOrder
Lambda 
1 (Type/Class)Language.Syntactic.Constructs.Binding
2 (Data Constructor)Language.Syntactic.Constructs.Binding
lambdaLanguage.Syntactic.Constructs.Binding.HigherOrder
Let 
1 (Type/Class)Language.Syntactic.Constructs.Binding, Language.Syntactic.Constructs.Binding.HigherOrder
2 (Data Constructor)Language.Syntactic.Constructs.Binding, Language.Syntactic.Constructs.Binding.HigherOrder
liftASTBLanguage.Syntactic.Constraint, Language.Syntactic
liftASTB2Language.Syntactic.Constraint, Language.Syntactic
liftASTELanguage.Syntactic.Constraint, Language.Syntactic
liftASTE2Language.Syntactic.Constraint, Language.Syntactic
liftDecorLanguage.Syntactic.Constructs.Decoration
listArgsLanguage.Syntactic.Traversal, Language.Syntactic
listFoldLanguage.Syntactic.Traversal, Language.Syntactic
Literal 
1 (Type/Class)Language.Syntactic.Constructs.Literal
2 (Data Constructor)Language.Syntactic.Constructs.Literal
lookHistoryLanguage.Syntactic.Sharing.StableName
mapArgsLanguage.Syntactic.Traversal, Language.Syntactic
mapArgsALanguage.Syntactic.Traversal, Language.Syntactic
mapArgsMLanguage.Syntactic.Traversal, Language.Syntactic
matchLanguage.Syntactic.Traversal, Language.Syntactic
matchTransLanguage.Syntactic.Traversal, Language.Syntactic
MkInjDictLanguage.Syntactic.Sharing.SimpleCodeMotion
mkInjDictFOLanguage.Syntactic.Sharing.SimpleCodeMotion
modNodeEqEnvLanguage.Syntactic.Sharing.Graph
modVarEqEnvLanguage.Syntactic.Constructs.Binding
Mon 
1 (Type/Class)Language.Syntactic.Frontend.Monad
2 (Data Constructor)Language.Syntactic.Frontend.Monad
MONADLanguage.Syntactic.Constructs.Monad
NilLanguage.Syntactic.Traversal, Language.Syntactic
Node 
1 (Type/Class)Language.Syntactic.Sharing.Graph
2 (Data Constructor)Language.Syntactic.Sharing.Graph
nodeChildrenLanguage.Syntactic.Sharing.Graph
NodeDomainLanguage.Syntactic.Sharing.Graph
NodeEnvLanguage.Syntactic.Sharing.Graph
NodeEqEnvLanguage.Syntactic.Sharing.Graph
NodeId 
1 (Type/Class)Language.Syntactic.Sharing.Graph
2 (Data Constructor)Language.Syntactic.Sharing.Graph
nodeIntegerLanguage.Syntactic.Sharing.Graph
NodePFLanguage.Syntactic.Sharing.Graph
nubNodesLanguage.Syntactic.Sharing.Graph
numNodesLanguage.Syntactic.Sharing.Graph
occurrencesLanguage.Syntactic.Sharing.Graph
OptimizeLanguage.Syntactic.Constructs.Binding.Optimize
optimizeLanguage.Syntactic.Constructs.Binding.Optimize
Optimize'Language.Syntactic.Constructs.Binding.Optimize
optimizeMLanguage.Syntactic.Constructs.Binding.Optimize
optimizeSymLanguage.Syntactic.Constructs.Binding.Optimize
optimizeSymDefaultLanguage.Syntactic.Constructs.Binding.Optimize
P 
1 (Type/Class)Data.PolyProxy, Language.Syntactic
2 (Data Constructor)Data.PolyProxy, Language.Syntactic
PartialLanguage.Syntactic.Syntax, Language.Syntactic
partitionNodesLanguage.Syntactic.Sharing.Graph
prjLanguage.Syntactic.Syntax, Language.Syntactic
PrjDict 
1 (Type/Class)Language.Syntactic.Sharing.SimpleCodeMotion
2 (Data Constructor)Language.Syntactic.Sharing.SimpleCodeMotion
prjDictFOLanguage.Syntactic.Sharing.SimpleCodeMotion
prjLambdaLanguage.Syntactic.Sharing.SimpleCodeMotion
prjMonadLanguage.Syntactic.Constructs.Monad
prjNodeEqEnvLanguage.Syntactic.Sharing.Graph
prjPLanguage.Syntactic.Syntax, Language.Syntactic
prjVarEqEnvLanguage.Syntactic.Constructs.Binding
prjVariableLanguage.Syntactic.Sharing.SimpleCodeMotion
ProjectLanguage.Syntactic.Syntax, Language.Syntactic
pTopLanguage.Syntactic.Constraint, Language.Syntactic
pTypeableLanguage.Syntactic.Constraint, Language.Syntactic
queryLanguage.Syntactic.Traversal, Language.Syntactic
reifyLanguage.Syntactic.Constructs.Binding.HigherOrder
reifyGraph 
1 (Function)Language.Syntactic.Sharing.Reify
2 (Function)Language.Syntactic.Sharing.ReifyHO
reifyGraphTopLanguage.Syntactic.Sharing.ReifyHO
reifyMLanguage.Syntactic.Constructs.Binding.HigherOrder
reifySmartLanguage.Syntactic.Sharing.SimpleCodeMotion
reifySmart2Language.Syntactic.Sharing.CodeMotion2
reifyTopLanguage.Syntactic.Constructs.Binding.HigherOrder
reindexLanguage.Syntactic.Sharing.Utils
reindexNodesLanguage.Syntactic.Sharing.Graph
reindexNodesASTLanguage.Syntactic.Sharing.Graph
reindexNodesFrom0Language.Syntactic.Sharing.Graph
rememberLanguage.Syntactic.Sharing.StableName
RenderLanguage.Syntactic.Interpretation.Render, Language.Syntactic
renderLanguage.Syntactic.Interpretation.Render, Language.Syntactic
renderArgsLanguage.Syntactic.Interpretation.Render, Language.Syntactic
renderArgsDefaultLanguage.Syntactic.Interpretation.Semantics, Language.Syntactic
renderSymLanguage.Syntactic.Interpretation.Render, Language.Syntactic
renderSymDefaultLanguage.Syntactic.Interpretation.Semantics, Language.Syntactic
resugarLanguage.Syntactic.Sugar, Language.Syntactic
resultLanguage.Syntactic.Syntax, Language.Syntactic
ReturnLanguage.Syntactic.Constructs.Monad
reuseLambdaLanguage.Syntactic.Constructs.Binding
SatLanguage.Syntactic.Constraint, Language.Syntactic
Sel1Language.Syntactic.Constructs.Tuple
Sel1'Language.Syntactic.Constructs.Tuple
Sel10Language.Syntactic.Constructs.Tuple
Sel10'Language.Syntactic.Constructs.Tuple
Sel11Language.Syntactic.Constructs.Tuple
Sel11'Language.Syntactic.Constructs.Tuple
Sel12Language.Syntactic.Constructs.Tuple
Sel12'Language.Syntactic.Constructs.Tuple
Sel13Language.Syntactic.Constructs.Tuple
Sel13'Language.Syntactic.Constructs.Tuple
Sel14Language.Syntactic.Constructs.Tuple
Sel14'Language.Syntactic.Constructs.Tuple
Sel15Language.Syntactic.Constructs.Tuple
Sel15'Language.Syntactic.Constructs.Tuple
Sel2Language.Syntactic.Constructs.Tuple
Sel2'Language.Syntactic.Constructs.Tuple
Sel3Language.Syntactic.Constructs.Tuple
Sel3'Language.Syntactic.Constructs.Tuple
Sel4Language.Syntactic.Constructs.Tuple
Sel4'Language.Syntactic.Constructs.Tuple
Sel5Language.Syntactic.Constructs.Tuple
Sel5'Language.Syntactic.Constructs.Tuple
Sel6Language.Syntactic.Constructs.Tuple
Sel6'Language.Syntactic.Constructs.Tuple
Sel7Language.Syntactic.Constructs.Tuple
Sel7'Language.Syntactic.Constructs.Tuple
Sel8Language.Syntactic.Constructs.Tuple
Sel8'Language.Syntactic.Constructs.Tuple
Sel9Language.Syntactic.Constructs.Tuple
Sel9'Language.Syntactic.Constructs.Tuple
SelectLanguage.Syntactic.Constructs.Tuple
selectPosLanguage.Syntactic.Constructs.Tuple
SemLanguage.Syntactic.Interpretation.Semantics, Language.Syntactic
SemanticLanguage.Syntactic.Interpretation.Semantics, Language.Syntactic
semanticEvalLanguage.Syntactic.Interpretation.Semantics, Language.Syntactic
semanticInstancesLanguage.Syntactic.Interpretation.Semantics, Language.Syntactic
semanticNameLanguage.Syntactic.Interpretation.Semantics, Language.Syntactic
SemanticsLanguage.Syntactic.Interpretation.Semantics, Language.Syntactic
semanticsLanguage.Syntactic.Interpretation.Semantics, Language.Syntactic
showASGLanguage.Syntactic.Sharing.Graph
showASTLanguage.Syntactic.Interpretation.Render, Language.Syntactic
showDecorWithLanguage.Syntactic.Constructs.Decoration
showNodeLanguage.Syntactic.Sharing.Graph
showVarLanguage.Syntactic.Constructs.Binding
simpleFoldLanguage.Syntactic.Traversal, Language.Syntactic
simpleMatchLanguage.Syntactic.Traversal, Language.Syntactic
singleLanguage.Syntactic.Sharing.Utils
sizeLanguage.Syntactic.Syntax, Language.Syntactic
StName 
1 (Type/Class)Language.Syntactic.Sharing.StableName
2 (Data Constructor)Language.Syntactic.Sharing.StableName
StringTreeLanguage.Syntactic.Interpretation.Render, Language.Syntactic
stringTreeLanguage.Syntactic.Interpretation.Render, Language.Syntactic
stringTreeDecorLanguage.Syntactic.Constructs.Decoration
stringTreeSymLanguage.Syntactic.Interpretation.Render, Language.Syntactic
stripDecorLanguage.Syntactic.Constructs.Decoration
SubLanguage.Syntactic.Constraint, Language.Syntactic
subLanguage.Syntactic.Constraint, Language.Syntactic
SubConstr1 
1 (Type/Class)Language.Syntactic.Constraint, Language.Syntactic
2 (Data Constructor)Language.Syntactic.Constraint, Language.Syntactic
SubConstr2 
1 (Type/Class)Language.Syntactic.Constraint, Language.Syntactic
2 (Data Constructor)Language.Syntactic.Constraint, Language.Syntactic
substLanguage.Syntactic.Constructs.Binding
sugarLanguage.Syntactic.Sugar, Language.Syntactic
sugarMonadLanguage.Syntactic.Frontend.Monad
sugarNLanguage.Syntactic.Sugar, Language.Syntactic
sugarSymLanguage.Syntactic.Sugar, Language.Syntactic
sugarSymCLanguage.Syntactic.Sugar, Language.Syntactic
SymLanguage.Syntactic.Syntax, Language.Syntactic
symTypeLanguage.Syntactic.Syntax, Language.Syntactic
SyntacticLanguage.Syntactic.Sugar, Language.Syntactic
SyntacticNLanguage.Syntactic.Sugar, Language.Syntactic
SyntaxPFLanguage.Syntactic.Sharing.Graph
ThenLanguage.Syntactic.Constructs.Monad
toDynData.DynamicAlt
TopLanguage.Syntactic.Constraint, Language.Syntactic
topExpressionLanguage.Syntactic.Sharing.Graph
toTreeLanguage.Syntactic.Traversal, Language.Syntactic
Tup10Language.Syntactic.Constructs.Tuple
Tup11Language.Syntactic.Constructs.Tuple
Tup12Language.Syntactic.Constructs.Tuple
Tup13Language.Syntactic.Constructs.Tuple
Tup14Language.Syntactic.Constructs.Tuple
Tup15Language.Syntactic.Constructs.Tuple
Tup2Language.Syntactic.Constructs.Tuple
Tup3Language.Syntactic.Constructs.Tuple
Tup4Language.Syntactic.Constructs.Tuple
Tup5Language.Syntactic.Constructs.Tuple
Tup6Language.Syntactic.Constructs.Tuple
Tup7Language.Syntactic.Constructs.Tuple
Tup8Language.Syntactic.Constructs.Tuple
Tup9Language.Syntactic.Constructs.Tuple
TupleLanguage.Syntactic.Constructs.Tuple
TupleSatLanguage.Syntactic.Frontend.TupleConstrained
universeLanguage.Syntactic.Constraint, Language.Syntactic
unMonLanguage.Syntactic.Frontend.Monad
unwrapFullLanguage.Syntactic.Traversal, Language.Syntactic
updateDecorLanguage.Syntactic.Constructs.Decoration
VarEqEnvLanguage.Syntactic.Constructs.Binding
Variable 
1 (Type/Class)Language.Syntactic.Constructs.Binding, Language.Syntactic.Constructs.Binding.HigherOrder
2 (Data Constructor)Language.Syntactic.Constructs.Binding
VarId 
1 (Type/Class)Language.Syntactic.Constructs.Binding
2 (Data Constructor)Language.Syntactic.Constructs.Binding
varIntegerLanguage.Syntactic.Constructs.Binding
weakLLanguage.Syntactic.Constraint, Language.Syntactic
weakRLanguage.Syntactic.Constraint, Language.Syntactic
WhenLanguage.Syntactic.Constructs.Monad
WrapFull 
1 (Type/Class)Language.Syntactic.Traversal, Language.Syntactic
2 (Data Constructor)Language.Syntactic.Traversal, Language.Syntactic
writeHtmlASTLanguage.Syntactic.Interpretation.Render, Language.Syntactic
writeHtmlDecorWithLanguage.Syntactic.Constructs.Decoration