unbound-0.2.3: Generic support for programming with names and binders (Index - A)

unbound-0.2.3: Generic support for programming with names and binders

A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
Z
:
<
All

Index - A

A	Unbound.Nominal.Internal
a10a	Unbound.Nominal.Internal
a10b	Unbound.Nominal.Internal
a10c	Unbound.Nominal.Internal
a10d	Unbound.Nominal.Internal
Abstract	Unbound.LocallyNameless
Abstract1	Unbound.LocallyNameless
AC	Unbound.LocallyNameless.Alpha
acompare	Unbound.LocallyNameless.Ops, Unbound.LocallyNameless
acompare'	Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless
acompareD	Unbound.LocallyNameless.Alpha
acompareR1	Unbound.LocallyNameless.Alpha
aeq
1 (Function)	Unbound.Nominal.Internal, Unbound.Nominal
2 (Function)	Unbound.LocallyNameless.Ops, Unbound.LocallyNameless
aeq'
1 (Function)	Unbound.Nominal.Internal, Unbound.Nominal
2 (Function)	Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless
aeq1
1 (Function)	Unbound.Nominal.Internal
2 (Function)	Unbound.LocallyNameless.Alpha
aeqBinders	Unbound.LocallyNameless.Ops, Unbound.LocallyNameless
aeqD
1 (Function)	Unbound.Nominal.Internal
2 (Function)	Unbound.LocallyNameless.Alpha
aeqR1
1 (Function)	Unbound.Nominal.Internal
2 (Function)	Unbound.LocallyNameless.Alpha
Alpha
1 (Type/Class)	Unbound.Nominal.Internal, Unbound.Nominal
2 (Type/Class)	Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless
AlphaCtx
1 (Type/Class)	Unbound.Nominal.Internal, Unbound.Nominal
2 (Type/Class)	Unbound.LocallyNameless.Alpha
AlphaD
1 (Type/Class)	Unbound.Nominal.Internal
2 (Data Constructor)	Unbound.Nominal.Internal
3 (Type/Class)	Unbound.LocallyNameless.Alpha
4 (Data Constructor)	Unbound.LocallyNameless.Alpha
AnyName
1 (Type/Class)	Unbound.Nominal.Name, Unbound.Nominal
2 (Data Constructor)	Unbound.Nominal.Name, Unbound.Nominal
3 (Type/Class)	Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless
4 (Data Constructor)	Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless
anyName2Integer
1 (Function)	Unbound.Nominal.Name
2 (Function)	Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless
anyName2String
1 (Function)	Unbound.Nominal.Name
2 (Function)	Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless
apply	Unbound.PermM, Unbound.LocallyNameless
Arrow	Unbound.LocallyNameless
Arrow1	Unbound.LocallyNameless
assert	Unbound.Nominal.Internal
avoid
1 (Function)	Unbound.Nominal.Internal, Unbound.Nominal
2 (Function)	Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless