pg-transact-0.1.0.0: Another postgresql-simple transaction monad

Safe HaskellNone
LanguageHaskell2010

Database.PostgreSQL.Transact

Documentation

newtype DBT m a Source #

Constructors

DBT 

Fields

Instances

MonadTrans DBT Source # 

Methods

lift :: Monad m => m a -> DBT m a #

Monad m => Monad (DBT m) Source # 

Methods

(>>=) :: DBT m a -> (a -> DBT m b) -> DBT m b #

(>>) :: DBT m a -> DBT m b -> DBT m b #

return :: a -> DBT m a #

fail :: String -> DBT m a #

Functor m => Functor (DBT m) Source # 

Methods

fmap :: (a -> b) -> DBT m a -> DBT m b #

(<$) :: a -> DBT m b -> DBT m a #

Applicative m => Applicative (DBT m) Source # 

Methods

pure :: a -> DBT m a #

(<*>) :: DBT m (a -> b) -> DBT m a -> DBT m b #

(*>) :: DBT m a -> DBT m b -> DBT m b #

(<*) :: DBT m a -> DBT m b -> DBT m a #

MonadIO m => MonadIO (DBT m) Source # 

Methods

liftIO :: IO a -> DBT m a #

MonadThrow m => MonadThrow (DBT m) Source # 

Methods

throwM :: Exception e => e -> DBT m a #

(MonadIO m, MonadMask m) => MonadCatch (DBT m) Source # 

Methods

catch :: Exception e => DBT m a -> (e -> DBT m a) -> DBT m a #

type DB = DBT IO Source #

query :: (ToRow a, FromRow b, MonadIO m) => Query -> a -> DBT m [b] Source #

query_ :: (FromRow b, MonadIO m) => Query -> DBT m [b] Source #

execute :: (ToRow q, MonadIO m) => Query -> q -> DBT m Int64 Source #

executeMany :: (ToRow q, MonadIO m) => Query -> [q] -> DBT m Int64 Source #

returning :: (ToRow q, FromRow r, MonadIO m) => Query -> [q] -> DBT m [r] Source #