Safe Haskell	Safe-Inferred
Language	GHC2021

Mensam.Server.Server.Handler

Documentation

type Transformers = (NilT :.|> RequestHashT) :.|> ProfilerT Source #

newtype HandlerT m a Source #

Constructors

HandlerT
Fields unHandlerT :: StackT Transformers m a

Instances

Instances details

MonadTransControl HandlerT Source #
Instance details Defined in Mensam.Server.Server.Handler Associated Types type StT HandlerT a Source # Methods liftWith :: Monad m => (Run HandlerT -> m a) -> HandlerT m a Source # restoreT :: Monad m => m (StT HandlerT a) -> HandlerT m a Source #
MonadTransControlIdentity HandlerT Source #
Instance details Defined in Mensam.Server.Server.Handler Methods liftWithIdentity :: Monad m => ((forall x. HandlerT m x -> m x) -> m a) -> HandlerT m a Source #
MonadTrans HandlerT Source #
Instance details Defined in Mensam.Server.Server.Handler Methods lift :: Monad m => m a -> HandlerT m a #
MonadBaseControl b m => MonadBaseControl b (HandlerT m) Source #
Instance details Defined in Mensam.Server.Server.Handler Associated Types type StM (HandlerT m) a Source # Methods liftBaseWith :: (RunInBase (HandlerT m) b -> b a) -> HandlerT m a Source # restoreM :: StM (HandlerT m) a -> HandlerT m a Source #
MonadBaseControlIdentity b m => MonadBaseControlIdentity b (HandlerT m) Source #
Instance details Defined in Mensam.Server.Server.Handler Methods liftBaseWithIdentity :: ((forall x. HandlerT m x -> b x) -> b a) -> HandlerT m a Source #
MonadBase b m => MonadBase b (HandlerT m) Source #
Instance details Defined in Mensam.Server.Server.Handler Methods liftBase :: b α -> HandlerT m α Source #
MonadIO m => MonadIO (HandlerT m) Source #
Instance details Defined in Mensam.Server.Server.Handler Methods liftIO :: IO a -> HandlerT m a #
Applicative m => Applicative (HandlerT m) Source #
Instance details Defined in Mensam.Server.Server.Handler Methods pure :: a -> HandlerT m a # (<>) :: HandlerT m (a -> b) -> HandlerT m a -> HandlerT m b # liftA2 :: (a -> b -> c) -> HandlerT m a -> HandlerT m b -> HandlerT m c # (>) :: HandlerT m a -> HandlerT m b -> HandlerT m b # (<*) :: HandlerT m a -> HandlerT m b -> HandlerT m a #
Functor m => Functor (HandlerT m) Source #
Instance details Defined in Mensam.Server.Server.Handler Methods fmap :: (a -> b) -> HandlerT m a -> HandlerT m b # (<$) :: a -> HandlerT m b -> HandlerT m a #
Monad m => Monad (HandlerT m) Source #
Instance details Defined in Mensam.Server.Server.Handler Methods (>>=) :: HandlerT m a -> (a -> HandlerT m b) -> HandlerT m b # (>>) :: HandlerT m a -> HandlerT m b -> HandlerT m b # return :: a -> HandlerT m a #
MonadCatch m => MonadCatch (HandlerT m) Source #
Instance details Defined in Mensam.Server.Server.Handler Methods catch :: (HasCallStack, Exception e) => HandlerT m a -> (e -> HandlerT m a) -> HandlerT m a #
MonadMask m => MonadMask (HandlerT m) Source #
Instance details Defined in Mensam.Server.Server.Handler Methods mask :: HasCallStack => ((forall a. HandlerT m a -> HandlerT m a) -> HandlerT m b) -> HandlerT m b # uninterruptibleMask :: HasCallStack => ((forall a. HandlerT m a -> HandlerT m a) -> HandlerT m b) -> HandlerT m b # generalBracket :: HasCallStack => HandlerT m a -> (a -> ExitCase b -> HandlerT m c) -> (a -> HandlerT m b) -> HandlerT m (b, c) #
MonadThrow m => MonadThrow (HandlerT m) Source #
Instance details Defined in Mensam.Server.Server.Handler Methods throwM :: (HasCallStack, Exception e) => e -> HandlerT m a #
MonadConfigured m => MonadConfigured (HandlerT m) Source #
Instance details Defined in Mensam.Server.Server.Handler Methods configuration :: HandlerT m Configuration Source #
MonadEmail m => MonadEmail (HandlerT m) Source #
Instance details Defined in Mensam.Server.Server.Handler Methods sendEmail :: Email -> HandlerT m SendEmailResult Source #
MonadLoggerCustom m => MonadLoggerCustom (HandlerT m) Source #
Instance details Defined in Mensam.Server.Server.Handler Methods colorfulLogCapability :: HandlerT m Bool Source #
MonadSecret m => MonadSecret (HandlerT m) Source #
Instance details Defined in Mensam.Server.Server.Handler Methods secrets :: HandlerT m Secrets 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 #
MonadLoggerCustom m => MonadLogger (HandlerT m) Source #
Instance details Defined in Mensam.Server.Server.Handler Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> HandlerT m () Source #
MonadUnliftIO m => MonadUnliftIO (HandlerT m) Source #
Instance details Defined in Mensam.Server.Server.Handler Methods withRunInIO :: ((forall a. HandlerT m a -> IO a) -> IO b) -> HandlerT m b Source #
type StT HandlerT a Source #
Instance details Defined in Mensam.Server.Server.Handler type StT HandlerT a = StT (StackT Transformers) a
type StM (HandlerT m) a Source #
Instance details Defined in Mensam.Server.Server.Handler type StM (HandlerT m) a = StM (StackT Transformers m) a

runHandlerT :: (MonadIO m, MonadLoggerCustom m) => Hash -> HandlerT m a -> m a Source #