Moduleghc-10.0.0.20260917GHC2024

GHC.Tc.Solver.Dict

Solving Class constraints CDictCan

Synopsis

valuesolveDict :: DictCt -> SolverStage Void

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

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

valuematchLocalInst :: TcPredType -> CtLoc -> TcS ClsInstResult

valuechooseInstance :: WantedCtEvidence -> ClsInstResult -> TcS ()

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

valuemkStrictSuperClasses