Preql

Documentation

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

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

Run multiple queries in a transaction.

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

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

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)

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)

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

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

Instances

SQL m => SQL (MaybeT m)

Defined in Preql.Effect

Methods

runTransaction' :: IsolationLevel -> Transaction a -> MaybeT m a

withConnection :: (Connection -> MaybeT m a) -> MaybeT m a

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

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

SQL m => SQL (StateT s m)

Defined in Preql.Effect

Methods

runTransaction' :: IsolationLevel -> Transaction a -> StateT s m a

withConnection :: (Connection -> StateT s m a) -> StateT s m a

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

queryOn_ :: ToSql p => Connection -> (Query 0, p) -> StateT s m ()

SQL m => SQL (ReaderT r m)

Defined in Preql.Effect

Methods

runTransaction' :: IsolationLevel -> Transaction a -> ReaderT r m a

withConnection :: (Connection -> ReaderT r m a) -> ReaderT r m a

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

queryOn_ :: ToSql p => Connection -> (Query 0, p) -> ReaderT r m ()

SQL (ReaderT Connection IO)

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.

Defined in Preql.Effect

Methods

runTransaction' :: IsolationLevel -> Transaction a -> ReaderT Connection IO a

withConnection :: (Connection -> ReaderT Connection IO a) -> ReaderT Connection IO a

queryOn :: (ToSql p, FromSql r, KnownNat (Width r)) => Connection -> (Query (Width r), p) -> ReaderT Connection IO (Vector r)

queryOn_ :: ToSql p => Connection -> (Query 0, p) -> ReaderT Connection IO ()

SQL m => SQL (ExceptT e m)

Defined in Preql.Effect

Methods

runTransaction' :: IsolationLevel -> Transaction a -> ExceptT e m a

withConnection :: (Connection -> ExceptT e m a) -> ExceptT e m a

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

queryOn_ :: ToSql p => Connection -> (Query 0, p) -> ExceptT e m ()

SQL m => SQL (StateT s m)

Defined in Preql.Effect

Methods

runTransaction' :: IsolationLevel -> Transaction a -> StateT s m a

withConnection :: (Connection -> StateT s m a) -> StateT s m a

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

queryOn_ :: ToSql p => Connection -> (Query 0, p) -> StateT s m ()

(Monoid w, SQL m) => SQL (RWST r w s m)

Defined in Preql.Effect

Methods

runTransaction' :: IsolationLevel -> Transaction a -> RWST r w s m a

withConnection :: (Connection -> RWST r w s m a) -> RWST r w s m a

queryOn :: (ToSql p, FromSql r0, KnownNat (Width r0)) => Connection -> (Query (Width r0), p) -> RWST r w s m (Vector r0)

queryOn_ :: ToSql p => Connection -> (Query 0, p) -> RWST r w s m ()

(Monoid w, SQL m) => SQL (RWST r w s m)

Defined in Preql.Effect

Methods

runTransaction' :: IsolationLevel -> Transaction a -> RWST r w s m a

withConnection :: (Connection -> RWST r w s m a) -> RWST r w s m a

queryOn :: (ToSql p, FromSql r0, KnownNat (Width r0)) => Connection -> (Query (Width r0), p) -> RWST r w s m (Vector r0)

queryOn_ :: ToSql p => Connection -> (Query 0, p) -> RWST r w s m ()

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

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)

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 ()

Run a parameterized query that does not return data.

Instances

(Monad m, SQL m) => SqlQuery m

Defined in Preql.Effect

Methods

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

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

SqlQuery Transaction

Defined in Preql.Effect

Methods

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

query_ :: ToSql p => (Query 0, p) -> Transaction ()

sql :: QuasiQuoter

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

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

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

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

Instances

Monad Transaction

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

Defined in Preql.Effect.Internal

Methods

fmap :: (a -> b) -> Transaction a -> Transaction b

(<$) :: a -> Transaction b -> Transaction a

Applicative Transaction

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

Defined in Preql.Effect

Methods

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

query_ :: ToSql p => (Query 0, p) -> Transaction ()

data Query (n :: Nat)

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

Show (Query n)

Defined in Preql.Wire.Internal

Methods

showsPrec :: Int -> Query n -> ShowS

show :: Query n -> String

showList :: [Query n] -> ShowS

IsString (Query n)

Defined in Preql.Wire.Internal

Methods

fromString :: String -> Query n

functions for writing SQL instances

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

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

Decoding rows

class FromSql a

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. This is convenient when you define your own Postgres types, since they should be instances of both type classes.

Instances

FromSql Bool

Defined in Preql.FromSql.Instances

Associated Types

type Width Bool :: Nat

Methods

fromSql :: RowDecoder (Width Bool) Bool

FromSql Char

Defined in Preql.FromSql.Instances

Associated Types

type Width Char :: Nat

Methods

fromSql :: RowDecoder (Width Char) Char

FromSql Double

Defined in Preql.FromSql.Instances

Associated Types

type Width Double :: Nat

Methods

fromSql :: RowDecoder (Width Double) Double

FromSql Float

Defined in Preql.FromSql.Instances

Associated Types

type Width Float :: Nat

Methods

fromSql :: RowDecoder (Width Float) Float

FromSql Int16

Defined in Preql.FromSql.Instances

Associated Types

type Width Int16 :: Nat

Methods

fromSql :: RowDecoder (Width Int16) Int16

FromSql Int32

Defined in Preql.FromSql.Instances

Associated Types

type Width Int32 :: Nat

Methods

fromSql :: RowDecoder (Width Int32) Int32

FromSql Int64

Defined in Preql.FromSql.Instances

Associated Types

type Width Int64 :: Nat

Methods

fromSql :: RowDecoder (Width Int64) Int64

FromSql ByteString

Defined in Preql.FromSql.Instances

Associated Types

type Width ByteString :: Nat

Methods

fromSql :: RowDecoder (Width ByteString) ByteString

FromSql ByteString

Defined in Preql.FromSql.Instances

Associated Types

