Hasql.TransactionIO

Documentation

data TransactionIO a

A mixture of Hasql statements and arbitrary IO that is all performed during a single transaction

Instances

MonadIO TransactionIO

Defined in Hasql.Private.TransactionIO

Methods

liftIO :: IO a -> TransactionIO a

Applicative TransactionIO

Defined in Hasql.Private.TransactionIO

Methods

pure :: a -> TransactionIO a

(<*>) :: TransactionIO (a -> b) -> TransactionIO a -> TransactionIO b

liftA2 :: (a -> b -> c) -> TransactionIO a -> TransactionIO b -> TransactionIO c

(*>) :: TransactionIO a -> TransactionIO b -> TransactionIO b

(<*) :: TransactionIO a -> TransactionIO b -> TransactionIO a

Functor TransactionIO

Defined in Hasql.Private.TransactionIO

Methods

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

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

Monad TransactionIO

Defined in Hasql.Private.TransactionIO

Methods

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

(>>) :: TransactionIO a -> TransactionIO b -> TransactionIO b

return :: a -> TransactionIO a

MonadThrow TransactionIO

Defined in Hasql.Private.TransactionIO

Methods

throwM :: (HasCallStack, Exception e) => e -> TransactionIO a

MonadUnliftIO TransactionIO

Defined in Hasql.Private.TransactionIO

Methods

withRunInIO :: ((forall a. TransactionIO a -> IO a) -> IO b) -> TransactionIO b

MonadError SessionError TransactionIO

Defined in Hasql.Private.TransactionIO

Methods

throwError :: SessionError -> TransactionIO a

catchError :: TransactionIO a -> (SessionError -> TransactionIO a) -> TransactionIO a

Monoid a => Monoid (TransactionIO a)

Defined in Hasql.Private.TransactionIO

Methods

mempty :: TransactionIO a

mappend :: TransactionIO a -> TransactionIO a -> TransactionIO a

mconcat :: [TransactionIO a] -> TransactionIO a

Semigroup a => Semigroup (TransactionIO a)

Defined in Hasql.Private.TransactionIO

Methods

(<>) :: TransactionIO a -> TransactionIO a -> TransactionIO a

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

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

condemn :: TransactionIO a

Throw an internal exception that causes the transaction to be rolled back. If you wish to rollback a transaction with a more useful exception use throwIO

sql :: ByteString -> TransactionIO ()

Like sql but in a TransactionIO. It should not attempt any statements that cannot be safely run inside a transaction.

statement :: params -> Statement params result -> TransactionIO result

Like statement but in a TransactionIO. It should not attempt any statements that cannot be safely run inside a transaction.