unbound-generics-0.4.3: Support for programming with names and binders using GHC Generics (Index - M)

unbound-generics-0.4.3: Support for programming with names and binders using GHC Generics

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

Index - M

makeClosedAlpha	Unbound.Generics.LocallyNameless.TH
makeName	Unbound.Generics.LocallyNameless.Name, Unbound.Generics.LocallyNameless
mkPerm	Unbound.Generics.PermM