Safe Haskell	None
Language	Haskell2010

Preql

Contents

functions for writing SQL instances
Decoding rows
Encoding parameters
Errors

Description

Synopsis

class SqlQuery m => SQL (m :: * -> *) where
- runTransaction' :: IsolationLevel -> Transaction a -> m a
- withConnection :: (Connection -> m a) -> m a
- queryOn :: (ToSql p, FromSql r, KnownNat (Width r)) => Connection -> (Query (Width r), p) -> m (Vector r)
- queryOn_ :: ToSql p => Connection -> (Query 0, p) -> m ()
class Monad m => SqlQuery (m :: * -> *) where
- query :: (ToSql p, FromSql r, KnownNat (Width r)) => (Query (Width r), p) -> m (Vector r)
- query_ :: ToSql p => (Query 0, p) -> m ()
sql :: QuasiQuoter
select :: QuasiQuoter
validSql :: QuasiQuoter
data Transaction a
data Query (n :: Nat)
runTransactionIO :: IsolationLevel -> Transaction a -> Connection -> IO (Either QueryError a)
class FromSql a
class FromSqlField a
class ToSql a
class ToSqlField a
data QueryError
- = ConnectionError Text
- | DecoderError FieldError
- | PgTypeMismatch [TypeMismatch]
data FieldError = FieldError {
- errorRow :: Int
- errorColumn :: Int
- failure :: UnlocatedFieldError
}
data UnlocatedFieldError
- = UnexpectedNull
- | ParseFailure Text
data TypeMismatch = TypeMismatch {
- expected :: PgType
- actual :: Oid
- column :: Int
- columnName :: Maybe Text
}
module Preql.Wire

Documentation

class SqlQuery m => SQL (m :: * -> *) where Source #

An Effect class for running SQL queries. You can think of this as a context specifying a particular Postgres connection (or connection pool). A minimal instance defines withConnection.

Override the remaining methods to log errors before rethrowing, or not to rethrow.

Minimal complete definition

withConnection

Methods

runTransaction' :: IsolationLevel -> Transaction a -> m a Source #

Run multiple queries in a transaction.

default runTransaction' :: MonadIO m => IsolationLevel -> Transaction a -> m a Source #

withConnection :: (Connection -> m a) -> m a Source #

runTransaction covers the most common patterns of mult-statement transactions. withConnection is useful when you want more control, or want to override the defaults that your instance defines. For example: - change the number of retries - interleave calls to other services with the Postgres transaction - ensure a prepared statement is shared among successive transactions

queryOn :: (ToSql p, FromSql r, KnownNat (Width r)) => Connection -> (Query (Width r), p) -> m (Vector r) Source #

Run a query on the specified Connection

default queryOn :: (ToSql p, FromSql r, KnownNat (Width r), MonadIO m) => Connection -> (Query (Width r), p) -> m (Vector r) Source #

queryOn_ :: ToSql p => Connection -> (Query 0, p) -> m () Source #

default queryOn_ :: (ToSql p, MonadIO m) => Connection -> (Query 0, p) -> m () Source #

Instances

Instances details

SQL m => SQL (MaybeT m) Source #
Instance details Defined in Preql.Effect Methods runTransaction' :: IsolationLevel -> Transaction a -> MaybeT m a Source # withConnection :: (Connection -> MaybeT m a) -> MaybeT m a Source # queryOn :: (ToSql p, FromSql r, KnownNat (Width r)) => Connection -> (Query (Width r), p) -> MaybeT m (Vector r) Source # queryOn_ :: ToSql p => Connection -> (Query 0, p) -> MaybeT m () Source #
SQL m => SQL (StateT s m) Source #
Instance details Defined in Preql.Effect Methods runTransaction' :: IsolationLevel -> Transaction a -> StateT s m a Source # withConnection :: (Connection -> StateT s m a) -> StateT s m a Source # queryOn :: (ToSql p, FromSql r, KnownNat (Width r)) => Connection -> (Query (Width r), p) -> StateT s m (Vector r) Source # queryOn_ :: ToSql p => Connection -> (Query 0, p) -> StateT s m () Source #
SQL m => SQL (ReaderT r m) Source #
Instance details Defined in Preql.Effect Methods runTransaction' :: IsolationLevel -> Transaction a -> ReaderT r m a Source # withConnection :: (Connection -> ReaderT r m a) -> ReaderT r m a Source # queryOn :: (ToSql p, FromSql r0, KnownNat (Width r0)) => Connection -> (Query (Width r0), p) -> ReaderT r m (Vector r0) Source # queryOn_ :: ToSql p => Connection -> (Query 0, p) -> ReaderT r m () Source #
SQL (ReaderT Connection IO) Source #	Most larger applications will define an instance; this one is suitable to test out the library. A safer version would use `MVar Connection` to ensure only one thread using it.
Instance details Defined in Preql.Effect Methods runTransaction' :: IsolationLevel -> Transaction a -> ReaderT Connection IO a Source # withConnection :: (Connection -> ReaderT Connection IO a) -> ReaderT Connection IO a Source # queryOn :: (ToSql p, FromSql r, KnownNat (Width r)) => Connection -> (Query (Width r), p) -> ReaderT Connection IO (Vector r) Source # queryOn_ :: ToSql p => Connection -> (Query 0, p) -> ReaderT Connection IO () Source #
SQL m => SQL (ExceptT e m) Source #
Instance details Defined in Preql.Effect Methods runTransaction' :: IsolationLevel -> Transaction a -> ExceptT e m a Source # withConnection :: (Connection -> ExceptT e m a) -> ExceptT e m a Source # queryOn :: (ToSql p, FromSql r, KnownNat (Width r)) => Connection -> (Query (Width r), p) -> ExceptT e m (Vector r) Source # queryOn_ :: ToSql p => Connection -> (Query 0, p) -> ExceptT e m () Source #
SQL m => SQL (StateT s m) Source #
Instance details Defined in Preql.Effect Methods runTransaction' :: IsolationLevel -> Transaction a -> StateT s m a Source # withConnection :: (Connection -> StateT s m a) -> StateT s m a Source # queryOn :: (ToSql p, FromSql r, KnownNat (Width r)) => Connection -> (Query (Width r), p) -> StateT s m (Vector r) Source # queryOn_ :: ToSql p => Connection -> (Query 0, p) -> StateT s m () Source #
(Monoid w, SQL m) => SQL (RWST r w s m) Source #
Instance details Defined in Preql.Effect Methods runTransaction' :: IsolationLevel -> Transaction a -> RWST r w s m a Source # withConnection :: (Connection -> RWST r w s m a) -> RWST r w s m a Source # queryOn :: (ToSql p, FromSql r0, KnownNat (Width r0)) => Connection -> (Query (Width r0), p) -> RWST r w s m (Vector r0) Source # queryOn_ :: ToSql p => Connection -> (Query 0, p) -> RWST r w s m () Source #
(Monoid w, SQL m) => SQL (RWST r w s m) Source #
Instance details Defined in Preql.Effect Methods runTransaction' :: IsolationLevel -> Transaction a -> RWST r w s m a Source # withConnection :: (Connection -> RWST r w s m a) -> RWST r w s m a Source # queryOn :: (ToSql p, FromSql r0, KnownNat (Width r0)) => Connection -> (Query (Width r0), p) -> RWST r w s m (Vector r0) Source # queryOn_ :: ToSql p => Connection -> (Query 0, p) -> RWST r w s m () Source #

