ghc-lib-9.4.4.20221225: The GHC API, decoupled from GHC versions
Safe HaskellSafe-Inferred
LanguageHaskell2010

GHC.Tc.Instance.FunDeps

Description

Functional dependencies

It's better to read it as: "if we know these, then we're going to know these"

Documentation

data FunDepEqn loc Source #

Constructors

FDEqn 

Fields

Instances

Instances details
Functor FunDepEqn Source # 
Instance details

Defined in GHC.Tc.Instance.FunDeps

Methods

fmap :: (a -> b) -> FunDepEqn a -> FunDepEqn b #

(<$) :: a -> FunDepEqn b -> FunDepEqn a #

Outputable (FunDepEqn a) Source # 
Instance details

Defined in GHC.Tc.Instance.FunDeps

Methods

ppr :: FunDepEqn a -> SDoc #