| Safe Haskell | None |
|---|
FunDeps
Documentation
Constructors
| FDEq | |
Fields
| |
Instances
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