class Monad m => SqlQuery (m :: * -> *) where Source #

SqlQuery is separate from SQL so that nested Transactions are statically prevented. query can be used directly within any SQL monad (running a single-statement transaction), or within a Transaction.

Users should not need to define instances, as every SQL instance implies a SqlQuery instance.

Methods

query :: (ToSql p, FromSql r, KnownNat (Width r)) => (Query (Width r), p) -> m (Vector r) Source #

Run a parameterized query that returns data. The tuple argument is typically provided by one of the Quasiquoters: sql or select

query_ :: ToSql p => (Query 0, p) -> m () Source #

Run a parameterized query that does not return data.

Instances

Instances details

(Monad m, SQL m) => SqlQuery m Source #
Instance details Defined in Preql.Effect Methods query :: (ToSql p, FromSql r, KnownNat (Width r)) => (Query (Width r), p) -> m (Vector r) Source # query_ :: ToSql p => (Query 0, p) -> m () Source #
SqlQuery Transaction Source #
Instance details Defined in Preql.Effect Methods query :: (ToSql p, FromSql r, KnownNat (Width r)) => (Query (Width r), p) -> Transaction (Vector r) Source # query_ :: ToSql p => (Query 0, p) -> Transaction () Source #

sql :: QuasiQuoter Source #

Given a SQL query with ${} antiquotes, splice a pair (Query p r, p) or a function p' -> (Query p r, p) if the SQL string includes both antiquote and positional parameters.

The sql Quasiquoter allows passing parameters to a query by name, inside a ${} antiquote. For example: [sql| SELECT name, age FROM cats WHERE age >= ${minAge} and age < ${maxAge} |] The Haskell term within {} must be a variable in scope; more complex expressions are not supported.

Antiquotes are replaced by positional ($1, $2) parameters supported by Postgres, and the encoded values are sent with PexecParams

Mixed named & numbered parameters are also supported. It is hoped that this will be useful when migrating existing queries. For example: query $ [sql| SELECT name, age FROM cats WHERE age >= ${minAge} and age < $1 |] maxAge Named parameters will be assigned numbers higher than the highest numbered paramater placeholder.

A quote with only named parameters is converted to a tuple '(Query, p)'. For example: ("SELECT name, age FROM cats WHERE age >= $1 and age < $2", (minAge, maxAge)) If there are no parameters, the inner tuple is (), like ("SELECT * FROM cats", ()). If there are both named & numbered params, the splice is a function taking a tuple and returning (Query, p) where p includes both named & numbered params. For example: a -> ("SELECT name, age FROM cats WHERE age >= $1 and age < $2", (a, maxAge))

select :: QuasiQuoter Source #

This quasiquoter will accept most syntactically valid SELECT queries. Language features not yet implemented include type casts, lateral joins, EXTRACT, INTO, string & XML operators, and user-defined operators. For now, please fall back to sql for these less-frequently used SQL features, or file a bug report if a commonly used feature is not parsed correctly.

select accepts antiquotes with the same syntax as sql.

validSql :: QuasiQuoter Source #

This quasiquoter will accept all queries accepted by select, and limited INSERT, UPDATE, and DELETE queries. For details of what can be parsed, consult Parser.y

data Transaction a Source #

A Transaction can only contain SQL queries (and pure functions).

Instances

Instances details

Monad Transaction Source #
Instance details Defined in Preql.Effect.Internal Methods (>>=) :: Transaction a -> (a -> Transaction b) -> Transaction b # (>>) :: Transaction a -> Transaction b -> Transaction b # return :: a -> Transaction a #
Functor Transaction Source #
Instance details Defined in Preql.Effect.Internal Methods fmap :: (a -> b) -> Transaction a -> Transaction b # (<$) :: a -> Transaction b -> Transaction a #
Applicative Transaction Source #
Instance details Defined in Preql.Effect.Internal Methods pure :: a -> Transaction a # (<>) :: Transaction (a -> b) -> Transaction a -> Transaction b # liftA2 :: (a -> b -> c) -> Transaction a -> Transaction b -> Transaction c # (>) :: Transaction a -> Transaction b -> Transaction b # (<*) :: Transaction a -> Transaction b -> Transaction a #
SqlQuery Transaction Source #
Instance details Defined in Preql.Effect Methods query :: (ToSql p, FromSql r, KnownNat (Width r)) => (Query (Width r), p) -> Transaction (Vector r) Source # query_ :: ToSql p => (Query 0, p) -> Transaction () Source #

data Query (n :: Nat) Source #

The IsString instance does no validation; the limited instances discourage directly manipulating strings, with the high risk of SQL injection. A Query is tagged with a Nat representing the width of its return type.

Instances

Instances details

Show (Query n) Source #
Instance details Defined in Preql.Wire.Internal Methods showsPrec :: Int -> Query n -> ShowS # show :: Query n -> String # showList :: [Query n] -> ShowS #
IsString (Query n) Source #
Instance details Defined in Preql.Wire.Internal Methods fromString :: String -> Query n #

functions for writing SQL instances

runTransactionIO :: IsolationLevel -> Transaction a -> Connection -> IO (Either QueryError a) Source #

Run the provided Transaction. If it fails with a QueryError, roll back.

Decoding rows

class FromSql a Source #

A type which can be decoded from a SQL row. Note that this includes the canonical order of fields.

The default (empty) instance works for any type with a FromSqlField instance

Instances

Instances details

