Moduleghc-10.0.0.20260917GHC2024

GHC.Tc.TyCl.Instance

Typechecking instance declarations

3 values

Packageghc-10.0.0.20260917
Exports3
LanguageGHC2024
LicenceBSD-3-Clause
SourceInstance.hs

valuetcInstDecls1

:: [LInstDecl GhcRn]
-> TcM (TcGblEnv, [InstInfo GhcRn], [DerivInfo], ThBindEnv)

valuetcInstDeclsDeriv

:: [DerivInfo]
-> [LDerivDecl GhcRn]
-> TcM (TcGblEnv, [InstInfo GhcRn], HsValBinds GhcRn)

Use DerivInfo for data family instances (produced by tcInstDecls1), datatype declarations (TyClDecl), and standalone deriving declarations (DerivDecl) to check and process all derived class instances.

valuetcInstDecls2

:: [LTyClDecl GhcRn]
-> [InstInfo GhcRn]
-> TcM (LHsBinds GhcTc)