ghc-7.2.1: The GHC API

FunDeps

Documentation

data FDEq Source

Constructors

FDEq 

data Equation Source

Constructors

FDEqn 

Fields

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

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