FromSql Bool Source #
Instance details Defined in Preql.FromSql.Instances Associated Types type Width Bool :: Nat Source # Methods fromSql :: RowDecoder (Width Bool) Bool Source #
FromSql Char Source #
Instance details Defined in Preql.FromSql.Instances Associated Types type Width Char :: Nat Source # Methods fromSql :: RowDecoder (Width Char) Char Source #
FromSql Double Source #
Instance details Defined in Preql.FromSql.Instances Associated Types type Width Double :: Nat Source # Methods fromSql :: RowDecoder (Width Double) Double Source #
FromSql Float Source #
Instance details Defined in Preql.FromSql.Instances Associated Types type Width Float :: Nat Source # Methods fromSql :: RowDecoder (Width Float) Float Source #
FromSql Int16 Source #
Instance details Defined in Preql.FromSql.Instances Associated Types type Width Int16 :: Nat Source # Methods fromSql :: RowDecoder (Width Int16) Int16 Source #
FromSql Int32 Source #
Instance details Defined in Preql.FromSql.Instances Associated Types type Width Int32 :: Nat Source # Methods fromSql :: RowDecoder (Width Int32) Int32 Source #
FromSql Int64 Source #
Instance details Defined in Preql.FromSql.Instances Associated Types type Width Int64 :: Nat Source # Methods fromSql :: RowDecoder (Width Int64) Int64 Source #
FromSql ByteString Source #
Instance details Defined in Preql.FromSql.Instances Associated Types type Width ByteString :: Nat Source # Methods fromSql :: RowDecoder (Width ByteString) ByteString Source #
FromSql ByteString Source #
Instance details Defined in Preql.FromSql.Instances Associated Types type Width ByteString :: Nat Source # Methods fromSql :: RowDecoder (Width ByteString) ByteString Source #
FromSql String Source #
Instance details Defined in Preql.FromSql.Instances Associated Types type Width String :: Nat Source # Methods fromSql :: RowDecoder (Width String) String Source #
FromSql Text Source #
Instance details Defined in Preql.FromSql.Instances Associated Types type Width Text :: Nat Source # Methods fromSql :: RowDecoder (Width Text) Text Source #
FromSql UTCTime Source #
Instance details Defined in Preql.FromSql.Instances Associated Types type Width UTCTime :: Nat Source # Methods fromSql :: RowDecoder (Width UTCTime) UTCTime Source #
FromSql Value Source #
Instance details Defined in Preql.FromSql.Instances Associated Types type Width Value :: Nat Source # Methods fromSql :: RowDecoder (Width Value) Value Source #
FromSql Text Source #
Instance details Defined in Preql.FromSql.Instances Associated Types type Width Text :: Nat Source # Methods fromSql :: RowDecoder (Width Text) Text Source #
FromSql UUID Source #
Instance details Defined in Preql.FromSql.Instances Associated Types type Width UUID :: Nat Source # Methods fromSql :: RowDecoder (Width UUID) UUID Source #
FromSql Day Source #
Instance details Defined in Preql.FromSql.Instances Associated Types type Width Day :: Nat Source # Methods fromSql :: RowDecoder (Width Day) Day Source #
FromSql TimeOfDay Source #
Instance details Defined in Preql.FromSql.Instances Associated Types type Width TimeOfDay :: Nat Source # Methods fromSql :: RowDecoder (Width TimeOfDay) TimeOfDay Source #
FromSql Oid Source #
Instance details Defined in Preql.FromSql.Instances Associated Types type Width Oid :: Nat Source # Methods fromSql :: RowDecoder (Width Oid) Oid Source #
FromSql PgName Source #
Instance details Defined in Preql.FromSql.Instances Associated Types type Width PgName :: Nat Source # Methods fromSql :: RowDecoder (Width PgName) PgName Source #
FromSql TimeTZ Source #
Instance details Defined in Preql.FromSql.Instances Associated Types type Width TimeTZ :: Nat Source # Methods fromSql :: RowDecoder (Width TimeTZ) TimeTZ Source #
FromSqlField a => FromSql (Maybe a) Source #
Instance details Defined in Preql.FromSql.Instances Associated Types type Width (Maybe a) :: Nat Source # Methods fromSql :: RowDecoder (Width (Maybe a)) (Maybe a) Source #
(FromSql a, FromSql b) => FromSql (a, b) Source #
Instance details Defined in Preql.FromSql.Instances Associated Types type Width (a, b) :: Nat Source # Methods fromSql :: RowDecoder (Width (a, b)) (a, b) Source #
(FromSql a, FromSql b, FromSql c) => FromSql (a, b, c) Source #
Instance details Defined in Preql.FromSql.Instances Associated Types type Width (a, b, c) :: Nat Source # Methods fromSql :: RowDecoder (Width (a, b, c)) (a, b, c) Source #
(FromSql a, FromSql b, FromSql c, FromSql d) => FromSql (a, b, c, d) Source #
Instance details Defined in Preql.FromSql.Instances Associated Types type Width (a, b, c, d) :: Nat Source # Methods fromSql :: RowDecoder (Width (a, b, c, d)) (a, b, c, d) Source #
(FromSql a, FromSql b, FromSql c, FromSql d, FromSql e) => FromSql (a, b, c, d, e) Source #
Instance details Defined in Preql.FromSql.Instances Associated Types type Width (a, b, c, d, e) :: Nat Source # Methods fromSql :: RowDecoder (Width (a, b, c, d, e)) (a, b, c, d, e) Source #
(FromSql a, FromSql b, FromSql c, FromSql d, FromSql e, FromSql f) => FromSql (a, b, c, d, e, f) Source #
Instance details Defined in Preql.FromSql.Instances Associated Types type Width (a, b, c, d, e, f) :: Nat Source # Methods fromSql :: RowDecoder (Width (a, b, c, d, e, f)) (a, b, c, d, e, f) Source #
(FromSql a, FromSql b, FromSql c, FromSql d, FromSql e, FromSql f, FromSql g) => FromSql (a, b, c, d, e, f, g) Source #
Instance details Defined in Preql.FromSql.Instances Associated Types type Width (a, b, c, d, e, f, g) :: Nat Source # Methods fromSql :: RowDecoder (Width (a, b, c, d, e, f, g)) (a, b, c, d, e, f, g) Source #
(FromSql a, FromSql b, FromSql c, FromSql d, FromSql e, FromSql f, FromSql g, FromSql h) => FromSql (a, b, c, d, e, f, g, h) Source #
Instance details Defined in Preql.FromSql.Instances Associated Types type Width (a, b, c, d, e, f, g, h) :: Nat Source # Methods fromSql :: RowDecoder (Width (a, b, c, d, e, f, g, h)) (a, b, c, d, e, f, g, h) Source #
(FromSql a, FromSql b, FromSql c, FromSql d, FromSql e, FromSql f, FromSql g, FromSql h, FromSql i) => FromSql (a, b, c, d, e, f, g, h, i) Source #
Instance details Defined in Preql.FromSql.Instances Associated Types type Width (a, b, c, d, e, f, g, h, i) :: Nat Source # Methods fromSql :: RowDecoder (Width (a, b, c, d, e, f, g, h, i)) (a, b, c, d, e, f, g, h, i) Source #
(FromSql a, FromSql b, FromSql c, FromSql d, FromSql e, FromSql f, FromSql g, FromSql h, FromSql i, FromSql j) => FromSql (a, b, c, d, e, f, g, h, i, j) Source #
Instance details Defined in Preql.FromSql.Instances Associated Types type Width (a, b, c, d, e, f, g, h, i, j) :: Nat Source # Methods fromSql :: RowDecoder (Width (a, b, c, d, e, f, g, h, i, j)) (a, b, c, d, e, f, g, h, i, j) Source #
(FromSql a, FromSql b, FromSql c, FromSql d, FromSql e, FromSql f, FromSql g, FromSql h, FromSql i, FromSql j, FromSql k) => FromSql (a, b, c, d, e, f, g, h, i, j, k) Source #
Instance details Defined in Preql.FromSql.Instances Associated Types type Width (a, b, c, d, e, f, g, h, i, j, k) :: Nat Source # Methods fromSql :: RowDecoder (Width (a, b, c, d, e, f, g, h, i, j, k)) (a, b, c, d, e, f, g, h, i, j, k) Source #
(FromSql a, FromSql b, FromSql c, FromSql d, FromSql e, FromSql f, FromSql g, FromSql h, FromSql i, FromSql j, FromSql k, FromSql l) => FromSql (a, b, c, d, e, f, g, h, i, j, k, l) Source #
Instance details Defined in Preql.FromSql.Instances Associated Types type Width (a, b, c, d, e, f, g, h, i, j, k, l) :: Nat Source # Methods fromSql :: RowDecoder (Width (a, b, c, d, e, f, g, h, i, j, k, l)) (a, b, c, d, e, f, g, h, i, j, k, l) Source #
(FromSql a, FromSql b, FromSql c, FromSql d, FromSql e, FromSql f, FromSql g, FromSql h, FromSql i, FromSql j, FromSql k, FromSql l, FromSql m) => FromSql (a, b, c, d, e, f, g, h, i, j, k, l, m) Source #
Instance details Defined in Preql.FromSql.Instances Associated Types type Width (a, b, c, d, e, f, g, h, i, j, k, l, m) :: Nat Source # Methods fromSql :: RowDecoder (Width (a, b, c, d, e, f, g, h, i, j, k, l, m)) (a, b, c, d, e, f, g, h, i, j, k, l, m) Source #
(FromSql a, FromSql b, FromSql c, FromSql d, FromSql e, FromSql f, FromSql g, FromSql h, FromSql i, FromSql j, FromSql k, FromSql l, FromSql m, FromSql n) => FromSql (a, b, c, d, e, f, g, h, i, j, k, l, m, n) Source #
Instance details Defined in Preql.FromSql.Instances Associated Types type Width (a, b, c, d, e, f, g, h, i, j, k, l, m, n) :: Nat Source # Methods fromSql :: RowDecoder (Width (a, b, c, d, e, f, g, h, i, j, k, l, m, n)) (a, b, c, d, e, f, g, h, i, j, k, l, m, n) Source #
(FromSql a, FromSql b, FromSql c, FromSql d, FromSql e, FromSql f, FromSql g, FromSql h, FromSql i, FromSql j, FromSql k, FromSql l, FromSql m, FromSql n, FromSql o) => FromSql (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) Source #
Instance details Defined in Preql.FromSql.Instances Associated Types type Width (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) :: Nat Source # Methods fromSql :: RowDecoder (Width (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)) (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) Source #
(FromSql a, FromSql b, FromSql c, FromSql d, FromSql e, FromSql f, FromSql g, FromSql h, FromSql i, FromSql j, FromSql k, FromSql l, FromSql m, FromSql n, FromSql o, FromSql p) => FromSql (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p) Source #
Instance details Defined in Preql.FromSql.Instances Associated Types type Width (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p) :: Nat Source # Methods fromSql :: RowDecoder (Width (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p)) (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p) Source #
(FromSql a, FromSql b, FromSql c, FromSql d, FromSql e, FromSql f, FromSql g, FromSql h, FromSql i, FromSql j, FromSql k, FromSql l, FromSql m, FromSql n, FromSql o, FromSql p, FromSql q) => FromSql (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q) Source #
Instance details Defined in Preql.FromSql.Instances Associated Types type Width (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q) :: Nat Source # Methods fromSql :: RowDecoder (Width (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q)) (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q) Source #
(FromSql a, FromSql b, FromSql c, FromSql d, FromSql e, FromSql f, FromSql g, FromSql h, FromSql i, FromSql j, FromSql k, FromSql l, FromSql m, FromSql n, FromSql o, FromSql p, FromSql q, FromSql r) => FromSql (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r) Source #
Instance details Defined in Preql.FromSql.Instances Associated Types type Width (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r) :: Nat Source # Methods fromSql :: RowDecoder (Width (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r)) (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r) Source #
(FromSql a, FromSql b, FromSql c, FromSql d, FromSql e, FromSql f, FromSql g, FromSql h, FromSql i, FromSql j, FromSql k, FromSql l, FromSql m, FromSql n, FromSql o, FromSql p, FromSql q, FromSql r, FromSql s) => FromSql (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s) Source #
Instance details Defined in Preql.FromSql.Instances Associated Types type Width (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s) :: Nat Source # Methods fromSql :: RowDecoder (Width (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s)) (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s) Source #
(FromSql a, FromSql b, FromSql c, FromSql d, FromSql e, FromSql f, FromSql g, FromSql h, FromSql i, FromSql j, FromSql k, FromSql l, FromSql m, FromSql n, FromSql o, FromSql p, FromSql q, FromSql r, FromSql s, FromSql t) => FromSql (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t) Source #
Instance details Defined in Preql.FromSql.Instances Associated Types type Width (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t) :: Nat Source # Methods fromSql :: RowDecoder (Width (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t)) (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t) Source #
(FromSql a, FromSql b, FromSql c, FromSql d, FromSql e, FromSql f, FromSql g, FromSql h, FromSql i, FromSql j, FromSql k, FromSql l, FromSql m, FromSql n, FromSql o, FromSql p, FromSql q, FromSql r, FromSql s, FromSql t, FromSql u) => FromSql (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u) Source #
Instance details Defined in Preql.FromSql.Instances Associated Types type Width (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u) :: Nat Source # Methods fromSql :: RowDecoder (Width (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u)) (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u) Source #
(FromSql a, FromSql b, FromSql c, FromSql d, FromSql e, FromSql f, FromSql g, FromSql h, FromSql i, FromSql j, FromSql k, FromSql l, FromSql m, FromSql n, FromSql o, FromSql p, FromSql q, FromSql r, FromSql s, FromSql t, FromSql u, FromSql v) => FromSql (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v) Source #
Instance details Defined in Preql.FromSql.Instances Associated Types type Width (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v) :: Nat Source # Methods fromSql :: RowDecoder (Width (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v)) (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v) Source #
(FromSql a, FromSql b, FromSql c, FromSql d, FromSql e, FromSql f, FromSql g, FromSql h, FromSql i, FromSql j, FromSql k, FromSql l, FromSql m, FromSql n, FromSql o, FromSql p, FromSql q, FromSql r, FromSql s, FromSql t, FromSql u, FromSql v, FromSql w) => FromSql (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w) Source #
Instance details Defined in Preql.FromSql.Instances Associated Types type Width (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w) :: Nat Source # Methods fromSql :: RowDecoder (Width (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w)) (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w) Source #
(FromSql a, FromSql b, FromSql c, FromSql d, FromSql e, FromSql f, FromSql g, FromSql h, FromSql i, FromSql j, FromSql k, FromSql l, FromSql m, FromSql n, FromSql o, FromSql p, FromSql q, FromSql r, FromSql s, FromSql t, FromSql u, FromSql v, FromSql w, FromSql x) => FromSql (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x) Source #
Instance details Defined in Preql.FromSql.Instances Associated Types type Width (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x) :: Nat Source # Methods fromSql :: RowDecoder (Width (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x)) (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x) Source #
(FromSql a, FromSql b, FromSql c, FromSql d, FromSql e, FromSql f, FromSql g, FromSql h, FromSql i, FromSql j, FromSql k, FromSql l, FromSql m, FromSql n, FromSql o, FromSql p, FromSql q, FromSql r, FromSql s, FromSql t, FromSql u, FromSql v, FromSql w, FromSql x, FromSql y) => FromSql (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y) Source #
Instance details Defined in Preql.FromSql.Instances Associated Types type Width (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y) :: Nat Source # Methods fromSql :: RowDecoder (Width (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y)) (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y) Source #

