Opaleye.SQLite.Table

Documentation

queryTable :: Default ColumnMaker columns columns => Table a columns -> Query columns

Example type specialization:

queryTable :: Table w (Column a, Column b) -> Query (Column a, Column b)

Assuming the makeAdaptorAndInstance splice has been run for the product type Foo:

queryTable :: Table w (Foo (Column a) (Column b) (Column c)) -> Query (Foo (Column a) (Column b) (Column c))

queryTableExplicit :: ColumnMaker tablecolumns columns -> Table a tablecolumns -> Query columns

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

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

data View columns

data Writer columns dummy

Instances

ProductProfunctor Writer

Profunctor Writer

Functor (Writer a)

Applicative (Writer a)

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

Instances

ProductProfunctor TableProperties

Profunctor TableProperties

Functor (TableProperties a)

Applicative (TableProperties a)