Documentation

solveDict :: DictCt -> SolverStage Void #

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

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

checkInstanceOK :: CtLoc -> InstanceWhat -> TcPredType -> TcS CtLoc #

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

chooseInstance :: CtEvidence -> ClsInstResult -> TcS (StopOrContinue a) #

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

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