System.Wlog.LoggerNameBox

This module contains type classes for loggers that have LoggerName.

Remove boilerplater

class HasLoggerName m where

This type class exists to remove boilerplate logging by adding the logger's name to the context in each module.

TODO: replace current methods with Lens?

Minimal complete definition

getLoggerName, modifyLoggerName

Methods

getLoggerName :: m LoggerName

Extract logger name from context

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

Change logger name in context

Instances

HasLoggerName Identity

Methods

getLoggerName :: Identity LoggerName

modifyLoggerName :: (LoggerName -> LoggerName) -> Identity a -> Identity a

Monad m => HasLoggerName (LoggerNameBox m)

Methods

getLoggerName :: LoggerNameBox m LoggerName

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

Monad m => HasLoggerName (NamedPureLogger m)

Methods

getLoggerName :: NamedPureLogger m LoggerName

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

(HasLoggerName m, Monad m) => HasLoggerName (PureLogger m)

Methods

getLoggerName :: PureLogger m LoggerName

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

(Monoid w, Monad m, HasLoggerName m) => HasLoggerName (WriterT w m)

Methods

getLoggerName :: WriterT w m LoggerName

modifyLoggerName :: (LoggerName -> LoggerName) -> WriterT w m a -> WriterT w m a

(Monad m, HasLoggerName m) => HasLoggerName (StateT a m)

Methods

getLoggerName :: StateT a m LoggerName

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

(Monad m, HasLoggerName m) => HasLoggerName (StateT a m)

Methods

getLoggerName :: StateT a m LoggerName

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

(Monad m, HasLoggerName m) => HasLoggerName (ExceptT e m)

Methods

getLoggerName :: ExceptT e m LoggerName

modifyLoggerName :: (LoggerName -> LoggerName) -> ExceptT e m a -> ExceptT e m a

(Monad m, HasLoggerName m) => HasLoggerName (ReaderT * a m)

Methods

getLoggerName :: ReaderT * a m LoggerName

modifyLoggerName :: (LoggerName -> LoggerName) -> ReaderT * a m a -> ReaderT * a m a

(Monad m, HasLoggerName m) => HasLoggerName (ContT * r m)

Methods

getLoggerName :: ContT * r m LoggerName

modifyLoggerName :: (LoggerName -> LoggerName) -> ContT * r m a -> ContT * r m a

(Monad m, HasLoggerName m, Monoid w) => HasLoggerName (RWST r w s m)

Methods

getLoggerName :: RWST r w s m LoggerName

modifyLoggerName :: (LoggerName -> LoggerName) -> RWST r w s m a -> RWST r w s m a

(Monad m, HasLoggerName m, Monoid w) => HasLoggerName (RWST r w s m)

Methods

getLoggerName :: RWST r w s m LoggerName

modifyLoggerName :: (LoggerName -> LoggerName) -> RWST r w s m a -> RWST r w s m a

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

MonadState s m => MonadState s (LoggerNameBox m)

Methods

get :: LoggerNameBox m s

put :: s -> LoggerNameBox m ()

state :: (s -> (a, s)) -> 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

MonadError e m => MonadError e (LoggerNameBox m)

Methods

throwError :: e -> LoggerNameBox m a

catchError :: LoggerNameBox m a -> (e -> LoggerNameBox m a) -> 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

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

(*>) :: 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

getLoggerName :: 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

setLoggerName :: HasLoggerName m => LoggerName -> m a -> m a

Set logger name in context.

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

Runs a LoggerNameBox with specified initial LoggerName.