UniqDSet

Unique set type

type UniqDSet a

Manipulating these sets

delOneFromUniqDSet

delListFromUniqDSet

emptyUniqDSet

unitUniqDSet

mkUniqDSet

addOneToUniqDSet

addListToUniqDSet

unionUniqDSets

unionManyUniqDSets

minusUniqDSet

uniqDSetMinusUniqSet

intersectUniqDSets

intersectsUniqDSets

foldUniqDSet

elementOfUniqDSet

filterUniqDSet

sizeUniqDSet

isEmptyUniqDSet

lookupUniqDSet

uniqDSetToList

partitionUniqDSet