UniqDFM

Unique-keyed deterministic mappings

data UniqDFM ele

Manipulating those mappings

emptyUDFM

unitUDFM

addToUDFM

addToUDFM_C

addListToUDFM

delFromUDFM

delListFromUDFM

adjustUDFM

alterUDFM

mapUDFM

plusUDFM

plusUDFM_C

lookupUDFM

lookupUDFM_Directly

elemUDFM

foldUDFM

eltsUDFM

filterUDFM

filterUDFM_Directly

isNullUDFM

sizeUDFM

intersectUDFM

udfmIntersectUFM

intersectsUDFM

disjointUDFM

disjointUdfmUfm

minusUDFM

listToUDFM

udfmMinusUFM

partitionUDFM

anyUDFM

allUDFM

pprUDFM

udfmToList

udfmToUfm

nonDetFoldUDFM

alwaysUnsafeUfmToUdfm