ghc-6.12.2: The GHC API Source code Contents Index

FunDeps

Documentation

type Equation = (TyVarSet, [(Type, Type)]) Source

pprEquation :: Equation -> SDoc Source

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

improveOne :: (Class -> [Instance]) -> Pred_Loc -> [Pred_Loc] -> [(Equation, Pred_Loc, Pred_Loc)] Source

checkInstCoverage :: Class -> [Type] -> Bool Source

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

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

Produced by Haddock version 2.6.1