type Width ByteString :: Nat

Methods

fromSql :: RowDecoder (Width ByteString) ByteString

FromSql String

Defined in Preql.FromSql.Instances

Associated Types

type Width String :: Nat

Methods

fromSql :: RowDecoder (Width String) String

FromSql Text

Defined in Preql.FromSql.Instances

Associated Types

type Width Text :: Nat

Methods

fromSql :: RowDecoder (Width Text) Text

FromSql UTCTime

Defined in Preql.FromSql.Instances

Associated Types

type Width UTCTime :: Nat

Methods

fromSql :: RowDecoder (Width UTCTime) UTCTime

FromSql Value

Defined in Preql.FromSql.Instances

Associated Types

type Width Value :: Nat

Methods

fromSql :: RowDecoder (Width Value) Value

FromSql Text

Defined in Preql.FromSql.Instances

Associated Types

type Width Text :: Nat

Methods

fromSql :: RowDecoder (Width Text) Text

FromSql UUID

Defined in Preql.FromSql.Instances

Associated Types

type Width UUID :: Nat

Methods

fromSql :: RowDecoder (Width UUID) UUID

FromSql Day

Defined in Preql.FromSql.Instances

Associated Types

type Width Day :: Nat

Methods

fromSql :: RowDecoder (Width Day) Day

FromSql TimeOfDay

Defined in Preql.FromSql.Instances

Associated Types

type Width TimeOfDay :: Nat

Methods

fromSql :: RowDecoder (Width TimeOfDay) TimeOfDay

FromSql Oid

Defined in Preql.FromSql.Instances

Associated Types

type Width Oid :: Nat

Methods

fromSql :: RowDecoder (Width Oid) Oid

FromSql PgName

Defined in Preql.FromSql.Instances

Associated Types

type Width PgName :: Nat

Methods

fromSql :: RowDecoder (Width PgName) PgName

FromSql TimeTZ

Defined in Preql.FromSql.Instances

Associated Types

type Width TimeTZ :: Nat

Methods

fromSql :: RowDecoder (Width TimeTZ) TimeTZ

FromSqlField [a] => FromSql [a]

Defined in Preql.FromSql.Instances

Associated Types

type Width [a] :: Nat

Methods

fromSql :: RowDecoder (Width [a]) [a]

FromSqlField a => FromSql (Maybe a)

Defined in Preql.FromSql.Instances

Associated Types

type Width (Maybe a) :: Nat

Methods

fromSql :: RowDecoder (Width (Maybe a)) (Maybe a)

FromSqlField (Vector a) => FromSql (Vector a)

Defined in Preql.FromSql.Instances

Associated Types

type Width (Vector a) :: Nat

Methods

fromSql :: RowDecoder (Width (Vector a)) (Vector a)

(FromSqlField a, FromSqlField b) => FromSql (Tuple (a, b))

Defined in Preql.FromSql.Instances

Associated Types

type Width (Tuple (a, b)) :: Nat

Methods

fromSql :: RowDecoder (Width (Tuple (a, b))) (Tuple (a, b))

(FromSqlField a, FromSqlField b, FromSqlField c) => FromSql (Tuple (a, b, c))

Defined in Preql.FromSql.Instances

Associated Types

type Width (Tuple (a, b, c)) :: Nat

Methods

fromSql :: RowDecoder (Width (Tuple (a, b, c))) (Tuple (a, b, c))

(FromSqlField a, FromSqlField b, FromSqlField c, FromSqlField d) => FromSql (Tuple (a, b, c, d))

Defined in Preql.FromSql.Instances

Associated Types

type Width (Tuple (a, b, c, d)) :: Nat

Methods

fromSql :: RowDecoder (Width (Tuple (a, b, c, d))) (Tuple (a, b, c, d))

(FromSqlField a, FromSqlField b, FromSqlField c, FromSqlField d, FromSqlField e) => FromSql (Tuple (a, b, c, d, e))

Defined in Preql.FromSql.Instances

Associated Types

type Width (Tuple (a, b, c, d, e)) :: Nat

Methods

fromSql :: RowDecoder (Width (Tuple (a, b, c, d, e))) (Tuple (a, b, c, d, e))

(FromSqlField a, FromSqlField b, FromSqlField c, FromSqlField d, FromSqlField e, FromSqlField f) => FromSql (Tuple (a, b, c, d, e, f))

Defined in Preql.FromSql.Instances

Associated Types

type Width (Tuple (a, b, c, d, e, f)) :: Nat

Methods

fromSql :: RowDecoder (Width (Tuple (a, b, c, d, e, f))) (Tuple (a, b, c, d, e, f))

(FromSqlField a, FromSqlField b, FromSqlField c, FromSqlField d, FromSqlField e, FromSqlField f, FromSqlField g) => FromSql (Tuple (a, b, c, d, e, f, g))

Defined in Preql.FromSql.Instances

Associated Types

type Width (Tuple (a, b, c, d, e, f, g)) :: Nat

Methods

fromSql :: RowDecoder (Width (Tuple (a, b, c, d, e, f, g))) (Tuple (a, b, c, d, e, f, g))

(FromSqlField a, FromSqlField b, FromSqlField c, FromSqlField d, FromSqlField e, FromSqlField f, FromSqlField g, FromSqlField h) => FromSql (Tuple (a, b, c, d, e, f, g, h))

Defined in Preql.FromSql.Instances

Associated Types

type Width (Tuple (a, b, c, d, e, f, g, h)) :: Nat

Methods

fromSql :: RowDecoder (Width (Tuple (a, b, c, d, e, f, g, h))) (Tuple (a, b, c, d, e, f, g, h))

(FromSqlField a, FromSqlField b, FromSqlField c, FromSqlField d, FromSqlField e, FromSqlField f, FromSqlField g, FromSqlField h, FromSqlField i) => FromSql (Tuple (a, b, c, d, e, f, g, h, i))

Defined in Preql.FromSql.Instances

Associated Types

type Width (Tuple (a, b, c, d, e, f, g, h, i)) :: Nat

