System.Log.Heavy.LoggingT

This module contains default implementation of HasLogBackend, HasLogContext, HasLogger instances, based on ReaderT - LoggingT monad transformer.

Documentation

newtype LoggingT m a

Logging monad transformer. This is just a default implementation of HasLogging interface. Applications are free to use this or another implementation.

Constructors

LoggingT (ReaderT LoggingTState m a)

Instances

MonadTrans LoggingT

Defined in System.Log.Heavy.LoggingT

Methods

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

MonadTransControl LoggingT

Defined in System.Log.Heavy.LoggingT

Associated Types

type StT LoggingT a :: Type

Methods

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

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

MonadIO m => MonadBase IO (LoggingT m)

Defined in System.Log.Heavy.LoggingT

Methods

liftBase :: IO α -> LoggingT m α

(MonadBaseControl IO m, MonadIO m) => MonadBaseControl IO (LoggingT m)

Defined in System.Log.Heavy.LoggingT

Associated Types

type StM (LoggingT m) a :: Type

Methods

liftBaseWith :: (RunInBase (LoggingT m) IO -> IO a) -> LoggingT m a

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

Monad m => MonadReader LoggingTState (LoggingT m)

Defined in System.Log.Heavy.LoggingT

Methods

ask :: LoggingT m LoggingTState

local :: (LoggingTState -> LoggingTState) -> LoggingT m a -> LoggingT m a

reader :: (LoggingTState -> a) -> LoggingT m a

Monad m => HasLogBackend AnyLogBackend (LoggingT m)

Defined in System.Log.Heavy.LoggingT

Methods

getLogBackend :: LoggingT m AnyLogBackend

Monad m => Monad (LoggingT m)

Defined in System.Log.Heavy.LoggingT

Methods

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

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

return :: a -> LoggingT m a

fail :: String -> LoggingT m a

Functor m => Functor (LoggingT m)

Defined in System.Log.Heavy.LoggingT

Methods

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

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

Applicative m => Applicative (LoggingT m)

Defined in System.Log.Heavy.LoggingT

Methods

pure :: a -> LoggingT m a

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

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

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

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

MonadIO m => MonadIO (LoggingT m)

Defined in System.Log.Heavy.LoggingT

Methods

liftIO :: IO a -> LoggingT m a

Monad m => HasLogContext (LoggingT m)

Defined in System.Log.Heavy.LoggingT

Methods

withLogContext :: LogContextFrame -> LoggingT m a -> LoggingT m a

getLogContext :: LoggingT m LogContext

Monad m => HasLogger (LoggingT m)

Defined in System.Log.Heavy.LoggingT

Methods

getLogger :: LoggingT m SpecializedLogger

localLogger :: SpecializedLogger -> LoggingT m a -> LoggingT m a

type StT LoggingT a

Defined in System.Log.Heavy.LoggingT

type StT LoggingT a = StT (ReaderT LoggingTState :: (Type -> Type) -> Type -> Type) a

type StM (LoggingT m) a

Defined in System.Log.Heavy.LoggingT

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

data LoggingTState

State of LoggingT monad

Constructors

LoggingTState

Fields

• ltsLogger :: SpecializedLogger
• ltsBackend :: AnyLogBackend
• ltsContext :: LogContext

Instances

Monad m => MonadReader LoggingTState (LoggingT m)

Defined in System.Log.Heavy.LoggingT

Methods

ask :: LoggingT m LoggingTState

local :: (LoggingTState -> LoggingTState) -> LoggingT m a -> LoggingT m a

reader :: (LoggingTState -> a) -> LoggingT m a

runLoggingT :: LoggingT m a -> LoggingTState -> m a

Run logging monad