:$ | Data.Syntactic.Syntax, Data.Syntactic |
:&: | |
1 (Type/Class) | Data.Syntactic.Decoration, Data.Syntactic |
2 (Data Constructor) | Data.Syntactic.Decoration, Data.Syntactic |
:* | Data.Syntactic.Traversal, Data.Syntactic |
:+: | Data.Syntactic.Syntax, Data.Syntactic |
:-> | Data.Syntactic.Syntax, Data.Syntactic |
:<: | Data.Syntactic.Syntax, Data.Syntactic |
AlphaEnv | Data.Syntactic.Functional |
alphaEq | Data.Syntactic.Functional |
alphaEq' | Data.Syntactic.Functional |
appArgs | Data.Syntactic.Traversal, Data.Syntactic |
Args | Data.Syntactic.Traversal, Data.Syntactic |
AST | Data.Syntactic.Syntax, Data.Syntactic |
ASTF | Data.Syntactic.Syntax, Data.Syntactic |
Bind | Data.Syntactic.Functional |
Binding | Data.Syntactic.Functional |
BindingDomain | Data.Syntactic.Functional |
BindingT | Data.Syntactic.Functional |
BindingWS | Data.Syntactic.Functional |
compileSym | Data.Syntactic.Functional |
compileSymDefault | Data.Syntactic.Functional |
Construct | |
1 (Type/Class) | Data.Syntactic.Functional |
2 (Data Constructor) | Data.Syntactic.Functional |
decorExpr | Data.Syntactic.Decoration, Data.Syntactic |
decorInfo | Data.Syntactic.Decoration, Data.Syntactic |
Denotation | Data.Syntactic.Functional |
DenotationM | Data.Syntactic.Functional |
DenResult | Data.Syntactic.Syntax, Data.Syntactic |
desugar | Data.Syntactic.Sugar, Data.Syntactic |
desugarMonad | Data.Syntactic.Functional |
desugarN | Data.Syntactic.Sugar, Data.Syntactic |
diff | Data.Syntactic.Functional |
Domain | Data.Syntactic.Sugar, Data.Syntactic |
drawAST | Data.Syntactic.Interpretation, Data.Syntactic |
drawDecorWith | Data.Syntactic.Decoration, Data.Syntactic |
E | |
1 (Type/Class) | Data.Syntactic.Syntax, Data.Syntactic |
2 (Data Constructor) | Data.Syntactic.Syntax, Data.Syntactic |
EF | |
1 (Type/Class) | Data.Syntactic.Syntax, Data.Syntactic |
2 (Data Constructor) | Data.Syntactic.Syntax, Data.Syntactic |
Empty | Data.Syntactic.Syntax, Data.Syntactic |
equal | Data.Syntactic.Interpretation, Data.Syntactic |
equalDefault | Data.Syntactic.Interpretation, Data.Syntactic |
Equality | Data.Syntactic.Interpretation, Data.Syntactic |
Eval | Data.Syntactic.Functional |
evalClosed | Data.Syntactic.Functional |
evalClosedWS | Data.Syntactic.Functional |
evalDen | Data.Syntactic.Functional |
EvalEnv | Data.Syntactic.Functional |
evalOpen | Data.Syntactic.Functional |
evalOpenWS | Data.Syntactic.Functional |
evalSym | Data.Syntactic.Functional |
everywhereDown | Data.Syntactic.Traversal, Data.Syntactic |
everywhereUp | Data.Syntactic.Traversal, Data.Syntactic |
Ext | Data.Syntactic.Functional |
fold | Data.Syntactic.Traversal, Data.Syntactic |
foldrArgs | Data.Syntactic.Traversal, Data.Syntactic |
fromDeBruijn | Data.Syntactic.Functional |
fromWS | Data.Syntactic.Functional |
Full | |
1 (Type/Class) | Data.Syntactic.Syntax, Data.Syntactic |
2 (Data Constructor) | Data.Syntactic.Syntax, Data.Syntactic |
getDecor | Data.Syntactic.Decoration, Data.Syntactic |
gmapQ | Data.Syntactic.Traversal, Data.Syntactic |
gmapT | Data.Syntactic.Traversal, Data.Syntactic |
hash | Data.Syntactic.Interpretation, Data.Syntactic |
hashDefault | Data.Syntactic.Interpretation, Data.Syntactic |
inj | Data.Syntactic.Syntax, Data.Syntactic |
InjL | Data.Syntactic.Syntax, Data.Syntactic |
InjR | Data.Syntactic.Syntax, Data.Syntactic |
Internal | Data.Syntactic.Sugar, Data.Syntactic |
interpretationInstances | Data.Syntactic.Interpretation, Data.Syntactic |
Lam | Data.Syntactic.Functional |
lam | Data.Syntactic.Functional |
LamT | Data.Syntactic.Functional |
lamT | Data.Syntactic.Functional |
LamWS | Data.Syntactic.Functional |
lamWS | Data.Syntactic.Functional |
liftDecor | Data.Syntactic.Decoration, Data.Syntactic |
liftDenotationM | Data.Syntactic.Functional |
liftE | Data.Syntactic.Syntax, Data.Syntactic |
liftE2 | Data.Syntactic.Syntax, Data.Syntactic |
liftEF | Data.Syntactic.Syntax, Data.Syntactic |
liftEF2 | Data.Syntactic.Syntax, Data.Syntactic |
LiftReader | Data.Syntactic.Functional |
listArgs | Data.Syntactic.Traversal, Data.Syntactic |
listFold | Data.Syntactic.Traversal, Data.Syntactic |
lookEnv | Data.Syntactic.Functional |
LowerReader | Data.Syntactic.Functional |
mapArgs | Data.Syntactic.Traversal, Data.Syntactic |
mapArgsA | Data.Syntactic.Traversal, Data.Syntactic |
mapArgsM | Data.Syntactic.Traversal, Data.Syntactic |
mapAST | Data.Syntactic.Traversal, Data.Syntactic |
mapDecor | Data.Syntactic.Decoration, Data.Syntactic |
match | Data.Syntactic.Traversal, Data.Syntactic |
matchTrans | Data.Syntactic.Traversal, Data.Syntactic |
maxLam | Data.Syntactic.Functional |
maxLamT | Data.Syntactic.Functional |
MONAD | Data.Syntactic.Functional |
Name | |
1 (Type/Class) | Data.Syntactic.Functional |
2 (Data Constructor) | Data.Syntactic.Functional |
Nil | Data.Syntactic.Traversal, Data.Syntactic |
Partial | Data.Syntactic.Syntax, Data.Syntactic |
prj | Data.Syntactic.Syntax, Data.Syntactic |
prjP | Data.Syntactic.Syntax, Data.Syntactic |
prLam | Data.Syntactic.Functional |
Project | Data.Syntactic.Syntax, Data.Syntactic |
prVar | Data.Syntactic.Functional |
ReaderSym | |
1 (Type/Class) | Data.Syntactic.Functional |
2 (Data Constructor) | Data.Syntactic.Functional |
Remon | |
1 (Type/Class) | Data.Syntactic.Functional |
2 (Data Constructor) | Data.Syntactic.Functional |
Render | Data.Syntactic.Interpretation, Data.Syntactic |
render | Data.Syntactic.Interpretation, Data.Syntactic |
renderArgs | Data.Syntactic.Interpretation, Data.Syntactic |
renderArgsSmart | Data.Syntactic.Interpretation, Data.Syntactic |
renderSym | Data.Syntactic.Interpretation, Data.Syntactic |
resugar | Data.Syntactic.Sugar, Data.Syntactic |
result | Data.Syntactic.Syntax, Data.Syntactic |
Return | Data.Syntactic.Functional |
RunEnv | Data.Syntactic.Functional |
showAST | Data.Syntactic.Interpretation, Data.Syntactic |
showDecorWith | Data.Syntactic.Decoration, Data.Syntactic |
SigFull | Data.Syntactic.Syntax, Data.Syntactic |
SigMore | Data.Syntactic.Syntax, Data.Syntactic |
Signature | Data.Syntactic.Syntax, Data.Syntactic |
signature | Data.Syntactic.Syntax, Data.Syntactic |
SigRep | Data.Syntactic.Syntax, Data.Syntactic |
simpleFold | Data.Syntactic.Traversal, Data.Syntactic |
simpleMatch | Data.Syntactic.Traversal, Data.Syntactic |
size | Data.Syntactic.Syntax, Data.Syntactic |
SmartFun | Data.Syntactic.Syntax, Data.Syntactic |
SmartSig | Data.Syntactic.Syntax, Data.Syntactic |
SmartSym | Data.Syntactic.Syntax, Data.Syntactic |
smartSym | Data.Syntactic.Syntax, Data.Syntactic |
smartSym' | Data.Syntactic.Syntax, Data.Syntactic |
smartWS | Data.Syntactic.Functional |
StringTree | Data.Syntactic.Interpretation, Data.Syntactic |
stringTree | Data.Syntactic.Interpretation, Data.Syntactic |
stringTreeDecor | Data.Syntactic.Decoration, Data.Syntactic |
stringTreeSym | Data.Syntactic.Interpretation, Data.Syntactic |
stripDecor | Data.Syntactic.Decoration, Data.Syntactic |
sugar | Data.Syntactic.Sugar, Data.Syntactic |
sugarMonad | |
1 (Function) | Data.Syntactic.Sugar.Monad |
2 (Function) | Data.Syntactic.Sugar.MonadT |
sugarN | Data.Syntactic.Sugar, Data.Syntactic |
sugarSym | Data.Syntactic.Sugar, Data.Syntactic |
Sym | Data.Syntactic.Syntax, Data.Syntactic |
symType | Data.Syntactic.Syntax, Data.Syntactic |
Syntactic | Data.Syntactic.Sugar, Data.Syntactic |
SyntacticN | Data.Syntactic.Sugar, Data.Syntactic |
toTree | Data.Syntactic.Traversal, Data.Syntactic |
unext | Data.Syntactic.Functional |
universe | Data.Syntactic.Traversal, Data.Syntactic |
UnReader | Data.Syntactic.Functional |
unRemon | Data.Syntactic.Functional |
unwrapFull | Data.Syntactic.Traversal, Data.Syntactic |
updateDecor | Data.Syntactic.Decoration, Data.Syntactic |
Var | Data.Syntactic.Functional |
VarT | Data.Syntactic.Functional |
VarWS | Data.Syntactic.Functional |
WrapFull | |
1 (Type/Class) | Data.Syntactic.Traversal, Data.Syntactic |
2 (Data Constructor) | Data.Syntactic.Traversal, Data.Syntactic |
writeHtmlAST | Data.Syntactic.Interpretation, Data.Syntactic |
WS | Data.Syntactic.Functional |