Data.Vinyl.Field

Documentation

data ::: where

A field contains a key and a type.

Constructors

Field :: sy ::: t

Instances

(Storable t, Storable (PlainRec rs)) => Storable (PlainRec (: * (::: sy t) rs))

(Eq (g t), Eq (Rec fs g)) => Eq (Rec (: * (::: s t) fs) g)

SingI Symbol sy => Show (::: sy t)

(SingI Symbol sy, Show (g t), Show (Rec fs g)) => Show (Rec (: * (::: sy t) fs) g)

(Monoid t, Monoid (Rec fs g), Applicative g) => Monoid (Rec (: * (::: s t) fs) g)

FoldRec (Rec fs g) (g t) => FoldRec (Rec (: * (::: s t) fs) g) (g t)