Documentation

solveDict :: DictCt -> SolverStage Void Source #

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

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

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

chooseInstance :: WantedCtEvidence -> ClsInstResult -> TcS () Source #

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

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