class FromSqlField a Source #

Minimal complete definition

fromSqlField

Instances

Instances details

FromSqlField Bool Source #
Instance details Defined in Preql.FromSql.Instances Methods fromSqlField :: FieldDecoder Bool Source #
FromSqlField Char Source #
Instance details Defined in Preql.FromSql.Instances Methods fromSqlField :: FieldDecoder Char Source #
FromSqlField Double Source #
Instance details Defined in Preql.FromSql.Instances Methods fromSqlField :: FieldDecoder Double Source #
FromSqlField Float Source #
Instance details Defined in Preql.FromSql.Instances Methods fromSqlField :: FieldDecoder Float Source #
FromSqlField Int16 Source #
Instance details Defined in Preql.FromSql.Instances Methods fromSqlField :: FieldDecoder Int16 Source #
FromSqlField Int32 Source #
Instance details Defined in Preql.FromSql.Instances Methods fromSqlField :: FieldDecoder Int32 Source #
FromSqlField Int64 Source #
Instance details Defined in Preql.FromSql.Instances Methods fromSqlField :: FieldDecoder Int64 Source #
FromSqlField ByteString Source #	If you want to encode some more specific Haskell type via JSON, it is more efficient to use `encode` and `jsonb_bytes` directly, rather than this instance.
Instance details Defined in Preql.FromSql.Instances Methods fromSqlField :: FieldDecoder ByteString Source #
FromSqlField ByteString Source #
Instance details Defined in Preql.FromSql.Instances Methods fromSqlField :: FieldDecoder ByteString Source #
FromSqlField String Source #
Instance details Defined in Preql.FromSql.Instances Methods fromSqlField :: FieldDecoder String Source #
FromSqlField Text Source #
Instance details Defined in Preql.FromSql.Instances Methods fromSqlField :: FieldDecoder Text Source #
FromSqlField UTCTime Source #
Instance details Defined in Preql.FromSql.Instances Methods fromSqlField :: FieldDecoder UTCTime Source #
FromSqlField Value Source #	If you want to encode some more specific Haskell type via JSON, it is more efficient to use `fromSqlJsonField` rather than this instance.
Instance details Defined in Preql.FromSql.Instances Methods fromSqlField :: FieldDecoder Value Source #
FromSqlField Text Source #
Instance details Defined in Preql.FromSql.Instances Methods fromSqlField :: FieldDecoder Text Source #
FromSqlField UUID Source #
Instance details Defined in Preql.FromSql.Instances Methods fromSqlField :: FieldDecoder UUID Source #
FromSqlField Day Source #
Instance details Defined in Preql.FromSql.Instances Methods fromSqlField :: FieldDecoder Day Source #
FromSqlField TimeOfDay Source #
Instance details Defined in Preql.FromSql.Instances Methods fromSqlField :: FieldDecoder TimeOfDay Source #
FromSqlField Oid Source #
Instance details Defined in Preql.FromSql.Instances Methods fromSqlField :: FieldDecoder Oid Source #
FromSqlField PgName Source #
Instance details Defined in Preql.FromSql.Instances Methods fromSqlField :: FieldDecoder PgName Source #
FromSqlField TimeTZ Source #
Instance details Defined in Preql.FromSql.Instances Methods fromSqlField :: FieldDecoder TimeTZ Source #

