Data.Vinyl.Derived

Documentation

data ElField field where

Constructors

Field :: KnownSymbol s => !t -> ElField `(s, t)`

Instances

Eq t => Eq (ElField ((,) Symbol * s t))

Ord t => Ord (ElField ((,) Symbol * s t))

Show t => Show (ElField ((,) Symbol * s t))

(KnownSymbol s, Storable t) => Storable (ElField ((,) Symbol * s t))

type FieldRec = Rec ElField

type HList = Rec Identity

type LazyHList = Rec Thunk

getField :: ElField `(s, t)` -> t

Get the data payload of an ElField.

fieldMap :: (a -> b) -> ElField `(s, a)` -> ElField `(s, b)`

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

rfield :: Functor f => (a -> f b) -> ElField `(s, a)` -> f (ElField `(s, b)`)

Lens for an ElField's data payload.

(=:) :: KnownSymbol s => proxy `(s, a)` -> a -> FieldRec `[`(s, a)`]`

Shorthand for a FieldRec with a single field.

data SField field

A proxy for field types.

Constructors

SField

Instances

Eq (SField k a)

Ord (SField k a)

KnownSymbol s => Show (SField ((,) Symbol k) ((,) Symbol k s t))