Opaleye.Values

Documentation

values :: 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 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'

Adaptors

data Valuesspec fields fields'

Instances

ProductProfunctor Valuesspec

Defined in Opaleye.Internal.Values

Methods

purePP :: b -> Valuesspec a b

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

empty :: Valuesspec () ()

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

Profunctor Valuesspec

Defined in Opaleye.Internal.Values

Methods

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

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

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

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

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

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

Defined in Opaleye.Internal.MaybeFields

Methods

def :: Valuesspec (MaybeFields a) (MaybeFields b)

IsSqlType a => Default Valuesspec (Field_ n a) (Field_ n a)

Defined in Opaleye.Internal.Values

Methods

def :: Valuesspec (Field_ n a) (Field_ n a)

Applicative (Valuesspec a)

Defined in Opaleye.Internal.Values

Methods

pure :: a0 -> Valuesspec a a0

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

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

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

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

Functor (Valuesspec a)

Defined in Opaleye.Internal.Values

Methods

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

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

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

Deprecated versions

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

Deprecated: Use values instead. Will be removed in 0.10.

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

Deprecated: Use values instead. Will be removed in 0.10.

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

Deprecated: Use values instead. Will be removed in 0.10.

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

Deprecated: Use values instead. Will be removed in 0.10.

type ValuesspecSafe = Valuesspec

Deprecated: Use Valuesspec instead. Will be removed in version 0.10.