Opaleye.Internal.RunQueryExternal

Documentation

runQuery :: Default FromFields fields haskells => Connection -> Select fields -> IO [haskells]

runQueryFold :: Default FromFields fields haskells => Connection -> Select fields -> b -> (b -> haskells -> IO b) -> IO b

runQueryExplicit :: FromFields fields haskells -> Connection -> Select fields -> IO [haskells]

runQueryFoldExplicit :: FromFields fields haskells -> Connection -> Select fields -> b -> (b -> haskells -> IO b) -> IO b

declareCursor :: Default FromFields fields haskells => Connection -> Select fields -> IO (Cursor haskells)

declareCursorExplicit :: FromFields fields haskells -> Connection -> Select fields -> IO (Cursor haskells)

closeCursor :: Cursor fields -> IO ()

foldForward :: Cursor haskells -> Int -> (a -> haskells -> IO a) -> a -> IO (Either a a)

Datatypes

data Cursor haskells

Cursor within a transaction.

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

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

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

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

Creating new FromFields

fieldQueryRunnerColumn :: FromField haskell => FromField pgType haskell

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

fieldParserQueryRunnerColumn :: FieldParser haskell -> FromField pgType haskell

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