System.Wlog.LoggerNameBox

This module contains type classes for loggers that have LoggerName.

Remove boilerplater

newtype LoggerNameBox m a

Default implementation of WithNamedLogger.

Constructors

LoggerNameBox

Fields

• loggerNameBoxEntry :: ReaderT LoggerName m a

Instances

MonadTrans LoggerNameBox

Methods

lift :: Monad m => m a -> LoggerNameBox m a

MonadReader r m => MonadReader r (LoggerNameBox m)

Methods

ask :: LoggerNameBox m r

local :: (r -> r) -> LoggerNameBox m a -> LoggerNameBox m a

reader :: (r -> a) -> LoggerNameBox m a

MonadState s m => MonadState s (LoggerNameBox m)

Methods

get :: LoggerNameBox m s

put :: s -> LoggerNameBox m ()

state :: (s -> (a, s)) -> LoggerNameBox m a

MonadBase b m => MonadBase b (LoggerNameBox m)

Methods

liftBase :: b α -> LoggerNameBox m α

MonadBaseControl b m => MonadBaseControl b (LoggerNameBox m)

Associated Types

type StM (LoggerNameBox m :: * -> *) a :: *

Methods

liftBaseWith :: (RunInBase (LoggerNameBox m) b -> b a) -> LoggerNameBox m a

restoreM :: StM (LoggerNameBox m) a -> LoggerNameBox m a

MonadError e m => MonadError e (LoggerNameBox m)

Methods

throwError :: e -> LoggerNameBox m a

catchError :: LoggerNameBox m a -> (e -> LoggerNameBox m a) -> LoggerNameBox m a

Monad m => Monad (LoggerNameBox m)

Methods

(>>=) :: LoggerNameBox m a -> (a -> LoggerNameBox m b) -> LoggerNameBox m b

(>>) :: LoggerNameBox m a -> LoggerNameBox m b -> LoggerNameBox m b

return :: a -> LoggerNameBox m a

fail :: String -> LoggerNameBox m a

Functor m => Functor (LoggerNameBox m)

Methods

fmap :: (a -> b) -> LoggerNameBox m a -> LoggerNameBox m b

(<$) :: a -> LoggerNameBox m b -> LoggerNameBox m a

MonadFix m => MonadFix (LoggerNameBox m)

Methods

mfix :: (a -> LoggerNameBox m a) -> LoggerNameBox m a

Applicative m => Applicative (LoggerNameBox m)

Methods

pure :: a -> LoggerNameBox m a

(<*>) :: LoggerNameBox m (a -> b) -> LoggerNameBox m a -> LoggerNameBox m b

liftA2 :: (a -> b -> c) -> LoggerNameBox m a -> LoggerNameBox m b -> LoggerNameBox m c

(*>) :: LoggerNameBox m a -> LoggerNameBox m b -> LoggerNameBox m b

(<*) :: LoggerNameBox m a -> LoggerNameBox m b -> LoggerNameBox m a

MonadIO m => MonadIO (LoggerNameBox m)

Methods

liftIO :: IO a -> LoggerNameBox m a

MonadThrow m => MonadThrow (LoggerNameBox m)

Methods

throwM :: Exception e => e -> LoggerNameBox m a

MonadCatch m => MonadCatch (LoggerNameBox m)

Methods

catch :: Exception e => LoggerNameBox m a -> (e -> LoggerNameBox m a) -> LoggerNameBox m a

MonadMask m => MonadMask (LoggerNameBox m)

Methods

mask :: ((forall a. LoggerNameBox m a -> LoggerNameBox m a) -> LoggerNameBox m b) -> LoggerNameBox m b

uninterruptibleMask :: ((forall a. LoggerNameBox m a -> LoggerNameBox m a) -> LoggerNameBox m b) -> LoggerNameBox m b

Monad m => HasLoggerName (LoggerNameBox m)

Methods

askLoggerName :: LoggerNameBox m LoggerName

modifyLoggerName :: (LoggerName -> LoggerName) -> LoggerNameBox m a -> LoggerNameBox m a

CanLog m => CanLog (LoggerNameBox m)

Methods

dispatchMessage :: LoggerName -> Severity -> Text -> LoggerNameBox m ()

MFunctor * LoggerNameBox

Methods

hoist :: Monad m => (forall a. m a -> n a) -> t m b -> t n b

type StM (LoggerNameBox m) a

type StM (LoggerNameBox m) a = StM (ReaderT * LoggerName m) a

usingLoggerName :: LoggerName -> LoggerNameBox m a -> m a

Runs a LoggerNameBox with specified initial LoggerName.