Safe Haskell | None |
---|---|
Language | Haskell2010 |
- 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 :: 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 b -> a -> Maybe b
- uniqSetToList :: UniqSet a -> [a]
- partitionUniqSet :: (a -> Bool) -> UniqSet a -> (UniqSet a, UniqSet a)
Unique set type
Manipulating these sets
emptyUniqSet :: UniqSet a Source #
unitUniqSet :: Uniquable a => a -> UniqSet a Source #
unionManyUniqSets :: [UniqSet a] -> UniqSet a Source #
foldUniqSet :: (a -> b -> b) -> b -> UniqSet a -> b Source #
mapUniqSet :: (a -> b) -> UniqSet a -> UniqSet b Source #
sizeUniqSet :: UniqSet a -> Int Source #
isEmptyUniqSet :: UniqSet a -> Bool Source #
uniqSetToList :: UniqSet a -> [a] Source #