Documentation
pprEquation :: Equation -> SDocSource
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
pprFundeps :: Outputable a => [FunDep a] -> SDocSource