Methods

fromSql :: RowDecoder (Width (Tuple (a, b, c, d, e, f, g, h, i))) (Tuple (a, b, c, d, e, f, g, h, i))

(FromSqlField a, FromSqlField b, FromSqlField c, FromSqlField d, FromSqlField e, FromSqlField f, FromSqlField g, FromSqlField h, FromSqlField i, FromSqlField j) => FromSql (Tuple (a, b, c, d, e, f, g, h, i, j))

Defined in Preql.FromSql.Instances

Associated Types

type Width (Tuple (a, b, c, d, e, f, g, h, i, j)) :: Nat

Methods

fromSql :: RowDecoder (Width (Tuple (a, b, c, d, e, f, g, h, i, j))) (Tuple (a, b, c, d, e, f, g, h, i, j))

(FromSqlField a, FromSqlField b, FromSqlField c, FromSqlField d, FromSqlField e, FromSqlField f, FromSqlField g, FromSqlField h, FromSqlField i, FromSqlField j, FromSqlField k) => FromSql (Tuple (a, b, c, d, e, f, g, h, i, j, k))

Defined in Preql.FromSql.Instances

Associated Types

type Width (Tuple (a, b, c, d, e, f, g, h, i, j, k)) :: Nat

Methods

fromSql :: RowDecoder (Width (Tuple (a, b, c, d, e, f, g, h, i, j, k))) (Tuple (a, b, c, d, e, f, g, h, i, j, k))

(FromSqlField a, FromSqlField b, FromSqlField c, FromSqlField d, FromSqlField e, FromSqlField f, FromSqlField g, FromSqlField h, FromSqlField i, FromSqlField j, FromSqlField k, FromSqlField l) => FromSql (Tuple (a, b, c, d, e, f, g, h, i, j, k, l))

Defined in Preql.FromSql.Instances

Associated Types

type Width (Tuple (a, b, c, d, e, f, g, h, i, j, k, l)) :: Nat

Methods

fromSql :: RowDecoder (Width (Tuple (a, b, c, d, e, f, g, h, i, j, k, l))) (Tuple (a, b, c, d, e, f, g, h, i, j, k, l))

(FromSqlField a, FromSqlField b, FromSqlField c, FromSqlField d, FromSqlField e, FromSqlField f, FromSqlField g, FromSqlField h, FromSqlField i, FromSqlField j, FromSqlField k, FromSqlField l, FromSqlField m) => FromSql (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m))

Defined in Preql.FromSql.Instances

Associated Types

type Width (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m)) :: Nat

Methods

fromSql :: RowDecoder (Width (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m))) (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m))

(FromSqlField a, FromSqlField b, FromSqlField c, FromSqlField d, FromSqlField e, FromSqlField f, FromSqlField g, FromSqlField h, FromSqlField i, FromSqlField j, FromSqlField k, FromSqlField l, FromSqlField m, FromSqlField n) => FromSql (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n))

Defined in Preql.FromSql.Instances

Associated Types

type Width (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n)) :: Nat

Methods

fromSql :: RowDecoder (Width (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n))) (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n))

(FromSqlField a, FromSqlField b, FromSqlField c, FromSqlField d, FromSqlField e, FromSqlField f, FromSqlField g, FromSqlField h, FromSqlField i, FromSqlField j, FromSqlField k, FromSqlField l, FromSqlField m, FromSqlField n, FromSqlField o) => FromSql (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o))

Defined in Preql.FromSql.Instances

Associated Types

type Width (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)) :: Nat

Methods

fromSql :: RowDecoder (Width (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o))) (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o))

(FromSqlField a, FromSqlField b, FromSqlField c, FromSqlField d, FromSqlField e, FromSqlField f, FromSqlField g, FromSqlField h, FromSqlField i, FromSqlField j, FromSqlField k, FromSqlField l, FromSqlField m, FromSqlField n, FromSqlField o, FromSqlField p) => FromSql (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p))

Defined in Preql.FromSql.Instances

Associated Types

type Width (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p)) :: Nat

Methods

fromSql :: RowDecoder (Width (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p))) (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p))

(FromSqlField a, FromSqlField b, FromSqlField c, FromSqlField d, FromSqlField e, FromSqlField f, FromSqlField g, FromSqlField h, FromSqlField i, FromSqlField j, FromSqlField k, FromSqlField l, FromSqlField m, FromSqlField n, FromSqlField o, FromSqlField p, FromSqlField q) => FromSql (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q))

Defined in Preql.FromSql.Instances

Associated Types

type Width (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q)) :: Nat

Methods

fromSql :: RowDecoder (Width (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q))) (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q))

(FromSqlField a, FromSqlField b, FromSqlField c, FromSqlField d, FromSqlField e, FromSqlField f, FromSqlField g, FromSqlField h, FromSqlField i, FromSqlField j, FromSqlField k, FromSqlField l, FromSqlField m, FromSqlField n, FromSqlField o, FromSqlField p, FromSqlField q, FromSqlField r) => FromSql (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r))

Defined in Preql.FromSql.Instances

Associated Types

type Width (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r)) :: Nat

Methods

fromSql :: RowDecoder (Width (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r))) (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r))

(FromSqlField a, FromSqlField b, FromSqlField c, FromSqlField d, FromSqlField e, FromSqlField f, FromSqlField g, FromSqlField h, FromSqlField i, FromSqlField j, FromSqlField k, FromSqlField l, FromSqlField m, FromSqlField n, FromSqlField o, FromSqlField p, FromSqlField q, FromSqlField r, FromSqlField s) => FromSql (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s))

Defined in Preql.FromSql.Instances

Associated Types

type Width (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s)) :: Nat

Methods

fromSql :: RowDecoder (Width (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s))) (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s))

(FromSqlField a, FromSqlField b, FromSqlField c, FromSqlField d, FromSqlField e, FromSqlField f, FromSqlField g, FromSqlField h, FromSqlField i, FromSqlField j, FromSqlField k, FromSqlField l, FromSqlField m, FromSqlField n, FromSqlField o, FromSqlField p, FromSqlField q, FromSqlField r, FromSqlField s, FromSqlField t) => FromSql (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t))

