Safe Haskell | None |
---|---|
Language | Haskell2010 |
TrieMap
Documentation
data CoreMap a
Instances
TrieMap CoreMap | |
Outputable a => Outputable (CoreMap a) | |
type Key CoreMap = CoreExpr |
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) | |
type Key TypeMap = Type |
emptyTypeMap :: TypeMap a
extendTypeMap :: TypeMap a -> Type -> a -> TypeMap a
lookupTypeMap :: TypeMap a -> Type -> Maybe a
foldTypeMap :: (a -> b -> b) -> b -> TypeMap a -> b
data CoercionMap a
Instances
TrieMap CoercionMap | |
type Key CoercionMap = Coercion |
class TrieMap m where
Associated Types
type Key m :: *
lookupTypeMapTyCon :: TypeMap a -> TyCon -> [a]