Moduleopaleye-0.10.8.0Haskell2010

Opaleye.Adaptors

11 types
19 values

Packageopaleye-0.10.8.0
Exports30
LanguageHaskell2010
LicenceBSD-3-Clause
SourceRunQuery.hs

Binaryspec

3 declarations

newtypenewtype Binaryspec fields fields'

Instances6Profunctor, ProductProfunctor, Default, Functor, Applicative

Profunctor BinaryspecDefined in opaleye-0.10.8.0 · Opaleye.Internal.Binary
ProductProfunctor BinaryspecDefined in opaleye-0.10.8.0 · Opaleye.Internal.Binary
Default (WithNulls Binaryspec) a b => Default Binaryspec (MaybeFields a) (MaybeFields b)Defined in opaleye-0.10.8.0 · Opaleye.Internal.MaybeFields
Default Binaryspec (Field_ n a) (Field_ n a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Binary
Functor (Binaryspec a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Binary
Applicative (Binaryspec a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Binary

valuebinaryspecField :: Binaryspec (Field_ n a) (Field_ n a)

valuebinaryspecMaybeFields

:: WithNulls Binaryspec a b
-> Binaryspec (MaybeFields a) (MaybeFields b)

Distinctspec

3 declarations

newtypenewtype Distinctspec a b

Instances7Profunctor, ProductProfunctor, SumProfunctor, Default, Functor, Applicative, …

Profunctor DistinctspecDefined in opaleye-0.10.8.0 · Opaleye.Internal.Distinct
ProductProfunctor DistinctspecDefined in opaleye-0.10.8.0 · Opaleye.Internal.Distinct
SumProfunctor DistinctspecDefined in opaleye-0.10.8.0 · Opaleye.Internal.Distinct
Default (WithNulls Distinctspec) a b => Default Distinctspec (MaybeFields a) (MaybeFields b)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Distinct
Default Distinctspec (Field_ n a) (Field_ n a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Distinct
Functor (Distinctspec a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Distinct
Applicative (Distinctspec a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Distinct

valuedistinctspecField :: Distinctspec (Field_ n a) (Field_ n a)

valuedistinctspecMaybeFields

:: WithNulls Distinctspec a b
-> Distinctspec (MaybeFields a) (MaybeFields b)

EqPP

3 declarations

newtypenewtype EqPP a b

Instances4Profunctor, ProductProfunctor, Default

Profunctor EqPPDefined in opaleye-0.10.8.0 · Opaleye.Internal.Operators
ProductProfunctor EqPPDefined in opaleye-0.10.8.0 · Opaleye.Internal.Operators
Default EqPP (Field a) (Field a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Operators
Default EqPP a b => Default EqPP (MaybeFields a) (MaybeFields b)Defined in opaleye-0.10.8.0 · Opaleye.Internal.MaybeFields

valueeqPPField :: EqPP (Field a) ignored

valueeqPPMaybeFields :: EqPP a b -> EqPP (MaybeFields a) (MaybeFields b)

IfPP

3 declarations

newtypenewtype IfPP a b

Instances4Profunctor, ProductProfunctor, Default

Profunctor IfPPDefined in opaleye-0.10.8.0 · Opaleye.Internal.Operators
ProductProfunctor IfPPDefined in opaleye-0.10.8.0 · Opaleye.Internal.Operators
Default IfPP a b => Default IfPP (MaybeFields a) (MaybeFields b)Defined in opaleye-0.10.8.0 · Opaleye.Internal.MaybeFields
Default IfPP (Field_ n a) (Field_ n a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Operators

valueifPPField :: IfPP (Field_ n a) (Field_ n a)

valueifPPMaybeFields :: IfPP a b -> IfPP (MaybeFields a) (MaybeFields b)

FromFields

2 declarations

datadata FromFields fields haskells

A FromFields specifies how to convert Postgres values (fields) into Haskell values (haskells). Most likely you will never need to create one of these or handle one directly. It will be provided for you by the Default FromFields instance.

"FromFields fields haskells" corresponds to postgresql-simple's "RowParser haskells". "Default FromFields fields haskells" corresponds to postgresql-simple's "FromRow haskells".

Instances11Profunctor, ProductProfunctor, SumProfunctor, Functor, Applicative, Default, …

Profunctor FromFieldsDefined in opaleye-0.10.8.0 · Opaleye.Internal.RunQuery
ProductProfunctor FromFieldsDefined in opaleye-0.10.8.0 · Opaleye.Internal.RunQuery
SumProfunctor FromFieldsDefined in opaleye-0.10.8.0 · Opaleye.Internal.RunQuery
DefaultFromField a b => Default FromFields (Field a) bDefined in opaleye-0.10.8.0 · Opaleye.Internal.RunQuery
DefaultFromField a b => Default FromFields (FieldNullable a) (Maybe b)Defined in opaleye-0.10.8.0 · Opaleye.Internal.RunQuery
Default FromFields fields haskells => Default FromFields (MaybeFields fields) (Maybe haskells)Defined in opaleye-0.10.8.0 · Opaleye.Internal.MaybeFields
Functor (FromFields c)Defined in opaleye-0.10.8.0 · Opaleye.Internal.RunQuery
Applicative (FromFields c)Defined in opaleye-0.10.8.0 · Opaleye.Internal.RunQuery
Default (Inferrable FromField) a b => Default (Inferrable FromFields) (Field a) bDefined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrable
(Default (Inferrable FromField) a b, Maybe b ~ maybe_b) => Default (Inferrable FromFields) (FieldNullable a) maybe_bDefined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrable
(Default (Inferrable FromFields) fields haskells, Maybe haskells ~ maybe_haskells) => Default (Inferrable FromFields) (MaybeFields fields) maybe_haskellsDefined in opaleye-0.10.8.0 · Opaleye.Internal.MaybeFields

valuefromFieldsMaybeFields

:: FromFields fields haskells
-> FromFields (MaybeFields fields) (Maybe haskells)

Nullspec

6 declarations

newtypenewtype Nullspec fields 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)

valuenullspecMaybeFields

:: Nullspec a b
-> Nullspec (MaybeFields a) (MaybeFields b)

valuenullspecList :: Nullspec a [b]

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

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

ToFields

2 declarations

newtypenewtype ToFields haskells fields

A way of turning Haskell values of type haskells into SQL fields. Use it with toFields.

Instances75Profunctor, ProductProfunctor, SumProfunctor, Functor, Applicative, Default, …

Profunctor ToFieldsDefined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
ProductProfunctor ToFieldsDefined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
SumProfunctor ToFieldsDefined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields Value (Field SqlJson)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields Value (Field SqlJsonb)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields ByteString (Field SqlBytea)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields ByteString (Field SqlJson)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields ByteString (Field SqlJsonb)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields ByteString (Field SqlBytea)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields ByteString (Field SqlJson)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields ByteString (Field SqlJsonb)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields String (Field SqlText)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields String (Field SqlVarcharN)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields Int16 (Field SqlInt2)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields Int32 (Field SqlInt4)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields Int64 (Field SqlInt8)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields Bool (Field SqlBool)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields Double (Field SqlFloat8)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields Int (Field SqlInt4)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields Scientific (Field SqlNumeric)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields Text (Field SqlText)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields Text (Field SqlVarcharN)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields Text (Field SqlText)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields Text (Field SqlVarcharN)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields Day (Field SqlDate)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields UTCTime (Field SqlTimestamptz)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields CalendarDiffTime (Field SqlInterval)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields LocalTime (Field SqlTimestamp)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields TimeOfDay (Field SqlTime)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields ZonedTime (Field SqlTimestamptz)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields UUID (Field SqlUuid)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
ToJSON a => Default ToFields (Aeson a) (Field SqlJson)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
ToJSON a => Default ToFields (Aeson a) (Field SqlJsonb)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields (CI Text) (Field SqlCitext)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields (CI Text) (Field SqlCitext)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields (Field a) (Field a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields (PGRange Int64) (Field (SqlRange SqlInt8))Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields (PGRange Int) (Field (SqlRange SqlInt4))Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields (PGRange Scientific) (Field (SqlRange SqlNumeric))Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields (PGRange Day) (Field (SqlRange SqlDate))Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields (PGRange UTCTime) (Field (SqlRange SqlTimestamptz))Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields (PGRange LocalTime) (Field (SqlRange SqlTimestamp))Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields haskell (Field sql) => Default ToFields (Maybe haskell) (FieldNullable sql)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields haskell (Field_ n sql) => Default ToFields (Maybe haskell) (Maybe (Field_ n sql))Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
(Default ToFields a (Field_ n b), IsSqlType b) => Default ToFields [a] (Field (SqlArray_ n b))Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
(Default ToFields a b, Default Nullspec a b) => Default ToFields (Maybe a) (MaybeFields b)Defined in opaleye-0.10.8.0 · Opaleye.Internal.MaybeFields
Functor (ToFields a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Applicative (ToFields a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Field SqlBool ~ cSqlBool => Default (Inferrable ToFields) Bool cSqlBoolDefined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrable
Field SqlBytea ~ cSqlBytea => Default (Inferrable ToFields) ByteString cSqlByteaDefined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrable
Field SqlBytea ~ cSqlBytea => Default (Inferrable ToFields) ByteString cSqlByteaDefined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrable
Field SqlDate ~ cSqlDate => Default (Inferrable ToFields) Day cSqlDateDefined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrable
Field SqlFloat8 ~ cSqlFloat8 => Default (Inferrable ToFields) Double cSqlFloat8Defined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrable
Field SqlInt4 ~ cSqlInt4 => Default (Inferrable ToFields) Int32 cSqlInt4Defined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrable
Field SqlInt4 ~ cSqlInt4 => Default (Inferrable ToFields) Int cSqlInt4Defined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrable
Field SqlInt8 ~ cSqlInt8 => Default (Inferrable ToFields) Int64 cSqlInt8Defined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrable
Field SqlInterval ~ cSqlInterval => Default (Inferrable ToFields) CalendarDiffTime cSqlIntervalDefined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrable
Field SqlNumeric ~ cSqlNumeric => Default (Inferrable ToFields) Scientific cSqlNumericDefined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrable
Field SqlText ~ cSqlText => Default (Inferrable ToFields) String cSqlTextDefined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrable
Field SqlText ~ cSqlText => Default (Inferrable ToFields) Text cSqlTextDefined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrable
Field SqlText ~ cSqlText => Default (Inferrable ToFields) Text cSqlTextDefined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrable
Field SqlTime ~ cSqlTime => Default (Inferrable ToFields) TimeOfDay cSqlTimeDefined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrable
Field SqlTimestamptz ~ cSqlTimestamptz => Default (Inferrable ToFields) UTCTime cSqlTimestamptzDefined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrable
Field SqlTimestamptz ~ cSqlTimestamptz => Default (Inferrable ToFields) ZonedTime cSqlTimestamptzDefined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrable
Field SqlUuid ~ cSqlUuid => Default (Inferrable ToFields) UUID cSqlUuidDefined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrable
Field SqlCitext ~ cSqlCitext => Default (Inferrable ToFields) (CI Text) cSqlCitextDefined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrable
Field SqlCitext ~ cSqlCitext => Default (Inferrable ToFields) (CI Text) cSqlCitextDefined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrable
Field (SqlRange SqlDate) ~ cRangeDate => Default (Inferrable ToFields) (PGRange Day) cRangeDateDefined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrable
Field (SqlRange SqlInt4) ~ cRangeInt4 => Default (Inferrable ToFields) (PGRange Int) cRangeInt4Defined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrable
Field (SqlRange SqlInt8) ~ cRangeInt8 => Default (Inferrable ToFields) (PGRange Int64) cRangeInt8Defined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrable
Field (SqlRange SqlNumeric) ~ cRangeScientific => Default (Inferrable ToFields) (PGRange Scientific) cRangeScientificDefined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrable
Field (SqlRange SqlTimestamp) ~ cRangeTimestamp => Default (Inferrable ToFields) (PGRange LocalTime) cRangeTimestampDefined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrable
Field (SqlRange SqlTimestamptz) ~ cRangeTimestamptz => Default (Inferrable ToFields) (PGRange UTCTime) cRangeTimestamptzDefined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrable
Field a ~ fieldA => Default (Inferrable ToFields) (Field a) fieldADefined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrable
(Default (Inferrable ToFields) a b, Default Nullspec a b, MaybeFields b ~ maybeFields_b) => Default (Inferrable ToFields) (Maybe a) maybeFields_bDefined in opaleye-0.10.8.0 · Opaleye.Internal.MaybeFields · orphan

valuetoFieldsMaybeFields

:: Nullspec a b
-> ToFields a b
-> ToFields (Maybe a) (MaybeFields b)

Unpackspec

3 declarations

newtypenewtype Unpackspec fields fields'

Instances7Profunctor, ProductProfunctor, SumProfunctor, Default, Functor, Applicative, …

Profunctor UnpackspecDefined in opaleye-0.10.8.0 · Opaleye.Internal.Unpackspec
ProductProfunctor UnpackspecDefined in opaleye-0.10.8.0 · Opaleye.Internal.Unpackspec
SumProfunctor UnpackspecDefined in opaleye-0.10.8.0 · Opaleye.Internal.Unpackspec
Default Unpackspec a b => Default Unpackspec (MaybeFields a) (MaybeFields b)Defined in opaleye-0.10.8.0 · Opaleye.Internal.MaybeFields
Default Unpackspec (Field_ n a) (Field_ n a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Unpackspec
Functor (Unpackspec a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Unpackspec
Applicative (Unpackspec a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Unpackspec

valueunpackspecField :: Unpackspec (Field_ n a) (Field_ n a)

Target the single PrimExpr inside a 'F.Field n'

valueunpackspecMaybeFields

:: Unpackspec a b
-> Unpackspec (MaybeFields a) (MaybeFields b)

Updater

1 declaration

newtypenewtype Updater a b

Instances7Profunctor, ProductProfunctor, Default, Functor, Applicative, …

Profunctor UpdaterDefined in opaleye-0.10.8.0 · Opaleye.Internal.Manipulation
ProductProfunctor UpdaterDefined in opaleye-0.10.8.0 · Opaleye.Internal.Manipulation
Default Updater (Field_ n a) ()Defined in opaleye-0.10.8.0 · Opaleye.Internal.Manipulation
Default Updater (Field_ n a) (Maybe (Field_ n a))Defined in opaleye-0.10.8.0 · Opaleye.Internal.Manipulation
Default Updater (Field_ n a) (Field_ n a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Manipulation
Functor (Updater a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Manipulation
Applicative (Updater a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Manipulation

Valuesspec

3 declarations

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)

valuevaluesspecMaybeFields

:: Valuesspec a b
-> Valuesspec (MaybeFields a) (MaybeFields b)

WithNulls

1 declaration

newtypenewtype WithNulls (p :: Type -> Type -> Type) a b

Instances6Profunctor, ProductProfunctor, SumProfunctor, Default, Functor, Applicative

Profunctor p => Profunctor (WithNulls p)Defined in opaleye-0.10.8.0 · Opaleye.Internal.MaybeFields
ProductProfunctor p => ProductProfunctor (WithNulls p)Defined in opaleye-0.10.8.0 · Opaleye.Internal.MaybeFields
SumProfunctor p => SumProfunctor (WithNulls p)Defined in opaleye-0.10.8.0 · Opaleye.Internal.MaybeFields
(Profunctor p, IsSqlType a, Default p (Field_ n a) (Field_ n a)) => Default (WithNulls p) (Field_ n a) (Field_ n a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.MaybeFields
Profunctor p => Functor (WithNulls p a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.MaybeFields
ProductProfunctor p => Applicative (WithNulls p a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.MaybeFields