Defined in Preql.FromSql.Instances

Associated Types

type Width (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t)) :: Nat

Methods

fromSql :: RowDecoder (Width (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t))) (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t))

(FromSqlField a, FromSqlField b, FromSqlField c, FromSqlField d, FromSqlField e, FromSqlField f, FromSqlField g, FromSqlField h, FromSqlField i, FromSqlField j, FromSqlField k, FromSqlField l, FromSqlField m, FromSqlField n, FromSqlField o, FromSqlField p, FromSqlField q, FromSqlField r, FromSqlField s, FromSqlField t, FromSqlField u) => FromSql (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u))

Defined in Preql.FromSql.Instances

Associated Types

type Width (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u)) :: Nat

Methods

fromSql :: RowDecoder (Width (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u))) (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u))

(FromSqlField a, FromSqlField b, FromSqlField c, FromSqlField d, FromSqlField e, FromSqlField f, FromSqlField g, FromSqlField h, FromSqlField i, FromSqlField j, FromSqlField k, FromSqlField l, FromSqlField m, FromSqlField n, FromSqlField o, FromSqlField p, FromSqlField q, FromSqlField r, FromSqlField s, FromSqlField t, FromSqlField u, FromSqlField v) => FromSql (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v))

Defined in Preql.FromSql.Instances

Associated Types

type Width (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v)) :: Nat

Methods

fromSql :: RowDecoder (Width (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v))) (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v))

(FromSqlField a, FromSqlField b, FromSqlField c, FromSqlField d, FromSqlField e, FromSqlField f, FromSqlField g, FromSqlField h, FromSqlField i, FromSqlField j, FromSqlField k, FromSqlField l, FromSqlField m, FromSqlField n, FromSqlField o, FromSqlField p, FromSqlField q, FromSqlField r, FromSqlField s, FromSqlField t, FromSqlField u, FromSqlField v, FromSqlField w) => FromSql (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w))

Defined in Preql.FromSql.Instances

Associated Types

type Width (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w)) :: Nat

Methods

fromSql :: RowDecoder (Width (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w))) (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w))

(FromSqlField a, FromSqlField b, FromSqlField c, FromSqlField d, FromSqlField e, FromSqlField f, FromSqlField g, FromSqlField h, FromSqlField i, FromSqlField j, FromSqlField k, FromSqlField l, FromSqlField m, FromSqlField n, FromSqlField o, FromSqlField p, FromSqlField q, FromSqlField r, FromSqlField s, FromSqlField t, FromSqlField u, FromSqlField v, FromSqlField w, FromSqlField x) => FromSql (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x))

Defined in Preql.FromSql.Instances

Associated Types

type Width (Tuple (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

Methods

fromSql :: RowDecoder (Width (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x))) (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x))

(FromSqlField a, FromSqlField b, FromSqlField c, FromSqlField d, FromSqlField e, FromSqlField f, FromSqlField g, FromSqlField h, FromSqlField i, FromSqlField j, FromSqlField k, FromSqlField l, FromSqlField m, FromSqlField n, FromSqlField o, FromSqlField p, FromSqlField q, FromSqlField r, FromSqlField s, FromSqlField t, FromSqlField u, FromSqlField v, FromSqlField w, FromSqlField x, FromSqlField y) => FromSql (Tuple (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))

Defined in Preql.FromSql.Instances

Associated Types

type Width (Tuple (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

Methods

fromSql :: RowDecoder (Width (Tuple (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))) (Tuple (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))

(FromSql a, FromSql b) => FromSql (a, b)

Defined in Preql.FromSql.Instances

Associated Types

type Width (a, b) :: Nat

Methods

fromSql :: RowDecoder (Width (a, b)) (a, b)

(FromSql a, FromSql b, FromSql c) => FromSql (a, b, c)

Defined in Preql.FromSql.Instances

Associated Types

type Width (a, b, c) :: Nat

Methods

fromSql :: RowDecoder (Width (a, b, c)) (a, b, c)

(FromSql a, FromSql b, FromSql c, FromSql d) => FromSql (a, b, c, d)

Defined in Preql.FromSql.Instances

Associated Types

type Width (a, b, c, d) :: Nat

Methods

fromSql :: RowDecoder (Width (a, b, c, d)) (a, b, c, d)

(FromSql a, FromSql b, FromSql c, FromSql d, FromSql e) => FromSql (a, b, c, d, e)

Defined in Preql.FromSql.Instances

Associated Types

type Width (a, b, c, d, e) :: Nat

Methods

fromSql :: RowDecoder (Width (a, b, c, d, e)) (a, b, c, d, e)

(FromSql a, FromSql b, FromSql c, FromSql d, FromSql e, FromSql f) => FromSql (a, b, c, d, e, f)

Defined in Preql.FromSql.Instances

Associated Types

type Width (a, b, c, d, e, f) :: Nat

Methods

fromSql :: RowDecoder (Width (a, b, c, d, e, f)) (a, b, c, d, e, f)

(FromSql a, FromSql b, FromSql c, FromSql d, FromSql e, FromSql f, FromSql g) => FromSql (a, b, c, d, e, f, g)

Defined in Preql.FromSql.Instances

Associated Types

type Width (a, b, c, d, e, f, g) :: Nat

Methods

fromSql :: RowDecoder (Width (a, b, c, d, e, f, g)) (a, b, c, d, e, f, g)

(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)

Defined in Preql.FromSql.Instances

Associated Types

type Width (a, b, c, d, e, f, g, h) :: Nat

Methods

fromSql :: RowDecoder (Width (a, b, c, d, e, f, g, h)) (a, b, c, d, e, f, g, h)

(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)

Defined in Preql.FromSql.Instances

Associated Types

type Width (a, b, c, d, e, f, g, h, i) :: Nat

Methods

fromSql :: RowDecoder (Width (a, b, c, d, e, f, g, h, i)) (a, b, c, d, e, f, g, h, i)

(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)

Defined in Preql.FromSql.Instances

Associated Types

type Width (a, b, c, d, e, f, g, h, i, j) :: Nat

Methods

fromSql :: RowDecoder (Width (a, b, c, d, e, f, g, h, i, j)) (a, b, c, d, e, f, g, h, i, j)

(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)

Defined in Preql.FromSql.Instances

Associated Types

type Width (a, b, c, d, e, f, g, h, i, j, k) :: Nat

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)

(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)

Defined in Preql.FromSql.Instances

Associated Types

type Width (a, b, c, d, e, f, g, h, i, j, k, l) :: Nat

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)

