{-# LANGUAGE FlexibleContexts #-}
module Opaleye.Values(
values,
valuesExplicit,
V.Valuesspec,
V.ValuesspecSafe,
V.valuesspecField,
valuesSafe,
valuesSafeExplicit,
valuesUnsafe,
valuesUnsafeExplicit,
) where
import qualified Opaleye.Internal.QueryArr as Q
import Opaleye.Internal.Values as V
import qualified Opaleye.Internal.Unpackspec as U
import qualified Opaleye.Select as S
import Data.Profunctor.Product.Default (Default, def)
valuesUnsafe :: (Default V.ValuesspecUnsafe fields fields,
Default U.Unpackspec fields fields) =>
[fields] -> S.Select fields
valuesUnsafe = valuesUnsafeExplicit def def
valuesUnsafeExplicit :: U.Unpackspec fields fields'
-> V.ValuesspecUnsafe fields fields'
-> [fields] -> S.Select fields'
valuesUnsafeExplicit unpack valuesspec fields =
Q.productQueryArr (V.valuesU unpack valuesspec fields)
values :: Default V.Valuesspec fields fields
=> [fields] -> S.Select fields
values = valuesExplicit def
valuesExplicit :: V.Valuesspec fields fields'
-> [fields] -> S.Select fields'
valuesExplicit valuesspec fields =
Q.productQueryArr (V.valuesUSafe valuesspec fields)
valuesSafe :: Default V.Valuesspec fields fields
=> [fields] -> S.Select fields
valuesSafe = values
valuesSafeExplicit :: V.Valuesspec fields fields'
-> [fields] -> S.Select fields'
valuesSafeExplicit = valuesExplicit