Opaleye.Values

Documentation

valuesSafe :: Default ValuesspecSafe fields fields => [fields] -> Select fields

valuesSafe implements Postgres's VALUES construct and allows you to create a SELECT that consists of the given rows.

Example type specialization:

valuesSafe :: [(Field a, Field b)] -> Select (Field a, Field b)

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

valuesSafe :: [Foo (Field a) (Field b) (Field c)] -> S.Select (Foo (Field a) (Field b) (Field c))

Explicit versions

valuesExplicit :: Unpackspec fields fields' -> Valuesspec fields fields' -> [fields] -> Select fields'

valuesSafeExplicit :: ValuesspecSafe fields fields' -> [fields] -> Select fields'

valuesUnsafeExplicit :: Unpackspec fields fields' -> Valuesspec fields fields' -> [fields] -> Select fields'

Forward compatible version of unsafe valuesExplicit that will not be deprecated in 0.7, but in 0.8.

Adaptors

data ValuesspecSafe columns columns'

Instances

Profunctor ValuesspecSafe

Defined in Opaleye.Internal.Values

Methods

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

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

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

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

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

ProductProfunctor ValuesspecSafe

Defined in Opaleye.Internal.Values

Methods

purePP :: b -> ValuesspecSafe a b

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

empty :: ValuesspecSafe () ()

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

IsSqlType a => Default ValuesspecSafe (Column a) (Column a)

Defined in Opaleye.Internal.Values

Methods

def :: ValuesspecSafe (Column a) (Column a)

Default ValuesspecSafe a b => Default ValuesspecSafe (MaybeFields a) (MaybeFields b)

Defined in Opaleye.Internal.MaybeFields

Methods

def :: ValuesspecSafe (MaybeFields a) (MaybeFields b)

Functor (ValuesspecSafe a)

Defined in Opaleye.Internal.Values

Methods

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

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

Applicative (ValuesspecSafe a)

Defined in Opaleye.Internal.Values

Methods

pure :: a0 -> ValuesspecSafe a a0

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

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

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

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

valuesspecField :: IsSqlType a => ValuesspecSafe (Column a) (Column a)

Deprecated versions

values :: (Default Valuesspec fields fields, Default Unpackspec fields fields) => [fields] -> Select fields

Please note that values of an empty list generates incorrect queries when mixed with OUTER/LEFT/RIGHT JOIN. You should use valuesSafe instead. valuesSafe will replace values in version 0.7.

valuesUnsafe :: (Default Valuesspec fields fields, Default Unpackspec fields fields) => [fields] -> Select fields

Forward-compatible version of unsafe values that will not be deprecated in 0.7, but in 0.8.