Moduleghc-9.14.1GHC2021

GHC.Tc.Solver.Dict

Solving Class constraints CDictCan

Synopsis

valuesolveDict :: DictCt -> SolverStage Void

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

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

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

valuematchLocalInst :: TcPredType -> CtLoc -> TcS ClsInstResult

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

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

valuemkStrictSuperClasses