Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
pprEquation :: Equation a -> SDoc Source
improveFromAnother :: PredType -> PredType -> [Equation ()] Source
pprFundeps :: Outputable a => [FunDep a] -> SDoc Source
Safe Haskell | None |
---|---|
Language | Haskell2010 |
pprEquation :: Equation a -> SDoc Source
improveFromAnother :: PredType -> PredType -> [Equation ()] Source
pprFundeps :: Outputable a => [FunDep a] -> SDoc Source