Safe Haskell	Safe-Inferred
Language	Haskell2010

Composite.Opaleye.RecToFields

Documentation

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

Methods

Instances details

RecToFields ('[] :: [Type]) ('[] :: [Type]) Source #
Instance details Defined in Composite.Opaleye.RecToFields Methods recToFields :: Rec Identity '[] -> Rec Identity '[] Source #
(Default ToFields h f, RecToFields haskells fields) => RecToFields ((s :-> h) ': haskells) ((s :-> f) ': fields) Source #
Instance details Defined in Composite.Opaleye.RecToFields Methods recToFields :: Rec Identity ((s :-> h) ': haskells) -> Rec Identity ((s :-> f) ': fields) Source #