Opaleye.Internal.RunQuery

Documentation

newtype FromField sqlType haskellType

A FromField sqlType haskellType encodes how to turn a value of Postgres type sqlType into a value of Haskell type haskellType. For example a value of type FromField SqlText String encodes how to turn a SqlText result from the database into a Haskell String.

"FromField sqlType haskellType" corresponds to postgresql-simple's "FieldParser haskellType".

Constructors

FromField (FieldParser haskellType)

Instances

DefaultFromField sqlType haskellType => Default FromField sqlType haskellType

Defined in Opaleye.Internal.RunQuery

Methods

def :: FromField sqlType haskellType

Functor (FromField u)

Defined in Opaleye.Internal.RunQuery

Methods

fmap :: (a -> b) -> FromField u a -> FromField u b

(<$) :: a -> FromField u b -> FromField u a

bool ~ Bool => Default (Inferrable FromField) SqlBool bool

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlBool bool

bytestring ~ ByteString => Default (Inferrable FromField) SqlBytea bytestring

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlBytea bytestring

cttext ~ CI Text => Default (Inferrable FromField) SqlCitext cttext

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlCitext cttext

day ~ Day => Default (Inferrable FromField) SqlDate day

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlDate day

double ~ Double => Default (Inferrable FromField) SqlFloat8 double

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlFloat8 double

int ~ Int => Default (Inferrable FromField) SqlInt4 int

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlInt4 int

int64 ~ Int64 => Default (Inferrable FromField) SqlInt8 int64

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlInt8 int64

calendardifftime ~ CalendarDiffTime => Default (Inferrable FromField) SqlInterval calendardifftime

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlInterval calendardifftime

scientific ~ Scientific => Default (Inferrable FromField) SqlNumeric scientific

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlNumeric scientific

text ~ Text => Default (Inferrable FromField) SqlText text

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlText text

timeofday ~ TimeOfDay => Default (Inferrable FromField) SqlTime timeofday

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlTime timeofday

localtime ~ LocalTime => Default (Inferrable FromField) SqlTimestamp localtime

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlTimestamp localtime

uuid ~ UUID => Default (Inferrable FromField) SqlUuid uuid

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlUuid uuid

varchar ~ Text => Default (Inferrable FromField) SqlVarcharN varchar

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlVarcharN varchar

(Typeable h, Default (Inferrable FromField) f h, hs ~ [h]) => Default (Inferrable FromField) (SqlArray f) hs

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField (SqlArray f) hs