Encoding parameters

class ToSql a Source #

ToSql a is sufficient to pass a as parameters to a paramaterized query.

Minimal complete definition

toSql

Instances

Instances details

ToSql Bool Source #
Instance details Defined in Preql.Wire.ToSql Methods toSql :: RowEncoder Bool Source #
ToSql Char Source #
Instance details Defined in Preql.Wire.ToSql Methods toSql :: RowEncoder Char Source #
ToSql Double Source #
Instance details Defined in Preql.Wire.ToSql Methods toSql :: RowEncoder Double Source #
ToSql Float Source #
Instance details Defined in Preql.Wire.ToSql Methods toSql :: RowEncoder Float Source #
ToSql Int16 Source #
Instance details Defined in Preql.Wire.ToSql Methods toSql :: RowEncoder Int16 Source #
ToSql Int32 Source #
Instance details Defined in Preql.Wire.ToSql Methods toSql :: RowEncoder Int32 Source #
ToSql Int64 Source #
Instance details Defined in Preql.Wire.ToSql Methods toSql :: RowEncoder Int64 Source #
ToSql () Source #
Instance details Defined in Preql.Wire.ToSql Methods toSql :: RowEncoder () Source #
ToSql ByteString Source #
Instance details Defined in Preql.Wire.ToSql Methods toSql :: RowEncoder ByteString Source #
ToSql ByteString Source #
Instance details Defined in Preql.Wire.ToSql Methods toSql :: RowEncoder ByteString Source #
ToSql String Source #
Instance details Defined in Preql.Wire.ToSql Methods toSql :: RowEncoder String Source #
ToSql Text Source #
Instance details Defined in Preql.Wire.ToSql Methods toSql :: RowEncoder Text Source #
ToSql UTCTime Source #
Instance details Defined in Preql.Wire.ToSql Methods toSql :: RowEncoder UTCTime Source #
ToSql Value Source #
Instance details Defined in Preql.Wire.ToSql Methods toSql :: RowEncoder Value Source #
ToSql Text Source #
Instance details Defined in Preql.Wire.ToSql Methods toSql :: RowEncoder Text Source #
ToSql UUID Source #
Instance details Defined in Preql.Wire.ToSql Methods toSql :: RowEncoder UUID Source #
ToSql Day Source #
Instance details Defined in Preql.Wire.ToSql Methods toSql :: RowEncoder Day Source #
ToSql TimeOfDay Source #
Instance details Defined in Preql.Wire.ToSql Methods toSql :: RowEncoder TimeOfDay Source #
ToSql TimeTZ Source #
Instance details Defined in Preql.Wire.ToSql Methods toSql :: RowEncoder TimeTZ Source #
(ToSqlField a, ToSqlField b) => ToSql (a, b) Source #
Instance details Defined in Preql.Wire.ToSql Methods toSql :: RowEncoder (a, b) Source #
(ToSqlField a, ToSqlField b, ToSqlField c) => ToSql (a, b, c) Source #
Instance details Defined in Preql.Wire.ToSql Methods toSql :: RowEncoder (a, b, c) Source #
(ToSqlField a, ToSqlField b, ToSqlField c, ToSqlField d) => ToSql (a, b, c, d) Source #
Instance details Defined in Preql.Wire.ToSql Methods toSql :: RowEncoder (a, b, c, d) Source #
(ToSqlField a, ToSqlField b, ToSqlField c, ToSqlField d, ToSqlField e) => ToSql (a, b, c, d, e) Source #
Instance details Defined in Preql.Wire.ToSql Methods toSql :: RowEncoder (a, b, c, d, e) Source #
(ToSqlField a, ToSqlField b, ToSqlField c, ToSqlField d, ToSqlField e, ToSqlField f) => ToSql (a, b, c, d, e, f) Source #
Instance details Defined in Preql.Wire.ToSql Methods toSql :: RowEncoder (a, b, c, d, e, f) Source #
(ToSqlField a, ToSqlField b, ToSqlField c, ToSqlField d, ToSqlField e, ToSqlField f, ToSqlField g) => ToSql (a, b, c, d, e, f, g) Source #
Instance details Defined in Preql.Wire.ToSql Methods toSql :: RowEncoder (a, b, c, d, e, f, g) Source #
(ToSqlField a, ToSqlField b, ToSqlField c, ToSqlField d, ToSqlField e, ToSqlField f, ToSqlField g, ToSqlField h) => ToSql (a, b, c, d, e, f, g, h) Source #
Instance details Defined in Preql.Wire.ToSql Methods toSql :: RowEncoder (a, b, c, d, e, f, g, h) Source #
(ToSqlField a, ToSqlField b, ToSqlField c, ToSqlField d, ToSqlField e, ToSqlField f, ToSqlField g, ToSqlField h, ToSqlField i) => ToSql (a, b, c, d, e, f, g, h, i) Source #
Instance details Defined in Preql.Wire.ToSql Methods toSql :: RowEncoder (a, b, c, d, e, f, g, h, i) Source #
(ToSqlField a, ToSqlField b, ToSqlField c, ToSqlField d, ToSqlField e, ToSqlField f, ToSqlField g, ToSqlField h, ToSqlField i, ToSqlField j) => ToSql (a, b, c, d, e, f, g, h, i, j) Source #
Instance details Defined in Preql.Wire.ToSql Methods toSql :: RowEncoder (a, b, c, d, e, f, g, h, i, j) Source #
(ToSqlField a, ToSqlField b, ToSqlField c, ToSqlField d, ToSqlField e, ToSqlField f, ToSqlField g, ToSqlField h, ToSqlField i, ToSqlField j, ToSqlField k) => ToSql (a, b, c, d, e, f, g, h, i, j, k) Source #
Instance details Defined in Preql.Wire.ToSql Methods toSql :: RowEncoder (a, b, c, d, e, f, g, h, i, j, k) Source #
(ToSqlField a, ToSqlField b, ToSqlField c, ToSqlField d, ToSqlField e, ToSqlField f, ToSqlField g, ToSqlField h, ToSqlField i, ToSqlField j, ToSqlField k, ToSqlField l) => ToSql (a, b, c, d, e, f, g, h, i, j, k, l) Source #
Instance details Defined in Preql.Wire.ToSql Methods toSql :: RowEncoder (a, b, c, d, e, f, g, h, i, j, k, l) Source #
(ToSqlField a, ToSqlField b, ToSqlField c, ToSqlField d, ToSqlField e, ToSqlField f, ToSqlField g, ToSqlField h, ToSqlField i, ToSqlField j, ToSqlField k, ToSqlField l, ToSqlField m) => ToSql (a, b, c, d, e, f, g, h, i, j, k, l, m) Source #
Instance details Defined in Preql.Wire.ToSql Methods toSql :: RowEncoder (a, b, c, d, e, f, g, h, i, j, k, l, m) Source #
(ToSqlField a, ToSqlField b, ToSqlField c, ToSqlField d, ToSqlField e, ToSqlField f, ToSqlField g, ToSqlField h, ToSqlField i, ToSqlField j, ToSqlField k, ToSqlField l, ToSqlField m, ToSqlField n) => ToSql (a, b, c, d, e, f, g, h, i, j, k, l, m, n) Source #
Instance details Defined in Preql.Wire.ToSql Methods toSql :: RowEncoder (a, b, c, d, e, f, g, h, i, j, k, l, m, n) Source #
(ToSqlField a, ToSqlField b, ToSqlField c, ToSqlField d, ToSqlField e, ToSqlField f, ToSqlField g, ToSqlField h, ToSqlField i, ToSqlField j, ToSqlField k, ToSqlField l, ToSqlField m, ToSqlField n, ToSqlField o) => ToSql (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) Source #
Instance details Defined in Preql.Wire.ToSql Methods toSql :: RowEncoder (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) Source #
(ToSqlField a, ToSqlField b, ToSqlField c, ToSqlField d, ToSqlField e, ToSqlField f, ToSqlField g, ToSqlField h, ToSqlField i, ToSqlField j, ToSqlField k, ToSqlField l, ToSqlField m, ToSqlField n, ToSqlField o, ToSqlField p) => ToSql (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p) Source #
Instance details Defined in Preql.Wire.ToSql Methods toSql :: RowEncoder (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p) Source #
(ToSqlField a, ToSqlField b, ToSqlField c, ToSqlField d, ToSqlField e, ToSqlField f, ToSqlField g, ToSqlField h, ToSqlField i, ToSqlField j, ToSqlField k, ToSqlField l, ToSqlField m, ToSqlField n, ToSqlField o, ToSqlField p, ToSqlField q) => ToSql (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q) Source #
Instance details Defined in Preql.Wire.ToSql Methods toSql :: RowEncoder (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q) Source #
(ToSqlField a, ToSqlField b, ToSqlField c, ToSqlField d, ToSqlField e, ToSqlField f, ToSqlField g, ToSqlField h, ToSqlField i, ToSqlField j, ToSqlField k, ToSqlField l, ToSqlField m, ToSqlField n, ToSqlField o, ToSqlField p, ToSqlField q, ToSqlField r) => ToSql (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r) Source #
Instance details Defined in Preql.Wire.ToSql Methods toSql :: RowEncoder (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r) Source #
(ToSqlField a, ToSqlField b, ToSqlField c, ToSqlField d, ToSqlField e, ToSqlField f, ToSqlField g, ToSqlField h, ToSqlField i, ToSqlField j, ToSqlField k, ToSqlField l, ToSqlField m, ToSqlField n, ToSqlField o, ToSqlField p, ToSqlField q, ToSqlField r, ToSqlField s) => ToSql (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s) Source #
Instance details Defined in Preql.Wire.ToSql Methods toSql :: RowEncoder (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s) Source #
(ToSqlField a, ToSqlField b, ToSqlField c, ToSqlField d, ToSqlField e, ToSqlField f, ToSqlField g, ToSqlField h, ToSqlField i, ToSqlField j, ToSqlField k, ToSqlField l, ToSqlField m, ToSqlField n, ToSqlField o, ToSqlField p, ToSqlField q, ToSqlField r, ToSqlField s, ToSqlField t) => ToSql (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t) Source #
Instance details Defined in Preql.Wire.ToSql Methods toSql :: RowEncoder (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t) Source #
(ToSqlField a, ToSqlField b, ToSqlField c, ToSqlField d, ToSqlField e, ToSqlField f, ToSqlField g, ToSqlField h, ToSqlField i, ToSqlField j, ToSqlField k, ToSqlField l, ToSqlField m, ToSqlField n, ToSqlField o, ToSqlField p, ToSqlField q, ToSqlField r, ToSqlField s, ToSqlField t, ToSqlField u) => ToSql (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u) Source #
Instance details Defined in Preql.Wire.ToSql Methods toSql :: RowEncoder (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u) Source #
(ToSqlField a, ToSqlField b, ToSqlField c, ToSqlField d, ToSqlField e, ToSqlField f, ToSqlField g, ToSqlField h, ToSqlField i, ToSqlField j, ToSqlField k, ToSqlField l, ToSqlField m, ToSqlField n, ToSqlField o, ToSqlField p, ToSqlField q, ToSqlField r, ToSqlField s, ToSqlField t, ToSqlField u, ToSqlField v) => ToSql (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v) Source #
Instance details Defined in Preql.Wire.ToSql Methods toSql :: RowEncoder (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v) Source #
(ToSqlField a, ToSqlField b, ToSqlField c, ToSqlField d, ToSqlField e, ToSqlField f, ToSqlField g, ToSqlField h, ToSqlField i, ToSqlField j, ToSqlField k, ToSqlField l, ToSqlField m, ToSqlField n, ToSqlField o, ToSqlField p, ToSqlField q, ToSqlField r, ToSqlField s, ToSqlField t, ToSqlField u, ToSqlField v, ToSqlField w) => ToSql (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w) Source #
Instance details Defined in Preql.Wire.ToSql Methods toSql :: RowEncoder (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w) Source #
(ToSqlField a, ToSqlField b, ToSqlField c, ToSqlField d, ToSqlField e, ToSqlField f, ToSqlField g, ToSqlField h, ToSqlField i, ToSqlField j, ToSqlField k, ToSqlField l, ToSqlField m, ToSqlField n, ToSqlField o, ToSqlField p, ToSqlField q, ToSqlField r, ToSqlField s, ToSqlField t, ToSqlField u, ToSqlField v, ToSqlField w, ToSqlField x) => ToSql (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x) Source #
Instance details Defined in Preql.Wire.ToSql Methods toSql :: RowEncoder (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x) Source #
(ToSqlField a, ToSqlField b, ToSqlField c, ToSqlField d, ToSqlField e, ToSqlField f, ToSqlField g, ToSqlField h, ToSqlField i, ToSqlField j, ToSqlField k, ToSqlField l, ToSqlField m, ToSqlField n, ToSqlField o, ToSqlField p, ToSqlField q, ToSqlField r, ToSqlField s, ToSqlField t, ToSqlField u, ToSqlField v, ToSqlField w, ToSqlField x, ToSqlField y) => ToSql (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y) Source #
Instance details Defined in Preql.Wire.ToSql Methods toSql :: RowEncoder (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y) Source #

