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

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 - P

patternCtx	Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
Perm
1 (Type/Class)	Unbound.Generics.PermM
2 (Data Constructor)	Unbound.Generics.PermM
permValid	Unbound.Generics.PermM