Moduleopaleye-0.10.8.0Haskell2010

Opaleye.Internal.Values

Synopsis

value nonEmptyValues
value nonEmptyRows
value emptySelectExplicit
data NonEmptyRowspec
value nonEmptyRowspecField
value rowspecField
data Rowspec
data Valuesspec
value valuesspecField
value valuesspecFieldType
newtype Nullspec
value nullspecField
value nullspecFieldType
value nullspecList
value nullspecEitherLeft
value nullspecEitherRight
value nullFields
newtype ValuesspecUnsafe

Packageopaleye-0.10.8.0
Exports18
LanguageHaskell2010
LicenceBSD-3-Clause
SourceValues.hs

valuenonEmptyValues

:: Rowspec columns columns'
-> NonEmpty columns
-> Select columns'

valuenonEmptyRows

:: NonEmptyRowspec fields fields'
-> NonEmpty fields
-> Select fields'

valueemptySelectExplicit :: Nullspec columns a -> Select a

datadata NonEmptyRowspec fields fields'

Constructors

NonEmptyRowspec (fields -> NonEmpty PrimExpr) (State Tag (NonEmpty Symbol, fields'))

Instances2Profunctor, Functor

Profunctor NonEmptyRowspecDefined in opaleye-0.10.8.0 · Opaleye.Internal.Values
Functor (NonEmptyRowspec a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Values

valuenonEmptyRowspecField :: NonEmptyRowspec (Field_ n a) (Field_ n a)

valuerowspecField :: Rowspec (Field_ n a) (Field_ n a)

datadata Rowspec fields fields'

Constructors

NonEmptyRows (NonEmptyRowspec fields fields')
EmptyRows fields'

Instances4Profunctor, ProductProfunctor, Functor, Applicative

Profunctor RowspecDefined in opaleye-0.10.8.0 · Opaleye.Internal.Values
ProductProfunctor RowspecDefined in opaleye-0.10.8.0 · Opaleye.Internal.Values
Functor (Rowspec a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Values
Applicative (Rowspec a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Values

datadata Valuesspec fields fields'

Constructors

ValuesspecSafe (Nullspec fields fields') (Rowspec 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)

valuevaluesspecFieldType :: String -> Valuesspec (Field_ n a) (Field_ n a)

newtypenewtype Nullspec fields fields'

Constructors

Nullspec fields'

Instances5Profunctor, ProductProfunctor, Default, Functor, Applicative

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

valuenullspecField :: IsSqlType sqlType => Nullspec a (Field_ n sqlType)

valuenullspecFieldType :: String -> Nullspec a (Field_ n sqlType)

valuenullspecList :: Nullspec a [b]

valuenullspecEitherLeft :: Nullspec a b -> Nullspec a (Either b b')

valuenullspecEitherRight :: Nullspec a b' -> Nullspec a (Either b b')

valuenullFields :: Nullspec a fields -> fields

Source#

All fields NULL, even though technically the type may forbid that! Used to create such fields when we know we will never look at them expecting to find something non-NULL.

newtypenewtype ValuesspecUnsafe columns columns'

Constructors

Valuesspec (PackMap () PrimExpr () columns')

Instances5Profunctor, ProductProfunctor, Default, Functor, Applicative

Profunctor ValuesspecUnsafeDefined in opaleye-0.10.8.0 · Opaleye.Internal.Values
ProductProfunctor ValuesspecUnsafeDefined in opaleye-0.10.8.0 · Opaleye.Internal.Values
Default ValuesspecUnsafe (Field_ n a) (Field_ n a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Values
Functor (ValuesspecUnsafe a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Values
Applicative (ValuesspecUnsafe a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Values