$: | 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.Constructs.Binding |
alphaEq | Language.Syntactic.Constructs.Binding |
alphaEqChildren | Language.Syntactic.Constructs.Binding |
alphaEqM | Language.Syntactic.Constructs.Binding |
alphaEqM2 | Language.Syntactic.Constructs.Binding |
alphaEqSym | Language.Syntactic.Constructs.Binding |
alphaEqSymDefault | Language.Syntactic.Constructs.Binding |
appArgs | Language.Syntactic.Syntax, Language.Syntactic |
appEvalArgs | Language.Syntactic.Syntax, Language.Syntactic |
ApplySym | Language.Syntactic.Syntax, Language.Syntactic |
AppPF | Language.Syntactic.Sharing.Graph |
appSym | Language.Syntactic.Syntax, Language.Syntactic |
appSymCtx | Language.Syntactic.Syntax, Language.Syntactic |
Args | Language.Syntactic.Syntax, Language.Syntactic |
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 |
betaReduce | Language.Syntactic.Constructs.Binding |
Bind | Language.Syntactic.Constructs.Monad |
BindDict | |
1 (Type/Class) | Language.Syntactic.Sharing.SimpleCodeMotion |
2 (Data Constructor) | Language.Syntactic.Sharing.SimpleCodeMotion |
codeMotion | Language.Syntactic.Sharing.SimpleCodeMotion |
collectInfo | Language.Syntactic.Constructs.Decoration |
Condition | |
1 (Type/Class) | Language.Syntactic.Constructs.Condition |
2 (Data Constructor) | Language.Syntactic.Constructs.Condition |
ConstFolder | Language.Syntactic.Constructs.Binding.Optimize |
Construct | |
1 (Type/Class) | Language.Syntactic.Constructs.Construct |
2 (Data Constructor) | Language.Syntactic.Constructs.Construct |
ConsWit | |
1 (Type/Class) | Language.Syntactic.Syntax, Language.Syntactic |
2 (Data Constructor) | Language.Syntactic.Syntax, Language.Syntactic |
count | Language.Syntactic.Sharing.Utils |
cse | Language.Syntactic.Sharing.Graph |
Decor | |
1 (Type/Class) | Language.Syntactic.Constructs.Decoration |
2 (Data Constructor) | Language.Syntactic.Constructs.Decoration |
decorExpr | Language.Syntactic.Constructs.Decoration |
decorInfo | Language.Syntactic.Constructs.Decoration |
defaultBindDict | Language.Syntactic.Sharing.SimpleCodeMotion |
Denotation | Language.Syntactic.Syntax, Language.Syntactic |
DenResult | Language.Syntactic.Syntax, Language.Syntactic |
desugar | Language.Syntactic.Syntax, Language.Syntactic |
desugarMonad | Language.Syntactic.Frontend.Monad |
desugarN | Language.Syntactic.Syntax, Language.Syntactic |
desugarTup2 | Language.Syntactic.Constructs.Tuple |
desugarTup3 | Language.Syntactic.Constructs.Tuple |
desugarTup4 | Language.Syntactic.Constructs.Tuple |
desugarTup5 | Language.Syntactic.Constructs.Tuple |
desugarTup6 | Language.Syntactic.Constructs.Tuple |
desugarTup7 | Language.Syntactic.Constructs.Tuple |
DList | Language.Syntactic.Sharing.Utils |
DomPF | Language.Syntactic.Sharing.Graph |
drawASG | Language.Syntactic.Sharing.Graph |
drawAST | Language.Syntactic.Interpretation.Render, Language.Syntactic |
drawDecor | Language.Syntactic.Constructs.Decoration |
empty | Language.Syntactic.Sharing.Utils |
EqEnv | Language.Syntactic.Sharing.Graph |
Eval | Language.Syntactic.Interpretation.Evaluation, Language.Syntactic |
EvalBind | Language.Syntactic.Constructs.Binding |
evalBind | Language.Syntactic.Constructs.Binding |
evalBindM | Language.Syntactic.Constructs.Binding |
evalBindSym | Language.Syntactic.Constructs.Binding |
evalBindSymDefault | Language.Syntactic.Constructs.Binding |
evalFull | Language.Syntactic.Interpretation.Evaluation, Language.Syntactic |
evaluate | Language.Syntactic.Interpretation.Evaluation, Language.Syntactic |
evaluateSem | Language.Syntactic.Interpretation.Semantics |
ExprEq | Language.Syntactic.Interpretation.Equality, Language.Syntactic |
exprEq | Language.Syntactic.Interpretation.Equality, Language.Syntactic |
exprEqSem | Language.Syntactic.Interpretation.Semantics |
exprHash | Language.Syntactic.Interpretation.Equality, Language.Syntactic |
exprHashSem | Language.Syntactic.Interpretation.Semantics |
foldGraph | Language.Syntactic.Sharing.Graph |
fresh | Language.Syntactic.Sharing.StableName |
fromDList | Language.Syntactic.Sharing.Utils |
fromEval | Language.Syntactic.Syntax, Language.Syntactic |
fromSatWit | 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.Constructs.Decoration |
graphNodes | Language.Syntactic.Sharing.Graph |
hash | Language.Syntactic.Sharing.StableName |
hashNodes | Language.Syntactic.Sharing.Graph |
History | Language.Syntactic.Sharing.StableName |
HODomain | Language.Syntactic.Constructs.Binding.HigherOrder |
HOLambda | |
1 (Type/Class) | Language.Syntactic.Constructs.Binding.HigherOrder |
2 (Data Constructor) | Language.Syntactic.Constructs.Binding.HigherOrder |
Id | Language.Syntactic.Constructs.Identity |
Identity | Language.Syntactic.Constructs.Identity |
inj | Language.Syntactic.Syntax, Language.Syntactic |
injCtx | Language.Syntactic.Syntax, Language.Syntactic |
injDecor | Language.Syntactic.Constructs.Decoration |
injDecorCtx | Language.Syntactic.Constructs.Decoration |
InjL | Language.Syntactic.Syntax, Language.Syntactic |
injLambda | Language.Syntactic.Sharing.SimpleCodeMotion |
injLet | Language.Syntactic.Sharing.SimpleCodeMotion |
InjR | Language.Syntactic.Syntax, Language.Syntactic |
injVariable | Language.Syntactic.Sharing.SimpleCodeMotion |
inlineAll | Language.Syntactic.Sharing.Graph |
inlineSingle | Language.Syntactic.Sharing.Graph |
Internal | Language.Syntactic.Syntax, Language.Syntactic |
Lambda | |
1 (Type/Class) | Language.Syntactic.Constructs.Binding |
2 (Data Constructor) | Language.Syntactic.Constructs.Binding |
lambda | Language.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 |
letBind | Language.Syntactic.Constructs.Binding |
liftDecor | Language.Syntactic.Constructs.Decoration |
liftSome2 | Language.Syntactic.Sharing.Graph |
listArgs | Language.Syntactic.Syntax, Language.Syntactic |
Literal | |
1 (Type/Class) | Language.Syntactic.Constructs.Literal |
2 (Data Constructor) | Language.Syntactic.Constructs.Literal |
lookHistory | Language.Syntactic.Sharing.StableName |
mapArgs | Language.Syntactic.Syntax, Language.Syntactic |
mapArgsM | Language.Syntactic.Syntax, Language.Syntactic |
MaybeWitnessSat | Language.Syntactic.Syntax, Language.Syntactic |
maybeWitnessSat | Language.Syntactic.Syntax, Language.Syntactic |
maybeWitnessSatDefault | Language.Syntactic.Syntax, Language.Syntactic |
modNodeEqEnv | Language.Syntactic.Sharing.Graph |
modVarEqEnv | Language.Syntactic.Constructs.Binding |
Mon | |
1 (Type/Class) | Language.Syntactic.Frontend.Monad |
2 (Data Constructor) | Language.Syntactic.Frontend.Monad |
MONAD | Language.Syntactic.Constructs.Monad |
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 |
NodeEnv | Language.Syntactic.Sharing.Graph |
NodeEqEnv | 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 |
Optimize | Language.Syntactic.Constructs.Binding.Optimize |
optimize | Language.Syntactic.Constructs.Binding.Optimize |
optimizeM | Language.Syntactic.Constructs.Binding.Optimize |
optimizeSym | Language.Syntactic.Constructs.Binding.Optimize |
optimizeSymDefault | Language.Syntactic.Constructs.Binding.Optimize |
Partial | Language.Syntactic.Syntax, Language.Syntactic |
partitionNodes | Language.Syntactic.Sharing.Graph |
Poly | Language.Syntactic.Syntax, Language.Syntactic |
poly | Language.Syntactic.Syntax, Language.Syntactic |
PolyWit | Language.Syntactic.Syntax, Language.Syntactic |
printExpr | Language.Syntactic.Interpretation.Render, Language.Syntactic |
prj | Language.Syntactic.Syntax, Language.Syntactic |
prjCtx | Language.Syntactic.Syntax, Language.Syntactic |
prjDecor | Language.Syntactic.Constructs.Decoration |
prjDecorCtx | Language.Syntactic.Constructs.Decoration |
prjLambda | Language.Syntactic.Sharing.SimpleCodeMotion |
prjLet | Language.Syntactic.Constructs.Binding |
prjMonad | Language.Syntactic.Constructs.Monad |
prjNodeEqEnv | Language.Syntactic.Sharing.Graph |
prjVarEqEnv | Language.Syntactic.Constructs.Binding |
prjVariable | Language.Syntactic.Sharing.SimpleCodeMotion |
queryNode | Language.Syntactic.Syntax, Language.Syntactic |
queryNodeSimple | Language.Syntactic.Syntax, Language.Syntactic |
reify | Language.Syntactic.Constructs.Binding.HigherOrder |
reifyGraph | |
1 (Function) | Language.Syntactic.Sharing.Reify |
2 (Function) | Language.Syntactic.Sharing.ReifyHO |
reifyGraphTop | Language.Syntactic.Sharing.ReifyHO |
reifyM | Language.Syntactic.Constructs.Binding.HigherOrder |
reifySmart | Language.Syntactic.Sharing.SimpleCodeMotion |
reifyTop | Language.Syntactic.Constructs.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.Interpretation.Render, Language.Syntactic |
render | Language.Syntactic.Interpretation.Render, Language.Syntactic |
renderPart | Language.Syntactic.Interpretation.Render, Language.Syntactic |
renderPartSem | Language.Syntactic.Interpretation.Semantics |
resugar | Language.Syntactic.Syntax, Language.Syntactic |
result | Language.Syntactic.Syntax, Language.Syntactic |
Return | Language.Syntactic.Constructs.Monad |
Sat | Language.Syntactic.Syntax, Language.Syntactic |
SatContext | Language.Syntactic.Syntax, Language.Syntactic |
SatWit | |
1 (Type/Class) | Language.Syntactic.Syntax, Language.Syntactic |
2 (Data Constructor) | Language.Syntactic.Syntax, Language.Syntactic |
Sel1 | Language.Syntactic.Constructs.Tuple |
Sel1' | Language.Syntactic.Constructs.Tuple |
Sel2 | Language.Syntactic.Constructs.Tuple |
Sel2' | Language.Syntactic.Constructs.Tuple |
Sel3 | Language.Syntactic.Constructs.Tuple |
Sel3' | Language.Syntactic.Constructs.Tuple |
Sel4 | Language.Syntactic.Constructs.Tuple |
Sel4' | Language.Syntactic.Constructs.Tuple |
Sel5 | Language.Syntactic.Constructs.Tuple |
Sel5' | Language.Syntactic.Constructs.Tuple |
Sel6 | Language.Syntactic.Constructs.Tuple |
Sel6' | Language.Syntactic.Constructs.Tuple |
Sel7 | Language.Syntactic.Constructs.Tuple |
Sel7' | Language.Syntactic.Constructs.Tuple |
Select | Language.Syntactic.Constructs.Tuple |
selectPos | Language.Syntactic.Constructs.Tuple |
Sem | Language.Syntactic.Interpretation.Semantics |
Semantic | Language.Syntactic.Interpretation.Semantics |
semanticEval | Language.Syntactic.Interpretation.Semantics |
semanticName | Language.Syntactic.Interpretation.Semantics |
Semantics | Language.Syntactic.Interpretation.Semantics |
semantics | Language.Syntactic.Interpretation.Semantics |
showASG | Language.Syntactic.Sharing.Graph |
showAST | Language.Syntactic.Interpretation.Render, Language.Syntactic |
showDecor | Language.Syntactic.Constructs.Decoration |
showNode | Language.Syntactic.Sharing.Graph |
showVar | Language.Syntactic.Constructs.Binding |
Signature | Language.Syntactic.Syntax, Language.Syntactic |
SimpleCtx | Language.Syntactic.Syntax, Language.Syntactic |
simpleCtx | Language.Syntactic.Syntax, Language.Syntactic |
SimpleWit | Language.Syntactic.Syntax, Language.Syntactic |
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 |
stripDecor | Language.Syntactic.Constructs.Decoration |
subst | Language.Syntactic.Constructs.Binding |
sugar | Language.Syntactic.Syntax, Language.Syntactic |
sugarMonad | Language.Syntactic.Frontend.Monad |
sugarN | Language.Syntactic.Syntax, Language.Syntactic |
sugarSym | Language.Syntactic.Syntax, Language.Syntactic |
sugarSymCtx | Language.Syntactic.Syntax, Language.Syntactic |
sugarTup2 | Language.Syntactic.Constructs.Tuple |
sugarTup3 | Language.Syntactic.Constructs.Tuple |
sugarTup4 | Language.Syntactic.Constructs.Tuple |
sugarTup5 | Language.Syntactic.Constructs.Tuple |
sugarTup6 | Language.Syntactic.Constructs.Tuple |
sugarTup7 | Language.Syntactic.Constructs.Tuple |
Sym | Language.Syntactic.Syntax, Language.Syntactic |
Syntactic | Language.Syntactic.Syntax, Language.Syntactic |
SyntacticN | Language.Syntactic.Syntax, Language.Syntactic |
SyntaxPF | Language.Syntactic.Sharing.Graph |
Then | Language.Syntactic.Constructs.Monad |
toEval | Language.Syntactic.Syntax, Language.Syntactic |
topExpression | Language.Syntactic.Sharing.Graph |
ToTree | Language.Syntactic.Interpretation.Render, Language.Syntactic |
toTreeDecor | Language.Syntactic.Constructs.Decoration |
toTreePart | Language.Syntactic.Interpretation.Render, Language.Syntactic |
transformNode | Language.Syntactic.Syntax, Language.Syntactic |
Tup2 | Language.Syntactic.Constructs.Tuple |
Tup3 | Language.Syntactic.Constructs.Tuple |
Tup4 | Language.Syntactic.Constructs.Tuple |
Tup5 | Language.Syntactic.Constructs.Tuple |
Tup6 | Language.Syntactic.Constructs.Tuple |
Tup7 | Language.Syntactic.Constructs.Tuple |
Tuple | Language.Syntactic.Constructs.Tuple |
unMon | Language.Syntactic.Frontend.Monad |
unwrapFull | Language.Syntactic.Syntax, Language.Syntactic |
updateDecor | Language.Syntactic.Constructs.Decoration |
VarEqEnv | Language.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 |
varInteger | Language.Syntactic.Constructs.Binding |
When | Language.Syntactic.Constructs.Monad |
withContext | Language.Syntactic.Syntax, Language.Syntactic |
Witness | Language.Syntactic.Syntax, Language.Syntactic |
witness | Language.Syntactic.Syntax, Language.Syntactic |
witnessByProxy | 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 |
WrapFull | |
1 (Type/Class) | Language.Syntactic.Syntax, Language.Syntactic |
2 (Data Constructor) | Language.Syntactic.Syntax, Language.Syntactic |