Data.Record.Internal.CodeGen

Code generation shared by TH and QQ

Since these can also be used by QQ, these functions cannot take Options.

Records

recordTypeE :: Record a -> Q Exp

Name of the record as a term-level literal

recordConstrE :: Record a -> Q Exp

Name of the constructor as a term-level literal

recordTypeT :: Qualifier -> Record a -> Q Type

The saturated type of the record (that is, with all type vars applied)

recordToVectorE :: Qualifier -> Record a -> Q Exp

Coerce the record to the underlying Vector Any

recordFromVectorDontForceE :: Qualifier -> Record a -> Q Exp

Construct record from the underlying Vector Any

This doesn't force any elements in the vector, so this can be used if

• the record has lazy fields, or
• we know through other means that all values are already forced.

See also recordFromVectorForceE.

recordIndexedAccessorE :: Qualifier -> Record a -> Q Exp

The (unsafe) indexed field accessor

recordIndexedOverwriteE :: Qualifier -> Record a -> Q Exp

The (unsafe) indexed field overwrite

recordUndefinedValueE :: Qualifier -> Record a -> Q Exp

Fields

fieldNameE :: Field a -> Q Exp

Name of the field as a term-level literal

fieldNameT :: Field a -> Q Type

Name of the field as a type-level literal

fieldTypeT :: Field a -> Q Type

Type of the field

fieldIndexE :: Field a -> Q Exp

Index of the field

fieldUntypedAccessorE :: Qualifier -> Record a -> Field a -> Q Exp

The indexed field accessor, applied to this field

fieldUntypedOverwriteE :: Qualifier -> Record a -> Field a -> Q Exp

The indexed field overwrite, applied to this field