<> | |
1 (Function) | Unbound.Nominal.Internal |
2 (Function) | Unbound.Util |
A | Unbound.Nominal.Internal |
a10a | Unbound.Nominal.Internal |
a10b | Unbound.Nominal.Internal |
a10c | Unbound.Nominal.Internal |
a10d | Unbound.Nominal.Internal |
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 |
assert | Unbound.Nominal.Internal |
avoid | |
1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless |
B | |
1 (Data Constructor) | Unbound.Nominal.Internal |
2 (Data Constructor) | Unbound.LocallyNameless.Types |
big1 | Unbound.Nominal.Internal |
big2 | Unbound.Nominal.Internal |
Bind | |
1 (Type/Class) | Unbound.Nominal.Internal, Unbound.Nominal |
2 (Type/Class) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
bind | |
1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
binders | |
1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
binders' | Unbound.Nominal.Internal, Unbound.Nominal |
binders1 | Unbound.Nominal.Internal |
bindersAny | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
bindersD | Unbound.Nominal.Internal |
bindersR1 | Unbound.Nominal.Internal |
Bn | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types |
close | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
closeD | Unbound.LocallyNameless.Alpha |
closeP | Unbound.LocallyNameless.Alpha |
closeR1 | Unbound.LocallyNameless.Alpha |
closeT | Unbound.LocallyNameless.Alpha |
cmap | Unbound.Util, Unbound.LocallyNameless |
Collection | Unbound.Util, Unbound.LocallyNameless |
combine | Unbound.LocallyNameless.Alpha |
compareTupM | Unbound.LocallyNameless.Alpha |
compose | Unbound.PermM |
contFreshM | Unbound.LocallyNameless.Fresh |
contFreshMT | Unbound.LocallyNameless.Fresh |
contLFreshM | Unbound.LocallyNameless.Fresh |
contLFreshMT | Unbound.LocallyNameless.Fresh |
CurIndex | Unbound.LocallyNameless.Alpha |
decr | Unbound.LocallyNameless.Alpha |
do_tests | Unbound.Nominal.Internal |
Embed | |
1 (Type/Class) | Unbound.Nominal.Internal, Unbound.Nominal |
2 (Data Constructor) | Unbound.Nominal.Internal, Unbound.Nominal |
3 (Type/Class) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
4 (Data Constructor) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
empty | Unbound.PermM |
emptyC | Unbound.Util, Unbound.LocallyNameless |
emptyNE | Unbound.Nominal.Internal |
Exp | Unbound.Nominal.Internal |
filterC | Unbound.Util |
findpat | Unbound.LocallyNameless.Alpha |
findpatD | Unbound.LocallyNameless.Alpha |
findpatL | Unbound.LocallyNameless.Alpha |
findpatR1 | Unbound.LocallyNameless.Alpha |
findpatrec | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
FindResult | Unbound.LocallyNameless.Alpha |
Found | Unbound.LocallyNameless.Alpha |
Fresh | |
1 (Type/Class) | Unbound.Nominal.Internal, Unbound.Nominal |
2 (Type/Class) | Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless |
fresh | |
1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless |
freshen | |
1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
freshen' | |
1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
freshenD | |
1 (Function) | Unbound.Nominal.Internal |
2 (Function) | Unbound.LocallyNameless.Alpha |
freshenL | |
1 (Function) | Unbound.Nominal.Internal |
2 (Function) | Unbound.LocallyNameless.Alpha |
freshenR1 | |
1 (Function) | Unbound.Nominal.Internal |
2 (Function) | Unbound.LocallyNameless.Alpha |
FreshM | Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless |
FreshMT | |
1 (Type/Class) | Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless |
2 (Data Constructor) | Unbound.LocallyNameless.Fresh |
fromList | Unbound.Util |
fv | |
1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
fv' | |
1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
fv1 | |
1 (Function) | Unbound.Nominal.Internal |
2 (Function) | Unbound.LocallyNameless.Alpha |
fvAny | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
fvD | |
1 (Function) | Unbound.Nominal.Internal |
2 (Function) | Unbound.LocallyNameless.Alpha |
fvR1 | |
1 (Function) | Unbound.Nominal.Internal |
2 (Function) | Unbound.LocallyNameless.Alpha |
getAvoids | Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless |
getR | |
1 (Function) | Unbound.Nominal.Name |
2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types |
HasNext | Unbound.Nominal.Internal, Unbound.Nominal |
incr | Unbound.LocallyNameless.Alpha |
Index | Unbound.LocallyNameless.Alpha |
initial | |
1 (Function) | Unbound.Nominal.Internal |
2 (Function) | Unbound.LocallyNameless.Alpha |
integer2Name | |
1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
isBound | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types |
isEmbed | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
isEmbedD | Unbound.LocallyNameless.Alpha |
isFree | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types |
isid | Unbound.PermM |
isPat | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
isPatD | Unbound.LocallyNameless.Alpha |
isPatR1 | Unbound.LocallyNameless.Alpha |
isTerm | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
isTermD | Unbound.LocallyNameless.Alpha |
isTermR1 | Unbound.LocallyNameless.Alpha |
isvar | |
1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Subst, Unbound.LocallyNameless |
isvarD | Unbound.LocallyNameless.Subst |
join | Unbound.PermM |
L | Unbound.Nominal.Internal |
level | Unbound.LocallyNameless.Alpha |
lexord | Unbound.LocallyNameless.Alpha |
LFresh | |
1 (Type/Class) | Unbound.Nominal.Internal, Unbound.Nominal |
2 (Type/Class) | Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless |
lfresh | |
1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless |
lfreshen | |
1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
lfreshen' | |
1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
lfreshenD | |
1 (Function) | Unbound.Nominal.Internal |
2 (Function) | Unbound.LocallyNameless.Alpha |
lfreshenL | |
1 (Function) | Unbound.Nominal.Internal |
2 (Function) | Unbound.LocallyNameless.Alpha |
lfreshenR1 | |
1 (Function) | Unbound.Nominal.Internal |
2 (Function) | Unbound.LocallyNameless.Alpha |
LFreshM | Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless |
LFreshMT | |
1 (Type/Class) | Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless |
2 (Data Constructor) | Unbound.LocallyNameless.Fresh |
lsubst | Unbound.Nominal.Internal, Unbound.Nominal |
lsubsts | Unbound.Nominal.Internal, Unbound.Nominal |
lunbind | |
1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
lunbind2 | |
1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
lunbind3 | |
1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
luntrec | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
makeName | |
1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
match | Unbound.Nominal.Internal, Unbound.Nominal |
match' | Unbound.Nominal.Internal, Unbound.Nominal |
match1 | Unbound.Nominal.Internal |
matchBinders | Unbound.Nominal.Internal |
matchD | Unbound.Nominal.Internal |
matchEmbeds | Unbound.Nominal.Internal |
matchR1 | Unbound.Nominal.Internal, Unbound.Nominal |
mkbig | Unbound.Nominal.Internal |
mkPerm | Unbound.PermM |
Mode | Unbound.LocallyNameless.Alpha |
mode | |
1 (Function) | Unbound.Nominal.Internal |
2 (Function) | Unbound.LocallyNameless.Alpha |
Multiset | |
1 (Type/Class) | Unbound.Util, Unbound.LocallyNameless |
2 (Data Constructor) | Unbound.Util, Unbound.LocallyNameless |
naeq | Unbound.Nominal.Internal |
Name | |
1 (Type/Class) | Unbound.Nominal.Name, Unbound.Nominal |
2 (Type/Class) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
name1 | |
1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
name10 | |
1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
name11 | |
1 (Function) | Unbound.Nominal.Name |
2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types |
name2 | |
1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
name2Integer | |
1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
name2String | |
1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
name3 | |
1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
name4 | |
1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
name5 | |
1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
name6 | |
1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
name7 | |
1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
name8 | |
1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
name9 | |
1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
nameA | Unbound.Nominal.Internal |
nameB | Unbound.Nominal.Internal |
nameC | Unbound.Nominal.Internal |
NamesSeen | Unbound.LocallyNameless.Alpha |
nextInteger | Unbound.Nominal.Internal, Unbound.Nominal |
Nm | |
1 (Data Constructor) | Unbound.Nominal.Name |
2 (Data Constructor) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types |
NthCont | |
1 (Type/Class) | Unbound.LocallyNameless.Alpha |
2 (Data Constructor) | Unbound.LocallyNameless.Alpha |
nthName | Unbound.LocallyNameless.Alpha |
nthpat | Unbound.LocallyNameless.Alpha |
nthpatD | Unbound.LocallyNameless.Alpha |
nthpatL | Unbound.LocallyNameless.Alpha |
nthpatR1 | Unbound.LocallyNameless.Alpha |
nthpatrec | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
NthResult | Unbound.LocallyNameless.Alpha |
open | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
openD | Unbound.LocallyNameless.Alpha |
openP | Unbound.LocallyNameless.Alpha |
openR1 | Unbound.LocallyNameless.Alpha |
openT | Unbound.LocallyNameless.Alpha |
Pat | |
1 (Data Constructor) | Unbound.Nominal.Internal |
2 (Data Constructor) | Unbound.LocallyNameless.Alpha |
pat | |
1 (Function) | Unbound.Nominal.Internal |
2 (Function) | Unbound.LocallyNameless.Alpha |
patfv | |
1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
patfvAny | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
Perm | Unbound.PermM |
perm | Unbound.Nominal.Internal |
R | |
1 (Data Constructor) | Unbound.Nominal.Internal |
2 (Data Constructor) | Unbound.LocallyNameless.Types |
rAnyName | |
1 (Function) | Unbound.Nominal.Name |
2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types |
rAnyName1 | |
1 (Function) | Unbound.Nominal.Name |
2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types |
rBind | |
1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
rBind1 | Unbound.Nominal.Internal |
Rebind | |
1 (Type/Class) | Unbound.Nominal.Internal, Unbound.Nominal |
2 (Type/Class) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
rebind | |
1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
Rec | |
1 (Type/Class) | Unbound.Nominal.Internal, Unbound.Nominal |
2 (Data Constructor) | Unbound.Nominal.Internal |
3 (Type/Class) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
4 (Data Constructor) | Unbound.LocallyNameless.Types |
rec | |
1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
rEmbed | |
1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
rEmbed1 | Unbound.Nominal.Internal |
reopen | Unbound.Nominal.Internal, Unbound.Nominal |
resetNext | Unbound.Nominal.Internal, Unbound.Nominal |
restrict | Unbound.PermM |
rExp | Unbound.Nominal.Internal |
rExp1 | Unbound.Nominal.Internal |
rName | |
1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
rName1 | |
1 (Function) | Unbound.Nominal.Internal |
2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types |
rR | |
1 (Function) | Unbound.Nominal.Internal |
2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types |
rR1 | |
1 (Function) | Unbound.Nominal.Internal |
2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types |
rRebind | |
1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
rRebind1 | Unbound.Nominal.Internal |
rRec | |
1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
rRec1 | Unbound.Nominal.Internal |
rShift | |
1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
rShift1 | Unbound.Nominal.Internal |
runFreshM | Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless |
runFreshMT | Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless |
runLFreshM | Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless |
runLFreshMT | Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless |
runNthCont | Unbound.LocallyNameless.Alpha |
s2n | |
1 (Function) | Unbound.Nominal.Name |
2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
Shift | |
1 (Type/Class) | Unbound.Nominal.Internal, Unbound.Nominal |
2 (Data Constructor) | Unbound.Nominal.Internal |
3 (Type/Class) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
4 (Data Constructor) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
single | Unbound.PermM |
singleton | Unbound.Util, Unbound.LocallyNameless |
string2Name | |
1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
Subst | |
1 (Type/Class) | Unbound.Nominal.Internal, Unbound.Nominal |
2 (Type/Class) | Unbound.LocallyNameless.Subst, Unbound.LocallyNameless |
subst | |
1 (Function) | Unbound.Nominal.Internal |
2 (Function) | Unbound.LocallyNameless.Subst, Unbound.LocallyNameless |
SubstD | |
1 (Type/Class) | Unbound.Nominal.Internal |
2 (Data Constructor) | Unbound.Nominal.Internal |
3 (Type/Class) | Unbound.LocallyNameless.Subst |
4 (Data Constructor) | Unbound.LocallyNameless.Subst |
substD | |
1 (Function) | Unbound.Nominal.Internal |
2 (Function) | Unbound.LocallyNameless.Subst |
substDefault | Unbound.LocallyNameless.Subst |
SubstName | |
1 (Type/Class) | Unbound.LocallyNameless.Subst, Unbound.LocallyNameless |
2 (Data Constructor) | Unbound.LocallyNameless.Subst, Unbound.LocallyNameless |
substR1 | |
1 (Function) | Unbound.Nominal.Internal |
2 (Function) | Unbound.LocallyNameless.Subst |
substs | |
1 (Function) | Unbound.Nominal.Internal |
2 (Function) | Unbound.LocallyNameless.Subst, Unbound.LocallyNameless |
substsD | |
1 (Function) | Unbound.Nominal.Internal |
2 (Function) | Unbound.LocallyNameless.Subst |
substsR1 | |
1 (Function) | Unbound.Nominal.Internal |
2 (Function) | Unbound.LocallyNameless.Subst |
support | Unbound.PermM |
swapall' | Unbound.Nominal.Internal, Unbound.Nominal |
swapallD | Unbound.Nominal.Internal |
swapallR1 | Unbound.Nominal.Internal |
swaps | |
1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
swaps' | |
1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
swapsBinders | |
1 (Function) | Unbound.Nominal.Internal |
2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
swapsD | |
1 (Function) | Unbound.Nominal.Internal |
2 (Function) | Unbound.LocallyNameless.Alpha |
swapsEmbeds | |
1 (Function) | Unbound.Nominal.Internal |
2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
swapsR1 | |
1 (Function) | Unbound.Nominal.Internal |
2 (Function) | Unbound.LocallyNameless.Alpha |
Term | |
1 (Data Constructor) | Unbound.Nominal.Internal |
2 (Data Constructor) | Unbound.LocallyNameless.Alpha |
term | |
1 (Function) | Unbound.Nominal.Internal |
2 (Function) | Unbound.LocallyNameless.Alpha |
tests_aeq | Unbound.Nominal.Internal |
tests_big | Unbound.Nominal.Internal |
tests_fv | Unbound.Nominal.Internal |
tests_subst | Unbound.Nominal.Internal |
toSortedName | |
1 (Function) | Unbound.Nominal.Name |
2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types |
translate | |
1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
TRec | |
1 (Type/Class) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
2 (Data Constructor) | Unbound.LocallyNameless.Types |
trec | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
unbind | |
1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
unbind2 | |
1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
unbind3 | |
1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
unFreshMT | Unbound.LocallyNameless.Fresh |
union | Unbound.Util, Unbound.LocallyNameless |
unions | Unbound.Util |
unLFreshMT | Unbound.LocallyNameless.Fresh |
unrebind | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
unrec | |
1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
unsafeUnbind | |
1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
untrec | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
V | Unbound.Nominal.Internal |