Safe Haskell | Ignore |
---|---|
Language | GHC2021 |
GHC.Tc.Solver.Types
Description
Utility types used within the constraint solver
Documentation
emptyDictMap :: DictMap a #
findDictsByTyConKey :: DictMap a -> Unique -> Bag a #
findDictsByClass :: DictMap a -> Class -> Bag a #
dictsToBag :: DictMap a -> Bag a #
emptyFunEqs :: TcAppMap a #
findFunEqsByTyCon :: FunEqMap a -> TyCon -> [a] #
type TcAppMap a = DTyConEnv (ListMap LooseTypeMap a) #
emptyTcAppMap :: TcAppMap a #
isEmptyTcAppMap :: TcAppMap a -> Bool #
filterTcAppMap :: (a -> Bool) -> TcAppMap a -> TcAppMap a #
tcAppMapToBag :: TcAppMap a -> Bag a #
foldTcAppMap :: (a -> b -> b) -> TcAppMap a -> b -> b #
type EqualCtList = [EqCt] #
filterEqualCtList :: (EqCt -> Bool) -> EqualCtList -> Maybe EqualCtList #
addToEqualCtList :: EqCt -> EqualCtList -> EqualCtList #