(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)

Defined in Preql.FromSql.Instances

Associated Types

type Width (a, b, c, d, e, f, g, h, i, j, k, l, m) :: Nat

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)

(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)

Defined in Preql.FromSql.Instances

Associated Types

type Width (a, b, c, d, e, f, g, h, i, j, k, l, m, n) :: Nat

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)

(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)

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

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)

(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)

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

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)

(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)

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

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)

(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)

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

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)

(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)

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

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)

(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)

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

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)

(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)

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

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)

(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)

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

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)

(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)

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

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)

(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)

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

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)

(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)

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

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)

class FromSqlField a

A type which can be decoded from a single SQL field. This is mostly useful for defining what can be an element of an array or Tuple.

Minimal complete definition

fromSqlField

Instances

FromSqlField Bool

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder Bool

FromSqlField Char

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder Char

FromSqlField Double

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder Double

FromSqlField Float

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder Float

FromSqlField Int16

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder Int16

FromSqlField Int32

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder Int32

FromSqlField Int64

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder Int64

FromSqlField ByteString

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.

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder ByteString

FromSqlField ByteString

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder ByteString

FromSqlField String

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder String

FromSqlField Text

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder Text

FromSqlField UTCTime

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder UTCTime

FromSqlField Value

If you want to encode some more specific Haskell type via JSON, it is more efficient to use fromSqlJsonField rather than this instance.

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder Value

FromSqlField Text

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder Text

FromSqlField UUID

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder UUID

FromSqlField Day

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder Day

FromSqlField TimeOfDay

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder TimeOfDay

FromSqlField Oid

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder Oid

FromSqlField PgName

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder PgName

FromSqlField TimeTZ

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder TimeTZ

FromSqlField a => FromSqlField [[[[[a]]]]]

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder [[[[[a]]]]]

FromSqlField a => FromSqlField [[[[a]]]]

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder [[[[a]]]]

FromSqlField a => FromSqlField [[[a]]]

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder [[[a]]]

FromSqlField a => FromSqlField [[a]]

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder [[a]]

FromSqlField a => FromSqlField [a]

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder [a]

FromSqlField a => FromSqlField (Vector a)

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder (Vector a)

FromSqlField a => FromSqlField (Vector (Vector a))

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder (Vector (Vector a))

FromSqlField a => FromSqlField (Vector (Vector (Vector a)))

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder (Vector (Vector (Vector a)))

FromSqlField a => FromSqlField (Vector (Vector (Vector (Vector a))))

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder (Vector (Vector (Vector (Vector a))))

FromSqlField a => FromSqlField (Vector (Vector (Vector (Vector (Vector a)))))

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder (Vector (Vector (Vector (Vector (Vector a)))))

(FromSqlField a, FromSqlField b) => FromSqlField (Tuple (a, b))

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder (Tuple (a, b))

(FromSqlField a, FromSqlField b, FromSqlField c) => FromSqlField (Tuple (a, b, c))

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder (Tuple (a, b, c))

(FromSqlField a, FromSqlField b, FromSqlField c, FromSqlField d) => FromSqlField (Tuple (a, b, c, d))

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder (Tuple (a, b, c, d))

(FromSqlField a, FromSqlField b, FromSqlField c, FromSqlField d, FromSqlField e) => FromSqlField (Tuple (a, b, c, d, e))

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder (Tuple (a, b, c, d, e))

(FromSqlField a, FromSqlField b, FromSqlField c, FromSqlField d, FromSqlField e, FromSqlField f) => FromSqlField (Tuple (a, b, c, d, e, f))

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder (Tuple (a, b, c, d, e, f))

(FromSqlField a, FromSqlField b, FromSqlField c, FromSqlField d, FromSqlField e, FromSqlField f, FromSqlField g) => FromSqlField (Tuple (a, b, c, d, e, f, g))

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder (Tuple (a, b, c, d, e, f, g))

(FromSqlField a, FromSqlField b, FromSqlField c, FromSqlField d, FromSqlField e, FromSqlField f, FromSqlField g, FromSqlField h) => FromSqlField (Tuple (a, b, c, d, e, f, g, h))

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder (Tuple (a, b, c, d, e, f, g, h))

(FromSqlField a, FromSqlField b, FromSqlField c, FromSqlField d, FromSqlField e, FromSqlField f, FromSqlField g, FromSqlField h, FromSqlField i) => FromSqlField (Tuple (a, b, c, d, e, f, g, h, i))

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder (Tuple (a, b, c, d, e, f, g, h, i))

(FromSqlField a, FromSqlField b, FromSqlField c, FromSqlField d, FromSqlField e, FromSqlField f, FromSqlField g, FromSqlField h, FromSqlField i, FromSqlField j) => FromSqlField (Tuple (a, b, c, d, e, f, g, h, i, j))

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder (Tuple (a, b, c, d, e, f, g, h, i, j))

(FromSqlField a, FromSqlField b, FromSqlField c, FromSqlField d, FromSqlField e, FromSqlField f, FromSqlField g, FromSqlField h, FromSqlField i, FromSqlField j, FromSqlField k) => FromSqlField (Tuple (a, b, c, d, e, f, g, h, i, j, k))

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder (Tuple (a, b, c, d, e, f, g, h, i, j, k))

