UniqSet

Contents

• Unique set type
  • Manipulating these sets

Synopsis

• type UniqSet a = UniqFM a
• emptyUniqSet :: UniqSet a
• unitUniqSet :: Uniquable a => a -> UniqSet a
• mkUniqSet :: Uniquable a => [a] -> UniqSet a
• addOneToUniqSet :: Uniquable a => UniqSet a -> a -> UniqSet a
• addOneToUniqSet_C :: Uniquable a => (a -> a -> a) -> UniqSet a -> a -> UniqSet a
• addListToUniqSet :: Uniquable a => UniqSet a -> [a] -> UniqSet a
• delOneFromUniqSet :: Uniquable a => UniqSet a -> a -> UniqSet a
• delOneFromUniqSet_Directly :: Uniquable a => UniqSet a -> Unique -> UniqSet a
• delListFromUniqSet :: Uniquable a => UniqSet a -> [a] -> UniqSet a
• unionUniqSets :: UniqSet a -> UniqSet a -> UniqSet a
• unionManyUniqSets :: [UniqSet a] -> UniqSet a
• minusUniqSet :: UniqSet a -> UniqSet a -> UniqSet a
• intersectUniqSets :: UniqSet a -> UniqSet a -> UniqSet a
• foldUniqSet :: (a -> b -> b) -> b -> UniqSet a -> b
• mapUniqSet :: (a -> b) -> UniqSet a -> UniqSet b
• elementOfUniqSet :: Uniquable a => a -> UniqSet a -> Bool
• elemUniqSet_Directly :: Unique -> UniqSet a -> Bool
• filterUniqSet :: (a -> Bool) -> UniqSet a -> UniqSet a
• sizeUniqSet :: UniqSet a -> Int
• isEmptyUniqSet :: UniqSet a -> Bool
• lookupUniqSet :: Uniquable a => UniqSet a -> a -> Maybe a
• uniqSetToList :: UniqSet a -> [a]
• partitionUniqSet :: (a -> Bool) -> UniqSet a -> (UniqSet a, UniqSet a)

Unique set type

Manipulating these sets