GHC.Tc.Deriv

Handles deriving clauses on data declarations.

Documentation

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

data DerivInfo

Stuff needed to process a datatype's `deriving` clauses

Constructors

DerivInfo

Fields

• 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