Documentation

type Equation = (TyVarSet, [(Type, Type)])Source

pprEquation :: Equation -> SDocSource

oclose :: [PredType] -> TyVarSet -> TyVarSetSource

improveFromInstEnv :: (Class -> [Instance]) -> Pred_Loc -> [(Equation, Pred_Loc, Pred_Loc)]Source

improveFromAnother :: Pred_Loc -> Pred_Loc -> [(Equation, Pred_Loc, Pred_Loc)]Source

checkInstCoverage :: Class -> [Type] -> BoolSource

checkFunDeps :: (InstEnv, InstEnv) -> Instance -> Maybe [Instance]Source

pprFundeps :: Outputable a => [FunDep a] -> SDocSource