Moduleghc-10.0.0.20260917GHC2024

GHC.Tc.Solver.Types

Utility types used within the constraint solver

Synopsis

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 -> 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

valuemapMaybeTcAppMap :: (a -> Maybe b) -> TcAppMap a -> TcAppMap b

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