(FromSqlField a, FromSqlField b, FromSqlField c, FromSqlField d, FromSqlField e, FromSqlField f, FromSqlField g, FromSqlField h, FromSqlField i, FromSqlField j, FromSqlField k, FromSqlField l) => FromSqlField (Tuple (a, b, c, d, e, f, g, h, i, j, k, l))

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder (Tuple (a, b, c, d, e, f, g, h, i, j, k, l))

(FromSqlField a, FromSqlField b, FromSqlField c, FromSqlField d, FromSqlField e, FromSqlField f, FromSqlField g, FromSqlField h, FromSqlField i, FromSqlField j, FromSqlField k, FromSqlField l, FromSqlField m) => FromSqlField (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m))

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m))

(FromSqlField a, FromSqlField b, FromSqlField c, FromSqlField d, FromSqlField e, FromSqlField f, FromSqlField g, FromSqlField h, FromSqlField i, FromSqlField j, FromSqlField k, FromSqlField l, FromSqlField m, FromSqlField n) => FromSqlField (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n))

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n))

(FromSqlField a, FromSqlField b, FromSqlField c, FromSqlField d, FromSqlField e, FromSqlField f, FromSqlField g, FromSqlField h, FromSqlField i, FromSqlField j, FromSqlField k, FromSqlField l, FromSqlField m, FromSqlField n, FromSqlField o) => FromSqlField (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o))

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o))

(FromSqlField a, FromSqlField b, FromSqlField c, FromSqlField d, FromSqlField e, FromSqlField f, FromSqlField g, FromSqlField h, FromSqlField i, FromSqlField j, FromSqlField k, FromSqlField l, FromSqlField m, FromSqlField n, FromSqlField o, FromSqlField p) => FromSqlField (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p))

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p))

(FromSqlField a, FromSqlField b, FromSqlField c, FromSqlField d, FromSqlField e, FromSqlField f, FromSqlField g, FromSqlField h, FromSqlField i, FromSqlField j, FromSqlField k, FromSqlField l, FromSqlField m, FromSqlField n, FromSqlField o, FromSqlField p, FromSqlField q) => FromSqlField (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q))

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q))

(FromSqlField a, FromSqlField b, FromSqlField c, FromSqlField d, FromSqlField e, FromSqlField f, FromSqlField g, FromSqlField h, FromSqlField i, FromSqlField j, FromSqlField k, FromSqlField l, FromSqlField m, FromSqlField n, FromSqlField o, FromSqlField p, FromSqlField q, FromSqlField r) => FromSqlField (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r))

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r))

(FromSqlField a, FromSqlField b, FromSqlField c, FromSqlField d, FromSqlField e, FromSqlField f, FromSqlField g, FromSqlField h, FromSqlField i, FromSqlField j, FromSqlField k, FromSqlField l, FromSqlField m, FromSqlField n, FromSqlField o, FromSqlField p, FromSqlField q, FromSqlField r, FromSqlField s) => FromSqlField (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s))

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s))

(FromSqlField a, FromSqlField b, FromSqlField c, FromSqlField d, FromSqlField e, FromSqlField f, FromSqlField g, FromSqlField h, FromSqlField i, FromSqlField j, FromSqlField k, FromSqlField l, FromSqlField m, FromSqlField n, FromSqlField o, FromSqlField p, FromSqlField q, FromSqlField r, FromSqlField s, FromSqlField t) => FromSqlField (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t))

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t))

(FromSqlField a, FromSqlField b, FromSqlField c, FromSqlField d, FromSqlField e, FromSqlField f, FromSqlField g, FromSqlField h, FromSqlField i, FromSqlField j, FromSqlField k, FromSqlField l, FromSqlField m, FromSqlField n, FromSqlField o, FromSqlField p, FromSqlField q, FromSqlField r, FromSqlField s, FromSqlField t, FromSqlField u) => FromSqlField (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u))

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u))

(FromSqlField a, FromSqlField b, FromSqlField c, FromSqlField d, FromSqlField e, FromSqlField f, FromSqlField g, FromSqlField h, FromSqlField i, FromSqlField j, FromSqlField k, FromSqlField l, FromSqlField m, FromSqlField n, FromSqlField o, FromSqlField p, FromSqlField q, FromSqlField r, FromSqlField s, FromSqlField t, FromSqlField u, FromSqlField v) => FromSqlField (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v))

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v))

(FromSqlField a, FromSqlField b, FromSqlField c, FromSqlField d, FromSqlField e, FromSqlField f, FromSqlField g, FromSqlField h, FromSqlField i, FromSqlField j, FromSqlField k, FromSqlField l, FromSqlField m, FromSqlField n, FromSqlField o, FromSqlField p, FromSqlField q, FromSqlField r, FromSqlField s, FromSqlField t, FromSqlField u, FromSqlField v, FromSqlField w) => FromSqlField (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w))

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w))

(FromSqlField a, FromSqlField b, FromSqlField c, FromSqlField d, FromSqlField e, FromSqlField f, FromSqlField g, FromSqlField h, FromSqlField i, FromSqlField j, FromSqlField k, FromSqlField l, FromSqlField m, FromSqlField n, FromSqlField o, FromSqlField p, FromSqlField q, FromSqlField r, FromSqlField s, FromSqlField t, FromSqlField u, FromSqlField v, FromSqlField w, FromSqlField x) => FromSqlField (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x))

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder (Tuple (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x))

(FromSqlField a, FromSqlField b, FromSqlField c, FromSqlField d, FromSqlField e, FromSqlField f, FromSqlField g, FromSqlField h, FromSqlField i, FromSqlField j, FromSqlField k, FromSqlField l, FromSqlField m, FromSqlField n, FromSqlField o, FromSqlField p, FromSqlField q, FromSqlField r, FromSqlField s, FromSqlField t, FromSqlField u, FromSqlField v, FromSqlField w, FromSqlField x, FromSqlField y) => FromSqlField (Tuple (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))

Defined in Preql.FromSql.Instances

Methods

fromSqlField :: FieldDecoder (Tuple (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))