(Typeable h, Default (Inferrable FromField) f h, hs ~ [Maybe h]) => Default (Inferrable FromField) (SqlArray_ 'Nullable f) hs

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField (SqlArray_ 'Nullable f) hs

data 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".

Constructors

FromFields (Unpackspec fields ()) (fields -> RowParser haskells) (fields -> Int)

Instances

ProductProfunctor FromFields

Defined in Opaleye.Internal.RunQuery

Methods

purePP :: b -> FromFields a b

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

empty :: FromFields () ()

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

SumProfunctor FromFields

Defined in Opaleye.Internal.RunQuery

Methods

(+++!) :: FromFields a b -> FromFields a' b' -> FromFields (Either a a') (Either b b')

Profunctor FromFields

Defined in Opaleye.Internal.RunQuery

Methods

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

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

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

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

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

DefaultFromField a b => Default FromFields (Field a) b

Defined in Opaleye.Internal.RunQuery

Methods

def :: FromFields (Field a) b

DefaultFromField a b => Default FromFields (FieldNullable a) (Maybe b)

Defined in Opaleye.Internal.RunQuery

Methods

def :: FromFields (FieldNullable a) (Maybe b)

Default FromFields fields haskells => Default FromFields (MaybeFields fields) (Maybe haskells)

Defined in Opaleye.Internal.MaybeFields

Methods

def :: FromFields (MaybeFields fields) (Maybe haskells)

Applicative (FromFields c)

Defined in Opaleye.Internal.RunQuery

Methods

pure :: a -> FromFields c a

(<*>) :: FromFields c (a -> b) -> FromFields c a -> FromFields c b

liftA2 :: (a -> b -> c0) -> FromFields c a -> FromFields c b -> FromFields c c0

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

(<*) :: FromFields c a -> FromFields c b -> FromFields c a

Functor (FromFields c)

Defined in Opaleye.Internal.RunQuery

Methods

fmap :: (a -> b) -> FromFields c a -> FromFields c b

(<$) :: a -> FromFields c b -> FromFields c a

Default (Inferrable FromField) a b => Default (Inferrable FromFields) (Field a) b

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromFields (Field a) b

(Default (Inferrable FromField) a b, Maybe b ~ maybe_b) => Default (Inferrable FromFields) (FieldNullable a) maybe_b

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromFields (FieldNullable a) maybe_b

(Default (Inferrable FromFields) fields haskells, Maybe haskells ~ maybe_haskells) => Default (Inferrable FromFields) (MaybeFields fields) maybe_haskells

Defined in Opaleye.Internal.MaybeFields

Methods

def :: Inferrable FromFields (MaybeFields fields) maybe_haskells

fieldQueryRunnerColumn :: FromField haskell => FromField pgType haskell

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

fromPGSFromField :: FromField haskell => FromField pgType haskell

fieldParserQueryRunnerColumn :: FieldParser haskell -> FromField pgType haskell

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

fromPGSFieldParser :: FieldParser haskell -> FromField pgType haskell

fromFields :: FromField a b -> FromFields (Field a) b

fieldParserFromFields :: FieldParser haskells -> FromFields (Field_ n a) haskells

queryRunner :: FromField a b -> FromFields (Field a) b

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

fromFieldsNullable :: FromField a b -> FromFields (FieldNullable a) (Maybe b)

unsafeFromFieldRaw :: FromField a (Field, Maybe ByteString)

class DefaultFromField sqlType haskellType where

A DefaultFromField sqlType haskellType represents the default way to turn a sqlType result from the database into a Haskell value of type haskellType.

"DefaultFromField sqlType haskellType" corresponds to postgresql-simple's "FromField haskellType".

Creating an instance of DefaultFromField for your own types is necessary for retrieving those types from the database.

You should use one of the three methods below for writing a DefaultFromField instance.

1. If you already have a postgresql-simple FromField instance for your haskellType, use fromPGSFromField. (This is how most of the built-in instances are defined.)
2. If you don't have a postgresql-simple FromField instance, but you do have an Opaleye FromField value for the type it wraps use unsafeFromField if possible. See the documentation for unsafeFromField for an example.
3. If you have a more complicated case, but not a FromField instance, write a FieldParser for your type and use fromPGSFieldParser. You can also add a FromField instance using this.

Methods

defaultFromField :: FromField sqlType haskellType

Instances

DefaultFromField SqlBool Bool

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlBool Bool

DefaultFromField SqlBytea ByteString

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlBytea ByteString

DefaultFromField SqlBytea ByteString

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlBytea ByteString

DefaultFromField SqlDate Day

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlDate Day

DefaultFromField SqlFloat8 Double

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlFloat8 Double

DefaultFromField SqlInt4 Int32

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlInt4 Int32

DefaultFromField SqlInt4 Int

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlInt4 Int

DefaultFromField SqlInt8 Int64

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlInt8 Int64

DefaultFromField SqlInterval CalendarDiffTime

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlInterval CalendarDiffTime

DefaultFromField SqlJson Value

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlJson Value

DefaultFromField SqlJson ByteString

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlJson ByteString

DefaultFromField SqlJson ByteString

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlJson ByteString

DefaultFromField SqlJson Text

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlJson Text

DefaultFromField SqlJson Text

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlJson Text

DefaultFromField SqlJson String

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlJson String

DefaultFromField SqlJsonb Value

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlJsonb Value

DefaultFromField SqlJsonb ByteString

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlJsonb ByteString

DefaultFromField SqlJsonb ByteString

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlJsonb ByteString

DefaultFromField SqlJsonb Text

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlJsonb Text

DefaultFromField SqlJsonb Text

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlJsonb Text

DefaultFromField SqlJsonb String

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlJsonb String

DefaultFromField SqlNumeric Scientific

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlNumeric Scientific

DefaultFromField SqlText Text

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlText Text

DefaultFromField SqlText Text

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlText Text

DefaultFromField SqlText String

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlText String

DefaultFromField SqlTime TimeOfDay

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlTime TimeOfDay

DefaultFromField SqlTimestamp LocalTime

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlTimestamp LocalTime

DefaultFromField SqlTimestamptz UTCTime

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlTimestamptz UTCTime

DefaultFromField SqlTimestamptz ZonedTime

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlTimestamptz ZonedTime

DefaultFromField SqlUuid UUID

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlUuid UUID

DefaultFromField SqlVarcharN Text

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlVarcharN Text

DefaultFromField SqlVarcharN Text

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlVarcharN Text

DefaultFromField SqlVarcharN String

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlVarcharN String

DefaultFromField SqlCitext (CI Text)

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlCitext (CI Text)

DefaultFromField SqlCitext (CI Text)

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlCitext (CI Text)

(FromJSON a, Typeable a) => DefaultFromField SqlJson (Aeson a)

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlJson (Aeson a)

(FromJSON a, Typeable a) => DefaultFromField SqlJsonb (Aeson a)

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlJsonb (Aeson a)

(Typeable b, DefaultFromField a b) => DefaultFromField (SqlRange a) (PGRange b)

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField (SqlRange a) (PGRange b)

(Typeable b, DefaultFromField a b) => DefaultFromField (SqlArray_ 'NonNullable a) [b]

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField (SqlArray_ 'NonNullable a) [b]

(Typeable b, DefaultFromField a b) => DefaultFromField (SqlArray_ 'Nullable a) [Maybe b]

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField (SqlArray_ 'Nullable a) [Maybe b]

fromFieldArray :: Typeable h => FromField f h -> FromField (SqlArray_ NonNullable f) [h]

fromFieldArrayNullable :: Typeable h => FromField f h -> FromField (SqlArray_ 'Nullable f) [Maybe h]

fromFieldRange :: Typeable b => FromField a b -> FromField (SqlRange a) (PGRange b)

jsonFieldParser :: FieldParser String

jsonbFieldParser :: FieldParser String

jsonFieldTextParser :: FieldParser Text

jsonbFieldTextParser :: FieldParser Text

jsonFieldLazyTextParser :: FieldParser Text

jsonbFieldLazyTextParser :: FieldParser Text

jsonFieldByteParser :: FieldParser ByteString

jsonbFieldByteParser :: FieldParser ByteString

jsonFieldLazyByteParser :: FieldParser ByteString

jsonbFieldLazyByteParser :: FieldParser ByteString

jsonFieldTypeByteParser :: ByteString -> FieldParser ByteString

withJsonByteStringParser :: (ByteString -> b) -> ByteString -> FieldParser b

jsonFieldTypeParser :: ByteString -> FieldParser String

jsonFieldTypeTextParser :: ByteString -> FieldParser Text

jsonFieldTypeLazyTextParser :: ByteString -> FieldParser Text

jsonFieldTypeLazyByteParser :: ByteString -> FieldParser ByteString

prepareRowParser :: FromFields columns haskells -> columns -> RowParser haskells

data Cursor haskells

Cursor within a transaction.

Constructors

EmptyCursor

Cursor (RowParser haskells) Cursor

prepareQuery :: FromFields fields haskells -> Select fields -> (Maybe Query, RowParser haskells)