Skip to content

HORIZON HASKELL Docs lts/ghc-9.10.x248f8f02026-10-05Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05

Moduleghc-9.10.3GHC2021

GHC.Tc.Deriv

Handles deriving clauses on data declarations.

1 type
1 value

Packageghc-9.10.3
Exports2
LanguageGHC2021
LicenceBSD-3-Clause
SourceDeriv.hs

valuetcDeriving

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

datadata DerivInfo

Stuff needed to process a datatype's deriving clauses

Constructors

DerivInfo
- di_rep_tc :: TyCon
  The data tycon for normal datatypes, or the *representation* tycon for data families
- di_scoped_tvs :: ![(Name, TyVar)]
  Variables that scope over the deriving clause. See Note [Scoped tyvars in a TcTyCon] in GHC.Core.TyCon.
- di_clauses :: [LHsDerivingClause GhcRn]
- di_ctxt :: SDoc
  error context