Moduleghc-9.10.3GHC2021

GHC.Tc.Solver.Types

Utility types used within the constraint solver

typetype DictMap a = TcAppMap a

valueemptyDictMap :: DictMap a

valuefindDictsByTyConKey :: DictMap a -> Unique -> Bag a

valuefindDictsByClass :: DictMap a -> Class -> Bag a

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

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

valuedictsToBag :: DictMap a -> Bag a

typetype FunEqMap a = TcAppMap a

valueemptyFunEqs :: TcAppMap a

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

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

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

typetype TcAppMap a = DTyConEnv (ListMap LooseTypeMap a)

valueemptyTcAppMap :: TcAppMap a

valueisEmptyTcAppMap :: TcAppMap a -> Bool

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

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

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

valuetcAppMapToBag :: TcAppMap a -> Bag a

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

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

typetype EqualCtList = [EqCt]

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

valueaddToEqualCtList :: EqCt -> EqualCtList -> EqualCtList