Opaleye.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))

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

required is for columns which are not optional. You must provide them on writes.

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

optional is for columns that you can omit on writes, such as columns which have defaults or which are SERIAL.

Explicit versions

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

Other

data View columns

data Writer columns dummy

Instances

ProductProfunctor Writer

Methods

empty :: Writer () ()

(***!) :: Writer a b -> Writer a' b' -> Writer (a, a') (b, b')

Profunctor Writer

Methods

dimap :: (a -> b) -> (c -> d) -> Writer b c -> Writer a d

lmap :: (a -> b) -> Writer b c -> Writer a c

rmap :: (b -> c) -> Writer a b -> Writer a c

(#.) :: Coercible * c b => (b -> c) -> Writer a b -> Writer a c

(.#) :: Coercible * b a => Writer b c -> (a -> b) -> Writer a c

Functor (Writer a)

Methods

fmap :: (a -> b) -> Writer a a -> Writer a b

(<$) :: a -> Writer a b -> Writer a a

Applicative (Writer a)

Methods

pure :: a -> Writer a a

(<*>) :: Writer a (a -> b) -> Writer a a -> Writer a b

(*>) :: Writer a a -> Writer a b -> Writer a b

(<*) :: Writer a a -> Writer a b -> Writer a a

data Table writerColumns viewColumns

Constructors

Table String (TableProperties writerColumns viewColumns)

Uses the default schema name ("public").

TableWithSchema String String (TableProperties writerColumns viewColumns)

Schema name ("public" by default in PostgreSQL), table name, table properties.

Instances

Functor (Table a)

Methods

fmap :: (a -> b) -> Table a a -> Table a b

(<$) :: a -> Table a b -> Table a a

data TableProperties writerColumns viewColumns

Instances

ProductProfunctor TableProperties

Methods

empty :: TableProperties () ()

(***!) :: TableProperties a b -> TableProperties a' b' -> TableProperties (a, a') (b, b')

Profunctor TableProperties

Methods

dimap :: (a -> b) -> (c -> d) -> TableProperties b c -> TableProperties a d

lmap :: (a -> b) -> TableProperties b c -> TableProperties a c

rmap :: (b -> c) -> TableProperties a b -> TableProperties a c

(#.) :: Coercible * c b => (b -> c) -> TableProperties a b -> TableProperties a c

(.#) :: Coercible * b a => TableProperties b c -> (a -> b) -> TableProperties a c

Functor (TableProperties a)

Methods

fmap :: (a -> b) -> TableProperties a a -> TableProperties a b

(<$) :: a -> TableProperties a b -> TableProperties a a

Applicative (TableProperties a)

Methods

pure :: a -> TableProperties a a

(<*>) :: TableProperties a (a -> b) -> TableProperties a a -> TableProperties a b

(*>) :: TableProperties a a -> TableProperties a b -> TableProperties a b

(<*) :: TableProperties a a -> TableProperties a b -> TableProperties a a