UniqDSet
type UniqDSet a
delOneFromUniqDSet
delListFromUniqDSet
emptyUniqDSet
unitUniqDSet
mkUniqDSet
addOneToUniqDSet
addListToUniqDSet
unionUniqDSets
unionManyUniqDSets
minusUniqDSet
uniqDSetMinusUniqSet
intersectUniqDSets
intersectsUniqDSets
foldUniqDSet
elementOfUniqDSet
filterUniqDSet
sizeUniqDSet
isEmptyUniqDSet
lookupUniqDSet
uniqDSetToList
partitionUniqDSet