Composite.Opaleye.RecToFields

Documentation

class RecToFields (haskells :: [Type]) (fields :: [Type]) where

Methods

recToFields :: Rec Identity haskells -> Rec Identity fields

Instances

RecToFields ('[] :: [Type]) ('[] :: [Type])

Defined in Composite.Opaleye.RecToFields

Methods

recToFields :: Rec Identity '[] -> Rec Identity '[]

(Default ToFields h f, RecToFields haskells fields) => RecToFields ((s :-> h) ': haskells) ((s :-> f) ': fields)

Defined in Composite.Opaleye.RecToFields

Methods

recToFields :: Rec Identity ((s :-> h) ': haskells) -> Rec Identity ((s :-> f) ': fields)