Moduleghc-9.10.3GHC2021

GHC.Tc.Solver.Dict

Solving Class constraints CDictCan

valuesolveDict :: DictCt -> SolverStage Void

valuesolveDictNC :: CtEvidence -> Class -> [Type] -> SolverStage Void

valuecheckInstanceOK :: CtLoc -> InstanceWhat -> TcPredType -> TcS CtLoc

valuematchLocalInst :: TcPredType -> CtLoc -> TcS ClsInstResult

valuechooseInstance :: CtEvidence -> ClsInstResult -> TcS (StopOrContinue a)

valuemakeSuperClasses :: [Ct] -> TcS [Ct]

valuemkStrictSuperClasses

valuesolveCallStack :: CtEvidence -> EvCallStack -> TcS ()