Moduleghc-9.14.1GHC2021

GHC.Types.Unique.Map

Synopsis

newtype UniqMap
value emptyUniqMap
value isNullUniqMap
value unitUniqMap
value listToUniqMap
value listToUniqMap_C
value addToUniqMap
value addListToUniqMap
value addToUniqMap_C
value addToUniqMap_Acc
value addToUniqMap_L
value alterUniqMap
value addListToUniqMap_C
value adjustUniqMap
value delFromUniqMap
value delListFromUniqMap
value plusUniqMap
value plusUniqMap_C
value plusMaybeUniqMap_C
value plusUniqMapList
value plusUniqMapListWith
value minusUniqMap
value intersectUniqMap
value intersectUniqMap_C
value disjointUniqMap
value mapUniqMap
value filterUniqMap
value filterWithKeyUniqMap
value partitionUniqMap
value sizeUniqMap
value elemUniqMap
value nonDetKeysUniqMap
value nonDetEltsUniqMap
value lookupUniqMap
value lookupWithDefaultUniqMap
value anyUniqMap
value allUniqMap
value nonDetUniqMapToList
value nonDetUniqMapToKeySet
value nonDetFoldUniqMap

Packageghc-9.14.1
Exports40
LanguageGHC2021
LicenceBSD-3-Clause
SourceMap.hs

newtypenewtype UniqMap k a

Source#

Maps indexed by Uniquable keys

Constructors

UniqMap
- getUniqMap :: UniqFM k (k, a)

Instances8Functor, Eq, Data, Semigroup, Monoid, NFData, …

Functor (UniqMap k)Defined in ghc-9.14.1 · GHC.Types.Unique.Map
(Eq k, Eq a) => Eq (UniqMap k a)Defined in ghc-9.14.1 · GHC.Types.Unique.Map
(Data k, Data a) => Data (UniqMap k a)Defined in ghc-9.14.1 · GHC.Types.Unique.Map
Semigroup (UniqMap k a)Defined in ghc-9.14.1 · GHC.Types.Unique.Map
Monoid (UniqMap k a)Defined in ghc-9.14.1 · GHC.Types.Unique.Map
(NFData k, NFData a) => NFData (UniqMap k a)Defined in ghc-9.14.1 · GHC.Types.Unique.Map
(Outputable k, Outputable a) => Outputable (UniqMap k a)Defined in ghc-9.14.1 · GHC.Types.Unique.Map
ToJExpr a => ToJExpr (UniqMap FastString a)Defined in ghc-9.14.1 · GHC.JS.Make

valueemptyUniqMap :: UniqMap k a

valueisNullUniqMap :: UniqMap k a -> Bool

valueunitUniqMap :: Uniquable k => k -> a -> UniqMap k a

valuelistToUniqMap :: Uniquable k => [(k, a)] -> UniqMap k a

valuelistToUniqMap_C :: Uniquable k => (a -> a -> a) -> [(k, a)] -> UniqMap k a

valueaddToUniqMap :: Uniquable k => UniqMap k a -> k -> a -> UniqMap k a

valueaddListToUniqMap :: Uniquable k => UniqMap k a -> [(k, a)] -> UniqMap k a

valueaddToUniqMap_C

:: Uniquable k
=> a -> a -> a
-> UniqMap k a
-> k
-> a
-> UniqMap k a

valueaddToUniqMap_Acc

:: Uniquable k
=> b -> a -> a
-> b -> a
-> UniqMap k a
-> k
-> b
-> UniqMap k a

valueaddToUniqMap_L

:: Uniquable k
=> k -> a -> a -> a
-> k
-> a
-> UniqMap k a
-> (Maybe a, UniqMap k a)

Source#

Add an element, returns previous lookup result and new map. If old element doesn't exist, add the passed element directly, otherwise compute the element to add using the passed function.

valuealterUniqMap

:: Uniquable k
=> Maybe a -> Maybe a
-> UniqMap k a
-> k
-> UniqMap k a

valueaddListToUniqMap_C

:: Uniquable k
=> a -> a -> a
-> UniqMap k a
-> [(k, a)]
-> UniqMap k a

valueadjustUniqMap :: Uniquable k => (a -> a) -> UniqMap k a -> k -> UniqMap k a

valuedelFromUniqMap :: Uniquable k => UniqMap k a -> k -> UniqMap k a

valuedelListFromUniqMap :: Uniquable k => UniqMap k a -> [k] -> UniqMap k a

valueplusUniqMap :: UniqMap k a -> UniqMap k a -> UniqMap k a

valueplusUniqMap_C :: (a -> a -> a) -> UniqMap k a -> UniqMap k a -> UniqMap k a

valueplusMaybeUniqMap_C

:: a -> a -> Maybe a
-> UniqMap k a
-> UniqMap k a
-> UniqMap k a

valueplusUniqMapList :: [UniqMap k a] -> UniqMap k a

valueplusUniqMapListWith :: (a -> a -> a) -> [UniqMap k a] -> UniqMap k a

valueminusUniqMap :: UniqMap k a -> UniqMap k b -> UniqMap k a

valueintersectUniqMap :: UniqMap k a -> UniqMap k b -> UniqMap k a

valueintersectUniqMap_C

:: a -> b -> c
-> UniqMap k a
-> UniqMap k b
-> UniqMap k c

Source#

Intersection with a combining function.

valuedisjointUniqMap :: UniqMap k a -> UniqMap k b -> Bool

valuemapUniqMap :: (a -> b) -> UniqMap k a -> UniqMap k b

valuefilterUniqMap :: (a -> Bool) -> UniqMap k a -> UniqMap k a

valuefilterWithKeyUniqMap :: (k -> a -> Bool) -> UniqMap k a -> UniqMap k a

valuepartitionUniqMap :: (a -> Bool) -> UniqMap k a -> (UniqMap k a, UniqMap k a)

valuesizeUniqMap :: UniqMap k a -> Int

valueelemUniqMap :: Uniquable k => k -> UniqMap k a -> Bool

valuenonDetKeysUniqMap :: UniqMap k a -> [k]

valuenonDetEltsUniqMap :: UniqMap k a -> [a]

valuelookupUniqMap :: Uniquable k => UniqMap k a -> k -> Maybe a

valuelookupWithDefaultUniqMap :: Uniquable k => UniqMap k a -> a -> k -> a

valueanyUniqMap :: (a -> Bool) -> UniqMap k a -> Bool

valueallUniqMap :: (a -> Bool) -> UniqMap k a -> Bool

valuenonDetUniqMapToList :: UniqMap k a -> [(k, a)]

valuenonDetUniqMapToKeySet :: Ord k => UniqMap k a -> Set k

valuenonDetFoldUniqMap :: ((k, a) -> b -> b) -> b -> UniqMap k a -> b