Log.Monad

Documentation

data Logger

Data type representing logger.

Instances

Monoid Logger

Composition of Logger objects.

Methods

mempty :: Logger

mappend :: Logger -> Logger -> Logger

mconcat :: [Logger] -> Logger

data LoggerEnv

LogT environment.

Constructors

LoggerEnv

Fields

• leLogger :: !Logger
• leComponent :: !Text
• leDomain :: ![Text]
• leData :: ![Pair]

type InnerLogT = ReaderT LoggerEnv

newtype LogT m a

Monad transformer that adds logging capabilities to the underlying monad.

Constructors

LogT

Fields

• unLogT :: InnerLogT m a

Instances

MonadTrans LogT

Methods

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

MonadTransControl LogT

Associated Types

type StT (LogT :: (* -> *) -> * -> *) a :: *

Methods

liftWith :: Monad m => (Run LogT -> m a) -> LogT m a

restoreT :: Monad m => m (StT LogT a) -> LogT m a

MonadBase b m => MonadBase b (LogT m)

Methods

liftBase :: b α -> LogT m α

MonadBaseControl b m => MonadBaseControl b (LogT m)

Associated Types

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

Methods

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

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

Monad m => Monad (LogT m)

Methods

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

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

return :: a -> LogT m a

fail :: String -> LogT m a

Functor m => Functor (LogT m)

Methods

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

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

Applicative m => Applicative (LogT m)

Methods

pure :: a -> LogT m a

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

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

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

Alternative m => Alternative (LogT m)

Methods

empty :: LogT m a

(<|>) :: LogT m a -> LogT m a -> LogT m a

some :: LogT m a -> LogT m [a]

many :: LogT m a -> LogT m [a]

MonadPlus m => MonadPlus (LogT m)

Methods

mzero :: LogT m a

mplus :: LogT m a -> LogT m a -> LogT m a

MonadIO m => MonadIO (LogT m)

Methods

liftIO :: IO a -> LogT m a

MonadThrow m => MonadThrow (LogT m)

Methods

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

MonadCatch m => MonadCatch (LogT m)

Methods

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

MonadMask m => MonadMask (LogT m)

Methods

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

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

(MonadBase IO m, MonadTime m) => MonadLog (LogT m)

Methods

logMessage :: UTCTime -> LogLevel -> Text -> Value -> LogT m ()

localData :: [Pair] -> LogT m a -> LogT m a

localDomain :: Text -> LogT m a -> LogT m a

type StT LogT m

type StT LogT m = StT InnerLogT m

type StM (LogT m) a

type StM (LogT m) a = ComposeSt LogT m a

runLogT :: Text -> Logger -> LogT m a -> m a

mapLogT :: (m a -> n b) -> LogT m a -> LogT n b