Safe Haskell	Safe-Inferred
Language	GHC2021

Mensam.Server.Application.SeldaPool.Class

Documentation

class (Monad m, MonadMask (SeldaTransactionT m), MonadSelda (SeldaTransactionT m)) => MonadSeldaPool m where Source #

Methods

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

Instances

Instances details

(MonadMask m, MonadUnliftIO m) => MonadSeldaPool (ApplicationT m) Source #
Instance details Defined in Mensam.Server.Application Methods runSeldaTransactionT :: SeldaTransactionT (ApplicationT m) a -> ApplicationT m (SeldaResult a) Source #
(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 #
(MonadSeldaPool m, MonadMask m, MonadIO m) => MonadSeldaPool (HandlerT m) Source #
Instance details Defined in Mensam.Server.Server.Handler Methods runSeldaTransactionT :: SeldaTransactionT (HandlerT m) a -> HandlerT m (SeldaResult a) Source #
(Monad (t m), MonadTransControlIdentity t, MonadSeldaPool m, MonadIO m, MonadMask m) => MonadSeldaPool (Elevator t m) Source #
Instance details Defined in Mensam.Server.Application.SeldaPool.Class Methods runSeldaTransactionT :: SeldaTransactionT (Elevator t m) a -> Elevator t 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 #
(Monad (t1 (t2 m)), MonadTransControlIdentity t1, MonadSeldaPool (t2 m), MonadIO (t2 m), MonadMask (t2 m), MonadIO m, MonadTrans (ComposeT t1 t2)) => MonadSeldaPool (ComposeT t1 t2 m) Source #
Instance details Defined in Mensam.Server.Application.SeldaPool.Class Methods runSeldaTransactionT :: SeldaTransactionT (ComposeT t1 t2 m) a -> ComposeT t1 t2 m (SeldaResult a) Source #

newtype SeldaTransactionT m a Source #

Constructors

MkSeldaTransactionT
Fields unSeldaTransactionT :: SeldaT SQLite m a

Instances

Instances details

MonadTrans SeldaTransactionT Source #
Instance details Defined in Mensam.Server.Application.SeldaPool.Class Methods lift :: Monad m => m a -> SeldaTransactionT m a #
MonadIO m => MonadIO (SeldaTransactionT m) Source #
Instance details Defined in Mensam.Server.Application.SeldaPool.Class Methods liftIO :: IO a -> SeldaTransactionT m a #
Applicative m => Applicative (SeldaTransactionT m) Source #
Instance details Defined in Mensam.Server.Application.SeldaPool.Class Methods pure :: a -> SeldaTransactionT m a # (<>) :: SeldaTransactionT m (a -> b) -> SeldaTransactionT m a -> SeldaTransactionT m b # liftA2 :: (a -> b -> c) -> SeldaTransactionT m a -> SeldaTransactionT m b -> SeldaTransactionT m c # (>) :: SeldaTransactionT m a -> SeldaTransactionT m b -> SeldaTransactionT m b # (<*) :: SeldaTransactionT m a -> SeldaTransactionT m b -> SeldaTransactionT m a #
Functor m => Functor (SeldaTransactionT m) Source #
Instance details Defined in Mensam.Server.Application.SeldaPool.Class Methods fmap :: (a -> b) -> SeldaTransactionT m a -> SeldaTransactionT m b # (<$) :: a -> SeldaTransactionT m b -> SeldaTransactionT m a #
Monad m => Monad (SeldaTransactionT m) Source #
Instance details Defined in Mensam.Server.Application.SeldaPool.Class Methods (>>=) :: SeldaTransactionT m a -> (a -> SeldaTransactionT m b) -> SeldaTransactionT m b # (>>) :: SeldaTransactionT m a -> SeldaTransactionT m b -> SeldaTransactionT m b # return :: a -> SeldaTransactionT m a #
MonadCatch m => MonadCatch (SeldaTransactionT m) Source #
Instance details Defined in Mensam.Server.Application.SeldaPool.Class Methods catch :: (HasCallStack, Exception e) => SeldaTransactionT m a -> (e -> SeldaTransactionT m a) -> SeldaTransactionT m a #
MonadMask m => MonadMask (SeldaTransactionT m) Source #
Instance details Defined in Mensam.Server.Application.SeldaPool.Class Methods mask :: HasCallStack => ((forall a. SeldaTransactionT m a -> SeldaTransactionT m a) -> SeldaTransactionT m b) -> SeldaTransactionT m b # uninterruptibleMask :: HasCallStack => ((forall a. SeldaTransactionT m a -> SeldaTransactionT m a) -> SeldaTransactionT m b) -> SeldaTransactionT m b # generalBracket :: HasCallStack => SeldaTransactionT m a -> (a -> ExitCase b -> SeldaTransactionT m c) -> (a -> SeldaTransactionT m b) -> SeldaTransactionT m (b, c) #
MonadThrow m => MonadThrow (SeldaTransactionT m) Source #
Instance details Defined in Mensam.Server.Application.SeldaPool.Class Methods throwM :: (HasCallStack, Exception e) => e -> SeldaTransactionT m a #
(MonadIO m, MonadMask m) => MonadSelda (SeldaTransactionT m) Source #
Instance details Defined in Mensam.Server.Application.SeldaPool.Class Associated Types type Backend (SeldaTransactionT m) Source # Methods withConnection :: (SeldaConnection (Backend (SeldaTransactionT m)) -> SeldaTransactionT m a) -> SeldaTransactionT m a Source # transact :: SeldaTransactionT m a -> SeldaTransactionT m a Source #
type Backend (SeldaTransactionT m) Source #
Instance details Defined in Mensam.Server.Application.SeldaPool.Class type Backend (SeldaTransactionT m) = Backend (SeldaT SQLite m)

mapSeldaTransactionT :: (m a -> n b) -> SeldaTransactionT m a -> SeldaTransactionT n b Source #

data SeldaResult a Source #

Constructors

SeldaSuccess a
SeldaFailure SomeException