s2n | |
1 (Function) | Unbound.Nominal.Name |
2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
Sat | 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 |
ShowD | Unbound.LocallyNameless |
showsPrecR1 | Unbound.LocallyNameless |
Shrink | Unbound.LocallyNameless |
shrink | Unbound.LocallyNameless |
ShrinkD | |
1 (Data Constructor) | Unbound.LocallyNameless |
2 (Type/Class) | Unbound.LocallyNameless |
shrinkD | Unbound.LocallyNameless |
single | Unbound.PermM, Unbound.LocallyNameless |
singleton | Unbound.Util, Unbound.LocallyNameless |
something | Unbound.LocallyNameless |
Spine | 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 |
subtrees | Unbound.LocallyNameless |
support | Unbound.PermM, Unbound.LocallyNameless |
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 |
synthesize | Unbound.LocallyNameless |