Preql

Documentation

class Monad 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 runTransaction. A typical instance will use runTransactionIO or functions in Query and log & rethrow errors.

Minimal complete definition

runTransaction

Methods

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

Run a parameterized query that returns data. The tuple argument is typically provided by the sql Quasiquoter.

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

Run a parameterized query that does not return data.

runTransaction :: Transaction a -> m a

Run multiple queries in a transaction.

Instances

SQL Transaction

The same query methods can be used within a Transaction. Nested Transactions are implemented using savepoints.

Defined in Preql.Effect.Internal

Methods

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

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

runTransaction :: Transaction a -> Transaction a

(MonadTrans t, Monad (t m), SQL m) => SQL (t m)

Lift through any monad transformer without a more specific instance.

Defined in Preql.Effect.Internal

Methods

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

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

runTransaction :: Transaction a -> t m a

SQL (ReaderT Connection IO)

Most larger applications will define an instance; this one is suitable to test out the library.

Defined in Preql.Effect.Internal

Methods

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

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

runTransaction :: Transaction a -> ReaderT Connection IO a

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

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

fail :: String -> 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

SQL Transaction

The same query methods can be used within a Transaction. Nested Transactions are implemented using savepoints.

Defined in Preql.Effect.Internal

Methods

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

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

runTransaction :: Transaction a -> Transaction a

data Query

The IsString instance does no validation; the limited instances discourage directly manipulating strings, with the high risk of SQL injection.

Instances

Show Query

Defined in Preql.Wire.Internal

Methods

showsPrec :: Int -> Query -> ShowS

show :: Query -> String

showList :: [Query] -> ShowS

IsString Query

Defined in Preql.Wire.Internal

Methods

fromString :: String -> Query

functions for writing SQL instances

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

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

Decoding rows

class FromSql a

Minimal complete definition

fromSql

Instances

FromSql Bool

Defined in Preql.Wire.FromSql

Methods

fromSql :: RowDecoder Bool

FromSql Double

Defined in Preql.Wire.FromSql

Methods

fromSql :: RowDecoder Double

FromSql Float

Defined in Preql.Wire.FromSql

Methods

fromSql :: RowDecoder Float

FromSql Int16

Defined in Preql.Wire.FromSql

Methods

fromSql :: RowDecoder Int16

FromSql Int32

Defined in Preql.Wire.FromSql

Methods

fromSql :: RowDecoder Int32

FromSql Int64

Defined in Preql.Wire.FromSql

Methods

fromSql :: RowDecoder Int64

FromSql ByteString

Defined in Preql.Wire.FromSql

Methods

fromSql :: RowDecoder ByteString

FromSql ByteString

Defined in Preql.Wire.FromSql

Methods

fromSql :: RowDecoder ByteString

FromSql Text

Defined in Preql.Wire.FromSql

Methods

fromSql :: RowDecoder Text

FromSql UTCTime

Defined in Preql.Wire.FromSql

Methods

fromSql :: RowDecoder UTCTime

FromSql Value

Defined in Preql.Wire.FromSql

Methods

fromSql :: RowDecoder Value

FromSql Text

Defined in Preql.Wire.FromSql

Methods

fromSql :: RowDecoder Text

FromSql String

Defined in Preql.Wire.FromSql

Methods

fromSql :: RowDecoder String

FromSql UUID

Defined in Preql.Wire.FromSql

Methods

fromSql :: RowDecoder UUID

FromSql Day

Defined in Preql.Wire.FromSql

Methods

fromSql :: RowDecoder Day

FromSql TimeOfDay

Defined in Preql.Wire.FromSql

Methods

fromSql :: RowDecoder TimeOfDay

FromSql TimeTZ

Defined in Preql.Wire.FromSql

Methods

fromSql :: RowDecoder TimeTZ

FromSqlField a => FromSql (Maybe a)

Defined in Preql.Wire.FromSql

Methods

fromSql :: RowDecoder (Maybe a)

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

