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 #