class ToSqlField a Source #

Types which can be encoded to a single Postgres field.

Minimal complete definition

toSqlField

Instances

Instances details

ToSqlField Bool Source #
Instance details Defined in Preql.Wire.ToSql Methods toSqlField :: FieldEncoder Bool Source #
ToSqlField Char Source #
Instance details Defined in Preql.Wire.ToSql Methods toSqlField :: FieldEncoder Char Source #
ToSqlField Double Source #
Instance details Defined in Preql.Wire.ToSql Methods toSqlField :: FieldEncoder Double Source #
ToSqlField Float Source #
Instance details Defined in Preql.Wire.ToSql Methods toSqlField :: FieldEncoder Float Source #
ToSqlField Int16 Source #
Instance details Defined in Preql.Wire.ToSql Methods toSqlField :: FieldEncoder Int16 Source #
ToSqlField Int32 Source #
Instance details Defined in Preql.Wire.ToSql Methods toSqlField :: FieldEncoder Int32 Source #
ToSqlField Int64 Source #
Instance details Defined in Preql.Wire.ToSql Methods toSqlField :: FieldEncoder Int64 Source #
ToSqlField ByteString Source #	If you want to encode some more specific Haskell type via JSON, it is more efficient to use `encode` and `jsonb_bytes` directly, rather than this instance.
Instance details Defined in Preql.Wire.ToSql Methods toSqlField :: FieldEncoder ByteString Source #
ToSqlField ByteString Source #
Instance details Defined in Preql.Wire.ToSql Methods toSqlField :: FieldEncoder ByteString Source #
ToSqlField String Source #
Instance details Defined in Preql.Wire.ToSql Methods toSqlField :: FieldEncoder String Source #
ToSqlField Text Source #
Instance details Defined in Preql.Wire.ToSql Methods toSqlField :: FieldEncoder Text Source #
ToSqlField UTCTime Source #
Instance details Defined in Preql.Wire.ToSql Methods toSqlField :: FieldEncoder UTCTime Source #
ToSqlField Value Source #	If you want to encode some more specific Haskell type via JSON, it is more efficient to use `toSqlJsonField` rather than this instance.
Instance details Defined in Preql.Wire.ToSql Methods toSqlField :: FieldEncoder Value Source #
ToSqlField Text Source #
Instance details Defined in Preql.Wire.ToSql Methods toSqlField :: FieldEncoder Text Source #
ToSqlField UUID Source #
Instance details Defined in Preql.Wire.ToSql Methods toSqlField :: FieldEncoder UUID Source #
ToSqlField Day Source #
Instance details Defined in Preql.Wire.ToSql Methods toSqlField :: FieldEncoder Day Source #
ToSqlField TimeOfDay Source #
Instance details Defined in Preql.Wire.ToSql Methods toSqlField :: FieldEncoder TimeOfDay Source #
ToSqlField TimeTZ Source #
Instance details Defined in Preql.Wire.ToSql Methods toSqlField :: FieldEncoder TimeTZ Source #

