Safe Haskell	Safe-Inferred
Language	GHC2021

Mensam.Server.Application

Documentation

newtype ApplicationT m a Source #

Constructors

ApplicationT
Fields unApplicationT :: StackT Transformers m a

Instances

Instances details

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

runApplicationT :: (MonadBaseControlIdentity IO m, MonadMask m, MonadUnliftIO m) => ApplicationT m a -> m a Source #