Documentation
FDEq | |
|
pprEquation :: Equation -> SDocSource
improveFromInstEnv :: (InstEnv, InstEnv) -> Pred_Loc -> [Equation]Source
improveFromAnother :: Pred_Loc -> Pred_Loc -> [Equation]Source
checkInstCoverage :: Class -> [Type] -> BoolSource
pprFundeps :: Outputable a => [FunDep a] -> SDocSource