Safe Haskell | None |
---|---|
Language | Haskell98 |
FunDeps
Documentation
data Equation
pprEquation :: Equation -> SDoc
improveFromInstEnv :: (InstEnv, InstEnv) -> PredType -> [Equation]
improveFromAnother :: PredType -> PredType -> [Equation]
growThetaTyVars :: ThetaType -> TyVarSet -> TyVarSet
pprFundeps :: Outputable a => [FunDep a] -> SDoc