Safe Haskell | None |
---|---|
Language | Haskell2010 |
FunDeps
Documentation
data FunDepEqn loc
pprEquation :: FunDepEqn a -> SDoc
improveFromAnother :: loc -> PredType -> PredType -> [FunDepEqn loc]
checkFunDeps :: InstEnvs -> ClsInst -> [ClsInst]
pprFundeps :: Outputable a => [FunDep a] -> SDoc