syntactic-3.0: Generic representation and manipulation of abstract syntax (Index - M)

syntactic-3.0: Generic representation and manipulation of abstract syntax

A
B
C
D
E
F
G
H
I
L
M
N
P
R
S
T
U
V
W
:
All

Index - M

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
matchTrans	Language.Syntactic.Traversal, Language.Syntactic
maxLam	Language.Syntactic.Functional
maxLamT	Language.Syntactic.Functional
mkInjDict	Language.Syntactic.Functional.Sharing
MONAD	Language.Syntactic.Functional