unimap-0.1.0: A union-find/map data structure

Index

adaptMergeOneUnimap
addUnimap
addLMUnimap
addMUnimap
AddResUnimap
AddResAddedUnimap
AddResDuplicateUnimap
AddValUnimap
AddValAddedUnimap
AddValDuplicateUnimap
canonicalizeUnimap
canonicalizeLMUnimap
canonicalizeMUnimap
ChangedUnimap
ChangedNoUnimap
ChangedYesUnimap
compactUnimap
compactLMUnimap
compactMUnimap
concatMergeManyUnimap
concatMergeOneUnimap
emptyUnimap
emptyEquivUnimap
EntryUnimap
EntryLinkUnimap
EntryValueUnimap
Equiv 
1 (Type/Class)Unimap
2 (Data Constructor)Unimap
equivUnimap
equivBwdUnimap
equivFwdUnimap
equivLMUnimap
equivMUnimap
extractUnimap
extractLMUnimap
extractMUnimap
filterRootEntriesUnimap
foldMergeManyUnimap
foldMergeOneUnimap
lookupUnimap
lookupLMUnimap
lookupMUnimap
LookupResUnimap
LookupResFoundUnimap
LookupResMissingUnimap
LookupValUnimap
LookupValMissingUnimap
LookupValOkUnimap
maybeChangedUnimap
memberUnimap
MergeManyUnimap
mergeManyUnimap
mergeManyLMUnimap
mergeManyMUnimap
MergeOneUnimap
mergeOneUnimap
mergeOneLMUnimap
mergeOneMUnimap
MergeResUnimap
MergeResEmbedUnimap
MergeResMergedUnimap
MergeResMissingUnimap
MergeValUnimap
MergeValEmbedUnimap
MergeValMergedUnimap
MergeValMissingUnimap
sizeUnimap
toListUnimap
traceUnimap
TraceResUnimap
TraceResFoundUnimap
TraceResMissingUnimap
UnionMapUnimap
UnionMapLensUnimap
unUnionMapUnimap
updateUnimap
updateLMUnimap
updateMUnimap
UpdateResUnimap
UpdateResAddedUnimap
UpdateResEmbedUnimap
UpdateResMissingUnimap
UpdateResUpdatedUnimap
UpdateValUnimap
UpdateValAddedUnimap
UpdateValEmbedUnimap
UpdateValMissingUnimap
UpdateValUpdatedUnimap
valuesUnimap