GHC.Tc.Solver.Types

Utility types used within the constraint solver

Documentation

type DictMap a = TcAppMap a

emptyDictMap :: DictMap a

findDictsByTyConKey :: DictMap a -> Unique -> Bag a

findDictsByClass :: DictMap a -> Class -> Bag a

foldDicts :: (a -> b -> b) -> DictMap a -> b -> b

findDict :: DictMap a -> CtLoc -> Class -> [Type] -> Maybe a

dictsToBag :: DictMap a -> Bag a

type FunEqMap a = TcAppMap a

emptyFunEqs :: TcAppMap a

findFunEq :: FunEqMap a -> TyCon -> [Type] -> Maybe a

insertFunEq :: FunEqMap a -> TyCon -> [Type] -> a -> FunEqMap a

findFunEqsByTyCon :: FunEqMap a -> TyCon -> [a]

type TcAppMap a = DTyConEnv (ListMap LooseTypeMap a)

emptyTcAppMap :: TcAppMap a

isEmptyTcAppMap :: TcAppMap a -> Bool

insertTcApp :: TcAppMap a -> TyCon -> [Type] -> a -> TcAppMap a

alterTcApp :: TcAppMap a -> TyCon -> [Type] -> XT a -> TcAppMap a

filterTcAppMap :: (a -> Bool) -> TcAppMap a -> TcAppMap a

tcAppMapToBag :: TcAppMap a -> Bag a

foldTcAppMap :: (a -> b -> b) -> TcAppMap a -> b -> b

delTcApp :: TcAppMap a -> TyCon -> [Type] -> TcAppMap a

type EqualCtList = [EqCt]

filterEqualCtList :: (EqCt -> Bool) -> EqualCtList -> Maybe EqualCtList

addToEqualCtList :: EqCt -> EqualCtList -> EqualCtList