Data.Vinyl.Derived

Alias for Field spec

A record of named fields.

An ARec of named fields to provide constant-time field access.

Heterogeneous list whose elements are evaluated during list construction.

Heterogeneous list whose elements are left as-is during list construction (cf. HList).

Get the data payload of an ElField.

Get the label name of an ElField.

ElField is isomorphic to a functor something like Compose ElField ('(,) s).

Something in the spirit of traverse for ElField whose kind fights the standard library.

Lens for an ElField's data payload.

Operator for creating an ElField. With the -XOverloadedLabels extension, this permits usage such as, #foo =: 23 to produce a value of type ElField ("foo" ::: Int).

Get a named field from a record.

Get the value associated with a named field from a record.

Set a named field. rputf' #foo 23 sets the field named #foo to 23.

Set a named field without changing its type. rputf #foo 23 sets the field named #foo to 23.

A lens into a Rec identified by a Label.

A type-preserving lens into a Rec identified by a Label.

A lens into the payload value of a Rec field identified by a Label.

A type-preserving lens into the payload value of a Rec field identified by a Label.

Shorthand for a FieldRec with a single field.

A proxy for field types.

Constraint that a label is associated with a particular type in a record.

Proxy for label type

Defines a constraint that lets us extract the label from an ElField. Used in rmapf and rpuref.

Shorthand for working with records of fields as in rmapf and rpuref.

Map a function between functors across a Rec taking advantage of knowledge that each element is an ElField.

Remove the first component (e.g. the label) from a type-level list of pairs.

Facilities for removing and replacing the type-level label, or column name, part of a record.

Construct a Rec with ElField elements.

Operator synonym for rmapf.

Produce a Rec of the labels of a Rec of ElFields.