mensam-0
Safe HaskellSafe-Inferred
LanguageGHC2021

Mensam.Server.Application.SeldaPool

Documentation

newtype SeldaPoolT m a Source #

Constructors

SeldaPoolT 

Fields

Instances

Instances details
MonadTransControl SeldaPoolT Source # 
Instance details

Defined in Mensam.Server.Application.SeldaPool

Associated Types

type StT SeldaPoolT a Source #

Methods

liftWith :: Monad m => (Run SeldaPoolT -> m a) -> SeldaPoolT m a Source #

restoreT :: Monad m => m (StT SeldaPoolT a) -> SeldaPoolT m a Source #

MonadTransControlIdentity SeldaPoolT Source # 
Instance details

Defined in Mensam.Server.Application.SeldaPool

Methods

liftWithIdentity :: Monad m => ((forall x. SeldaPoolT m x -> m x) -> m a) -> SeldaPoolT m a Source #

MonadTrans SeldaPoolT Source # 
Instance details

Defined in Mensam.Server.Application.SeldaPool

Methods

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

MonadIO m => MonadIO (SeldaPoolT m) Source # 
Instance details

Defined in Mensam.Server.Application.SeldaPool

Methods

liftIO :: IO a -> SeldaPoolT m a #

Applicative m => Applicative (SeldaPoolT m) Source # 
Instance details

Defined in Mensam.Server.Application.SeldaPool

Methods

pure :: a -> SeldaPoolT m a #

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

liftA2 :: (a -> b -> c) -> SeldaPoolT m a -> SeldaPoolT m b -> SeldaPoolT m c #

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

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

Functor m => Functor (SeldaPoolT m) Source # 
Instance details

Defined in Mensam.Server.Application.SeldaPool

Methods

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

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

Monad m => Monad (SeldaPoolT m) Source # 
Instance details

Defined in Mensam.Server.Application.SeldaPool

Methods

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

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

return :: a -> SeldaPoolT m a #

MonadCatch m => MonadCatch (SeldaPoolT m) Source # 
Instance details

Defined in Mensam.Server.Application.SeldaPool

Methods

catch :: (HasCallStack, Exception e) => SeldaPoolT m a -> (e -> SeldaPoolT m a) -> SeldaPoolT m a #

MonadMask m => MonadMask (SeldaPoolT m) Source # 
Instance details

Defined in Mensam.Server.Application.SeldaPool

Methods

mask :: HasCallStack => ((forall a. SeldaPoolT m a -> SeldaPoolT m a) -> SeldaPoolT m b) -> SeldaPoolT m b #

uninterruptibleMask :: HasCallStack => ((forall a. SeldaPoolT m a -> SeldaPoolT m a) -> SeldaPoolT m b) -> SeldaPoolT m b #

generalBracket :: HasCallStack => SeldaPoolT m a -> (a -> ExitCase b -> SeldaPoolT m c) -> (a -> SeldaPoolT m b) -> SeldaPoolT m (b, c) #

MonadThrow m => MonadThrow (SeldaPoolT m) Source # 
Instance details

Defined in Mensam.Server.Application.SeldaPool

Methods

throwM :: (HasCallStack, Exception e) => e -> SeldaPoolT m a #

(MonadLogger m, MonadMask m, MonadUnliftIO m) => MonadSeldaPool (SeldaPoolT m) Source # 
Instance details

Defined in Mensam.Server.Application.SeldaPool

Methods

runSeldaTransactionT :: SeldaTransactionT (SeldaPoolT m) a -> SeldaPoolT m (SeldaResult a) Source #

(MonadLogger (t2 m), MonadMask (t2 m), MonadUnliftIO (t2 m), MonadIO (ComposeT SeldaPoolT t2 m)) => MonadSeldaPool (ComposeT SeldaPoolT t2 m) Source # 
Instance details

Defined in Mensam.Server.Application.SeldaPool

Methods

runSeldaTransactionT :: SeldaTransactionT (ComposeT SeldaPoolT t2 m) a -> ComposeT SeldaPoolT t2 m (SeldaResult a) Source #

type StT SeldaPoolT a Source # 
Instance details

Defined in Mensam.Server.Application.SeldaPool

type StT SeldaPoolT a = StT (ReaderT SeldaPoolContext) a

runSeldaPoolT :: (MonadConfigured m, MonadLogger m, MonadMask m, MonadUnliftIO m) => SeldaPoolT m a -> m a Source #

data SeldaPoolContext Source #

Constructors

MkSeldaPoolContext 

Fields