| ghc-6.10.4: The GHC API | Contents | Index
FunDeps
Documentation
type Equation = (TyVarSet, [(Type, Type)])
pprEquation :: Equation -> SDoc
oclose :: [PredType] -> TyVarSet -> TyVarSet
grow :: [PredType] -> TyVarSet -> TyVarSet
improveOne :: (Class -> [Instance]) -> Pred_Loc -> [Pred_Loc] -> [(Equation, Pred_Loc, Pred_Loc)]
checkInstCoverage :: Class -> [Type] -> Bool
checkFunDeps :: (InstEnv, InstEnv) -> Instance -> Maybe [Instance]
pprFundeps :: Outputable a => [FunDep a] -> SDoc
Produced by Haddock version 2.4.2