Moduleghc-9.14.1GHC2021

GHC.Data.TrieMap

Contents

Maps over Maybe values
Maps over List values
TrieMap class
Things helpful for adding additional Instances.
Map for leaf compression

Synopsis

data MaybeMap
data ListMap
class TrieMap
value insertTM
value deleteTM
value foldMapTM
value isEmptyTM
value >.>
value |>
value |>>
type XT
value foldMaybe
value filterMaybe
data GenMap
value lkG
value xtG
value mapG
value fdG
value xtList
value lkList

Packageghc-9.14.1
Exports20
LanguageGHC2021
LicenceBSD-3-Clause

Maps over Maybe values

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

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

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.

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

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