Data.Vinyl.Field

Documentation

data ::: where

Constructors

Field :: sy ::: t

Instances

(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)