ghc-9.4.1: The GHC API
Safe HaskellSafe-Inferred
LanguageHaskell2010

GHC.Tc.Solver.Types

Description

Utility types used within the constraint solver

Documentation

addDict :: DictMap a -> Class -> [Type] -> a -> DictMap a Source #

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

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

foldFunEqs :: (a -> b -> b) -> FunEqMap a -> b -> b Source #

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

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

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

filterTcAppMap :: forall a. (a -> Bool) -> TcAppMap a -> TcAppMap a Source #

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