UniqSet
Unique set type
type
UniqSet
a
Manipulating these sets
mkUniqSet
uniqSetToList
emptyUniqSet
unitUniqSet
addOneToUniqSet
addListToUniqSet
addOneToUniqSet_C
delOneFromUniqSet
delListFromUniqSet
delOneFromUniqSet_Directly
unionUniqSets
unionManyUniqSets
minusUniqSet
elementOfUniqSet
mapUniqSet
intersectUniqSets
isEmptyUniqSet
filterUniqSet
sizeUniqSet
foldUniqSet
elemUniqSet_Directly
lookupUniqSet
hashUniqSet