Defined in Preql.Wire.FromSql

Methods

fromSql :: RowDecoder (a, b)

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

Defined in Preql.Wire.FromSql

Methods

fromSql :: RowDecoder (a, b, c)

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

Defined in Preql.Wire.FromSql

Methods

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

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

Defined in Preql.Wire.FromSql

Methods

fromSql :: RowDecoder (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.Wire.FromSql

Methods

fromSql :: RowDecoder (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.Wire.FromSql

Methods

fromSql :: RowDecoder (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.Wire.FromSql

Methods

fromSql :: RowDecoder (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.Wire.FromSql

Methods

fromSql :: RowDecoder (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.Wire.FromSql

Methods

fromSql :: RowDecoder (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.Wire.FromSql

Methods

fromSql :: RowDecoder (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.Wire.FromSql

Methods

fromSql :: RowDecoder (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.Wire.FromSql

Methods

fromSql :: RowDecoder (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.Wire.FromSql

Methods

fromSql :: RowDecoder (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.Wire.FromSql

Methods

fromSql :: RowDecoder (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.Wire.FromSql

Methods

fromSql :: RowDecoder (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.Wire.FromSql

Methods

fromSql :: RowDecoder (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.Wire.FromSql

Methods

fromSql :: RowDecoder (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.Wire.FromSql

Methods

fromSql :: RowDecoder (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.Wire.FromSql

Methods

fromSql :: RowDecoder (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.Wire.FromSql

Methods

fromSql :: RowDecoder (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.Wire.FromSql

Methods

fromSql :: RowDecoder (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.Wire.FromSql

Methods

fromSql :: RowDecoder (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.Wire.FromSql

Methods

fromSql :: RowDecoder (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.Wire.FromSql

Methods

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

Minimal complete definition

fromSqlField

Instances

FromSqlField Bool

Defined in Preql.Wire.FromSql

Methods

fromSqlField :: FieldDecoder Bool

FromSqlField Double

Defined in Preql.Wire.FromSql

Methods

fromSqlField :: FieldDecoder Double

FromSqlField Float

Defined in Preql.Wire.FromSql

Methods

fromSqlField :: FieldDecoder Float

FromSqlField Int16

Defined in Preql.Wire.FromSql

Methods

fromSqlField :: FieldDecoder Int16

FromSqlField Int32

Defined in Preql.Wire.FromSql

Methods

fromSqlField :: FieldDecoder Int32

FromSqlField Int64

Defined in Preql.Wire.FromSql

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.Wire.FromSql

Methods

fromSqlField :: FieldDecoder ByteString

FromSqlField ByteString

Defined in Preql.Wire.FromSql

Methods

fromSqlField :: FieldDecoder ByteString

FromSqlField Text

Defined in Preql.Wire.FromSql

Methods

fromSqlField :: FieldDecoder Text

FromSqlField UTCTime

Defined in Preql.Wire.FromSql

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.Wire.FromSql

Methods

fromSqlField :: FieldDecoder Value

FromSqlField Text

Defined in Preql.Wire.FromSql

Methods

fromSqlField :: FieldDecoder Text

FromSqlField String

Defined in Preql.Wire.FromSql

Methods

fromSqlField :: FieldDecoder String

FromSqlField UUID

Defined in Preql.Wire.FromSql

Methods

fromSqlField :: FieldDecoder UUID

FromSqlField Day

Defined in Preql.Wire.FromSql

Methods

fromSqlField :: FieldDecoder Day

FromSqlField TimeOfDay

Defined in Preql.Wire.FromSql

Methods

fromSqlField :: FieldDecoder TimeOfDay

FromSqlField TimeTZ

Defined in Preql.Wire.FromSql

Methods

fromSqlField :: FieldDecoder TimeTZ

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 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 String

Defined in Preql.Wire.ToSql

Methods

toSql :: RowEncoder String

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 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 String

Defined in Preql.Wire.ToSql

Methods

toSqlField :: FieldEncoder String

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 :: Oid
• 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