Safe Haskell	Safe-Inferred
Language	Haskell2010

Hasql.TransactionIO

Synopsis

data TransactionIO a
statement :: params -> Statement params result -> TransactionIO result
sql :: ByteString -> TransactionIO ()

Documentation

data TransactionIO a Source #

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

Instances

Instances details

MonadIO TransactionIO Source #
Instance details Defined in Hasql.Private.TransactionIO Methods liftIO :: IO a -> TransactionIO a #
Applicative TransactionIO Source #
Instance details 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 Source #
Instance details Defined in Hasql.Private.TransactionIO Methods fmap :: (a -> b) -> TransactionIO a -> TransactionIO b # (<$) :: a -> TransactionIO b -> TransactionIO a #
Monad TransactionIO Source #
Instance details Defined in Hasql.Private.TransactionIO Methods (>>=) :: TransactionIO a -> (a -> TransactionIO b) -> TransactionIO b # (>>) :: TransactionIO a -> TransactionIO b -> TransactionIO b # return :: a -> TransactionIO a #
MonadUnliftIO TransactionIO Source #
Instance details Defined in Hasql.Private.TransactionIO Methods withRunInIO :: ((forall a. TransactionIO a -> IO a) -> IO b) -> TransactionIO b #
MonadError QueryError TransactionIO Source #
Instance details Defined in Hasql.Private.TransactionIO Methods throwError :: QueryError -> TransactionIO a # catchError :: TransactionIO a -> (QueryError -> TransactionIO a) -> TransactionIO a #
Monoid a => Monoid (TransactionIO a) Source #
Instance details 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) Source #
Instance details 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 #

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

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

sql :: ByteString -> TransactionIO () Source #

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