Database.PostgreSQL.Tx.Squeal

Documentation

type SquealEnv r = TxEnv SquealConnection r :: Constraint

Runtime environment needed to run squeal-postgresql via postgresql-tx.

Since: 0.2.0.0

type SquealM a = forall r. SquealEnv r => TxM r a

Monad type alias for running squeal-postgresql via postgresql-tx.

Since: 0.2.0.0

newtype SquealTxM' (db :: SchemasType) r a

A newtype wrapper around TxM which includes the squeal SchemasType parameter db. This is used only as type information. You can easily convert TxM to and from SquealTxM' by using the SquealTxM' constructor and fromSquealTxM function, respectively.

In practice, you will likely prefer to use the SquealTxM type alias as it includes the SquealEnv constraint on r.

Since: 0.2.0.0

Constructors

SquealTxM

Fields

• fromSquealTxM :: TxM r a

  Convert a SquealTxM' to a TxM.

  Since: 0.2.0.0

Instances

Monad (SquealTxM' db r)

Defined in Database.PostgreSQL.Tx.Squeal.Internal

Methods

(>>=) :: SquealTxM' db r a -> (a -> SquealTxM' db r b) -> SquealTxM' db r b

(>>) :: SquealTxM' db r a -> SquealTxM' db r b -> SquealTxM' db r b

return :: a -> SquealTxM' db r a

