FunDeps

ghc-7.8.2: The GHC API

Safe Haskell | None
Language | Haskell98

FunDeps

# Documentation

data FDEq Source

Constructors

FDEq |
Fields fd_pos :: Int fd_ty_left :: Type fd_ty_right :: Type

Instances

Outputable FDEq |

data Equation Source

Constructors

FDEqn |
Fields fd_qtvs :: [TyVar] fd_eqs :: [FDEq] fd_pred1 :: PredType fd_pred2 :: PredType

pprEquation :: Equation -> SDoc Source

improveFromInstEnv :: (InstEnv, InstEnv) -> PredType -> [Equation] Source

improveFromAnother :: PredType -> PredType -> [Equation] Source

checkInstCoverage :: Bool -> Class -> [PredType] -> [Type] -> Maybe SDoc Source

checkFunDeps :: (InstEnv, InstEnv) -> ClsInst -> Maybe [ClsInst] Source

growThetaTyVars :: ThetaType -> TyVarSet -> TyVarSet Source

pprFundeps :: Outputable a => [FunDep a] -> SDoc Source