Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data CoreMap a
- emptyCoreMap :: CoreMap a
- extendCoreMap :: CoreMap a -> CoreExpr -> a -> CoreMap a
- lookupCoreMap :: CoreMap a -> CoreExpr -> Maybe a
- foldCoreMap :: (a -> b -> b) -> b -> CoreMap a -> b
- class TrieMap (m :: Type -> Type) where
- insertTM :: TrieMap m => Key m -> a -> m a -> m a
- deleteTM :: TrieMap m => Key m -> m a -> m a
- lkDFreeVar :: Var -> DVarEnv a -> Maybe a
- xtDFreeVar :: Var -> XT a -> DVarEnv a -> DVarEnv a
- lkDNamed :: NamedThing n => n -> DNameEnv a -> Maybe a
- xtDNamed :: NamedThing n => n -> XT a -> DNameEnv a -> DNameEnv a
- (>.>) :: (a -> b) -> (b -> c) -> a -> c
- (|>) :: a -> (a -> b) -> b
- (|>>) :: TrieMap m2 => (XT (m2 a) -> m1 (m2 a) -> m1 (m2 a)) -> (m2 a -> m2 a) -> m1 (m2 a) -> m1 (m2 a)
Maps over Core expressions
CoreMap a
is a map from CoreExpr
to a
. If you are a client, this
is the type you want.
Instances
TrieMap CoreMap Source # | |
Defined in GHC.Core.Map.Expr | |
Outputable a => Outputable (CoreMap a) Source # | |
Defined in GHC.Core.Map.Expr | |
type Key CoreMap Source # | |
Defined in GHC.Core.Map.Expr |
emptyCoreMap :: CoreMap a Source #
extendCoreMap :: CoreMap a -> CoreExpr -> a -> CoreMap a Source #
lookupCoreMap :: CoreMap a -> CoreExpr -> Maybe a Source #
foldCoreMap :: (a -> b -> b) -> b -> CoreMap a -> b Source #
TrieMap
class reexports
class TrieMap (m :: Type -> Type) where #
lookupTM :: Key m -> m b -> Maybe b #
alterTM :: Key m -> XT b -> m b -> m b #
mapTM :: (a -> b) -> m a -> m b #
Instances
TrieMap IntMap | |
Defined in GHC.Data.TrieMap | |
TrieMap LabelMap | |
Defined in GHC.Cmm.Dataflow.Label | |
TrieMap BndrMap | |
Defined in GHC.Core.Map.Type | |
TrieMap LooseTypeMap | |
TrieMap TypeMap | |
Defined in GHC.Core.Map.Type | |
TrieMap VarMap | |
Defined in GHC.Core.Map.Type | |
TrieMap CoercionMap | |
TrieMap CoercionMapX | |
TrieMap TyLitMap | |
Defined in GHC.Core.Map.Type | |
TrieMap TypeMapX | |
Defined in GHC.Core.Map.Type | |
TrieMap CoreMap Source # | |
Defined in GHC.Core.Map.Expr | |
Ord k => TrieMap (Map k) | |
Defined in GHC.Data.TrieMap | |
Uniquable key => TrieMap (UniqDFM key) | |
(Eq (Key m), TrieMap m) => TrieMap (GenMap m) | |
Defined in GHC.Data.TrieMap | |
TrieMap m => TrieMap (ListMap m) | |
Defined in GHC.Data.TrieMap | |
TrieMap m => TrieMap (MaybeMap m) | |
lkDFreeVar :: Var -> DVarEnv a -> Maybe a #
xtDFreeVar :: Var -> XT a -> DVarEnv a -> DVarEnv a #
lkDNamed :: NamedThing n => n -> DNameEnv a -> Maybe a #
xtDNamed :: NamedThing n => n -> XT a -> DNameEnv a -> DNameEnv a #
(|>>) :: TrieMap m2 => (XT (m2 a) -> m1 (m2 a) -> m1 (m2 a)) -> (m2 a -> m2 a) -> m1 (m2 a) -> m1 (m2 a) #