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