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

Index - S

s2nUnbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless
SatUnbound.LocallyNameless
SetBindUnbound.LocallyNameless.Types
setbindUnbound.LocallyNameless.Ops, Unbound.LocallyNameless
setbindAnyUnbound.LocallyNameless.Ops, Unbound.LocallyNameless
SetPlusBindUnbound.LocallyNameless.Types
Shift 
1 (Type/Class)Unbound.LocallyNameless.Types, Unbound.LocallyNameless
2 (Data Constructor)Unbound.LocallyNameless.Types, Unbound.LocallyNameless
ShowDUnbound.LocallyNameless
showsPrecR1Unbound.LocallyNameless
ShrinkUnbound.LocallyNameless
shrinkUnbound.LocallyNameless
ShrinkD 
1 (Data Constructor)Unbound.LocallyNameless
2 (Type/Class)Unbound.LocallyNameless
shrinkDUnbound.LocallyNameless
singleUnbound.PermM, Unbound.LocallyNameless
singletonUnbound.Util, Unbound.LocallyNameless
somethingUnbound.LocallyNameless
SpineUnbound.LocallyNameless
strengthUnbound.LocallyNameless.Ops
string2NameUnbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless
SubstUnbound.LocallyNameless.Subst, Unbound.LocallyNameless
substUnbound.LocallyNameless.Subst, Unbound.LocallyNameless
SubstCoerce 
1 (Type/Class)Unbound.LocallyNameless.Subst
2 (Data Constructor)Unbound.LocallyNameless.Subst
SubstD 
1 (Type/Class)Unbound.LocallyNameless.Subst
2 (Data Constructor)Unbound.LocallyNameless.Subst
substDUnbound.LocallyNameless.Subst
substDefaultUnbound.LocallyNameless.Subst
SubstName 
1 (Type/Class)Unbound.LocallyNameless.Subst, Unbound.LocallyNameless
2 (Data Constructor)Unbound.LocallyNameless.Subst, Unbound.LocallyNameless
substR1Unbound.LocallyNameless.Subst
substsUnbound.LocallyNameless.Subst, Unbound.LocallyNameless
substsDUnbound.LocallyNameless.Subst
substsR1Unbound.LocallyNameless.Subst
subtreesUnbound.LocallyNameless
supportUnbound.PermM, Unbound.LocallyNameless
swapsUnbound.LocallyNameless.Ops, Unbound.LocallyNameless
swaps'Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless
swapsBindersUnbound.LocallyNameless.Ops, Unbound.LocallyNameless
swapsDUnbound.LocallyNameless.Alpha
swapsEmbedsUnbound.LocallyNameless.Ops, Unbound.LocallyNameless
swapsR1Unbound.LocallyNameless.Alpha
synthesizeUnbound.LocallyNameless