Opaleye.Table

Fields can be required or optional and, independently, nullable or non-nullable.

A required non-nullable SqlInt4 (for example) is defined with required and gives rise to a

TableFields (Field SqlInt4) (Field SqlInt4)

The leftmost argument is the type of writes. When you insert or update into this column you must give it a Field SqlInt4 (which you can define with sqlInt4 :: Int -> Field SqlInt4).

A required nullable SqlInt4 is defined with required and gives rise to a

TableFields (FieldNullable SqlInt4) (FieldNullable SqlInt4)

When you insert or update into this column you must give it a FieldNullable SqlInt4, which you can define either with sqlInt4 and toNullable :: Field a -> FieldNullable a, or with null :: FieldNullable a.

An optional non-nullable SqlInt4 is defined with optional and gives rise to a

TableFields (Maybe (Field SqlInt4)) (Field SqlInt4)

Optional columns are those that can be omitted on writes, such as those that have DEFAULTs or those that are SERIAL. When you insert or update into this column you must give it a Maybe (Field SqlInt4). If you provide Nothing then the column will be omitted from the query and the default value will be used. Otherwise you have to provide a Just containing a Field SqlInt4.

An optional nullable SqlInt4 is defined with optional and gives rise to a

TableFields (Maybe (FieldNullable SqlInt4)) (FieldNullable SqlInt4)

Optional columns are those that can be omitted on writes, such as those that have DEFAULTs or those that are SERIAL. When you insert or update into this column you must give it a Maybe (FieldNullable SqlInt4). If you provide Nothing then the default value will be used. Otherwise you have to provide a Just containing a FieldNullable SqlInt4 (which can be null).

Defining tables

table

Arguments

:: String

Table name

-> TableFields writeFields viewFields

-> Table writeFields viewFields

Define a table with an unqualified name.

tableWithSchema

Arguments

:: String

Schema name

-> String

Table name

-> TableFields writeFields viewFields

-> Table writeFields viewFields

Define a table with a qualified name.

data Table writeFields viewFields

Instances

Profunctor Table

Defined in Opaleye.Internal.Table

Methods

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

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

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

(#.) :: Coercible c b => q b c -> Table a b -> Table a c

(.#) :: Coercible b a => Table b c -> q a b -> Table a c

Functor (Table a)

Defined in Opaleye.Internal.Table

Methods

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

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

tableField :: TableColumn writeType sqlType => String -> TableFields writeType (Column sqlType)

Infer either a required or optional column depending on the write type. It's generally more convenient to use this than required or optional but you do have to provide a type signature instead.

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

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

readOnly :: String -> TableFields () (Column a)

readOnly is for fields that you must omit on writes, such as SERIAL columns intended to auto-increment only.

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

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

Querying tables

selectTable

Arguments

:: Default Unpackspec fields fields

=> Table a fields

-> Select fields

Example type specialization:

selectTable :: Table w (Field a, Field b)
            -> Select (Field a, Field b)

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

selectTable :: Table w (Foo (Field a) (Field b) (Field c))
            -> Select (Foo (Field a) (Field b) (Field c))

Other

type TableColumns = TableProperties

Use TableFields instead. TableColumns will be deprecated in version 0.7.

type TableFields = TableProperties

The new name for TableColumns and TableProperties which will replace them in version 0.7.

Deprecated

tableColumn :: TableColumn writeType sqlType => String -> TableFields writeType (Column sqlType)

Do not use. Use tableField instead. Will be deprecated in 0.7.

data View columns

Internal only. Do not use. View will be deprecated in version 0.7.

data Writer columns dummy

Internal only. Do not use. Writer will be deprecated in version 0.7.

Instances

Profunctor Writer

Defined in Opaleye.Internal.Table

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 => q b c -> Writer a b -> Writer a c

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

ProductProfunctor Writer

Defined in Opaleye.Internal.Table

Methods

purePP :: b -> Writer a b

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

empty :: Writer () ()

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

Functor (Writer a)

Defined in Opaleye.Internal.Table

Methods

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

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

Applicative (Writer a)

Defined in Opaleye.Internal.Table

Methods

pure :: a0 -> Writer a a0

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

liftA2 :: (a0 -> b -> c) -> Writer a a0 -> Writer a b -> Writer a c

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

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

data Table writeFields viewFields

Constructors

Table String (TableFields writeFields viewFields)

For unqualified table names. Do not use the constructor. It is internal and will be deprecated in version 0.7.

TableWithSchema String String (TableFields writeFields viewFields)

Schema name, table name, table properties. Do not use the constructor. It is internal and will be deprecated in version 0.7.

Instances

Profunctor Table

Defined in Opaleye.Internal.Table

Methods

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

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

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

(#.) :: Coercible c b => q b c -> Table a b -> Table a c

(.#) :: Coercible b a => Table b c -> q a b -> Table a c

Functor (Table a)

Defined in Opaleye.Internal.Table

Methods

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

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

Module reexport

selectTable

Arguments

:: Default Unpackspec fields fields

=> Table a fields

-> Select fields

Example type specialization:

selectTable :: Table w (Field a, Field b)
            -> Select (Field a, Field b)

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

selectTable :: Table w (Foo (Field a) (Field b) (Field c))
            -> Select (Foo (Field a) (Field b) (Field c))

table

Arguments

:: String

Table name

-> TableFields writeFields viewFields

-> Table writeFields viewFields

Define a table with an unqualified name.

tableWithSchema

Arguments

:: String

Schema name

-> String

Table name

-> TableFields writeFields viewFields

-> Table writeFields viewFields

Define a table with a qualified name.

selectTableExplicit

Arguments

:: Unpackspec tablefields fields

-> Table a tablefields

-> Select fields

queryTable :: Default Unpackspec fields fields => Table a fields -> Select fields

Use selectTable instead. Will be deprecated in version 0.7.

queryTableExplicit :: Unpackspec tablefields fields -> Table a tablefields -> Select fields

Use selectTableExplicit instead. Will be deprecated in version 0.7.