Hasql.Transaction

An API for declaration of transactions.

Transaction monad

data Transaction a

A composable abstraction over the retryable transactions.

Executes multiple queries under the specified mode and isolation level, while automatically retrying the transaction in case of conflicts. Thus this abstraction closely reproduces the behaviour of STM.

Instances

Applicative Transaction

Defined in Hasql.Transaction.Private.Transaction

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

Functor Transaction

Defined in Hasql.Transaction.Private.Transaction

Methods

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

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

Monad Transaction

Defined in Hasql.Transaction.Private.Transaction

Methods

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

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

return :: a -> Transaction a

Monoid a => Monoid (Transaction a)

Defined in Hasql.Transaction.Private.Transaction

Methods

mempty :: Transaction a

mappend :: Transaction a -> Transaction a -> Transaction a

mconcat :: [Transaction a] -> Transaction a

Semigroup a => Semigroup (Transaction a)

Defined in Hasql.Transaction.Private.Transaction

Methods

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

sconcat :: NonEmpty (Transaction a) -> Transaction a

stimes :: Integral b => b -> Transaction a -> Transaction a

condemn :: Transaction ()

Cause transaction to eventually roll back.

sql :: ByteString -> Transaction ()

Possibly a multi-statement query, which however cannot be parameterized or prepared, nor can any results of it be collected.

statement :: a -> Statement a b -> Transaction b

Parameters and a specification of the parametric query to apply them to.