ghc-lib-8.8.1.20191204: The GHC API, decoupled from GHC versions

Safe Haskell	None
Language	Haskell2010

FunDeps

Documentation

data FunDepEqn loc Source #

Constructors

FDEqn
Fields fd_qtvs :: [TyVar] fd_eqs :: [TypeEqn] fd_pred1 :: PredType fd_pred2 :: PredType fd_loc :: loc

Instances

Outputable (FunDepEqn a) Source #
Instance details Defined in FunDeps Methods ppr :: FunDepEqn a -> SDoc # pprPrec :: Rational -> FunDepEqn a -> SDoc #

pprEquation :: FunDepEqn a -> SDoc Source #

improveFromInstEnv :: InstEnvs -> (PredType -> SrcSpan -> loc) -> PredType -> [FunDepEqn loc] Source #

improveFromAnother :: loc -> PredType -> PredType -> [FunDepEqn loc] Source #

checkInstCoverage :: Bool -> Class -> [PredType] -> [Type] -> Validity Source #

checkFunDeps :: InstEnvs -> ClsInst -> [ClsInst] Source #

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