Database.PostgreSQL.Transact

Documentation

newtype DBT m a

Constructors

DBT

Fields

• unDBT :: ReaderT Connection m a

Instances

MonadTrans DBT

Methods

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

Monad m => Monad (DBT m)

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)

Methods

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

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

Applicative m => Applicative (DBT m)

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)

Methods

liftIO :: IO a -> DBT m a

MonadThrow m => MonadThrow (DBT m)

Methods

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

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

Methods

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

type DB = DBT IO

isClass25 :: SqlError -> Bool

getConnection :: Monad m => DBT m Connection

runDBT :: MonadBaseControl IO m => DBT m a -> IsolationLevel -> Connection -> m a

runDBTSerializable :: MonadBaseControl IO m => DBT m a -> Connection -> m a

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

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

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

execute_ :: MonadIO m => Query -> DBT m Int64

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

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