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

Index

:++:Data.Type.RList, Data.Binding.Hobbits
:>Data.Type.RList, Data.Binding.Hobbits
:>:Data.Type.RList, Data.Binding.Hobbits
:~:Data.Binding.Hobbits
==Data.Binding.Hobbits
AppData.Binding.Hobbits.Examples.LambdaLifting.Terms, Data.Binding.Hobbits.Examples.LambdaLifting
AppendData.Type.RList, Data.Binding.Hobbits
appendMapRListData.Type.RList, Data.Binding.Hobbits
Append_BaseData.Type.RList, Data.Binding.Hobbits
Append_StepData.Type.RList, Data.Binding.Hobbits
applyData.Binding.Hobbits
asProxyTypeOfData.Binding.Hobbits
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
DTermData.Binding.Hobbits.Examples.LambdaLifting.Terms, Data.Binding.Hobbits.Examples.LambdaLifting
elimEmptyMbData.Binding.Hobbits.Mb, Data.Binding.Hobbits
emptyData.Type.RList, Data.Binding.Hobbits
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
gcastWithData.Binding.Hobbits
innerData.Binding.Hobbits
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
mapMapRListData.Type.RList, Data.Binding.Hobbits
mapMapRList2Data.Type.RList, Data.Binding.Hobbits
MapRListData.Type.RList, Data.Binding.Hobbits
mapRListLookupData.Type.RList, Data.Binding.Hobbits
mapRListToListData.Type.RList, Data.Binding.Hobbits
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
mbNameBoundPData.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
membersData.Type.RList, Data.Binding.Hobbits
membersEqData.Type.RList, Data.Binding.Hobbits
Member_BaseData.Type.RList, Data.Binding.Hobbits
Member_StepData.Type.RList, Data.Binding.Hobbits
mkAppendData.Type.RList, Data.Binding.Hobbits
mkClosedData.Binding.Hobbits.Closed, Data.Binding.Hobbits
mkMonoAppendData.Type.RList, Data.Binding.Hobbits
mkNuMatchingData.Binding.Hobbits.NuMatching, Data.Binding.Hobbits
MNilData.Type.RList, Data.Binding.Hobbits
NameData.Binding.Hobbits.Mb, Data.Binding.Hobbits
noClosedNamesData.Binding.Hobbits.Closed, Data.Binding.Hobbits
nuData.Binding.Hobbits.Mb, Data.Binding.Hobbits
NuMatchingData.Binding.Hobbits.NuMatching, Data.Binding.Hobbits
NuMatching1Data.Binding.Hobbits.NuMatching, Data.Binding.Hobbits
NuMatchingListData.Binding.Hobbits.NuMatching, Data.Binding.Hobbits
nuMatchingListProofData.Binding.Hobbits.NuMatching, Data.Binding.Hobbits
NuMatchingObj 
1 (Type/Class)Data.Binding.Hobbits.NuMatching, Data.Binding.Hobbits
2 (Data Constructor)Data.Binding.Hobbits.NuMatching, Data.Binding.Hobbits
nuMatchingProofData.Binding.Hobbits.NuMatching, Data.Binding.Hobbits
nuMatchingProof1Data.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, Data.Binding.Hobbits
Proxy 
1 (Data Constructor)Data.Binding.Hobbits
2 (Type/Class)Data.Binding.Hobbits
proxyConsData.Type.RList, Data.Binding.Hobbits
ReflData.Binding.Hobbits
RListData.Type.RList, Data.Binding.Hobbits
RNilData.Type.RList, Data.Binding.Hobbits
showsPrecMemberData.Type.RList, Data.Binding.Hobbits
singletonData.Type.RList, Data.Binding.Hobbits
splitMapRListData.Type.RList, Data.Binding.Hobbits
symData.Binding.Hobbits
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
transData.Binding.Hobbits
TVarData.Binding.Hobbits.Examples.LambdaLifting.Terms, Data.Binding.Hobbits.Examples.LambdaLifting
TypeCtxData.Type.RList, Data.Binding.Hobbits
typeCtxProxiesData.Type.RList, Data.Binding.Hobbits
unClosedData.Binding.Hobbits.Closed, Data.Binding.Hobbits
VarData.Binding.Hobbits.Examples.LambdaLifting.Terms, Data.Binding.Hobbits.Examples.LambdaLifting
weakenMemberLData.Type.RList, Data.Binding.Hobbits
~~Data.Binding.Hobbits