Opaleye.SQLite.Internal.Table

Documentation

data Table writerColumns viewColumns

Define a table as follows, where "id", "color", "location", "quantity" and "radius" are the tables columns in Postgres and the types are given in the type signature. The id field is an autoincrementing field (i.e. optional for writes).

data Widget a b c d e = Widget { wid      :: a
                               , color    :: b
                               , location :: c
                               , quantity :: d
                               , radius   :: e }

$(makeAdaptorAndInstance "pWidget" ''Widget)

widgetTable :: Table (Widget (Maybe (Column PGInt4)) (Column PGText) (Column PGText)
                             (Column PGInt4) (Column PGFloat8))
                     (Widget (Column PGText) (Column PGText) (Column PGText)
                             (Column PGInt4) (Column PGFloat8))
widgetTable = Table "widgetTable"
                     (pWidget Widget { wid      = optional "id"
                                     , color    = required "color"
                                     , location = required "location"
                                     , quantity = required "quantity"
                                     , radius   = required "radius" })

Constructors

Table String (TableProperties writerColumns viewColumns)

Instances

Functor (Table a)

data TableProperties writerColumns viewColumns

Constructors

TableProperties (Writer writerColumns viewColumns) (View viewColumns)

Instances

ProductProfunctor TableProperties

Profunctor TableProperties

Functor (TableProperties a)

Applicative (TableProperties a)

data View columns

Constructors

View columns

newtype Writer columns dummy

Constructors

Writer (forall f. Functor f => PackMap (f PrimExpr, String) () (f columns) ())

Instances

ProductProfunctor Writer

Profunctor Writer

Functor (Writer a)

Applicative (Writer a)

queryTable :: ColumnMaker viewColumns columns -> Table writerColumns viewColumns -> Tag -> (columns, PrimQuery)

runColumnMaker :: ColumnMaker tablecolumns columns -> Tag -> tablecolumns -> (columns, [(Symbol, PrimExpr)])

runWriter :: Writer columns columns' -> columns -> [(PrimExpr, String)]

runWriter' :: Writer columns columns' -> NonEmpty columns -> (NonEmpty [PrimExpr], [String])

data Zip a

Constructors

Zip

Fields

unZip :: NonEmpty [a]

Instances

Monoid (Zip a)

required :: String -> Writer (Column a) (Column a)

optional :: String -> Writer (Maybe (Column a)) (Column a)