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

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

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

ProductProfunctor Writer

Methods

empty :: Writer () ()

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

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

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

ProductProfunctor TableProperties

Methods

empty :: TableProperties () ()

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

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