ghc-7.6.3: The GHC API

Safe Haskell | None

TrieMap

# Documentation

data CoreMap a

Instances

TrieMap CoreMap |
Outputable a => Outputable (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

data TypeMap a

Instances

TrieMap TypeMap |
Outputable a => Outputable (TypeMap a) |

foldTypeMap :: (a -> b -> b) -> b -> TypeMap a -> b

lookupTypeMap_mod :: TyVarEnv a -> (a -> Type) -> Type -> TypeMap b -> Maybe b

data CoercionMap a

Instances

TrieMap CoercionMap |

data MaybeMap m a

Instances

TrieMap m => TrieMap (MaybeMap m) |

data ListMap m a

Instances

TrieMap m => TrieMap (ListMap m) |

class TrieMap m where

Associated Types

type Key m :: *

Methods

emptyTM :: m a

lookupTM :: forall b. Key m -> m b -> Maybe b

alterTM :: forall b. Key m -> XT b -> m b -> m b

foldTM :: (a -> b -> b) -> m a -> b -> b

Instances

TrieMap IntMap |
TrieMap UniqFM |
TrieMap TypeMap |
TrieMap CoercionMap |
TrieMap CoreMap |
Ord k => TrieMap (Map k) |
TrieMap m => TrieMap (ListMap m) |
TrieMap m => TrieMap (MaybeMap m) |