Moduleghc-lib-parser-9.14.1.20251220GHC2021

GHC.Core.Map.Expr

1 type
1 class
15 values

Packageghc-lib-parser-9.14.1.20251220
Exports17
LanguageGHC2021
LicenceBSD-3-Clause
SourceExpr.hs

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-lib-parser-9.14.1.20251220 · GHC.Core.Map.Expr
TrieMap CoreMapDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Core.Map.Expr
Outputable a => Outputable (CoreMap a)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Core.Map.Expr
type Key CoreMap = CoreExprDefined in ghc-lib-parser-9.14.1.20251220 · 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

Alpha equality

2 declarations

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

valueeqCoreExpr :: CoreExpr -> CoreExpr -> Bool

TrieMap class reexports

10 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

Instances18TrieMap, …

TrieMap IntMapDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Data.TrieMap
TrieMap LabelMapDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Cmm.Dataflow.Label
TrieMap AltMapDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Core.Map.Expr
TrieMap CoreMapDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Core.Map.Expr
TrieMap CoreMapXDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Core.Map.Expr
TrieMap BndrMapDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Core.Map.Type
TrieMap CoercionMapDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Core.Map.Type
TrieMap CoercionMapXDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Core.Map.Type
TrieMap LooseTypeMapDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Core.Map.Type
TrieMap TyLitMapDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Core.Map.Type
TrieMap TypeMapDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Core.Map.Type
TrieMap TypeMapXDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Core.Map.Type
TrieMap VarMapDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Core.Map.Type
Ord k => TrieMap (Map k)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Data.TrieMap
TrieMap m => TrieMap (ListMap m)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Data.TrieMap
TrieMap m => TrieMap (MaybeMap m)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Data.TrieMap
(Eq (Key m), TrieMap m) => TrieMap (GenMap m)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Data.TrieMap
Uniquable key => TrieMap (UniqDFM key)Defined in ghc-lib-parser-9.14.1.20251220 · 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(|>>)

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

Orphan instances

2 instances

Eq (DeBruijn CoreAlt)
Eq (DeBruijn CoreExpr)