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

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

s2n	Unbound.Generics.LocallyNameless.Name, Unbound.Generics.LocallyNameless
Shift
1 (Type/Class)	Unbound.Generics.LocallyNameless.Shift, Unbound.Generics.LocallyNameless
2 (Data Constructor)	Unbound.Generics.LocallyNameless.Shift, Unbound.Generics.LocallyNameless
single	Unbound.Generics.PermM
singletonDisjointSet	Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
string2Name	Unbound.Generics.LocallyNameless.Name, Unbound.Generics.LocallyNameless
Subst	Unbound.Generics.LocallyNameless.Subst, Unbound.Generics.LocallyNameless
subst	Unbound.Generics.LocallyNameless.Subst, Unbound.Generics.LocallyNameless
substBind	Unbound.Generics.LocallyNameless.Subst, Unbound.Generics.LocallyNameless
substBvs	Unbound.Generics.LocallyNameless.Subst, Unbound.Generics.LocallyNameless
SubstCoerce
1 (Type/Class)	Unbound.Generics.LocallyNameless.Subst, Unbound.Generics.LocallyNameless
2 (Data Constructor)	Unbound.Generics.LocallyNameless.Subst, Unbound.Generics.LocallyNameless
SubstName
1 (Type/Class)	Unbound.Generics.LocallyNameless.Subst, Unbound.Generics.LocallyNameless
2 (Data Constructor)	Unbound.Generics.LocallyNameless.Subst, Unbound.Generics.LocallyNameless
substs	Unbound.Generics.LocallyNameless.Subst, Unbound.Generics.LocallyNameless
support	Unbound.Generics.PermM
swaps	Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless
swaps'	Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless