Safe Haskell | None |
---|---|
Language | Haskell2010 |
FunDeps
Documentation
data Equation loc
pprEquation :: Equation a -> SDoc
improveFromInstEnv :: InstEnvs -> PredType -> [Equation SrcSpan]
improveFromAnother :: PredType -> PredType -> [Equation ()]
checkFunDeps :: InstEnvs -> ClsInst -> Maybe [ClsInst]
pprFundeps :: Outputable a => [FunDep a] -> SDoc