| 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
data CoercionMap a
Instances