Safe Haskell	None
Language	Haskell2010

Database.PostgreSQL.PQTypes.Internal.Monad

Synopsis

newtype DBT_ (m :: Type -> Type) (n :: Type -> Type) a = DBT {
- unDBT :: InnerDBT m n a
}
type DBT (m :: Type -> Type) = DBT_ m m
runDBT :: (HasCallStack, MonadBase IO m, MonadMask m) => ConnectionSourceM m -> TransactionSettings -> DBT m a -> m a
mapDBT :: (DBState n -> DBState m) -> (m (a, DBState m) -> n (b, DBState n)) -> DBT m a -> DBT n b

Documentation

newtype DBT_ (m :: Type -> Type) (n :: Type -> Type) a Source #

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

Constructors

DBT
Fields unDBT :: InnerDBT m n a

Instances

Instances details

(m ~ n, MonadBaseControl b m) => MonadBaseControl b (DBT_ m n) Source #
Instance details Defined in Database.PostgreSQL.PQTypes.Internal.Monad Methods liftBaseWith :: (RunInBase (DBT_ m n) b -> b a) -> DBT_ m n a # restoreM :: StM (DBT_ m n) a -> DBT_ m n a #
(m ~ n, MonadError e m) => MonadError e (DBT_ m n) Source #
Instance details Defined in Database.PostgreSQL.PQTypes.Internal.Monad Methods throwError :: e -> DBT_ m n a # catchError :: DBT_ m n a -> (e -> DBT_ m n a) -> DBT_ m n a #
(m ~ n, MonadReader r m) => MonadReader r (DBT_ m n) Source #
Instance details Defined in Database.PostgreSQL.PQTypes.Internal.Monad Methods ask :: DBT_ m n r # local :: (r -> r) -> DBT_ m n a -> DBT_ m n a # reader :: (r -> a) -> DBT_ m n a #
(m ~ n, MonadState s m) => MonadState s (DBT_ m n) Source #
Instance details Defined in Database.PostgreSQL.PQTypes.Internal.Monad Methods get :: DBT_ m n s # put :: s -> DBT_ m n () # state :: (s -> (a, s)) -> DBT_ m n a #
(m ~ n, MonadWriter w m) => MonadWriter w (DBT_ m n) Source #
Instance details Defined in Database.PostgreSQL.PQTypes.Internal.Monad Methods writer :: (a, w) -> DBT_ m n a # tell :: w -> DBT_ m n () # listen :: DBT_ m n a -> DBT_ m n (a, w) # pass :: DBT_ m n (a, w -> w) -> DBT_ m n a #
MonadBase b n => MonadBase b (DBT_ m n) Source #
Instance details Defined in Database.PostgreSQL.PQTypes.Internal.Monad Methods liftBase :: b α -> DBT_ m n α #
MonadTransControl (DBT_ m) Source #
Instance details Defined in Database.PostgreSQL.PQTypes.Internal.Monad Methods liftWith :: Monad m0 => (Run (DBT_ m) -> m0 a) -> DBT_ m m0 a # restoreT :: Monad m0 => m0 (StT (DBT_ m) a) -> DBT_ m m0 a #
MonadTrans (DBT_ m) Source #
Instance details Defined in Database.PostgreSQL.PQTypes.Internal.Monad Methods lift :: Monad m0 => m0 a -> DBT_ m m0 a #
MonadFail n => MonadFail (DBT_ m n) Source #
Instance details Defined in Database.PostgreSQL.PQTypes.Internal.Monad Methods fail :: String -> DBT_ m n a #
MonadIO n => MonadIO (DBT_ m n) Source #
Instance details Defined in Database.PostgreSQL.PQTypes.Internal.Monad Methods liftIO :: IO a -> DBT_ m n a #
MonadPlus n => Alternative (DBT_ m n) Source #
Instance details Defined in Database.PostgreSQL.PQTypes.Internal.Monad Methods empty :: DBT_ m n a # (<\|>) :: DBT_ m n a -> DBT_ m n a -> DBT_ m n a # some :: DBT_ m n a -> DBT_ m n [a] # many :: DBT_ m n a -> DBT_ m n [a] #
Monad n => Applicative (DBT_ m n) Source #
Instance details Defined in Database.PostgreSQL.PQTypes.Internal.Monad Methods pure :: a -> DBT_ m n a # (<>) :: DBT_ m n (a -> b) -> DBT_ m n a -> DBT_ m n b # liftA2 :: (a -> b -> c) -> DBT_ m n a -> DBT_ m n b -> DBT_ m n c # (>) :: DBT_ m n a -> DBT_ m n b -> DBT_ m n b # (<*) :: DBT_ m n a -> DBT_ m n b -> DBT_ m n a #
Functor n => Functor (DBT_ m n) Source #
Instance details Defined in Database.PostgreSQL.PQTypes.Internal.Monad Methods fmap :: (a -> b) -> DBT_ m n a -> DBT_ m n b # (<$) :: a -> DBT_ m n b -> DBT_ m n a #
Monad n => Monad (DBT_ m n) Source #
Instance details Defined in Database.PostgreSQL.PQTypes.Internal.Monad Methods (>>=) :: DBT_ m n a -> (a -> DBT_ m n b) -> DBT_ m n b # (>>) :: DBT_ m n a -> DBT_ m n b -> DBT_ m n b # return :: a -> DBT_ m n a #
MonadPlus n => MonadPlus (DBT_ m n) Source #
Instance details Defined in Database.PostgreSQL.PQTypes.Internal.Monad Methods mzero :: DBT_ m n a # mplus :: DBT_ m n a -> DBT_ m n a -> DBT_ m n a #
MonadCatch n => MonadCatch (DBT_ m n) Source #
Instance details Defined in Database.PostgreSQL.PQTypes.Internal.Monad Methods catch :: (HasCallStack, Exception e) => DBT_ m n a -> (e -> DBT_ m n a) -> DBT_ m n a #
MonadMask n => MonadMask (DBT_ m n) Source #
Instance details Defined in Database.PostgreSQL.PQTypes.Internal.Monad Methods mask :: HasCallStack => ((forall a. DBT_ m n a -> DBT_ m n a) -> DBT_ m n b) -> DBT_ m n b # uninterruptibleMask :: HasCallStack => ((forall a. DBT_ m n a -> DBT_ m n a) -> DBT_ m n b) -> DBT_ m n b # generalBracket :: HasCallStack => DBT_ m n a -> (a -> ExitCase b -> DBT_ m n c) -> (a -> DBT_ m n b) -> DBT_ m n (b, c) #
MonadThrow n => MonadThrow (DBT_ m n) Source #
Instance details Defined in Database.PostgreSQL.PQTypes.Internal.Monad Methods throwM :: (HasCallStack, Exception e) => e -> DBT_ m n a #
(m ~ n, MonadBase IO m, MonadMask m) => MonadDB (DBT_ m n) Source #
Instance details Defined in Database.PostgreSQL.PQTypes.Internal.Monad Methods runQuery :: (HasCallStack, IsSQL sql) => sql -> DBT_ m n Int Source # runPreparedQuery :: (HasCallStack, IsSQL sql) => QueryName -> sql -> DBT_ m n Int Source # getLastQuery :: DBT_ m n SomeSQL Source # withFrozenLastQuery :: DBT_ m n a -> DBT_ m n a Source # getBackendPid :: DBT_ m n BackendPid Source # getConnectionStats :: DBT_ m n ConnectionStats Source # getQueryResult :: FromRow row => DBT_ m n (Maybe (QueryResult row)) Source # clearQueryResult :: DBT_ m n () Source # getTransactionSettings :: DBT_ m n TransactionSettings Source # setTransactionSettings :: TransactionSettings -> DBT_ m n () Source # getNotification :: Int -> DBT_ m n (Maybe Notification) Source # withNewConnection :: DBT_ m n a -> DBT_ m n a Source #
type StT (DBT_ m) a Source #
Instance details Defined in Database.PostgreSQL.PQTypes.Internal.Monad type StT (DBT_ m) a
type StM (DBT_ m n) a Source #
Instance details Defined in Database.PostgreSQL.PQTypes.Internal.Monad type StM (DBT_ m n) a = ComposeSt (DBT_ m) m a

type DBT (m :: Type -> Type) = DBT_ m m Source #

runDBT :: (HasCallStack, MonadBase IO m, MonadMask m) => ConnectionSourceM m -> TransactionSettings -> DBT m a -> m a Source #

Evaluate monadic action with supplied connection source and transaction settings.

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

Transform the underlying monad.