Moduleghc-9.14.1GHC2021

GHC.Types.Unique.Map

1 type
39 values

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

newtypenewtype UniqMap k a

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)

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

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