bound-0.2: Haskell 98 Locally-Nameless Generalized de Bruijn Terms

Index

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