ghc-lib-9.8.3.20241103: The GHC API, decoupled from GHC versions
Safe HaskellIgnore
LanguageHaskell2010

GHC.Tc.Solver.Dict

Description

Solving Class constraints CDictCan

Documentation

solveDict :: DictCt -> SolverStage Void Source #

solveDictNC :: CtEvidence -> Class -> [Type] -> SolverStage Void Source #

checkInstanceOK :: CtLoc -> InstanceWhat -> TcPredType -> TcS CtLoc Source #

matchLocalInst :: TcPredType -> CtLoc -> TcS ClsInstResult Source #

chooseInstance :: CtEvidence -> ClsInstResult -> TcS (StopOrContinue a) Source #

makeSuperClasses :: [Ct] -> TcS [Ct] Source #

mkStrictSuperClasses :: ExpansionFuel -> CtEvidence -> [TyVar] -> ThetaType -> Class -> [Type] -> TcS [Ct] Source #

solveCallStack :: CtEvidence -> EvCallStack -> TcS () Source #