ghc-7.4.1: The GHC API

Safe HaskellSafe-Infered

FunDeps

Documentation

data FDEq Source

Constructors

FDEq 

Fields

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

data Equation Source

Constructors

FDEqn 

Fields

fd_qtvs :: TyVarSet
 
fd_eqs :: [FDEq]
 
fd_pred1 :: Pred_Loc
 
fd_pred2 :: Pred_Loc
 

pprEquation :: Equation -> SDocSource

oclose :: [PredType] -> TyVarSet -> TyVarSetSource

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

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

checkInstCoverage :: Class -> [Type] -> BoolSource

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

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