Moduleopaleye-0.10.8.0Haskell2010

Opaleye.Values

Contents

Synopsis

valuevalues :: Default Valuesspec fields fields => [fields] -> Select fields

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

valuevaluesExplicit :: Valuesspec fields fields' -> [fields] -> Select fields'

datadata Valuesspec fields fields'

Instances6Profunctor, ProductProfunctor, Default, Functor, Applicative

Profunctor ValuesspecDefined in opaleye-0.10.8.0 · Opaleye.Internal.Values
ProductProfunctor ValuesspecDefined in opaleye-0.10.8.0 · Opaleye.Internal.Values
Default Valuesspec a b => Default Valuesspec (MaybeFields a) (MaybeFields b)Defined in opaleye-0.10.8.0 · Opaleye.Internal.MaybeFields
IsSqlType a => Default Valuesspec (Field_ n a) (Field_ n a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Values
Functor (Valuesspec a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Values
Applicative (Valuesspec a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Values

valuevaluesspecField :: IsSqlType a => Valuesspec (Field_ n a) (Field_ n a)