unbound-kind-generics-0.2.1.1: Support for programming with names and binders using kind-generics

Index

acompareDefKUnbound.Generics.LocallyNameless.Kind.Derive
aeqDefKUnbound.Generics.LocallyNameless.Kind.Derive
AppUnbound.Generics.LocallyNameless.Kind.Example
AutoAlpha 
1 (Type/Class)Unbound.Generics.LocallyNameless.Kind.Derive
2 (Data Constructor)Unbound.Generics.LocallyNameless.Kind.Derive
buildSubstNameUnbound.Generics.LocallyNameless.Kind.Derive
closeDefKUnbound.Generics.LocallyNameless.Kind.Derive
evalUnbound.Generics.LocallyNameless.Kind.Example
exampleUnbound.Generics.LocallyNameless.Kind.Example
ExprUnbound.Generics.LocallyNameless.Kind.Example
freshenDefKUnbound.Generics.LocallyNameless.Kind.Derive
fvAnyDefKUnbound.Generics.LocallyNameless.Kind.Derive
gsubstBvsDefKUnbound.Generics.LocallyNameless.Kind.Derive
gsubstDefKUnbound.Generics.LocallyNameless.Kind.Derive
gsubstsDefKUnbound.Generics.LocallyNameless.Kind.Derive
isEmbedDefKUnbound.Generics.LocallyNameless.Kind.Derive
isPatDefKUnbound.Generics.LocallyNameless.Kind.Derive
isTermDefKUnbound.Generics.LocallyNameless.Kind.Derive
LamUnbound.Generics.LocallyNameless.Kind.Example
lfreshenDefKUnbound.Generics.LocallyNameless.Kind.Derive
namePatFindDefKUnbound.Generics.LocallyNameless.Kind.Derive
nthPatFindDefKUnbound.Generics.LocallyNameless.Kind.Derive
openDefKUnbound.Generics.LocallyNameless.Kind.Derive
swapsDefKUnbound.Generics.LocallyNameless.Kind.Derive
unAutoAlphaUnbound.Generics.LocallyNameless.Kind.Derive
VUnbound.Generics.LocallyNameless.Kind.Example
VarUnbound.Generics.LocallyNameless.Kind.Example