UniqDFM

Unique-keyed deterministic mappings

data UniqDFM ele

Manipulating those mappings

emptyUDFM

unitUDFM

addToUDFM

addToUDFM_C

delFromUDFM

delListFromUDFM

adjustUDFM

alterUDFM

mapUDFM

plusUDFM

plusUDFM_C

lookupUDFM

elemUDFM

foldUDFM

eltsUDFM

filterUDFM

filterUDFM_Directly

isNullUDFM

sizeUDFM

intersectUDFM

udfmIntersectUFM

intersectsUDFM

disjointUDFM

disjointUdfmUfm

minusUDFM

udfmMinusUFM

partitionUDFM

anyUDFM

udfmToList

udfmToUfm

nonDetFoldUDFM

alwaysUnsafeUfmToUdfm