Moduleghc-9.14.1GHC2021

GHC.Data.TrieMap

4 types
1 class
15 values

Packageghc-9.14.1
Exports20
LanguageGHC2021
LicenceBSD-3-Clause

Maps over Maybe values

1 declaration

datadata MaybeMap (m :: Type -> Type) a

Instances4Functor, Foldable, TrieMap, Key

Functor m => Functor (MaybeMap m)Defined in ghc-9.14.1 · GHC.Data.TrieMap
TrieMap m => Foldable (MaybeMap m)Defined in ghc-9.14.1 · GHC.Data.TrieMap
TrieMap m => TrieMap (MaybeMap m)Defined in ghc-9.14.1 · GHC.Data.TrieMap
type Key (MaybeMap m) = Maybe (Key m)Defined in ghc-9.14.1 · GHC.Data.TrieMap

Maps over `List` values

1 declaration

datadata ListMap (m :: Type -> Type) a

Instances5Functor, Foldable, TrieMap, Outputable, Key

Functor m => Functor (ListMap m)Defined in ghc-9.14.1 · GHC.Data.TrieMap
TrieMap m => Foldable (ListMap m)Defined in ghc-9.14.1 · GHC.Data.TrieMap
TrieMap m => TrieMap (ListMap m)Defined in ghc-9.14.1 · GHC.Data.TrieMap
(TrieMap m, Outputable a) => Outputable (ListMap m a)Defined in ghc-9.14.1 · GHC.Data.TrieMap
type Key (ListMap m) = [Key m]Defined in ghc-9.14.1 · GHC.Data.TrieMap

TrieMap class

5 declarations

classclass Functor m => TrieMap (m :: Type -> Type) where

Associated types

type family Key (m :: Type -> Type)

Methods

emptyTM :: m a
lookupTM :: Key m -> m b -> Maybe b
alterTM :: Key m -> XT b -> m b -> m b
filterTM :: (a -> Bool) -> m a -> m a
mapMaybeTM :: (a -> Maybe b) -> m a -> m b
foldTM :: (a -> b -> b) -> m a -> b -> b

Instances20TrieMap, …

TrieMap IntMapDefined in ghc-9.14.1 · GHC.Data.TrieMap
TrieMap LabelMapDefined in ghc-9.14.1 · GHC.Cmm.Dataflow.Label
TrieMap AltMapDefined in ghc-9.14.1 · GHC.Core.Map.Expr
TrieMap CoreMapDefined in ghc-9.14.1 · GHC.Core.Map.Expr
TrieMap CoreMapXDefined in ghc-9.14.1 · GHC.Core.Map.Expr
TrieMap BndrMapDefined in ghc-9.14.1 · GHC.Core.Map.Type
TrieMap CoercionMapDefined in ghc-9.14.1 · GHC.Core.Map.Type
TrieMap CoercionMapXDefined in ghc-9.14.1 · GHC.Core.Map.Type
TrieMap LooseTypeMapDefined in ghc-9.14.1 · GHC.Core.Map.Type
TrieMap TyLitMapDefined in ghc-9.14.1 · GHC.Core.Map.Type
TrieMap TypeMapDefined in ghc-9.14.1 · GHC.Core.Map.Type
TrieMap TypeMapXDefined in ghc-9.14.1 · GHC.Core.Map.Type
TrieMap VarMapDefined in ghc-9.14.1 · GHC.Core.Map.Type
TrieMap ConAppMapDefined in ghc-9.14.1 · GHC.Stg.CSE
TrieMap StgArgMapDefined in ghc-9.14.1 · GHC.Stg.CSE
TrieMap m => TrieMap (ListMap m)Defined in ghc-9.14.1 · GHC.Data.TrieMap
TrieMap m => TrieMap (MaybeMap m)Defined in ghc-9.14.1 · GHC.Data.TrieMap
Ord k => TrieMap (Map k)Defined in ghc-9.14.1 · GHC.Data.TrieMap
(Eq (Key m), TrieMap m) => TrieMap (GenMap m)Defined in ghc-9.14.1 · GHC.Data.TrieMap
Uniquable key => TrieMap (UniqDFM key)Defined in ghc-9.14.1 · GHC.Data.TrieMap

valueinsertTM :: TrieMap m => Key m -> a -> m a -> m a

valuedeleteTM :: TrieMap m => Key m -> m a -> m a

valuefoldMapTM :: (TrieMap m, Monoid r) => (a -> r) -> m a -> r

valueisEmptyTM :: TrieMap m => m a -> Bool

Things helpful for adding additional Instances.

6 declarations

value(>.>) :: (a -> b) -> (b -> c) -> a -> c

value(|>) :: a -> (a -> b) -> b

value(|>>)

:: TrieMap m2
=> XT (m2 a) -> m1 (m2 a) -> m1 (m2 a)
-> m2 a -> m2 a
-> m1 (m2 a)
-> m1 (m2 a)

typetype XT a = Maybe a -> Maybe a

valuefoldMaybe :: (a -> b -> b) -> Maybe a -> b -> b

valuefilterMaybe :: (a -> Bool) -> Maybe a -> Maybe a

Map for leaf compression

7 declarations

datadata GenMap (m :: Type -> Type) a

Instances6Functor, Foldable, TrieMap, Outputable, Key

Functor m => Functor (GenMap m)Defined in ghc-9.14.1 · GHC.Data.TrieMap
(Eq (Key m), TrieMap m) => Foldable (GenMap m)Defined in ghc-9.14.1 · GHC.Data.TrieMap
Outputable a => Outputable (TypeMapG a)Defined in ghc-9.14.1 · GHC.Core.Map.Type
(Eq (Key m), TrieMap m) => TrieMap (GenMap m)Defined in ghc-9.14.1 · GHC.Data.TrieMap
(Outputable a, Outputable (m a)) => Outputable (GenMap m a)Defined in ghc-9.14.1 · GHC.Data.TrieMap
type Key (GenMap m) = Key mDefined in ghc-9.14.1 · GHC.Data.TrieMap

valuelkG :: (Eq (Key m), TrieMap m) => Key m -> GenMap m a -> Maybe a

valuextG :: (Eq (Key m), TrieMap m) => Key m -> XT a -> GenMap m a -> GenMap m a

valuemapG :: Functor m => (a -> b) -> GenMap m a -> GenMap m b

valuefdG :: TrieMap m => (a -> b -> b) -> GenMap m a -> b -> b

valuextList

:: TrieMap m
=> forall b. k -> XT b -> m b -> m b
-> [k]
-> XT a
-> ListMap m a
-> ListMap m a

valuelkList

:: TrieMap m
=> forall b. k -> m b -> Maybe b
-> [k]
-> ListMap m a
-> Maybe a