ghc-6.12.3: The GHC APISource codeContentsIndex
FunDeps
Documentation
type Equation = (TyVarSet, [(Type, Type)])Source
pprEquation :: Equation -> SDocSource
oclose :: [PredType] -> TyVarSet -> TyVarSetSource
improveOne :: (Class -> [Instance]) -> Pred_Loc -> [Pred_Loc] -> [(Equation, Pred_Loc, Pred_Loc)]Source
checkInstCoverage :: Class -> [Type] -> BoolSource
checkFunDeps :: (InstEnv, InstEnv) -> Instance -> Maybe [Instance]Source
pprFundeps :: Outputable a => [FunDep a] -> SDocSource
Produced by Haddock version 2.6.1