Blammo.Logging.WithLogger

Documentation

newtype WithLogger env m a

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

Constructors

WithLogger (ReaderT env m a)

Instances

Monad m => MonadReader env (WithLogger env m)

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)

Defined in Blammo.Logging.WithLogger

Methods

liftIO :: IO a -> WithLogger env m a

Applicative m => Applicative (WithLogger env m)

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)

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)

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)

Defined in Blammo.Logging.WithLogger

Methods

monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> WithLogger env m ()

(MonadIO m, HasLogger env) => MonadLoggerIO (WithLogger env m)

Defined in Blammo.Logging.WithLogger

Methods

askLoggerIO :: WithLogger env m (Loc -> LogSource -> LogLevel -> LogStr -> IO ())

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