Encoding parameters

class ToSql a

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

Minimal complete definition

toSql

Instances

ToSql Bool

Defined in Preql.Wire.ToSql

Methods

toSql :: RowEncoder Bool

ToSql Char

Defined in Preql.Wire.ToSql

Methods

toSql :: RowEncoder Char

ToSql Double

Defined in Preql.Wire.ToSql

Methods

toSql :: RowEncoder Double

ToSql Float

Defined in Preql.Wire.ToSql

Methods

toSql :: RowEncoder Float

ToSql Int16

Defined in Preql.Wire.ToSql

Methods

toSql :: RowEncoder Int16

ToSql Int32

Defined in Preql.Wire.ToSql

Methods

toSql :: RowEncoder Int32

ToSql Int64

Defined in Preql.Wire.ToSql

Methods

toSql :: RowEncoder Int64

ToSql ()

Defined in Preql.Wire.ToSql

Methods

toSql :: RowEncoder ()

ToSql ByteString

Defined in Preql.Wire.ToSql

Methods

toSql :: RowEncoder ByteString

ToSql ByteString

Defined in Preql.Wire.ToSql

Methods

toSql :: RowEncoder ByteString

ToSql String

Defined in Preql.Wire.ToSql

Methods

toSql :: RowEncoder String

ToSql Text

Defined in Preql.Wire.ToSql

Methods

toSql :: RowEncoder Text

ToSql UTCTime

Defined in Preql.Wire.ToSql

Methods

toSql :: RowEncoder UTCTime

ToSql Value

Defined in Preql.Wire.ToSql

Methods

toSql :: RowEncoder Value

ToSql Text

Defined in Preql.Wire.ToSql

Methods

toSql :: RowEncoder Text

ToSql UUID

Defined in Preql.Wire.ToSql

Methods

toSql :: RowEncoder UUID

ToSql Day

Defined in Preql.Wire.ToSql

Methods

toSql :: RowEncoder Day

ToSql TimeOfDay

Defined in Preql.Wire.ToSql

Methods

toSql :: RowEncoder TimeOfDay

ToSql TimeTZ

Defined in Preql.Wire.ToSql

Methods

toSql :: RowEncoder TimeTZ

(ToSqlField a, ToSqlField b) => ToSql (a, b)

Defined in Preql.Wire.ToSql

Methods

toSql :: RowEncoder (a, b)

(ToSqlField a, ToSqlField b, ToSqlField c) => ToSql (a, b, c)

Defined in Preql.Wire.ToSql

Methods

toSql :: RowEncoder (a, b, c)

(ToSqlField a, ToSqlField b, ToSqlField c, ToSqlField d) => ToSql (a, b, c, d)

Defined in Preql.Wire.ToSql

Methods

toSql :: RowEncoder (a, b, c, d)

(ToSqlField a, ToSqlField b, ToSqlField c, ToSqlField d, ToSqlField e) => ToSql (a, b, c, d, e)

Defined in Preql.Wire.ToSql

Methods

toSql :: RowEncoder (a, b, c, d, e)

(ToSqlField a, ToSqlField b, ToSqlField c, ToSqlField d, ToSqlField e, ToSqlField f) => ToSql (a, b, c, d, e, f)

Defined in Preql.Wire.ToSql

Methods

toSql :: RowEncoder (a, b, c, d, e, f)

(ToSqlField a, ToSqlField b, ToSqlField c, ToSqlField d, ToSqlField e, ToSqlField f, ToSqlField g) => ToSql (a, b, c, d, e, f, g)

Defined in Preql.Wire.ToSql

Methods

toSql :: RowEncoder (a, b, c, d, e, f, g)

(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)

Defined in Preql.Wire.ToSql

Methods

toSql :: RowEncoder (a, b, c, d, e, f, g, h)

(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)

Defined in Preql.Wire.ToSql

Methods

toSql :: RowEncoder (a, b, c, d, e, f, g, h, i)

(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)

Defined in Preql.Wire.ToSql

Methods

toSql :: RowEncoder (a, b, c, d, e, f, g, h, i, j)

(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)

Defined in Preql.Wire.ToSql

Methods

toSql :: RowEncoder (a, b, c, d, e, f, g, h, i, j, k)

(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)

Defined in Preql.Wire.ToSql

Methods

toSql :: RowEncoder (a, b, c, d, e, f, g, h, i, j, k, l)

(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)

Defined in Preql.Wire.ToSql

Methods

toSql :: RowEncoder (a, b, c, d, e, f, g, h, i, j, k, l, m)

(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)

Defined in Preql.Wire.ToSql

Methods

toSql :: RowEncoder (a, b, c, d, e, f, g, h, i, j, k, l, m, n)

(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)

Defined in Preql.Wire.ToSql

Methods

toSql :: RowEncoder (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)

(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)

Defined in Preql.Wire.ToSql

Methods

toSql :: RowEncoder (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p)

(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)

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)

(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)

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)

(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)

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)

(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)

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)

(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)

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)

(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)

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)

(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)

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)

(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)

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)

(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)

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)

class ToSqlField a

Types which can be encoded to a single Postgres field.

Minimal complete definition

toSqlField

Instances

ToSqlField Bool

Defined in Preql.Wire.ToSql

Methods

toSqlField :: FieldEncoder Bool

ToSqlField Char

Defined in Preql.Wire.ToSql

Methods

toSqlField :: FieldEncoder Char

ToSqlField Double

Defined in Preql.Wire.ToSql

Methods

toSqlField :: FieldEncoder Double

ToSqlField Float

Defined in Preql.Wire.ToSql

Methods

toSqlField :: FieldEncoder Float

ToSqlField Int16

Defined in Preql.Wire.ToSql

Methods

toSqlField :: FieldEncoder Int16

ToSqlField Int32

Defined in Preql.Wire.ToSql

Methods

toSqlField :: FieldEncoder Int32

ToSqlField Int64

Defined in Preql.Wire.ToSql

Methods

toSqlField :: FieldEncoder Int64

