Safe Haskell | None |
---|
Documentation
TrieMap CoreMap | |
Outputable a => Outputable (CoreMap a) |
extendCoreMap :: CoreMap a -> CoreExpr -> a -> CoreMap aSource
lookupCoreMap :: CoreMap a -> CoreExpr -> Maybe aSource
foldCoreMap :: (a -> b -> b) -> b -> CoreMap a -> bSource
TrieMap TypeMap | |
Outputable a => Outputable (TypeMap a) |
extendTypeMap :: TypeMap a -> Type -> a -> TypeMap aSource
lookupTypeMap :: TypeMap a -> Type -> Maybe aSource
foldTypeMap :: (a -> b -> b) -> b -> TypeMap a -> bSource
data CoercionMap a Source