ghc-7.8.20140130: The GHC API

Safe HaskellNone
LanguageHaskell98

FunDeps

Documentation

data FDEqSource

Constructors

FDEq 

Fields

fd_pos :: Int
 
fd_ty_left :: Type
 
fd_ty_right :: Type
 

Instances

data EquationSource

Constructors

FDEqn 

Fields

fd_qtvs :: [TyVar]
 
fd_eqs :: [FDEq]
 
fd_pred1 :: PredType
 
fd_pred2 :: PredType
 

pprEquation :: Equation -> SDocSource

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

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

checkInstCoverage :: Bool -> Class -> [PredType] -> [Type] -> Maybe SDocSource

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

growThetaTyVars :: ThetaType -> TyVarSet -> TyVarSetSource

pprFundeps :: Outputable a => [FunDep a] -> SDocSource