Database.PostgreSQL.PQTypes.Internal.Monad

Documentation

newtype DBT m a

Monad transformer for adding database interaction capabilities to the underlying monad.

Constructors

DBT

Fields

unDBT :: InnerDBT m a

Instances

MonadTrans DBT

MonadTransControl DBT

MonadBase b m => MonadBase b (DBT m)

MonadBaseControl b m => MonadBaseControl b (DBT m)

MonadError e m => MonadError e (DBT m)

MonadReader r m => MonadReader r (DBT m)

MonadState s m => MonadState s (DBT m)

MonadWriter w m => MonadWriter w (DBT m)

(Functor m, MonadPlus m) => Alternative (DBT m)

Monad m => Monad (DBT m)

Functor m => Functor (DBT m)

MonadPlus m => MonadPlus (DBT m)

(Monad m, Functor m) => Applicative (DBT m)

MonadThrow m => MonadThrow (DBT m)

MonadCatch m => MonadCatch (DBT m)

MonadMask m => MonadMask (DBT m)

MonadIO m => MonadIO (DBT m)

(MonadBase IO m, MonadMask m) => MonadDB (DBT m)

type StT DBT a

type StM (DBT m) a = ComposeSt DBT m a

runDBT :: (MonadBase IO m, MonadMask m) => ConnectionSource -> TransactionSettings -> DBT m a -> m a

Evaluate monadic action with supplied connection source and transaction settings.

mapDBT :: (m (a, DBState) -> n (b, DBState)) -> DBT m a -> DBT n b

Transform the underlying monad.