Safe Haskell | None |
---|---|
Language | Haskell98 |
FunDeps
Documentation
Constructors
FDEq | |
Fields
|
Instances
pprEquation :: Equation -> SDocSource
improveFromAnother :: PredType -> PredType -> [Equation]Source
growThetaTyVars :: ThetaType -> TyVarSet -> TyVarSetSource
pprFundeps :: Outputable a => [FunDep a] -> SDocSource