Documentation

data CoreMap aSource

emptyCoreMap :: CoreMap aSource

extendCoreMap :: CoreMap a -> CoreExpr -> a -> CoreMap aSource

lookupCoreMap :: CoreMap a -> CoreExpr -> Maybe aSource

foldCoreMap :: (a -> b -> b) -> b -> CoreMap a -> bSource

data TypeMap aSource

emptyTypeMap :: TypeMap aSource

extendTypeMap :: TypeMap a -> Type -> a -> TypeMap aSource

lookupTypeMap :: TypeMap a -> Type -> Maybe aSource

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

data CoercionMap aSource

data MaybeMap m aSource

data ListMap m aSource

class TrieMap m whereSource

insertTM :: TrieMap m => Key m -> a -> m a -> m aSource

deleteTM :: TrieMap m => Key m -> m a -> m aSource

lookupTypeMapTyCon :: TypeMap a -> TyCon -> [a]Source