unbound-generics-0.4.3: Support for programming with names and binders using GHC Generics

Index

acompareUnbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless
acompare'Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
aeqUnbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless
aeq'Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
AlphaUnbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
AlphaCtxUnbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
AnIsoUnbound.Generics.LocallyNameless.Internal.Iso
AnyName 
1 (Type/Class)Unbound.Generics.LocallyNameless.Name, Unbound.Generics.LocallyNameless
2 (Data Constructor)Unbound.Generics.LocallyNameless.Name, Unbound.Generics.LocallyNameless
applyUnbound.Generics.PermM
avoidUnbound.Generics.LocallyNameless.LFresh, Unbound.Generics.LocallyNameless
BUnbound.Generics.LocallyNameless.Bind
BindUnbound.Generics.LocallyNameless.Bind, Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless
bindUnbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless
BnUnbound.Generics.LocallyNameless.Name
closeUnbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
composeUnbound.Generics.PermM
contFreshMUnbound.Generics.LocallyNameless.Fresh, Unbound.Generics.LocallyNameless
contFreshMTUnbound.Generics.LocallyNameless.Fresh, Unbound.Generics.LocallyNameless
contLFreshMUnbound.Generics.LocallyNameless.LFresh, Unbound.Generics.LocallyNameless
contLFreshMTUnbound.Generics.LocallyNameless.LFresh, Unbound.Generics.LocallyNameless
ctxLevelUnbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
decrLevelCtxUnbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
DisjointSet 
1 (Type/Class)Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
2 (Data Constructor)Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
Embed 
1 (Type/Class)Unbound.Generics.LocallyNameless.Embed, Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless
2 (Data Constructor)Unbound.Generics.LocallyNameless.Embed, Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless
embedUnbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless
EmbeddedUnbound.Generics.LocallyNameless.Embed, Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless, Unbound.Generics.LocallyNameless
embeddedUnbound.Generics.LocallyNameless.Embed, Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless
emptyUnbound.Generics.PermM
Exchange 
1 (Type/Class)Unbound.Generics.LocallyNameless.Internal.Iso
2 (Data Constructor)Unbound.Generics.LocallyNameless.Internal.Iso
FFMUnbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
filteredUnbound.Generics.LocallyNameless.Internal.Fold
FnUnbound.Generics.LocallyNameless.Name
FoldUnbound.Generics.LocallyNameless.Internal.Fold
foldMapOfUnbound.Generics.LocallyNameless.Internal.Fold
FreshUnbound.Generics.LocallyNameless.Fresh, Unbound.Generics.LocallyNameless
freshUnbound.Generics.LocallyNameless.Fresh, Unbound.Generics.LocallyNameless
freshenUnbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless
freshen'Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
FreshMUnbound.Generics.LocallyNameless.Fresh, Unbound.Generics.LocallyNameless
FreshMT 
1 (Type/Class)Unbound.Generics.LocallyNameless.Fresh, Unbound.Generics.LocallyNameless
2 (Data Constructor)Unbound.Generics.LocallyNameless.Fresh, Unbound.Generics.LocallyNameless
fromUnbound.Generics.LocallyNameless.Internal.Iso
fvUnbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless
fvAnyUnbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless
fvAny'Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
gacompareUnbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
gaeqUnbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
gcloseUnbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
getAvoidsUnbound.Generics.LocallyNameless.LFresh, Unbound.Generics.LocallyNameless
GettingUnbound.Generics.LocallyNameless.Internal.Lens
gfreshenUnbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
gfvAnyUnbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
gisPatUnbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
gisTermUnbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
glfreshenUnbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
gnamePatFindUnbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
gnthPatFindUnbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
gopenUnbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
gswapsUnbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
IUnbound.Generics.LocallyNameless.Ignore
IgnoreUnbound.Generics.LocallyNameless.Ignore, Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless
ignoreUnbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless
inconsistentDisjointSetUnbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
incrLevelCtxUnbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
initialCtxUnbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
instantiateUnbound.Generics.LocallyNameless.Subst, Unbound.Generics.LocallyNameless
isCoerceVarUnbound.Generics.LocallyNameless.Subst, Unbound.Generics.LocallyNameless
isConsistentDisjointSetUnbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
IsEmbedUnbound.Generics.LocallyNameless.Embed, Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless
isEmbedUnbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
isFreeNameUnbound.Generics.LocallyNameless.Name, Unbound.Generics.LocallyNameless
isidUnbound.Generics.PermM
isNullDisjointSetUnbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
IsoUnbound.Generics.LocallyNameless.Internal.Iso
isoUnbound.Generics.LocallyNameless.Internal.Iso
isPatUnbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
isTermUnbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
isTermCtxUnbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
isvarUnbound.Generics.LocallyNameless.Subst, Unbound.Generics.LocallyNameless
isZeroLevelCtxUnbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
joinUnbound.Generics.PermM
justFilteredUnbound.Generics.LocallyNameless.Internal.Fold
LFreshUnbound.Generics.LocallyNameless.LFresh, Unbound.Generics.LocallyNameless
lfreshUnbound.Generics.LocallyNameless.LFresh, Unbound.Generics.LocallyNameless
lfreshenUnbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless
lfreshen'Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
LFreshMUnbound.Generics.LocallyNameless.LFresh, Unbound.Generics.LocallyNameless
LFreshMT 
1 (Type/Class)Unbound.Generics.LocallyNameless.LFresh, Unbound.Generics.LocallyNameless
2 (Data Constructor)Unbound.Generics.LocallyNameless.LFresh, Unbound.Generics.LocallyNameless
liftFFMUnbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
lunbindUnbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless
lunbind2Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless
luntrecUnbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless
makeClosedAlphaUnbound.Generics.LocallyNameless.TH
makeNameUnbound.Generics.LocallyNameless.Name, Unbound.Generics.LocallyNameless
mkPermUnbound.Generics.PermM
NameUnbound.Generics.LocallyNameless.Name, Unbound.Generics.LocallyNameless
name2IntegerUnbound.Generics.LocallyNameless.Name, Unbound.Generics.LocallyNameless
name2StringUnbound.Generics.LocallyNameless.Name, Unbound.Generics.LocallyNameless
NamePatFind 
1 (Type/Class)Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
2 (Data Constructor)Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
namePatFindUnbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
NthPatFind 
1 (Type/Class)Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
2 (Data Constructor)Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
nthPatFindUnbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
openUnbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
patternCtxUnbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
Perm 
1 (Type/Class)Unbound.Generics.PermM
2 (Data Constructor)Unbound.Generics.PermM
permValidUnbound.Generics.PermM
RebindUnbound.Generics.LocallyNameless.Rebind, Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless
rebindUnbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless
RebndUnbound.Generics.LocallyNameless.Rebind
Rec 
1 (Type/Class)Unbound.Generics.LocallyNameless.Rec, Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless
2 (Data Constructor)Unbound.Generics.LocallyNameless.Rec, Unbound.Generics.LocallyNameless
recUnbound.Generics.LocallyNameless.Rec, Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless
restrictUnbound.Generics.PermM
retractFFMUnbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
runFreshMUnbound.Generics.LocallyNameless.Fresh, Unbound.Generics.LocallyNameless
runFreshMTUnbound.Generics.LocallyNameless.Fresh, Unbound.Generics.LocallyNameless
runLFreshMUnbound.Generics.LocallyNameless.LFresh, Unbound.Generics.LocallyNameless
runLFreshMTUnbound.Generics.LocallyNameless.LFresh, Unbound.Generics.LocallyNameless
runNamePatFindUnbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
runNthPatFindUnbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
s2nUnbound.Generics.LocallyNameless.Name, Unbound.Generics.LocallyNameless
Shift 
1 (Type/Class)Unbound.Generics.LocallyNameless.Shift, Unbound.Generics.LocallyNameless
2 (Data Constructor)Unbound.Generics.LocallyNameless.Shift, Unbound.Generics.LocallyNameless
singleUnbound.Generics.PermM
singletonDisjointSetUnbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
string2NameUnbound.Generics.LocallyNameless.Name, Unbound.Generics.LocallyNameless
SubstUnbound.Generics.LocallyNameless.Subst, Unbound.Generics.LocallyNameless
substUnbound.Generics.LocallyNameless.Subst, Unbound.Generics.LocallyNameless
substBindUnbound.Generics.LocallyNameless.Subst, Unbound.Generics.LocallyNameless
substBvsUnbound.Generics.LocallyNameless.Subst, Unbound.Generics.LocallyNameless
SubstCoerce 
1 (Type/Class)Unbound.Generics.LocallyNameless.Subst, Unbound.Generics.LocallyNameless
2 (Data Constructor)Unbound.Generics.LocallyNameless.Subst, Unbound.Generics.LocallyNameless
SubstName 
1 (Type/Class)Unbound.Generics.LocallyNameless.Subst, Unbound.Generics.LocallyNameless
2 (Data Constructor)Unbound.Generics.LocallyNameless.Subst, Unbound.Generics.LocallyNameless
substsUnbound.Generics.LocallyNameless.Subst, Unbound.Generics.LocallyNameless
supportUnbound.Generics.PermM
swapsUnbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless
swaps'Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
termCtxUnbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless
toListOfUnbound.Generics.LocallyNameless.Internal.Fold
Traversal'Unbound.Generics.LocallyNameless.Internal.Fold
TRec 
1 (Type/Class)Unbound.Generics.LocallyNameless.Rec, Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless
2 (Data Constructor)Unbound.Generics.LocallyNameless.Rec, Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless
trecUnbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless
unbindUnbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless
unbind2Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless
unbind2PlusUnbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless
unembedUnbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless
unFreshMTUnbound.Generics.LocallyNameless.Fresh, Unbound.Generics.LocallyNameless
unignoreUnbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless
unLFreshMTUnbound.Generics.LocallyNameless.LFresh, Unbound.Generics.LocallyNameless
unrebindUnbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless
unrecUnbound.Generics.LocallyNameless.Rec, Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless
unsafeUnbindUnbound.Generics.LocallyNameless.Unsafe
untrecUnbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless
viewUnbound.Generics.LocallyNameless.Internal.Lens
withIsoUnbound.Generics.LocallyNameless.Internal.Iso