hobbits-1.3: A library for canonically representing terms with binding

Index

!Data.Binding.Hobbits.NameMap
:++:Data.Type.RList, Data.Binding.Hobbits
:>Data.Type.RList, Data.Binding.Hobbits
:>:Data.Type.RList, Data.Binding.Hobbits
:~:Data.Binding.Hobbits
:~~:Data.Binding.Hobbits
==Data.Binding.Hobbits
adjustData.Binding.Hobbits.NameMap
alterData.Binding.Hobbits.NameMap
AppData.Binding.Hobbits.Examples.LambdaLifting.Terms, Data.Binding.Hobbits.Examples.LambdaLifting
AppendData.Type.RList, Data.Binding.Hobbits
appendData.Type.RList
Append_BaseData.Type.RList, Data.Binding.Hobbits
Append_StepData.Type.RList, Data.Binding.Hobbits
applyData.Binding.Hobbits
asProxyTypeOfData.Binding.Hobbits
assocsData.Binding.Hobbits.NameMap
BindingData.Binding.Hobbits.Mb, Data.Binding.Hobbits
castWithData.Binding.Hobbits
clApplyData.Binding.Hobbits.Closed, Data.Binding.Hobbits
clApplyClData.Binding.Hobbits.Closed, Data.Binding.Hobbits
clMbApplyData.Binding.Hobbits.Closed, Data.Binding.Hobbits
clNuPData.Binding.Hobbits.QQ, Data.Binding.Hobbits
ClosableData.Binding.Hobbits.Closed, Data.Binding.Hobbits
ClosedData.Binding.Hobbits.Closed, Data.Binding.Hobbits
clPData.Binding.Hobbits.QQ, Data.Binding.Hobbits
cmpNameData.Binding.Hobbits.Mb, Data.Binding.Hobbits
DData.Binding.Hobbits.Examples.LambdaLifting.Terms, Data.Binding.Hobbits.Examples.LambdaLifting
DeclData.Binding.Hobbits.Examples.LambdaLifting.Terms, Data.Binding.Hobbits.Examples.LambdaLifting
DeclsData.Binding.Hobbits.Examples.LambdaLifting.Terms, Data.Binding.Hobbits.Examples.LambdaLifting
Decls_BaseData.Binding.Hobbits.Examples.LambdaLifting.Terms, Data.Binding.Hobbits.Examples.LambdaLifting
Decls_ConsData.Binding.Hobbits.Examples.LambdaLifting.Terms, Data.Binding.Hobbits.Examples.LambdaLifting
Decl_ConsData.Binding.Hobbits.Examples.LambdaLifting.Terms, Data.Binding.Hobbits.Examples.LambdaLifting
Decl_OneData.Binding.Hobbits.Examples.LambdaLifting.Terms, Data.Binding.Hobbits.Examples.LambdaLifting
delete 
1 (Function)Data.Binding.Hobbits.NameMap
2 (Function)Data.Binding.Hobbits.NameSet
difference 
1 (Function)Data.Binding.Hobbits.NameMap
2 (Function)Data.Binding.Hobbits.NameSet
DTermData.Binding.Hobbits.Examples.LambdaLifting.Terms, Data.Binding.Hobbits.Examples.LambdaLifting
elimEmptyMbData.Binding.Hobbits.Mb, Data.Binding.Hobbits
empty 
1 (Function)Data.Type.RList
2 (Function)Data.Binding.Hobbits.NameMap
3 (Function)Data.Binding.Hobbits.NameSet
emptyMbData.Binding.Hobbits.Mb, Data.Binding.Hobbits
ex1Data.Binding.Hobbits.Examples.LambdaLifting.Examples
ex2Data.Binding.Hobbits.Examples.LambdaLifting.Examples
ex3Data.Binding.Hobbits.Examples.LambdaLifting.Examples
ex4Data.Binding.Hobbits.Examples.LambdaLifting.Examples
ex5Data.Binding.Hobbits.Examples.LambdaLifting.Examples
ex6Data.Binding.Hobbits.Examples.LambdaLifting.Examples
ex7Data.Binding.Hobbits.Examples.LambdaLifting.Examples
exPData.Binding.Hobbits.Examples.LambdaLifting.Examples
extMbData.Binding.Hobbits.Mb, Data.Binding.Hobbits
extMbMultiData.Binding.Hobbits.Mb, Data.Binding.Hobbits
foldl 
1 (Function)Data.Binding.Hobbits.NameMap
2 (Function)Data.Binding.Hobbits.NameSet
foldr 
1 (Function)Data.Type.RList
2 (Function)Data.Binding.Hobbits.NameMap
3 (Function)Data.Binding.Hobbits.NameSet
fromList 
1 (Function)Data.Binding.Hobbits.NameMap
2 (Function)Data.Binding.Hobbits.NameSet
gcastWithData.Binding.Hobbits
getData.Type.RList
HApply 
1 (Type/Class)Data.Type.RList
2 (Data Constructor)Data.Type.RList
hcmpNameData.Binding.Hobbits.Mb, Data.Binding.Hobbits
hgetData.Type.RList
HReflData.Binding.Hobbits
innerData.Binding.Hobbits
insert 
1 (Function)Data.Binding.Hobbits.NameMap
2 (Function)Data.Binding.Hobbits.NameSet
intersection 
1 (Function)Data.Binding.Hobbits.NameMap
2 (Function)Data.Binding.Hobbits.NameSet
isoMbTypeReprData.Binding.Hobbits.NuMatching, Data.Binding.Hobbits
KProxy 
1 (Data Constructor)Data.Binding.Hobbits
2 (Type/Class)Data.Binding.Hobbits
LData.Binding.Hobbits.Examples.LambdaLifting.Terms, Data.Binding.Hobbits.Examples.LambdaLifting
LamData.Binding.Hobbits.Examples.LambdaLifting.Terms, Data.Binding.Hobbits.Examples.LambdaLifting
lamData.Binding.Hobbits.Examples.LambdaLifting.Terms, Data.Binding.Hobbits.Examples.LambdaLifting
lambdaLiftData.Binding.Hobbits.Examples.LambdaLifting
LiftableData.Binding.Hobbits.Liftable, Data.Binding.Hobbits
liftNameMapData.Binding.Hobbits.NameMap
liftNameSetData.Binding.Hobbits.NameSet
lookupData.Binding.Hobbits.NameMap
map 
1 (Function)Data.Type.RList
2 (Function)Data.Binding.Hobbits.NameMap
3 (Function)Data.Binding.Hobbits.NameSet
map2Data.Type.RList
mapRAssignData.Type.RList
mapToListData.Type.RList
MbData.Binding.Hobbits.Mb, Data.Binding.Hobbits
mbApplyData.Binding.Hobbits.Mb, Data.Binding.Hobbits
mbCmpNameData.Binding.Hobbits.Mb, Data.Binding.Hobbits
mbCombineData.Binding.Hobbits.Mb, Data.Binding.Hobbits
mbLambdaLiftData.Binding.Hobbits.Examples.LambdaLifting
mbLiftData.Binding.Hobbits.Liftable, Data.Binding.Hobbits
mbListData.Binding.Hobbits.Liftable, Data.Binding.Hobbits
mbMData.Binding.Hobbits.MonadBind
mbMap2Data.Binding.Hobbits.Mb, Data.Binding.Hobbits
mbNameBoundPData.Binding.Hobbits.Mb, Data.Binding.Hobbits
mbPureData.Binding.Hobbits.Mb, Data.Binding.Hobbits
mbSeparateData.Binding.Hobbits.Mb, Data.Binding.Hobbits
mbSwapData.Binding.Hobbits.Mb, Data.Binding.Hobbits
mbToProxyData.Binding.Hobbits.Mb, Data.Binding.Hobbits
MbTypeReprData.Binding.Hobbits.NuMatching, Data.Binding.Hobbits
MemberData.Type.RList, Data.Binding.Hobbits
member 
1 (Function)Data.Binding.Hobbits.NameMap
2 (Function)Data.Binding.Hobbits.NameSet
memberElemData.Type.RList
membersData.Type.RList
Member_BaseData.Type.RList, Data.Binding.Hobbits
Member_StepData.Type.RList, Data.Binding.Hobbits
mkAppendData.Type.RList
mkClosedData.Binding.Hobbits.Closed, Data.Binding.Hobbits
mkMonoAppendData.Type.RList
mkNuMatchingData.Binding.Hobbits.NuMatching, Data.Binding.Hobbits
MNilData.Type.RList, Data.Binding.Hobbits
modifyData.Type.RList
MonadBindData.Binding.Hobbits.MonadBind
MonadStrongBindData.Binding.Hobbits.MonadBind
NameData.Binding.Hobbits.Mb, Data.Binding.Hobbits
NameAndElem 
1 (Type/Class)Data.Binding.Hobbits.NameMap
2 (Data Constructor)Data.Binding.Hobbits.NameMap
NameMapData.Binding.Hobbits.NameMap
NameSetData.Binding.Hobbits.NameSet
noClosedNamesData.Binding.Hobbits.Closed, Data.Binding.Hobbits
nuData.Binding.Hobbits.Mb, Data.Binding.Hobbits
null 
1 (Function)Data.Binding.Hobbits.NameMap
2 (Function)Data.Binding.Hobbits.NameSet
NuMatchingData.Binding.Hobbits.NuMatching, Data.Binding.Hobbits
NuMatchingAny1Data.Binding.Hobbits.NuMatching, Data.Binding.Hobbits
nuMatchingAny1ProofData.Binding.Hobbits.NuMatching, Data.Binding.Hobbits
nuMatchingProofData.Binding.Hobbits.NuMatching, Data.Binding.Hobbits
nuMultiData.Binding.Hobbits.Mb, Data.Binding.Hobbits
nuMultiWithElimData.Binding.Hobbits.Mb, Data.Binding.Hobbits
nuMultiWithElim1Data.Binding.Hobbits.Mb, Data.Binding.Hobbits
nuPData.Binding.Hobbits.QQ, Data.Binding.Hobbits
nusData.Binding.Hobbits.Mb, Data.Binding.Hobbits
nuWithElimData.Binding.Hobbits.Mb, Data.Binding.Hobbits
nuWithElim1Data.Binding.Hobbits.Mb, Data.Binding.Hobbits
outerData.Binding.Hobbits
parsePatternData.Binding.Hobbits.PatternParser
proxiesFromAppendData.Type.RList
Proxy 
1 (Data Constructor)Data.Binding.Hobbits
2 (Type/Class)Data.Binding.Hobbits
RAssignData.Type.RList, Data.Binding.Hobbits
ReflData.Binding.Hobbits
RListData.Type.RList, Data.Binding.Hobbits
RNilData.Type.RList, Data.Binding.Hobbits
setData.Type.RList
singleton 
1 (Function)Data.Type.RList
2 (Function)Data.Binding.Hobbits.NameMap
3 (Function)Data.Binding.Hobbits.NameSet
size 
1 (Function)Data.Binding.Hobbits.NameMap
2 (Function)Data.Binding.Hobbits.NameSet
SomeName 
1 (Type/Class)Data.Binding.Hobbits.NameSet
2 (Data Constructor)Data.Binding.Hobbits.NameSet
splitData.Type.RList
strongMbMData.Binding.Hobbits.MonadBind
symData.Binding.Hobbits
tailData.Type.RList
TAppData.Binding.Hobbits.Examples.LambdaLifting.Terms, Data.Binding.Hobbits.Examples.LambdaLifting
TDVarData.Binding.Hobbits.Examples.LambdaLifting.Terms, Data.Binding.Hobbits.Examples.LambdaLifting
TermData.Binding.Hobbits.Examples.LambdaLifting.Terms, Data.Binding.Hobbits.Examples.LambdaLifting
TestEqualityData.Binding.Hobbits
testEqualityData.Binding.Hobbits
toClosedData.Binding.Hobbits.Closed, Data.Binding.Hobbits
toList 
1 (Function)Data.Type.RList
2 (Function)Data.Binding.Hobbits.NameSet
transData.Binding.Hobbits
TVarData.Binding.Hobbits.Examples.LambdaLifting.Terms, Data.Binding.Hobbits.Examples.LambdaLifting
TypeCtxData.Type.RList
typeCtxProxiesData.Type.RList
unClosedData.Binding.Hobbits.Closed, Data.Binding.Hobbits
union 
1 (Function)Data.Binding.Hobbits.NameMap
2 (Function)Data.Binding.Hobbits.NameSet
unionsData.Binding.Hobbits.NameSet
unsafeCloseData.Binding.Hobbits.Closed, Data.Binding.Hobbits
unsafeMbTypeReprData.Binding.Hobbits.NuMatching, Data.Binding.Hobbits
updateData.Binding.Hobbits.NameMap
VarData.Binding.Hobbits.Examples.LambdaLifting.Terms, Data.Binding.Hobbits.Examples.LambdaLifting
weakenMemberLData.Type.RList
\\ 
1 (Function)Data.Binding.Hobbits.NameMap
2 (Function)Data.Binding.Hobbits.NameSet
~~Data.Binding.Hobbits