Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- values :: Default Valuesspec fields fields => [fields] -> Select fields
- valuesExplicit :: Valuesspec fields fields' -> [fields] -> Select fields'
- data Valuesspec fields fields'
- valuesspecField :: IsSqlType a => Valuesspec (Field_ n a) (Field_ n a)
Documentation
values :: Default Valuesspec fields fields => [fields] -> Select fields Source #
values
implements Postgres's VALUES
construct and allows you
to create a SELECT
that consists of the given rows.
Example type specialization:
values :: [(Field a, Field b)] -> Select (Field a, Field b)
Assuming the makeAdaptorAndInstance
splice has been run for the
product type Foo
:
values :: [Foo (Field a) (Field b) (Field c)] -> S.Select (Foo (Field a) (Field b) (Field c))
Explicit versions
valuesExplicit :: Valuesspec fields fields' -> [fields] -> Select fields' Source #
Adaptors
data Valuesspec fields fields' Source #
Instances
valuesspecField :: IsSqlType a => Valuesspec (Field_ n a) (Field_ n a) Source #