bound-0.8: Making de Bruijn Succ Less

Index

=<<<Bound.Class, Bound
>>>=Bound.Class, Bound
abstractBound.Scope, Bound
abstract1Bound.Scope, Bound
abstract1NameBound.Name
abstractNameBound.Name
BBound.Var, Bound
bindingsBound.Scope
BoundBound.Class, Bound
closedBound.Term, Bound
deserializeScopeBound.Scope
FBound.Var, Bound
foldMapBoundBound.Scope
foldMapScopeBound.Scope
fromScopeBound.Scope, Bound
instantiateBound.Scope, Bound
instantiate1Bound.Scope, Bound
instantiate1NameBound.Name
instantiateNameBound.Name
isClosedBound.Term, Bound
liftMBoundBound.Scope
liftMScopeBound.Scope
mapBoundBound.Scope
mapMBoundBound.Scope
mapMBound_Bound.Scope
mapMScopeBound.Scope
mapMScope_Bound.Scope
mapScopeBound.Scope
Name 
1 (Type/Class)Bound.Name
2 (Data Constructor)Bound.Name
nameBound.Name
Scope 
1 (Type/Class)Bound.Scope, Bound
2 (Data Constructor)Bound.Scope, Bound
serializeScopeBound.Scope
splatBound.Scope
substituteBound.Term, Bound
substituteVarBound.Term
toScopeBound.Scope, Bound
traverseBoundBound.Scope
traverseBound_Bound.Scope
traverseScopeBound.Scope
traverseScope_Bound.Scope
unscopeBound.Scope, Bound
unvarBound.Var
VarBound.Var, Bound
_NameBound.Name