Safe Haskell | None |
---|---|
Language | Haskell2010 |
GHC.Cmm.Dataflow.Collections
Documentation
Methods
setMember :: ElemOf set -> set -> Bool #
setSingleton :: ElemOf set -> set #
setInsert :: ElemOf set -> set -> set #
setDelete :: ElemOf set -> set -> set #
setUnion :: set -> set -> set #
setDifference :: set -> set -> set #
setIntersection :: set -> set -> set #
setIsSubsetOf :: set -> set -> Bool #
setFilter :: (ElemOf set -> Bool) -> set -> set #
setFoldl :: (b -> ElemOf set -> b) -> b -> set -> b #
setFoldr :: (ElemOf set -> b -> b) -> b -> set -> b #
setElems :: set -> [ElemOf set] #
setFromList :: [ElemOf set] -> set #
Instances
setInsertList :: IsSet set => [ElemOf set] -> set -> set #
setDeleteList :: IsSet set => [ElemOf set] -> set -> set #
class IsMap (map :: Type -> Type) where #
Methods
mapMember :: KeyOf map -> map a -> Bool #
mapLookup :: KeyOf map -> map a -> Maybe a #
mapFindWithDefault :: a -> KeyOf map -> map a -> a #
mapSingleton :: KeyOf map -> a -> map a #
mapInsert :: KeyOf map -> a -> map a -> map a #
mapInsertWith :: (a -> a -> a) -> KeyOf map -> a -> map a -> map a #
mapDelete :: KeyOf map -> map a -> map a #
mapAlter :: (Maybe a -> Maybe a) -> KeyOf map -> map a -> map a #
mapAdjust :: (a -> a) -> KeyOf map -> map a -> map a #
mapUnion :: map a -> map a -> map a #
mapUnionWithKey :: (KeyOf map -> a -> a -> a) -> map a -> map a -> map a #
mapDifference :: map a -> map a -> map a #
mapIntersection :: map a -> map a -> map a #
mapIsSubmapOf :: Eq a => map a -> map a -> Bool #
mapMap :: (a -> b) -> map a -> map b #
mapMapWithKey :: (KeyOf map -> a -> b) -> map a -> map b #
mapFoldl :: (b -> a -> b) -> b -> map a -> b #
mapFoldr :: (a -> b -> b) -> b -> map a -> b #
mapFoldlWithKey :: (b -> KeyOf map -> a -> b) -> b -> map a -> b #
mapFoldMapWithKey :: Monoid m => (KeyOf map -> a -> m) -> map a -> m #
mapFilter :: (a -> Bool) -> map a -> map a #
mapFilterWithKey :: (KeyOf map -> a -> Bool) -> map a -> map a #
mapKeys :: map a -> [KeyOf map] #
mapToList :: map a -> [(KeyOf map, a)] #
mapFromList :: [(KeyOf map, a)] -> map a #
mapFromListWith :: (a -> a -> a) -> [(KeyOf map, a)] -> map a #
Instances
IsMap UniqueMap # | |||||
Defined in GHC.Cmm.Dataflow.Collections Associated Types
Methods mapNull :: UniqueMap a -> Bool # mapSize :: UniqueMap a -> Int # mapMember :: KeyOf UniqueMap -> UniqueMap a -> Bool # mapLookup :: KeyOf UniqueMap -> UniqueMap a -> Maybe a # mapFindWithDefault :: a -> KeyOf UniqueMap -> UniqueMap a -> a # mapSingleton :: KeyOf UniqueMap -> a -> UniqueMap a # mapInsert :: KeyOf UniqueMap -> a -> UniqueMap a -> UniqueMap a # mapInsertWith :: (a -> a -> a) -> KeyOf UniqueMap -> a -> UniqueMap a -> UniqueMap a # mapDelete :: KeyOf UniqueMap -> UniqueMap a -> UniqueMap a # mapAlter :: (Maybe a -> Maybe a) -> KeyOf UniqueMap -> UniqueMap a -> UniqueMap a # mapAdjust :: (a -> a) -> KeyOf UniqueMap -> UniqueMap a -> UniqueMap a # mapUnion :: UniqueMap a -> UniqueMap a -> UniqueMap a # mapUnionWithKey :: (KeyOf UniqueMap -> a -> a -> a) -> UniqueMap a -> UniqueMap a -> UniqueMap a # mapDifference :: UniqueMap a -> UniqueMap a -> UniqueMap a # mapIntersection :: UniqueMap a -> UniqueMap a -> UniqueMap a # mapIsSubmapOf :: Eq a => UniqueMap a -> UniqueMap a -> Bool # mapMap :: (a -> b) -> UniqueMap a -> UniqueMap b # mapMapWithKey :: (KeyOf UniqueMap -> a -> b) -> UniqueMap a -> UniqueMap b # mapFoldl :: (b -> a -> b) -> b -> UniqueMap a -> b # mapFoldr :: (a -> b -> b) -> b -> UniqueMap a -> b # mapFoldlWithKey :: (b -> KeyOf UniqueMap -> a -> b) -> b -> UniqueMap a -> b # mapFoldMapWithKey :: Monoid m => (KeyOf UniqueMap -> a -> m) -> UniqueMap a -> m # mapFilter :: (a -> Bool) -> UniqueMap a -> UniqueMap a # mapFilterWithKey :: (KeyOf UniqueMap -> a -> Bool) -> UniqueMap a -> UniqueMap a # mapElems :: UniqueMap a -> [a] # mapKeys :: UniqueMap a -> [KeyOf UniqueMap] # mapToList :: UniqueMap a -> [(KeyOf UniqueMap, a)] # mapFromList :: [(KeyOf UniqueMap, a)] -> UniqueMap a # mapFromListWith :: (a -> a -> a) -> [(KeyOf UniqueMap, a)] -> UniqueMap a # | |||||
IsMap LabelMap # | |||||
Defined in GHC.Cmm.Dataflow.Label Methods mapNull :: LabelMap a -> Bool # mapSize :: LabelMap a -> Int # mapMember :: KeyOf LabelMap -> LabelMap a -> Bool # mapLookup :: KeyOf LabelMap -> LabelMap a -> Maybe a # mapFindWithDefault :: a -> KeyOf LabelMap -> LabelMap a -> a # mapSingleton :: KeyOf LabelMap -> a -> LabelMap a # mapInsert :: KeyOf LabelMap -> a -> LabelMap a -> LabelMap a # mapInsertWith :: (a -> a -> a) -> KeyOf LabelMap -> a -> LabelMap a -> LabelMap a # mapDelete :: KeyOf LabelMap -> LabelMap a -> LabelMap a # mapAlter :: (Maybe a -> Maybe a) -> KeyOf LabelMap -> LabelMap a -> LabelMap a # mapAdjust :: (a -> a) -> KeyOf LabelMap -> LabelMap a -> LabelMap a # mapUnion :: LabelMap a -> LabelMap a -> LabelMap a # mapUnionWithKey :: (KeyOf LabelMap -> a -> a -> a) -> LabelMap a -> LabelMap a -> LabelMap a # mapDifference :: LabelMap a -> LabelMap a -> LabelMap a # mapIntersection :: LabelMap a -> LabelMap a -> LabelMap a # mapIsSubmapOf :: Eq a => LabelMap a -> LabelMap a -> Bool # mapMap :: (a -> b) -> LabelMap a -> LabelMap b # mapMapWithKey :: (KeyOf LabelMap -> a -> b) -> LabelMap a -> LabelMap b # mapFoldl :: (b -> a -> b) -> b -> LabelMap a -> b # mapFoldr :: (a -> b -> b) -> b -> LabelMap a -> b # mapFoldlWithKey :: (b -> KeyOf LabelMap -> a -> b) -> b -> LabelMap a -> b # mapFoldMapWithKey :: Monoid m => (KeyOf LabelMap -> a -> m) -> LabelMap a -> m # mapFilter :: (a -> Bool) -> LabelMap a -> LabelMap a # mapFilterWithKey :: (KeyOf LabelMap -> a -> Bool) -> LabelMap a -> LabelMap a # mapElems :: LabelMap a -> [a] # mapKeys :: LabelMap a -> [KeyOf LabelMap] # mapToList :: LabelMap a -> [(KeyOf LabelMap, a)] # mapFromList :: [(KeyOf LabelMap, a)] -> LabelMap a # mapFromListWith :: (a -> a -> a) -> [(KeyOf LabelMap, a)] -> LabelMap a # |
mapInsertList :: IsMap map => [(KeyOf map, a)] -> map a -> map a #
mapDeleteList :: IsMap map => [KeyOf map] -> map a -> map a #
Instances
Foldable UniqueMap # | |||||
Defined in GHC.Cmm.Dataflow.Collections Methods fold :: Monoid m => UniqueMap m -> m # foldMap :: Monoid m => (a -> m) -> UniqueMap a -> m # foldMap' :: Monoid m => (a -> m) -> UniqueMap a -> m # foldr :: (a -> b -> b) -> b -> UniqueMap a -> b # foldr' :: (a -> b -> b) -> b -> UniqueMap a -> b # foldl :: (b -> a -> b) -> b -> UniqueMap a -> b # foldl' :: (b -> a -> b) -> b -> UniqueMap a -> b # foldr1 :: (a -> a -> a) -> UniqueMap a -> a # foldl1 :: (a -> a -> a) -> UniqueMap a -> a # toList :: UniqueMap a -> [a] # length :: UniqueMap a -> Int # elem :: Eq a => a -> UniqueMap a -> Bool # maximum :: Ord a => UniqueMap a -> a # minimum :: Ord a => UniqueMap a -> a # | |||||
Traversable UniqueMap # | |||||
Defined in GHC.Cmm.Dataflow.Collections | |||||
Functor UniqueMap # | |||||
IsMap UniqueMap # | |||||
Defined in GHC.Cmm.Dataflow.Collections Associated Types
Methods mapNull :: UniqueMap a -> Bool # mapSize :: UniqueMap a -> Int # mapMember :: KeyOf UniqueMap -> UniqueMap a -> Bool # mapLookup :: KeyOf UniqueMap -> UniqueMap a -> Maybe a # mapFindWithDefault :: a -> KeyOf UniqueMap -> UniqueMap a -> a # mapSingleton :: KeyOf UniqueMap -> a -> UniqueMap a # mapInsert :: KeyOf UniqueMap -> a -> UniqueMap a -> UniqueMap a # mapInsertWith :: (a -> a -> a) -> KeyOf UniqueMap -> a -> UniqueMap a -> UniqueMap a # mapDelete :: KeyOf UniqueMap -> UniqueMap a -> UniqueMap a # mapAlter :: (Maybe a -> Maybe a) -> KeyOf UniqueMap -> UniqueMap a -> UniqueMap a # mapAdjust :: (a -> a) -> KeyOf UniqueMap -> UniqueMap a -> UniqueMap a # mapUnion :: UniqueMap a -> UniqueMap a -> UniqueMap a # mapUnionWithKey :: (KeyOf UniqueMap -> a -> a -> a) -> UniqueMap a -> UniqueMap a -> UniqueMap a # mapDifference :: UniqueMap a -> UniqueMap a -> UniqueMap a # mapIntersection :: UniqueMap a -> UniqueMap a -> UniqueMap a # mapIsSubmapOf :: Eq a => UniqueMap a -> UniqueMap a -> Bool # mapMap :: (a -> b) -> UniqueMap a -> UniqueMap b # mapMapWithKey :: (KeyOf UniqueMap -> a -> b) -> UniqueMap a -> UniqueMap b # mapFoldl :: (b -> a -> b) -> b -> UniqueMap a -> b # mapFoldr :: (a -> b -> b) -> b -> UniqueMap a -> b # mapFoldlWithKey :: (b -> KeyOf UniqueMap -> a -> b) -> b -> UniqueMap a -> b # mapFoldMapWithKey :: Monoid m => (KeyOf UniqueMap -> a -> m) -> UniqueMap a -> m # mapFilter :: (a -> Bool) -> UniqueMap a -> UniqueMap a # mapFilterWithKey :: (KeyOf UniqueMap -> a -> Bool) -> UniqueMap a -> UniqueMap a # mapElems :: UniqueMap a -> [a] # mapKeys :: UniqueMap a -> [KeyOf UniqueMap] # mapToList :: UniqueMap a -> [(KeyOf UniqueMap, a)] # mapFromList :: [(KeyOf UniqueMap, a)] -> UniqueMap a # mapFromListWith :: (a -> a -> a) -> [(KeyOf UniqueMap, a)] -> UniqueMap a # | |||||
Show v => Show (UniqueMap v) # | |||||
Eq v => Eq (UniqueMap v) # | |||||
Ord v => Ord (UniqueMap v) # | |||||
Defined in GHC.Cmm.Dataflow.Collections | |||||
type KeyOf UniqueMap # | |||||
Defined in GHC.Cmm.Dataflow.Collections |
Instances
Monoid UniqueSet # | |||||
Semigroup UniqueSet # | |||||
Show UniqueSet # | |||||
IsSet UniqueSet # | |||||
Defined in GHC.Cmm.Dataflow.Collections Associated Types
Methods setNull :: UniqueSet -> Bool # setMember :: ElemOf UniqueSet -> UniqueSet -> Bool # setSingleton :: ElemOf UniqueSet -> UniqueSet # setInsert :: ElemOf UniqueSet -> UniqueSet -> UniqueSet # setDelete :: ElemOf UniqueSet -> UniqueSet -> UniqueSet # setUnion :: UniqueSet -> UniqueSet -> UniqueSet # setDifference :: UniqueSet -> UniqueSet -> UniqueSet # setIntersection :: UniqueSet -> UniqueSet -> UniqueSet # setIsSubsetOf :: UniqueSet -> UniqueSet -> Bool # setFilter :: (ElemOf UniqueSet -> Bool) -> UniqueSet -> UniqueSet # setFoldl :: (b -> ElemOf UniqueSet -> b) -> b -> UniqueSet -> b # setFoldr :: (ElemOf UniqueSet -> b -> b) -> b -> UniqueSet -> b # setElems :: UniqueSet -> [ElemOf UniqueSet] # setFromList :: [ElemOf UniqueSet] -> UniqueSet # | |||||
Eq UniqueSet # | |||||
Ord UniqueSet # | |||||
type ElemOf UniqueSet # | |||||
Defined in GHC.Cmm.Dataflow.Collections |