Database.PostgreSQL.PQTypes.Internal.Monad

Documentation

newtype DBT_ m n a

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

Constructors

DBT

Fields

• unDBT :: InnerDBT m n a

Instances

MonadBase b n => MonadBase b (DBT_ m n)

Methods

liftBase :: b α -> DBT_ m n α

((~) (* -> *) m n, MonadBaseControl b m) => MonadBaseControl b (DBT_ m n)

Associated Types

type StM (DBT_ m n :: * -> *) a :: *

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, MonadWriter w m) => MonadWriter w (DBT_ m n)

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

((~) (* -> *) m n, MonadState s m) => MonadState s (DBT_ m n)

Methods

get :: DBT_ m n s

put :: s -> DBT_ m n ()

state :: (s -> (a, s)) -> DBT_ m n a

((~) (* -> *) m n, MonadReader r m) => MonadReader r (DBT_ m n)

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, MonadError e m) => MonadError e (DBT_ m n)

Methods

throwError :: e -> DBT_ m n a

catchError :: DBT_ m n a -> (e -> DBT_ m n a) -> DBT_ m n a

MonadTrans (DBT_ m)

Methods

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

MonadTransControl (DBT_ m)

Associated Types

type StT (DBT_ m :: (* -> *) -> * -> *) a :: *

Methods

liftWith :: Monad m => (Run (DBT_ m) -> m a) -> DBT_ m m a

restoreT :: Monad m => m (StT (DBT_ m) a) -> DBT_ m m a

Monad n => Monad (DBT_ m n)

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

fail :: String -> DBT_ m n a

Functor n => Functor (DBT_ m n)

Methods

fmap :: (a -> b) -> DBT_ m n a -> DBT_ m n b

(<$) :: a -> DBT_ m n b -> DBT_ m n a

Monad n => Applicative (DBT_ m n)

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

MonadPlus n => Alternative (DBT_ m n)

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]

MonadPlus n => MonadPlus (DBT_ m n)

Methods

mzero :: DBT_ m n a

mplus :: DBT_ m n a -> DBT_ m n a -> DBT_ m n a

MonadIO n => MonadIO (DBT_ m n)

Methods

liftIO :: IO a -> DBT_ m n a

MonadThrow n => MonadThrow (DBT_ m n)

Methods

throwM :: Exception e => e -> DBT_ m n a

MonadCatch n => MonadCatch (DBT_ m n)

Methods

catch :: Exception e => DBT_ m n a -> (e -> DBT_ m n a) -> DBT_ m n a

MonadMask n => MonadMask (DBT_ m n)

Methods

mask :: ((forall a. DBT_ m n a -> DBT_ m n a) -> DBT_ m n b) -> DBT_ m n b

uninterruptibleMask :: ((forall a. DBT_ m n a -> DBT_ m n a) -> DBT_ m n b) -> DBT_ m n b

generalBracket :: DBT_ m n a -> (a -> ExitCase b -> DBT_ m n c) -> (a -> DBT_ m n b) -> DBT_ m n (b, c)

((~) (* -> *) m n, MonadBase IO m, MonadMask m) => MonadDB (DBT_ m n)

Methods

runQuery :: IsSQL sql => sql -> DBT_ m n Int

getLastQuery :: DBT_ m n SomeSQL

getConnectionStats :: DBT_ m n ConnectionStats

getQueryResult :: FromRow row => DBT_ m n (Maybe (QueryResult row))

clearQueryResult :: DBT_ m n ()

getTransactionSettings :: DBT_ m n TransactionSettings

setTransactionSettings :: TransactionSettings -> DBT_ m n ()

getNotification :: Int -> DBT_ m n (Maybe Notification)

withNewConnection :: DBT_ m n a -> DBT_ m n a

type StT (DBT_ m) a

type StT (DBT_ m) a

type StM (DBT_ m n) a

type StM (DBT_ m n) a = ComposeSt (DBT_ m) m a

type DBT m = DBT_ m m

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

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

Transform the underlying monad.