Moduleghc-9.10.3GHC2021

GHC.Tc.TyCl.Instance

Typechecking instance declarations

3 values

Packageghc-9.10.3
Exports3
LanguageGHC2021
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)