Functor (SquealTxM' db r)

Defined in Database.PostgreSQL.Tx.Squeal.Internal

Methods

fmap :: (a -> b) -> SquealTxM' db r a -> SquealTxM' db r b

(<$) :: a -> SquealTxM' db r b -> SquealTxM' db r a

Applicative (SquealTxM' db r)

Defined in Database.PostgreSQL.Tx.Squeal.Internal

Methods

pure :: a -> SquealTxM' db r a

(<*>) :: SquealTxM' db r (a -> b) -> SquealTxM' db r a -> SquealTxM' db r b

liftA2 :: (a -> b -> c) -> SquealTxM' db r a -> SquealTxM' db r b -> SquealTxM' db r c

(*>) :: SquealTxM' db r a -> SquealTxM' db r b -> SquealTxM' db r b

(<*) :: SquealTxM' db r a -> SquealTxM' db r b -> SquealTxM' db r a

(TypeError ('Text "MonadIO is banned in SquealTxM'; use 'SquealTxM . unsafeRunIOInTxM' if you are sure this is safe IO") :: Constraint) => MonadIO (SquealTxM' db r)

The SquealTxM' monad discourages performing arbitrary IO within a transaction, so this instance generates a type error when client code tries to call liftIO.

Note that we specialize this instance for SquealTxM' rather than derive it via newtype so we can provide a better error message.

Since: 0.2.0.0

Defined in Database.PostgreSQL.Tx.Squeal.Internal

Methods

liftIO :: IO a -> SquealTxM' db r a

type SquealTxM (db :: SchemasType) a = forall r. SquealEnv r => SquealTxM' db r a

Alias for SquealTxM' but has the SquealEnv constraint applied to r.

Since: 0.2.0.0

data SquealConnection

Used in the SquealEnv to specify the Connection to use. Should produce the same Connection if called multiple times in the same transaction. Usually you will want to use mkSquealConnection to get one.

Since: 0.2.0.0

mkSquealConnection :: Connection -> SquealConnection

Construct a SquealConnection from a Connection.

Since: 0.2.0.0

getRow :: Row -> Result y -> SquealTxM db y

Analogue of getRow.

Since: 0.1.0.0

firstRow :: Result y -> SquealTxM db (Maybe y)

Analogue of firstRow.

Since: 0.1.0.0

getRows :: Result y -> SquealTxM db [y]

Analogue of getRows.

Since: 0.1.0.0

nextRow :: Row -> Result y -> Row -> SquealTxM db (Maybe (Row, y))

Analogue of nextRow.

Since: 0.1.0.0

ntuples :: Result y -> SquealTxM db Row

Analogue of ntuples.

Since: 0.1.0.0

nfields :: Result y -> SquealTxM db Column

Analogue of nfields.

Since: 0.1.0.0

resultStatus :: Result y -> SquealTxM db ExecStatus

Analogue of resultStatus.

Since: 0.1.0.0

okResult :: Result y -> SquealTxM db ()

Analogue of okResult.

Since: 0.2.0.0

resultErrorMessage :: Result y -> SquealTxM db (Maybe ByteString)

Analogue of resultErrorMessage.

Since: 0.1.0.0

resultErrorCode :: Result y -> SquealTxM db (Maybe ByteString)

Analogue of resultErrorCode.

Since: 0.1.0.0

executeParams :: Statement db x y -> x -> SquealTxM db (Result y)

Analogue of executeParams.

Since: 0.1.0.0

executeParams_ :: Statement db x () -> x -> SquealTxM db ()

Analogue of executeParams_.

Since: 0.1.0.0

execute :: Statement db () y -> SquealTxM db (Result y)

Analogue of execute.

Since: 0.1.0.0

execute_ :: Statement db () () -> SquealTxM db ()

Analogue of execute_.

Since: 0.1.0.0

executePrepared :: Traversable list => Statement db x y -> list x -> SquealTxM db (list (Result y))

Analogue of executePrepared.

Since: 0.1.0.0

executePrepared_ :: Foldable list => Statement db x () -> list x -> SquealTxM db ()

Analogue of executePrepared_.

Since: 0.1.0.0

manipulateParams :: (GenericParams db params x xs, GenericRow row y ys) => Manipulation '[] db params row -> x -> SquealTxM db (Result y)

Analogue of manipulateParams.

Since: 0.1.0.0

manipulateParams_ :: GenericParams db params x xs => Manipulation '[] db params '[] -> x -> SquealTxM db ()

Analogue of manipulateParams_.

Since: 0.1.0.0

manipulate :: GenericRow row y ys => Manipulation '[] db '[] row -> SquealTxM db (Result y)

Analogue of manipulate.

Since: 0.1.0.0

manipulate_ :: Manipulation '[] db '[] '[] -> SquealTxM db ()

Analogue of manipulate_.

Since: 0.1.0.0

runQueryParams :: (GenericParams db params x xs, IsRecord y ys, AllZip FromField row ys) => Query '[] '[] db params row -> x -> SquealTxM db (Result y)

Analogue of runQueryParams.

Since: 0.1.0.0

runQuery :: (IsRecord y ys, AllZip FromField row ys) => Query '[] '[] db '[] row -> SquealTxM db (Result y)

Analogue of runQuery.

Since: 0.1.0.0

traversePrepared :: (GenericParams db params x xs, Traversable list, IsRecord y ys, AllZip FromField row ys) => Manipulation '[] db params row -> list x -> SquealTxM db (list (Result y))

Analogue of traversePrepared.

Since: 0.1.0.0

forPrepared :: (GenericParams db params x xs, Traversable list, IsRecord y ys, AllZip FromField row ys) => list x -> Manipulation '[] db params row -> SquealTxM db (list (Result y))

Analogue of forPrepared.

Since: 0.1.0.0

traversePrepared_ :: (GenericParams db params x xs, Foldable list) => Manipulation '[] db params '[] -> list x -> SquealTxM db ()

Analogue of traversePrepared_.

Since: 0.1.0.0

forPrepared_ :: (GenericParams db params x xs, Foldable list) => list x -> Manipulation '[] db params '[] -> SquealTxM db ()

Analogue of forPrepared_.

Since: 0.1.0.0

transactionally :: SquealEnv r => TransactionMode -> r -> TxM r a -> IO a

Analogue of transactionally.

Since: 0.1.0.0

transactionally_ :: SquealEnv r => r -> TxM r a -> IO a

Analogue of transactionally_.

Since: 0.1.0.0

transactionallySerializable :: SquealEnv r => r -> TxM r a -> IO a

Specialization of transactionallyRetry which uses Serializable and shouldRetryTx to automatically retry the transaction on serialization_failure or deadlock_detected.

Note that any IO that occurs inside the TxM may be executed multiple times.

Since: 0.2.0.0

transactionallyRetry :: (SquealEnv r, Exception e) => TransactionMode -> (e -> Bool) -> r -> TxM r a -> IO a

Analogue of transactionallyRetry.

Note that any IO that occurs inside the TxM may be executed multiple times.

Since: 0.2.0.0

ephemerally :: SquealEnv r => TransactionMode -> r -> TxM r a -> IO a

Analogue of ephemerally.

Since: 0.1.0.0

ephemerally_ :: SquealEnv r => r -> TxM r a -> IO a

Analogue of ephemerally_.

Since: 0.1.0.0

module Database.PostgreSQL.Tx.Squeal.Internal.Reexport