ghc-lib-parser-9.8.2.20240223: The GHC API, decoupled from GHC versions
Safe HaskellNone
LanguageHaskell2010

GHC.Tc.Solver.Types

Description

Utility types used within the constraint solver

Documentation

type DictMap a = TcAppMap a #

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

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

type FunEqMap a = TcAppMap a #

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

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

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

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

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

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

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

type EqualCtList = [EqCt] #