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