ToSqlField ByteString

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.

Defined in Preql.Wire.ToSql

Methods

toSqlField :: FieldEncoder ByteString

ToSqlField ByteString

Defined in Preql.Wire.ToSql

Methods

toSqlField :: FieldEncoder ByteString

ToSqlField String

Defined in Preql.Wire.ToSql

Methods

toSqlField :: FieldEncoder String

ToSqlField Text

Defined in Preql.Wire.ToSql

Methods

toSqlField :: FieldEncoder Text

ToSqlField UTCTime

Defined in Preql.Wire.ToSql

Methods

toSqlField :: FieldEncoder UTCTime

ToSqlField Value

If you want to encode some more specific Haskell type via JSON, it is more efficient to use toSqlJsonField rather than this instance.

Defined in Preql.Wire.ToSql

Methods

toSqlField :: FieldEncoder Value

ToSqlField Text

Defined in Preql.Wire.ToSql

Methods

toSqlField :: FieldEncoder Text

ToSqlField UUID

Defined in Preql.Wire.ToSql

Methods

toSqlField :: FieldEncoder UUID

ToSqlField Day

Defined in Preql.Wire.ToSql

Methods

toSqlField :: FieldEncoder Day

ToSqlField TimeOfDay

Defined in Preql.Wire.ToSql

Methods

toSqlField :: FieldEncoder TimeOfDay

ToSqlField TimeTZ

Defined in Preql.Wire.ToSql

Methods

toSqlField :: FieldEncoder TimeTZ

Errors

data QueryError

Constructors

ConnectionError Text

DecoderError FieldError

PgTypeMismatch [TypeMismatch]

Instances

Eq QueryError

Defined in Preql.Wire.Errors

Methods

(==) :: QueryError -> QueryError -> Bool

(/=) :: QueryError -> QueryError -> Bool

Show QueryError

Defined in Preql.Wire.Errors

Methods

showsPrec :: Int -> QueryError -> ShowS

show :: QueryError -> String

showList :: [QueryError] -> ShowS

ToJSON QueryError

Defined in Preql.Wire.Errors

Methods

toJSON :: QueryError -> Value

toEncoding :: QueryError -> Encoding

toJSONList :: [QueryError] -> Value

toEncodingList :: [QueryError] -> Encoding

FromJSON QueryError

Defined in Preql.Wire.Errors

Methods

parseJSON :: Value -> Parser QueryError

parseJSONList :: Value -> Parser [QueryError]

Exception QueryError

Defined in Preql.Wire.Errors

Methods

toException :: QueryError -> SomeException

fromException :: SomeException -> Maybe QueryError

displayException :: QueryError -> String

data FieldError

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

Eq FieldError

Defined in Preql.Wire.Errors

Methods

(==) :: FieldError -> FieldError -> Bool

(/=) :: FieldError -> FieldError -> Bool

Show FieldError

Defined in Preql.Wire.Errors

Methods

showsPrec :: Int -> FieldError -> ShowS

show :: FieldError -> String

showList :: [FieldError] -> ShowS

ToJSON FieldError

Defined in Preql.Wire.Errors

Methods

toJSON :: FieldError -> Value

toEncoding :: FieldError -> Encoding

toJSONList :: [FieldError] -> Value

toEncodingList :: [FieldError] -> Encoding

FromJSON FieldError

Defined in Preql.Wire.Errors

Methods

parseJSON :: Value -> Parser FieldError

parseJSONList :: Value -> Parser [FieldError]

Exception FieldError

Defined in Preql.Wire.Errors

Methods

toException :: FieldError -> SomeException

fromException :: SomeException -> Maybe FieldError

displayException :: FieldError -> String

data UnlocatedFieldError

Errors that can occur in decoding a single field.

Constructors

UnexpectedNull

ParseFailure Text

Instances

Eq UnlocatedFieldError

Defined in Preql.Wire.Errors

Methods

(==) :: UnlocatedFieldError -> UnlocatedFieldError -> Bool

(/=) :: UnlocatedFieldError -> UnlocatedFieldError -> Bool

Show UnlocatedFieldError

Defined in Preql.Wire.Errors

Methods

showsPrec :: Int -> UnlocatedFieldError -> ShowS

show :: UnlocatedFieldError -> String

showList :: [UnlocatedFieldError] -> ShowS

ToJSON UnlocatedFieldError

Defined in Preql.Wire.Errors

Methods

toJSON :: UnlocatedFieldError -> Value

toEncoding :: UnlocatedFieldError -> Encoding

toJSONList :: [UnlocatedFieldError] -> Value

toEncodingList :: [UnlocatedFieldError] -> Encoding

FromJSON UnlocatedFieldError

Defined in Preql.Wire.Errors

Methods

parseJSON :: Value -> Parser UnlocatedFieldError

parseJSONList :: Value -> Parser [UnlocatedFieldError]

data TypeMismatch

Constructors

TypeMismatch

Fields

• expected :: PgType
• actual :: Oid
• column :: Int
• columnName :: Maybe Text

Instances

Eq TypeMismatch

Defined in Preql.Wire.Errors

Methods

(==) :: TypeMismatch -> TypeMismatch -> Bool

(/=) :: TypeMismatch -> TypeMismatch -> Bool

Show TypeMismatch

Defined in Preql.Wire.Errors

Methods

showsPrec :: Int -> TypeMismatch -> ShowS

show :: TypeMismatch -> String

showList :: [TypeMismatch] -> ShowS

ToJSON TypeMismatch

Defined in Preql.Wire.Errors

Methods

toJSON :: TypeMismatch -> Value

toEncoding :: TypeMismatch -> Encoding

toJSONList :: [TypeMismatch] -> Value

toEncodingList :: [TypeMismatch] -> Encoding

FromJSON TypeMismatch

Defined in Preql.Wire.Errors

Methods

parseJSON :: Value -> Parser TypeMismatch

parseJSONList :: Value -> Parser [TypeMismatch]

encoding & decoding to wire format

module Preql.Wire