Moduleghc-9.14.1GHC2021

GHC.Core.Map.Expr

Maps over Core expressions

5 declarations

newtypenewtype CoreMap a

CoreMap a is a map from CoreExpr to a. If you are a client, this is the type you want.

Instances4Functor, TrieMap, Outputable, Key

Functor CoreMapDefined in ghc-9.14.1 · GHC.Core.Map.Expr
TrieMap CoreMapDefined in ghc-9.14.1 · GHC.Core.Map.Expr
Outputable a => Outputable (CoreMap a)Defined in ghc-9.14.1 · GHC.Core.Map.Expr
type Key CoreMap = CoreExprDefined in ghc-9.14.1 · GHC.Core.Map.Expr

valueemptyCoreMap :: CoreMap a

valueextendCoreMap :: CoreMap a -> CoreExpr -> a -> CoreMap a

valuelookupCoreMap :: CoreMap a -> CoreExpr -> Maybe a

valuefoldCoreMap :: (a -> b -> b) -> b -> CoreMap a -> b

2 declarations

valueeqDeBruijnExpr :: DeBruijn CoreExpr -> DeBruijn CoreExpr -> Bool

valueeqCoreExpr :: CoreExpr -> CoreExpr -> Bool

10 declarations

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

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

valuelkDFreeVar :: Var -> DVarEnv a -> Maybe a

valuextDFreeVar :: Var -> XT a -> DVarEnv a -> DVarEnv a

valuelkDNamed :: NamedThing n => n -> DNameEnv a -> Maybe a

valuextDNamed :: NamedThing n => n -> XT a -> DNameEnv a -> DNameEnv a

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

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

value(|>>)

2 instances