UniqSet

Unique set type

data UniqSet a

getUniqSet

pprUniqSet

Manipulating these sets

emptyUniqSet

unitUniqSet

mkUniqSet

addOneToUniqSet

addListToUniqSet

delOneFromUniqSet

delOneFromUniqSet_Directly

delListFromUniqSet

delListFromUniqSet_Directly

unionUniqSets

unionManyUniqSets

minusUniqSet

uniqSetMinusUFM

intersectUniqSets

restrictUniqSetToUFM

uniqSetAny

uniqSetAll

elementOfUniqSet

elemUniqSet_Directly

filterUniqSet

filterUniqSet_Directly

sizeUniqSet

isEmptyUniqSet

lookupUniqSet

lookupUniqSet_Directly

partitionUniqSet

mapUniqSet

unsafeUFMToUniqSet

nonDetEltsUniqSet

nonDetKeysUniqSet

nonDetFoldUniqSet

nonDetFoldUniqSet_Directly