Composite.Opaleye.RecordTable

Documentation

class DefaultRecTableField write read where

Helper typeclass which picks which of required or optional to use for a pair of write column type and read column type.

DefaultRecTableField (Maybe (Column a)) (Column a) uses optional. DefaultRecTableField (Column a) (Column a) uses required.

Methods

defaultRecTableField :: String -> TableProperties write read

Instances

DefaultRecTableField (Maybe (Column a)) (Column a)

Defined in Composite.Opaleye.RecordTable

Methods

defaultRecTableField :: String -> TableProperties (Maybe (Column a)) (Column a)

DefaultRecTableField (Column a) (Column a)

Defined in Composite.Opaleye.RecordTable

Methods

defaultRecTableField :: String -> TableProperties (Column a) (Column a)

class DefaultRecTable write read where

Type class for producing a default TableProperties schema for some expected record types. required and optional are chosen automatically and the column is named after the record fields, using NamedField to reflect the field names.

For example, given:

 type WriteRec = Record '["id" :-> Maybe (Column PGInt8), "name" :-> Column PGText]
 type ReadRec  = Record '["id" :->        Column PGInt8 , "name" :-> Column PGText]

This:

 defaultRecTable :: TableProperties WriteRec ReadRec

Is equivalent to:

pRec (optional "id" &: required "name" &: Nil)

Alternately, use pRec and the usual Opaleye required and optional.

Methods

defaultRecTable :: TableProperties (Rec Identity write) (Rec Identity read)

Instances

DefaultRecTable ([] :: [Type]) ([] :: [Type])

Defined in Composite.Opaleye.RecordTable

Methods

defaultRecTable :: TableProperties (Rec Identity []) (Rec Identity [])

(KnownSymbol s, DefaultRecTableField w r, DefaultRecTable writes reads) => DefaultRecTable ((s :-> w) ': writes) ((s :-> r) ': reads)

Defined in Composite.Opaleye.RecordTable

Methods

defaultRecTable :: TableProperties (Rec Identity ((s :-> w) ': writes)) (Rec Identity ((s :-> r) ': reads))