Safe Haskell	Safe-Inferred
Language	Haskell2010

Blammo.Logging.WithLogger

Synopsis

newtype WithLogger env m a = WithLogger (ReaderT env m a)
runWithLogger :: env -> WithLogger env m a -> m a

Documentation

newtype WithLogger env m a Source #

Useful with the DerivingVia language extension to derive MonadLogger for your application monad

Constructors

WithLogger (ReaderT env m a)

Instances

Instances details

Monad m => MonadReader env (WithLogger env m) Source #
Instance details Defined in Blammo.Logging.WithLogger Methods ask :: WithLogger env m env # local :: (env -> env) -> WithLogger env m a -> WithLogger env m a # reader :: (env -> a) -> WithLogger env m a #
MonadIO m => MonadIO (WithLogger env m) Source #
Instance details Defined in Blammo.Logging.WithLogger Methods liftIO :: IO a -> WithLogger env m a #
Applicative m => Applicative (WithLogger env m) Source #
Instance details Defined in Blammo.Logging.WithLogger Methods pure :: a -> WithLogger env m a # (<>) :: WithLogger env m (a -> b) -> WithLogger env m a -> WithLogger env m b # liftA2 :: (a -> b -> c) -> WithLogger env m a -> WithLogger env m b -> WithLogger env m c # (>) :: WithLogger env m a -> WithLogger env m b -> WithLogger env m b # (<*) :: WithLogger env m a -> WithLogger env m b -> WithLogger env m a #
Functor m => Functor (WithLogger env m) Source #
Instance details Defined in Blammo.Logging.WithLogger Methods fmap :: (a -> b) -> WithLogger env m a -> WithLogger env m b # (<$) :: a -> WithLogger env m b -> WithLogger env m a #
Monad m => Monad (WithLogger env m) Source #
Instance details Defined in Blammo.Logging.WithLogger Methods (>>=) :: WithLogger env m a -> (a -> WithLogger env m b) -> WithLogger env m b # (>>) :: WithLogger env m a -> WithLogger env m b -> WithLogger env m b # return :: a -> WithLogger env m a #
(MonadIO m, HasLogger env) => MonadLogger (WithLogger env m) Source #
Instance details Defined in Blammo.Logging.WithLogger Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> WithLogger env m () #
(MonadIO m, HasLogger env) => MonadLoggerIO (WithLogger env m) Source #
Instance details Defined in Blammo.Logging.WithLogger Methods askLoggerIO :: WithLogger env m (Loc -> LogSource -> LogLevel -> LogStr -> IO ()) #

runWithLogger :: env -> WithLogger env m a -> m a Source #