Errors

data QueryError Source #

Constructors

ConnectionError Text
DecoderError FieldError
PgTypeMismatch [TypeMismatch]

Instances

Instances details

Eq QueryError Source #
Instance details Defined in Preql.Wire.Errors Methods (==) :: QueryError -> QueryError -> Bool # (/=) :: QueryError -> QueryError -> Bool #
Show QueryError Source #
Instance details Defined in Preql.Wire.Errors Methods showsPrec :: Int -> QueryError -> ShowS # show :: QueryError -> String # showList :: [QueryError] -> ShowS #
ToJSON QueryError Source #
Instance details Defined in Preql.Wire.Errors Methods toJSON :: QueryError -> Value # toEncoding :: QueryError -> Encoding # toJSONList :: [QueryError] -> Value # toEncodingList :: [QueryError] -> Encoding #
FromJSON QueryError Source #
Instance details Defined in Preql.Wire.Errors Methods parseJSON :: Value -> Parser QueryError # parseJSONList :: Value -> Parser [QueryError] #
Exception QueryError Source #
Instance details Defined in Preql.Wire.Errors Methods toException :: QueryError -> SomeException # fromException :: SomeException -> Maybe QueryError # displayException :: QueryError -> String #

data FieldError Source #

A decoding error with information about the row & column of the result where it occured.

