:$ | Language.Syntactic.Syntax, Language.Syntactic |
:&: | |
1 (Type/Class) | Language.Syntactic.Decoration, Language.Syntactic |
2 (Data Constructor) | Language.Syntactic.Decoration, Language.Syntactic |
:* | Language.Syntactic.Traversal, Language.Syntactic |
:+: | Language.Syntactic.Syntax, Language.Syntactic |
:-> | Language.Syntactic.Syntax, Language.Syntactic |
:<: | Language.Syntactic.Syntax, Language.Syntactic |
allVars | Language.Syntactic.Functional |
AlphaEnv | Language.Syntactic.Functional |
alphaEq | Language.Syntactic.Functional |
alphaEq' | Language.Syntactic.Functional |
appArgs | Language.Syntactic.Traversal, Language.Syntactic |
Args | Language.Syntactic.Traversal, Language.Syntactic |
AST | Language.Syntactic.Syntax, Language.Syntactic |
ASTF | Language.Syntactic.Syntax, Language.Syntactic |
ASTFull | |
1 (Type/Class) | Language.Syntactic.Syntax, Language.Syntactic |
2 (Data Constructor) | Language.Syntactic.Syntax, Language.Syntactic |
Bind | Language.Syntactic.Functional |
Binding | Language.Syntactic.Functional |
BindingDomain | Language.Syntactic.Functional |
BindingT | Language.Syntactic.Functional |
BindingWS | Language.Syntactic.Functional.WellScoped |
castExpr | Language.Syntactic.Syntax, Language.Syntactic |
castExprCM | Language.Syntactic.Functional.Sharing |
classPred | Language.Syntactic.TH, Language.Syntactic.Functional.Tuple |
codeMotion | Language.Syntactic.Functional.Sharing |
CodeMotionInterface | Language.Syntactic.Functional.Sharing |
compileSym | Language.Syntactic.Functional |
compileSymDefault | Language.Syntactic.Functional |
conName | Language.Syntactic.TH |
Construct | |
1 (Type/Class) | Language.Syntactic.Functional |
2 (Data Constructor) | Language.Syntactic.Functional |
decorExpr | Language.Syntactic.Decoration, Language.Syntactic |
decorInfo | Language.Syntactic.Decoration, Language.Syntactic |
defaultInterface | Language.Syntactic.Functional.Sharing |
defaultInterfaceDecor | Language.Syntactic.Functional.Sharing |
DefaultMethod | Language.Syntactic.TH |
Denotation | Language.Syntactic.Functional |
DenotationM | Language.Syntactic.Functional |
DenResult | Language.Syntactic.Syntax, Language.Syntactic |
deriveClass | Language.Syntactic.TH |
deriveClassSimple | Language.Syntactic.TH |
deriveEquality | Language.Syntactic.TH |
deriveRender | Language.Syntactic.TH |
deriveSymbol | Language.Syntactic.TH |
deriveSyntacticForTuples | Language.Syntactic.Functional.Tuple |
desugar | Language.Syntactic.Sugar, Language.Syntactic |
desugarMonad | Language.Syntactic.Functional |
desugarMonadTyped | Language.Syntactic.Functional |
desugarN | Language.Syntactic.Sugar, Language.Syntactic |
diff | Language.Syntactic.Functional.WellScoped |
Domain | Language.Syntactic.Sugar, Language.Syntactic |
drawAST | Language.Syntactic.Interpretation, Language.Syntactic |
drawDecorWith | Language.Syntactic.Decoration, Language.Syntactic |
E | |
1 (Type/Class) | Language.Syntactic.Syntax, Language.Syntactic |
2 (Data Constructor) | Language.Syntactic.Syntax, Language.Syntactic |
EF | |
1 (Type/Class) | Language.Syntactic.Syntax, Language.Syntactic |
2 (Data Constructor) | Language.Syntactic.Syntax, Language.Syntactic |
Empty | Language.Syntactic.Syntax, Language.Syntactic |
eqPred | Language.Syntactic.TH, Language.Syntactic.Functional.Tuple |
equal | Language.Syntactic.Interpretation, Language.Syntactic |
equalDefault | Language.Syntactic.Interpretation, Language.Syntactic |
Equality | Language.Syntactic.Interpretation, Language.Syntactic |
Eval | Language.Syntactic.Functional |
evalClosed | Language.Syntactic.Functional |
evalClosedWS | Language.Syntactic.Functional.WellScoped |
evalDen | Language.Syntactic.Functional |
EvalEnv | Language.Syntactic.Functional |
evalOpen | Language.Syntactic.Functional |
evalOpenWS | Language.Syntactic.Functional.WellScoped |
evalSym | Language.Syntactic.Functional |
everywhereDown | Language.Syntactic.Traversal, Language.Syntactic |
everywhereUp | Language.Syntactic.Traversal, Language.Syntactic |
Ext | Language.Syntactic.Functional.WellScoped |
fold | Language.Syntactic.Traversal, Language.Syntactic |
foldrArgs | Language.Syntactic.Traversal, Language.Syntactic |
freeVars | Language.Syntactic.Functional |
fromDeBruijn | Language.Syntactic.Functional |
fromWS | Language.Syntactic.Functional.WellScoped |
Full | |
1 (Type/Class) | Language.Syntactic.Syntax, Language.Syntactic |
2 (Data Constructor) | Language.Syntactic.Syntax, Language.Syntactic |
getDecor | Language.Syntactic.Decoration, Language.Syntactic |
gmapQ | Language.Syntactic.Traversal, Language.Syntactic |
gmapT | Language.Syntactic.Traversal, Language.Syntactic |
hash | Language.Syntactic.Interpretation, Language.Syntactic |
hashDefault | Language.Syntactic.Interpretation, Language.Syntactic |
hoistOver | Language.Syntactic.Functional.Sharing |
inj | Language.Syntactic.Syntax, Language.Syntactic |
InjDict | |
1 (Type/Class) | Language.Syntactic.Functional.Sharing |
2 (Data Constructor) | Language.Syntactic.Functional.Sharing |
InjL | Language.Syntactic.Syntax, Language.Syntactic |
injLambda | Language.Syntactic.Functional.Sharing |
injLet | Language.Syntactic.Functional.Sharing |
InjR | Language.Syntactic.Syntax, Language.Syntactic |
injT | Language.Syntactic.Syntax, Language.Syntactic |
injVariable | Language.Syntactic.Functional.Sharing |
Interface | Language.Syntactic.Functional.Sharing |
Internal | Language.Syntactic.Sugar, Language.Syntactic |
Lam | Language.Syntactic.Functional |
lam | Language.Syntactic.Functional |
LamT | Language.Syntactic.Functional |
lamT | Language.Syntactic.Functional |
lamTyped | Language.Syntactic.Functional |
lamT_template | Language.Syntactic.Functional |
LamWS | Language.Syntactic.Functional.WellScoped |
lamWS | Language.Syntactic.Functional.WellScoped |
lam_template | Language.Syntactic.Functional |
Let | |
1 (Type/Class) | Language.Syntactic.Functional |
2 (Data Constructor) | Language.Syntactic.Functional |
liftDecor | Language.Syntactic.Decoration, Language.Syntactic |
liftDenotationM | Language.Syntactic.Functional |
liftE | Language.Syntactic.Syntax, Language.Syntactic |
liftE2 | Language.Syntactic.Syntax, Language.Syntactic |
liftEF | Language.Syntactic.Syntax, Language.Syntactic |
liftEF2 | Language.Syntactic.Syntax, Language.Syntactic |
LiftReader | Language.Syntactic.Functional.WellScoped |
listArgs | Language.Syntactic.Traversal, Language.Syntactic |
listFold | Language.Syntactic.Traversal, Language.Syntactic |
Literal | |
1 (Type/Class) | Language.Syntactic.Functional |
2 (Data Constructor) | Language.Syntactic.Functional |
lookEnv | Language.Syntactic.Functional.WellScoped |
LowerReader | Language.Syntactic.Functional.WellScoped |
mapArgs | Language.Syntactic.Traversal, Language.Syntactic |
mapArgsA | Language.Syntactic.Traversal, Language.Syntactic |
mapArgsM | Language.Syntactic.Traversal, Language.Syntactic |
mapAST | Language.Syntactic.Traversal, Language.Syntactic |
mapDecor | Language.Syntactic.Decoration, Language.Syntactic |
match | Language.Syntactic.Traversal, Language.Syntactic |
MatchingMethod | Language.Syntactic.TH |
matchTrans | Language.Syntactic.Traversal, Language.Syntactic |
maxLam | Language.Syntactic.Functional |
maxLamT | Language.Syntactic.Functional |
Method | Language.Syntactic.TH |
mkInjDict | Language.Syntactic.Functional.Sharing |
mkSelectClassPlusInstances | Language.Syntactic.Functional.Tuple |
MONAD | Language.Syntactic.Functional |
Name | |
1 (Type/Class) | Language.Syntactic.Functional |
2 (Data Constructor) | Language.Syntactic.Functional |
NFData1 | Language.Syntactic.Syntax, Language.Syntactic |
Nil | Language.Syntactic.Traversal, Language.Syntactic |
Partial | Language.Syntactic.Syntax, Language.Syntactic |
prj | Language.Syntactic.Syntax, Language.Syntactic |
prjP | Language.Syntactic.Syntax, Language.Syntactic |
prLam | Language.Syntactic.Functional |
Project | Language.Syntactic.Syntax, Language.Syntactic |
prVar | Language.Syntactic.Functional |
ReaderSym | |
1 (Type/Class) | Language.Syntactic.Functional.WellScoped |
2 (Data Constructor) | Language.Syntactic.Functional.WellScoped |
Remon | |
1 (Type/Class) | Language.Syntactic.Functional |
2 (Data Constructor) | Language.Syntactic.Functional |
Render | Language.Syntactic.Interpretation, Language.Syntactic |
render | Language.Syntactic.Interpretation, Language.Syntactic |
renderArgs | Language.Syntactic.Interpretation, Language.Syntactic |
renderArgsSmart | Language.Syntactic.Interpretation, Language.Syntactic |
renderSym | Language.Syntactic.Interpretation, Language.Syntactic |
resugar | Language.Syntactic.Sugar, Language.Syntactic |
result | Language.Syntactic.Syntax, Language.Syntactic |
Return | Language.Syntactic.Functional |
rnf1 | Language.Syntactic.Syntax, Language.Syntactic |
RunEnv | Language.Syntactic.Functional |
Sel1 | |
1 (Type/Class) | Language.Syntactic.Functional.Tuple |
2 (Data Constructor) | Language.Syntactic.Functional.Tuple |
Sel10 | |
1 (Type/Class) | Language.Syntactic.Functional.Tuple |
2 (Data Constructor) | Language.Syntactic.Functional.Tuple |
Sel11 | |
1 (Type/Class) | Language.Syntactic.Functional.Tuple |
2 (Data Constructor) | Language.Syntactic.Functional.Tuple |
Sel12 | |
1 (Type/Class) | Language.Syntactic.Functional.Tuple |
2 (Data Constructor) | Language.Syntactic.Functional.Tuple |
Sel13 | |
1 (Type/Class) | Language.Syntactic.Functional.Tuple |
2 (Data Constructor) | Language.Syntactic.Functional.Tuple |
Sel14 | |
1 (Type/Class) | Language.Syntactic.Functional.Tuple |
2 (Data Constructor) | Language.Syntactic.Functional.Tuple |
Sel15 | |
1 (Type/Class) | Language.Syntactic.Functional.Tuple |
2 (Data Constructor) | Language.Syntactic.Functional.Tuple |
Sel2 | |
1 (Type/Class) | Language.Syntactic.Functional.Tuple |
2 (Data Constructor) | Language.Syntactic.Functional.Tuple |
Sel3 | |
1 (Type/Class) | Language.Syntactic.Functional.Tuple |
2 (Data Constructor) | Language.Syntactic.Functional.Tuple |
Sel4 | |
1 (Type/Class) | Language.Syntactic.Functional.Tuple |
2 (Data Constructor) | Language.Syntactic.Functional.Tuple |
Sel5 | |
1 (Type/Class) | Language.Syntactic.Functional.Tuple |
2 (Data Constructor) | Language.Syntactic.Functional.Tuple |
Sel6 | |
1 (Type/Class) | Language.Syntactic.Functional.Tuple |
2 (Data Constructor) | Language.Syntactic.Functional.Tuple |
Sel7 | |
1 (Type/Class) | Language.Syntactic.Functional.Tuple |
2 (Data Constructor) | Language.Syntactic.Functional.Tuple |
Sel8 | |
1 (Type/Class) | Language.Syntactic.Functional.Tuple |
2 (Data Constructor) | Language.Syntactic.Functional.Tuple |
Sel9 | |
1 (Type/Class) | Language.Syntactic.Functional.Tuple |
2 (Data Constructor) | Language.Syntactic.Functional.Tuple |
Select1 | Language.Syntactic.Functional.Tuple |
select1 | Language.Syntactic.Functional.Tuple |
Select10 | Language.Syntactic.Functional.Tuple |
select10 | Language.Syntactic.Functional.Tuple |
Select11 | Language.Syntactic.Functional.Tuple |
select11 | Language.Syntactic.Functional.Tuple |
Select12 | Language.Syntactic.Functional.Tuple |
select12 | Language.Syntactic.Functional.Tuple |
Select13 | Language.Syntactic.Functional.Tuple |
select13 | Language.Syntactic.Functional.Tuple |
Select14 | Language.Syntactic.Functional.Tuple |
select14 | Language.Syntactic.Functional.Tuple |
Select15 | Language.Syntactic.Functional.Tuple |
select15 | Language.Syntactic.Functional.Tuple |
Select2 | Language.Syntactic.Functional.Tuple |
select2 | Language.Syntactic.Functional.Tuple |
Select3 | Language.Syntactic.Functional.Tuple |
select3 | Language.Syntactic.Functional.Tuple |
Select4 | Language.Syntactic.Functional.Tuple |
select4 | Language.Syntactic.Functional.Tuple |
Select5 | Language.Syntactic.Functional.Tuple |
select5 | Language.Syntactic.Functional.Tuple |
Select6 | Language.Syntactic.Functional.Tuple |
select6 | Language.Syntactic.Functional.Tuple |
Select7 | Language.Syntactic.Functional.Tuple |
select7 | Language.Syntactic.Functional.Tuple |
Select8 | Language.Syntactic.Functional.Tuple |
select8 | Language.Syntactic.Functional.Tuple |
Select9 | Language.Syntactic.Functional.Tuple |
select9 | Language.Syntactic.Functional.Tuple |
showAST | Language.Syntactic.Interpretation, Language.Syntactic |
showDecorWith | Language.Syntactic.Decoration, Language.Syntactic |
SigFull | Language.Syntactic.Syntax, Language.Syntactic |
SigMore | Language.Syntactic.Syntax, Language.Syntactic |
Signature | Language.Syntactic.Syntax, Language.Syntactic |
signature | Language.Syntactic.Syntax, Language.Syntactic |
SigRep | Language.Syntactic.Syntax, Language.Syntactic |
simpleFold | Language.Syntactic.Traversal, Language.Syntactic |
simpleMatch | Language.Syntactic.Traversal, Language.Syntactic |
size | Language.Syntactic.Syntax, Language.Syntactic |
SmartFun | Language.Syntactic.Syntax, Language.Syntactic |
SmartSig | Language.Syntactic.Syntax, Language.Syntactic |
SmartSym | Language.Syntactic.Syntax, Language.Syntactic |
smartSym | Language.Syntactic.Syntax, Language.Syntactic |
smartSym' | Language.Syntactic.Syntax, Language.Syntactic |
smartSymTyped | Language.Syntactic.Syntax, Language.Syntactic |
smartWS | Language.Syntactic.Functional.WellScoped |
StringTree | Language.Syntactic.Interpretation, Language.Syntactic |
stringTree | Language.Syntactic.Interpretation, Language.Syntactic |
stringTreeDecor | Language.Syntactic.Decoration, Language.Syntactic |
stringTreeSym | Language.Syntactic.Interpretation, Language.Syntactic |
stripDecor | Language.Syntactic.Decoration, Language.Syntactic |
sugar | Language.Syntactic.Sugar, Language.Syntactic |
sugarMonad | |
1 (Function) | Language.Syntactic.Sugar.Monad |
2 (Function) | Language.Syntactic.Sugar.MonadTyped |
sugarN | Language.Syntactic.Sugar, Language.Syntactic |
sugarSym | Language.Syntactic.Sugar, Language.Syntactic |
sugarSymTyped | Language.Syntactic.Sugar, Language.Syntactic |
Sym | Language.Syntactic.Syntax, Language.Syntactic |
Symbol | Language.Syntactic.Syntax, Language.Syntactic |
symSig | Language.Syntactic.Syntax, Language.Syntactic |
symType | Language.Syntactic.Syntax, Language.Syntactic |
Syntactic | Language.Syntactic.Sugar, Language.Syntactic |
SyntacticN | Language.Syntactic.Sugar, Language.Syntactic |
toTree | Language.Syntactic.Traversal, Language.Syntactic |
Tup10 | Language.Syntactic.Functional.Tuple |
Tup11 | Language.Syntactic.Functional.Tuple |
Tup12 | Language.Syntactic.Functional.Tuple |
Tup13 | Language.Syntactic.Functional.Tuple |
Tup14 | Language.Syntactic.Functional.Tuple |
Tup15 | Language.Syntactic.Functional.Tuple |
Tup2 | Language.Syntactic.Functional.Tuple |
Tup3 | Language.Syntactic.Functional.Tuple |
Tup4 | Language.Syntactic.Functional.Tuple |
Tup5 | Language.Syntactic.Functional.Tuple |
Tup6 | Language.Syntactic.Functional.Tuple |
Tup7 | Language.Syntactic.Functional.Tuple |
Tup8 | Language.Syntactic.Functional.Tuple |
Tup9 | Language.Syntactic.Functional.Tuple |
Tuple | Language.Syntactic.Functional.Tuple |
Typed | |
1 (Type/Class) | Language.Syntactic.Syntax, Language.Syntactic |
2 (Data Constructor) | Language.Syntactic.Syntax, Language.Syntactic |
tySynInst | Language.Syntactic.TH |
unASTFull | Language.Syntactic.Syntax, Language.Syntactic |
unext | Language.Syntactic.Functional.WellScoped |
universe | Language.Syntactic.Traversal, Language.Syntactic |
UnReader | Language.Syntactic.Functional.WellScoped |
unRemon | Language.Syntactic.Functional |
unwrapFull | Language.Syntactic.Traversal, Language.Syntactic |
updateDecor | Language.Syntactic.Decoration, Language.Syntactic |
Var | Language.Syntactic.Functional |
varSupply | Language.Syntactic.TH |
VarT | Language.Syntactic.Functional |
VarWS | Language.Syntactic.Functional.WellScoped |
WrapFull | |
1 (Type/Class) | Language.Syntactic.Traversal, Language.Syntactic |
2 (Data Constructor) | Language.Syntactic.Traversal, Language.Syntactic |
writeHtmlAST | Language.Syntactic.Interpretation, Language.Syntactic |
writeHtmlDecorWith | Language.Syntactic.Decoration, Language.Syntactic |
WS | Language.Syntactic.Functional.WellScoped |