Constructors

FieldError
Fields errorRow :: Int errorColumn :: Int failure :: UnlocatedFieldError

Instances

Instances details

Eq FieldError Source #
Instance details Defined in Preql.Wire.Errors Methods (==) :: FieldError -> FieldError -> Bool # (/=) :: FieldError -> FieldError -> Bool #
Show FieldError Source #
Instance details Defined in Preql.Wire.Errors Methods showsPrec :: Int -> FieldError -> ShowS # show :: FieldError -> String # showList :: [FieldError] -> ShowS #
ToJSON FieldError Source #
Instance details Defined in Preql.Wire.Errors Methods toJSON :: FieldError -> Value # toEncoding :: FieldError -> Encoding # toJSONList :: [FieldError] -> Value # toEncodingList :: [FieldError] -> Encoding #
FromJSON FieldError Source #
Instance details Defined in Preql.Wire.Errors Methods parseJSON :: Value -> Parser FieldError # parseJSONList :: Value -> Parser [FieldError] #
Exception FieldError Source #
Instance details Defined in Preql.Wire.Errors Methods toException :: FieldError -> SomeException # fromException :: SomeException -> Maybe FieldError # displayException :: FieldError -> String #

data UnlocatedFieldError Source #

Errors that can occur in decoding a single field.

Constructors

UnexpectedNull
ParseFailure Text

Instances

Instances details

Eq UnlocatedFieldError Source #
Instance details Defined in Preql.Wire.Errors Methods (==) :: UnlocatedFieldError -> UnlocatedFieldError -> Bool # (/=) :: UnlocatedFieldError -> UnlocatedFieldError -> Bool #
Show UnlocatedFieldError Source #
Instance details Defined in Preql.Wire.Errors Methods showsPrec :: Int -> UnlocatedFieldError -> ShowS # show :: UnlocatedFieldError -> String # showList :: [UnlocatedFieldError] -> ShowS #
ToJSON UnlocatedFieldError Source #
Instance details Defined in Preql.Wire.Errors Methods toJSON :: UnlocatedFieldError -> Value # toEncoding :: UnlocatedFieldError -> Encoding # toJSONList :: [UnlocatedFieldError] -> Value # toEncodingList :: [UnlocatedFieldError] -> Encoding #
FromJSON UnlocatedFieldError Source #
Instance details Defined in Preql.Wire.Errors Methods parseJSON :: Value -> Parser UnlocatedFieldError # parseJSONList :: Value -> Parser [UnlocatedFieldError] #

data TypeMismatch Source #

Constructors

TypeMismatch
Fields expected :: PgType actual :: Oid column :: Int columnName :: Maybe Text

Instances

Instances details

Eq TypeMismatch Source #
Instance details Defined in Preql.Wire.Errors Methods (==) :: TypeMismatch -> TypeMismatch -> Bool # (/=) :: TypeMismatch -> TypeMismatch -> Bool #
Show TypeMismatch Source #
Instance details Defined in Preql.Wire.Errors Methods showsPrec :: Int -> TypeMismatch -> ShowS # show :: TypeMismatch -> String # showList :: [TypeMismatch] -> ShowS #
ToJSON TypeMismatch Source #
Instance details Defined in Preql.Wire.Errors Methods toJSON :: TypeMismatch -> Value # toEncoding :: TypeMismatch -> Encoding # toJSONList :: [TypeMismatch] -> Value # toEncodingList :: [TypeMismatch] -> Encoding #
FromJSON TypeMismatch Source #
Instance details Defined in Preql.Wire.Errors Methods parseJSON :: Value -> Parser TypeMismatch # parseJSONList :: Value -> Parser [TypeMismatch] #

encoding & decoding to wire format

module Preql.Wire