| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Control.Monad.Logger.CallStack
Description
Log functions using CallStack support in place of Template Haskell
Since: 0.3.19
Synopsis
- class ToLogStr msg where
- data LogStr
- fromLogStr :: LogStr -> ByteString
- data Loc = Loc {}
- class Monad m => MonadLogger (m :: Type -> Type) where
- monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> m ()
- class (MonadLogger m, MonadIO m) => MonadLoggerIO (m :: Type -> Type) where
- data LogLevel
- type LogLine = (Loc, LogSource, LogLevel, LogStr)
- type LogSource = Text
- newtype LoggingT (m :: Type -> Type) a = LoggingT {}
- runStderrLoggingT :: MonadIO m => LoggingT m a -> m a
- runStdoutLoggingT :: MonadIO m => LoggingT m a -> m a
- runChanLoggingT :: MonadIO m => Chan LogLine -> LoggingT m a -> m a
- runFileLoggingT :: MonadBaseControl IO m => FilePath -> LoggingT m a -> m a
- unChanLoggingT :: (MonadLogger m, MonadIO m) => Chan LogLine -> m void
- withChannelLogger :: forall (m :: Type -> Type) a. (MonadBaseControl IO m, MonadIO m) => Int -> LoggingT m a -> LoggingT m a
- filterLogger :: forall (m :: Type -> Type) a. (LogSource -> LogLevel -> Bool) -> LoggingT m a -> LoggingT m a
- newtype NoLoggingT (m :: Type -> Type) a = NoLoggingT {
- runNoLoggingT :: m a
- mapNoLoggingT :: (m a -> n b) -> NoLoggingT m a -> NoLoggingT n b
- newtype WriterLoggingT (m :: Type -> Type) a = WriterLoggingT {
- unWriterLoggingT :: m (a, DList LogLine)
- execWriterLoggingT :: Functor m => WriterLoggingT m a -> m [LogLine]
- runWriterLoggingT :: Functor m => WriterLoggingT m a -> m (a, [LogLine])
- mapLoggingT :: (m a -> n b) -> LoggingT m a -> LoggingT n b
- logDebugS :: Q Exp
- logInfoS :: Q Exp
- logWarnS :: Q Exp
- logErrorS :: Q Exp
- logOtherS :: Q Exp
- liftLoc :: Loc -> Q Exp
- logDebugN :: MonadLogger m => Text -> m ()
- logInfoN :: MonadLogger m => Text -> m ()
- logWarnN :: MonadLogger m => Text -> m ()
- logErrorN :: MonadLogger m => Text -> m ()
- logOtherN :: MonadLogger m => LogLevel -> Text -> m ()
- logWithoutLoc :: (MonadLogger m, ToLogStr msg) => LogSource -> LogLevel -> msg -> m ()
- logDebugNS :: MonadLogger m => LogSource -> Text -> m ()
- logInfoNS :: MonadLogger m => LogSource -> Text -> m ()
- logWarnNS :: MonadLogger m => LogSource -> Text -> m ()
- logErrorNS :: MonadLogger m => LogSource -> Text -> m ()
- logOtherNS :: MonadLogger m => LogSource -> LogLevel -> Text -> m ()
- logDebugCS :: MonadLogger m => CallStack -> Text -> m ()
- logInfoCS :: MonadLogger m => CallStack -> Text -> m ()
- logWarnCS :: MonadLogger m => CallStack -> Text -> m ()
- logErrorCS :: MonadLogger m => CallStack -> Text -> m ()
- logOtherCS :: MonadLogger m => CallStack -> LogLevel -> Text -> m ()
- defaultLogStr :: Loc -> LogSource -> LogLevel -> LogStr -> LogStr
- defaultLoc :: Loc
- defaultOutput :: Handle -> Loc -> LogSource -> LogLevel -> LogStr -> IO ()
- logDebug :: (HasCallStack, MonadLogger m) => Text -> m ()
- logInfo :: (HasCallStack, MonadLogger m) => Text -> m ()
- logWarn :: (HasCallStack, MonadLogger m) => Text -> m ()
- logError :: (HasCallStack, MonadLogger m) => Text -> m ()
- logOther :: (HasCallStack, MonadLogger m) => LogLevel -> Text -> m ()
- logDebugSH :: (HasCallStack, MonadLogger m, Show a) => a -> m ()
- logInfoSH :: (HasCallStack, MonadLogger m, Show a) => a -> m ()
- logWarnSH :: (HasCallStack, MonadLogger m, Show a) => a -> m ()
- logErrorSH :: (HasCallStack, MonadLogger m, Show a) => a -> m ()
- logOtherSH :: (HasCallStack, MonadLogger m, Show a) => LogLevel -> a -> m ()
Documentation
class ToLogStr msg where Source #
Types that can be converted to a LogStr. Instances for
types from the text library use a UTF-8 encoding. Instances
for numerical types use a decimal encoding.
Instances
| ToLogStr Builder | |
| ToLogStr ByteString | |
Defined in System.Log.FastLogger.LogStr Methods toLogStr :: ByteString -> LogStr Source # | |
| ToLogStr ByteString | |
Defined in System.Log.FastLogger.LogStr Methods toLogStr :: ByteString -> LogStr Source # | |
| ToLogStr ShortByteString | |
Defined in System.Log.FastLogger.LogStr Methods toLogStr :: ShortByteString -> LogStr Source # | |
| ToLogStr LogStr | |
| ToLogStr Int16 | Since: fast-logger-2.4.14 |
| ToLogStr Int32 | Since: fast-logger-2.4.14 |
| ToLogStr Int64 | Since: fast-logger-2.4.14 |
| ToLogStr Int8 | Since: fast-logger-2.4.14 |
| ToLogStr Word16 | Since: fast-logger-2.4.14 |
| ToLogStr Word32 | Since: fast-logger-2.4.14 |
| ToLogStr Word64 | Since: fast-logger-2.4.14 |
| ToLogStr Word8 | Since: fast-logger-2.4.14 |
| ToLogStr Text | |
| ToLogStr Text | |
| ToLogStr Integer | Since: fast-logger-2.4.14 |
| ToLogStr String | |
| ToLogStr Double | Since: fast-logger-2.4.14 |
| ToLogStr Float | Since: fast-logger-2.4.14 |
| ToLogStr Int | Since: fast-logger-2.4.14 |
| ToLogStr Word | Since: fast-logger-2.4.14 |
Log message builder. Use (<>) to append two LogStr in O(1).
fromLogStr :: LogStr -> ByteString Source #
Converting LogStr to ByteString.
Constructors
| Loc | |
Fields
| |
Instances
class Monad m => MonadLogger (m :: Type -> Type) where Source #
A Monad which has the ability to log messages in some manner.
Minimal complete definition
Nothing
Methods
monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> m () Source #
default monadLoggerLog :: forall (m' :: Type -> Type) (t :: (Type -> Type) -> Type -> Type) msg. (MonadLogger m', MonadTrans t, MonadLogger (t m'), ToLogStr msg, m ~ t m') => Loc -> LogSource -> LogLevel -> msg -> m () Source #
Instances
| MonadIO m => MonadLogger (LoggingT m) Source # | |
Defined in Control.Monad.Logger | |
| Monad m => MonadLogger (NoLoggingT m) Source # | |
Defined in Control.Monad.Logger Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> NoLoggingT m () Source # | |
| Monad m => MonadLogger (WriterLoggingT m) Source # | |
Defined in Control.Monad.Logger Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> WriterLoggingT m () Source # | |
| MonadLogger m => MonadLogger (ResourceT m) Source # | |
Defined in Control.Monad.Logger | |
| MonadLogger m => MonadLogger (MaybeT m) Source # | |
Defined in Control.Monad.Logger | |
| MonadLogger m => MonadLogger (ExceptT e m) Source # | |
Defined in Control.Monad.Logger | |
| MonadLogger m => MonadLogger (IdentityT m) Source # | |
Defined in Control.Monad.Logger | |
| MonadLogger m => MonadLogger (ReaderT r m) Source # | |
Defined in Control.Monad.Logger | |
| MonadLogger m => MonadLogger (StateT s m) Source # | |
Defined in Control.Monad.Logger | |
| MonadLogger m => MonadLogger (StateT s m) Source # | |
Defined in Control.Monad.Logger | |
| (MonadLogger m, Monoid w) => MonadLogger (WriterT w m) Source # | |
Defined in Control.Monad.Logger | |
| (MonadLogger m, Monoid w) => MonadLogger (WriterT w m) Source # | |
Defined in Control.Monad.Logger | |
| MonadLogger m => MonadLogger (ConduitM i o m) Source # | |
Defined in Control.Monad.Logger | |
| MonadLogger m => MonadLogger (ContT r m) Source # | |
Defined in Control.Monad.Logger | |
| (MonadLogger m, Monoid w) => MonadLogger (RWST r w s m) Source # | |
Defined in Control.Monad.Logger | |
| (MonadLogger m, Monoid w) => MonadLogger (RWST r w s m) Source # | |
Defined in Control.Monad.Logger | |
| MonadLogger m => MonadLogger (Pipe l i o u m) Source # | |
Defined in Control.Monad.Logger | |
class (MonadLogger m, MonadIO m) => MonadLoggerIO (m :: Type -> Type) where Source #
An extension of MonadLogger for the common case where the logging action
is a simple IO action. The advantage of using this typeclass is that the
logging function itself can be extracted as a first-class value, which can
make it easier to manipulate monad transformer stacks, as an example.
Since: 0.3.10
Minimal complete definition
Nothing
Methods
askLoggerIO :: m (Loc -> LogSource -> LogLevel -> LogStr -> IO ()) Source #
Request the logging function itself.
Since: 0.3.10
Instances
| MonadIO m => MonadLoggerIO (LoggingT m) Source # | |
Defined in Control.Monad.Logger | |
| MonadIO m => MonadLoggerIO (NoLoggingT m) Source # | |
Defined in Control.Monad.Logger Methods askLoggerIO :: NoLoggingT m (Loc -> LogSource -> LogLevel -> LogStr -> IO ()) Source # | |
| MonadLoggerIO m => MonadLoggerIO (ResourceT m) Source # | |
Defined in Control.Monad.Logger | |
| MonadLoggerIO m => MonadLoggerIO (MaybeT m) Source # | |
Defined in Control.Monad.Logger | |
| MonadLoggerIO m => MonadLoggerIO (ExceptT e m) Source # | |
Defined in Control.Monad.Logger | |
| MonadLoggerIO m => MonadLoggerIO (IdentityT m) Source # | |
Defined in Control.Monad.Logger | |
| MonadLoggerIO m => MonadLoggerIO (ReaderT r m) Source # | |
Defined in Control.Monad.Logger | |
| MonadLoggerIO m => MonadLoggerIO (StateT s m) Source # | |
Defined in Control.Monad.Logger | |
| MonadLoggerIO m => MonadLoggerIO (StateT s m) Source # | |
Defined in Control.Monad.Logger | |
| (MonadLoggerIO m, Monoid w) => MonadLoggerIO (WriterT w m) Source # | |
Defined in Control.Monad.Logger | |
| (MonadLoggerIO m, Monoid w) => MonadLoggerIO (WriterT w m) Source # | |
Defined in Control.Monad.Logger | |
| MonadLoggerIO m => MonadLoggerIO (ConduitM i o m) Source # | |
Defined in Control.Monad.Logger | |
| MonadLoggerIO m => MonadLoggerIO (ContT r m) Source # | |
Defined in Control.Monad.Logger | |
| (MonadLoggerIO m, Monoid w) => MonadLoggerIO (RWST r w s m) Source # | |
Defined in Control.Monad.Logger | |
| (MonadLoggerIO m, Monoid w) => MonadLoggerIO (RWST r w s m) Source # | |
Defined in Control.Monad.Logger | |
| MonadLoggerIO m => MonadLoggerIO (Pipe l i o u m) Source # | |
Defined in Control.Monad.Logger | |
Constructors
| LevelDebug | |
| LevelInfo | |
| LevelWarn | |
| LevelError | |
| LevelOther Text |
Instances
| Read LogLevel Source # | |
| Show LogLevel Source # | |
| Eq LogLevel Source # | |
| Ord LogLevel Source # | |
Defined in Control.Monad.Logger | |
| Lift LogLevel Source # | |
newtype LoggingT (m :: Type -> Type) a Source #
Monad transformer that adds a new logging function.
Since: 0.2.2
Instances
| MonadTransControl LoggingT Source # | |
| MonadTrans LoggingT Source # | |
| MonadRWS r w s m => MonadRWS r w s (LoggingT m) Source # | |
Defined in Control.Monad.Logger | |
| MonadBaseControl b m => MonadBaseControl b (LoggingT m) Source # | |
| MonadAccum w m => MonadAccum w (LoggingT m) Source # | Since: 0.3.41 |
| MonadError e m => MonadError e (LoggingT m) Source # | |
Defined in Control.Monad.Logger Methods throwError :: e -> LoggingT m a Source # catchError :: LoggingT m a -> (e -> LoggingT m a) -> LoggingT m a Source # | |
| MonadReader r m => MonadReader r (LoggingT m) Source # | |
| MonadState s m => MonadState s (LoggingT m) Source # | |
| MonadWriter w m => MonadWriter w (LoggingT m) Source # | |
| MonadBase b m => MonadBase b (LoggingT m) Source # | |
Defined in Control.Monad.Logger | |
| MonadIO m => MonadIO (LoggingT m) Source # | |
| MonadActive m => MonadActive (LoggingT m) Source # | |
Defined in Control.Monad.Logger Methods monadActive :: LoggingT m Bool Source # | |
| MonadCatch m => MonadCatch (LoggingT m) Source # | |
Defined in Control.Monad.Logger | |
| MonadMask m => MonadMask (LoggingT m) Source # | |
Defined in Control.Monad.Logger Methods mask :: HasCallStack => ((forall a. LoggingT m a -> LoggingT m a) -> LoggingT m b) -> LoggingT m b Source # uninterruptibleMask :: HasCallStack => ((forall a. LoggingT m a -> LoggingT m a) -> LoggingT m b) -> LoggingT m b Source # generalBracket :: HasCallStack => LoggingT m a -> (a -> ExitCase b -> LoggingT m c) -> (a -> LoggingT m b) -> LoggingT m (b, c) Source # | |
| MonadThrow m => MonadThrow (LoggingT m) Source # | |
Defined in Control.Monad.Logger | |
| Alternative m => Alternative (LoggingT m) Source # | Since: 0.3.40 |
| Applicative m => Applicative (LoggingT m) Source # | |
Defined in Control.Monad.Logger Methods pure :: a -> LoggingT m a Source # (<*>) :: LoggingT m (a -> b) -> LoggingT m a -> LoggingT m b Source # liftA2 :: (a -> b -> c) -> LoggingT m a -> LoggingT m b -> LoggingT m c Source # (*>) :: LoggingT m a -> LoggingT m b -> LoggingT m b Source # (<*) :: LoggingT m a -> LoggingT m b -> LoggingT m a Source # | |
| Functor m => Functor (LoggingT m) Source # | |
| Monad m => Monad (LoggingT m) Source # | |
| MonadFail m => MonadFail (LoggingT m) Source # | Since: 0.3.30 |
| MonadIO m => MonadLogger (LoggingT m) Source # | |
Defined in Control.Monad.Logger | |
| MonadIO m => MonadLoggerIO (LoggingT m) Source # | |
Defined in Control.Monad.Logger | |
| MonadCont m => MonadCont (LoggingT m) Source # | |
| MonadResource m => MonadResource (LoggingT m) Source # | |
Defined in Control.Monad.Logger | |
| MonadUnliftIO m => MonadUnliftIO (LoggingT m) Source # | Since: 0.3.26 |
Defined in Control.Monad.Logger | |
| (Applicative m, Monoid a) => Monoid (LoggingT m a) Source # | |
| (Applicative m, Semigroup a) => Semigroup (LoggingT m a) Source # | |
| type StT LoggingT a Source # | |
Defined in Control.Monad.Logger | |
| type StM (LoggingT m) a Source # | |
Defined in Control.Monad.Logger | |
runStderrLoggingT :: MonadIO m => LoggingT m a -> m a Source #
Run a block using a MonadLogger instance which prints to stderr.
Since: 0.2.2
runStdoutLoggingT :: MonadIO m => LoggingT m a -> m a Source #
Run a block using a MonadLogger instance which prints to stdout.
Since: 0.2.2
runChanLoggingT :: MonadIO m => Chan LogLine -> LoggingT m a -> m a Source #
Run a block using a MonadLogger instance which writes tuples to an
unbounded channel.
The tuples can be extracted (ie. in another thread) with unChanLoggingT
or a custom extraction funtion, and written to a destination.
Since: 0.3.17
runFileLoggingT :: MonadBaseControl IO m => FilePath -> LoggingT m a -> m a Source #
Run a block using a MonadLogger instance which appends to the specified file.
Since: 0.3.22
unChanLoggingT :: (MonadLogger m, MonadIO m) => Chan LogLine -> m void Source #
Read logging tuples from an unbounded channel and log them into a
MonadLoggerIO monad, forever.
For use in a dedicated thread with a channel fed by runChanLoggingT.
Since: 0.3.17
Arguments
| :: forall (m :: Type -> Type) a. (MonadBaseControl IO m, MonadIO m) | |
| => Int | Number of messages to keep |
| -> LoggingT m a | |
| -> LoggingT m a |
Within the LoggingT monad, capture all log messages to a bounded
channel of the indicated size, and only actually log them if there is an
exception.
Since: 0.3.2
filterLogger :: forall (m :: Type -> Type) a. (LogSource -> LogLevel -> Bool) -> LoggingT m a -> LoggingT m a Source #
Only log messages passing the given predicate function.
This can be a convenient way, for example, to ignore debug level messages.
Since: 0.3.13
newtype NoLoggingT (m :: Type -> Type) a Source #
Monad transformer that disables logging.
Since: 0.2.4
Constructors
| NoLoggingT | |
Fields
| |
Instances
| MonadTransControl NoLoggingT Source # | |||||
Defined in Control.Monad.Logger Associated Types
Methods liftWith :: Monad m => (Run NoLoggingT -> m a) -> NoLoggingT m a Source # restoreT :: Monad m => m (StT NoLoggingT a) -> NoLoggingT m a Source # | |||||
| MonadTrans NoLoggingT Source # | |||||
Defined in Control.Monad.Logger Methods lift :: Monad m => m a -> NoLoggingT m a Source # | |||||
| MonadBaseControl b m => MonadBaseControl b (NoLoggingT m) Source # | |||||
Defined in Control.Monad.Logger Methods liftBaseWith :: (RunInBase (NoLoggingT m) b -> b a) -> NoLoggingT m a Source # restoreM :: StM (NoLoggingT m) a -> NoLoggingT m a Source # | |||||
| MonadAccum w m => MonadAccum w (NoLoggingT m) Source # | Since: 0.3.41 | ||||
Defined in Control.Monad.Logger Methods look :: NoLoggingT m w Source # add :: w -> NoLoggingT m () Source # accum :: (w -> (a, w)) -> NoLoggingT m a Source # | |||||
| MonadError e m => MonadError e (NoLoggingT m) Source # | |||||
Defined in Control.Monad.Logger Methods throwError :: e -> NoLoggingT m a Source # catchError :: NoLoggingT m a -> (e -> NoLoggingT m a) -> NoLoggingT m a Source # | |||||
| MonadReader r m => MonadReader r (NoLoggingT m) Source # | Since: 0.3.24 | ||||
Defined in Control.Monad.Logger Methods ask :: NoLoggingT m r Source # local :: (r -> r) -> NoLoggingT m a -> NoLoggingT m a Source # reader :: (r -> a) -> NoLoggingT m a Source # | |||||
| MonadState s m => MonadState s (NoLoggingT m) Source # | |||||
Defined in Control.Monad.Logger Methods get :: NoLoggingT m s Source # put :: s -> NoLoggingT m () Source # state :: (s -> (a, s)) -> NoLoggingT m a Source # | |||||
| MonadWriter w m => MonadWriter w (NoLoggingT m) Source # | |||||
Defined in Control.Monad.Logger Methods writer :: (a, w) -> NoLoggingT m a Source # tell :: w -> NoLoggingT m () Source # listen :: NoLoggingT m a -> NoLoggingT m (a, w) Source # pass :: NoLoggingT m (a, w -> w) -> NoLoggingT m a Source # | |||||
| MonadBase b m => MonadBase b (NoLoggingT m) Source # | |||||
Defined in Control.Monad.Logger Methods liftBase :: b α -> NoLoggingT m α Source # | |||||
| MonadIO m => MonadIO (NoLoggingT m) Source # | |||||
Defined in Control.Monad.Logger Methods liftIO :: IO a -> NoLoggingT m a Source # | |||||
| MonadActive m => MonadActive (NoLoggingT m) Source # | |||||
Defined in Control.Monad.Logger Methods monadActive :: NoLoggingT m Bool Source # | |||||
| MonadCatch m => MonadCatch (NoLoggingT m) Source # | |||||
Defined in Control.Monad.Logger Methods catch :: (HasCallStack, Exception e) => NoLoggingT m a -> (e -> NoLoggingT m a) -> NoLoggingT m a Source # | |||||
| MonadMask m => MonadMask (NoLoggingT m) Source # | |||||
Defined in Control.Monad.Logger Methods mask :: HasCallStack => ((forall a. NoLoggingT m a -> NoLoggingT m a) -> NoLoggingT m b) -> NoLoggingT m b Source # uninterruptibleMask :: HasCallStack => ((forall a. NoLoggingT m a -> NoLoggingT m a) -> NoLoggingT m b) -> NoLoggingT m b Source # generalBracket :: HasCallStack => NoLoggingT m a -> (a -> ExitCase b -> NoLoggingT m c) -> (a -> NoLoggingT m b) -> NoLoggingT m (b, c) Source # | |||||
| MonadThrow m => MonadThrow (NoLoggingT m) Source # | |||||
Defined in Control.Monad.Logger Methods throwM :: (HasCallStack, Exception e) => e -> NoLoggingT m a Source # | |||||
| Alternative m => Alternative (NoLoggingT m) Source # | Since: 0.3.40 | ||||
Defined in Control.Monad.Logger Methods empty :: NoLoggingT m a Source # (<|>) :: NoLoggingT m a -> NoLoggingT m a -> NoLoggingT m a Source # some :: NoLoggingT m a -> NoLoggingT m [a] Source # many :: NoLoggingT m a -> NoLoggingT m [a] Source # | |||||
| Applicative m => Applicative (NoLoggingT m) Source # | |||||
Defined in Control.Monad.Logger Methods pure :: a -> NoLoggingT m a Source # (<*>) :: NoLoggingT m (a -> b) -> NoLoggingT m a -> NoLoggingT m b Source # liftA2 :: (a -> b -> c) -> NoLoggingT m a -> NoLoggingT m b -> NoLoggingT m c Source # (*>) :: NoLoggingT m a -> NoLoggingT m b -> NoLoggingT m b Source # (<*) :: NoLoggingT m a -> NoLoggingT m b -> NoLoggingT m a Source # | |||||
| Functor m => Functor (NoLoggingT m) Source # | |||||
Defined in Control.Monad.Logger Methods fmap :: (a -> b) -> NoLoggingT m a -> NoLoggingT m b Source # (<$) :: a -> NoLoggingT m b -> NoLoggingT m a Source # | |||||
| Monad m => Monad (NoLoggingT m) Source # | |||||
Defined in Control.Monad.Logger Methods (>>=) :: NoLoggingT m a -> (a -> NoLoggingT m b) -> NoLoggingT m b Source # (>>) :: NoLoggingT m a -> NoLoggingT m b -> NoLoggingT m b Source # return :: a -> NoLoggingT m a Source # | |||||
| MonadFail m => MonadFail (NoLoggingT m) Source # | Since: 0.3.30 | ||||
Defined in Control.Monad.Logger Methods fail :: String -> NoLoggingT m a Source # | |||||
| Monad m => MonadLogger (NoLoggingT m) Source # | |||||
Defined in Control.Monad.Logger Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> NoLoggingT m () Source # | |||||
| MonadIO m => MonadLoggerIO (NoLoggingT m) Source # | |||||
Defined in Control.Monad.Logger Methods askLoggerIO :: NoLoggingT m (Loc -> LogSource -> LogLevel -> LogStr -> IO ()) Source # | |||||
| MonadResource m => MonadResource (NoLoggingT m) Source # | |||||
Defined in Control.Monad.Logger Methods liftResourceT :: ResourceT IO a -> NoLoggingT m a Source # | |||||
| MonadUnliftIO m => MonadUnliftIO (NoLoggingT m) Source # | Since: 0.3.26 | ||||
Defined in Control.Monad.Logger Methods withRunInIO :: ((forall a. NoLoggingT m a -> IO a) -> IO b) -> NoLoggingT m b Source # | |||||
| (Applicative m, Monoid a) => Monoid (NoLoggingT m a) Source # | |||||
Defined in Control.Monad.Logger Methods mempty :: NoLoggingT m a Source # mappend :: NoLoggingT m a -> NoLoggingT m a -> NoLoggingT m a Source # mconcat :: [NoLoggingT m a] -> NoLoggingT m a Source # | |||||
| (Applicative m, Semigroup a) => Semigroup (NoLoggingT m a) Source # | |||||
Defined in Control.Monad.Logger Methods (<>) :: NoLoggingT m a -> NoLoggingT m a -> NoLoggingT m a Source # sconcat :: NonEmpty (NoLoggingT m a) -> NoLoggingT m a Source # stimes :: Integral b => b -> NoLoggingT m a -> NoLoggingT m a Source # | |||||
| type StT NoLoggingT a Source # | |||||
Defined in Control.Monad.Logger | |||||
| type StM (NoLoggingT m) a Source # | |||||
Defined in Control.Monad.Logger | |||||
mapNoLoggingT :: (m a -> n b) -> NoLoggingT m a -> NoLoggingT n b Source #
Map the unwrapped computation using the given function.
Since: 0.3.29
newtype WriterLoggingT (m :: Type -> Type) a Source #
Since: 0.3.28
Constructors
| WriterLoggingT | |
Fields
| |
Instances
| MonadTransControl WriterLoggingT Source # | |||||
Defined in Control.Monad.Logger Associated Types
Methods liftWith :: Monad m => (Run WriterLoggingT -> m a) -> WriterLoggingT m a Source # restoreT :: Monad m => m (StT WriterLoggingT a) -> WriterLoggingT m a Source # | |||||
| MonadTrans WriterLoggingT Source # | |||||
Defined in Control.Monad.Logger Methods lift :: Monad m => m a -> WriterLoggingT m a Source # | |||||
| MonadBaseControl b m => MonadBaseControl b (WriterLoggingT m) Source # | |||||
Defined in Control.Monad.Logger Methods liftBaseWith :: (RunInBase (WriterLoggingT m) b -> b a) -> WriterLoggingT m a Source # restoreM :: StM (WriterLoggingT m) a -> WriterLoggingT m a Source # | |||||
| MonadBase b m => MonadBase b (WriterLoggingT m) Source # | |||||
Defined in Control.Monad.Logger Methods liftBase :: b α -> WriterLoggingT m α Source # | |||||
| MonadIO m => MonadIO (WriterLoggingT m) Source # | |||||
Defined in Control.Monad.Logger Methods liftIO :: IO a -> WriterLoggingT m a Source # | |||||
| MonadCatch m => MonadCatch (WriterLoggingT m) Source # | |||||
Defined in Control.Monad.Logger Methods catch :: (HasCallStack, Exception e) => WriterLoggingT m a -> (e -> WriterLoggingT m a) -> WriterLoggingT m a Source # | |||||
| MonadMask m => MonadMask (WriterLoggingT m) Source # | |||||
Defined in Control.Monad.Logger Methods mask :: HasCallStack => ((forall a. WriterLoggingT m a -> WriterLoggingT m a) -> WriterLoggingT m b) -> WriterLoggingT m b Source # uninterruptibleMask :: HasCallStack => ((forall a. WriterLoggingT m a -> WriterLoggingT m a) -> WriterLoggingT m b) -> WriterLoggingT m b Source # generalBracket :: HasCallStack => WriterLoggingT m a -> (a -> ExitCase b -> WriterLoggingT m c) -> (a -> WriterLoggingT m b) -> WriterLoggingT m (b, c) Source # | |||||
| MonadThrow m => MonadThrow (WriterLoggingT m) Source # | |||||
Defined in Control.Monad.Logger Methods throwM :: (HasCallStack, Exception e) => e -> WriterLoggingT m a Source # | |||||
| Applicative m => Applicative (WriterLoggingT m) Source # | |||||
Defined in Control.Monad.Logger Methods pure :: a -> WriterLoggingT m a Source # (<*>) :: WriterLoggingT m (a -> b) -> WriterLoggingT m a -> WriterLoggingT m b Source # liftA2 :: (a -> b -> c) -> WriterLoggingT m a -> WriterLoggingT m b -> WriterLoggingT m c Source # (*>) :: WriterLoggingT m a -> WriterLoggingT m b -> WriterLoggingT m b Source # (<*) :: WriterLoggingT m a -> WriterLoggingT m b -> WriterLoggingT m a Source # | |||||
| Functor m => Functor (WriterLoggingT m) Source # | |||||
Defined in Control.Monad.Logger Methods fmap :: (a -> b) -> WriterLoggingT m a -> WriterLoggingT m b Source # (<$) :: a -> WriterLoggingT m b -> WriterLoggingT m a Source # | |||||
| Monad m => Monad (WriterLoggingT m) Source # | |||||
Defined in Control.Monad.Logger Methods (>>=) :: WriterLoggingT m a -> (a -> WriterLoggingT m b) -> WriterLoggingT m b Source # (>>) :: WriterLoggingT m a -> WriterLoggingT m b -> WriterLoggingT m b Source # return :: a -> WriterLoggingT m a Source # | |||||
| Monad m => MonadLogger (WriterLoggingT m) Source # | |||||
Defined in Control.Monad.Logger Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> WriterLoggingT m () Source # | |||||
| (Applicative m, Monoid a) => Monoid (WriterLoggingT m a) Source # | |||||
Defined in Control.Monad.Logger Methods mempty :: WriterLoggingT m a Source # mappend :: WriterLoggingT m a -> WriterLoggingT m a -> WriterLoggingT m a Source # mconcat :: [WriterLoggingT m a] -> WriterLoggingT m a Source # | |||||
| (Applicative m, Semigroup a) => Semigroup (WriterLoggingT m a) Source # | |||||
Defined in Control.Monad.Logger Methods (<>) :: WriterLoggingT m a -> WriterLoggingT m a -> WriterLoggingT m a Source # sconcat :: NonEmpty (WriterLoggingT m a) -> WriterLoggingT m a Source # stimes :: Integral b => b -> WriterLoggingT m a -> WriterLoggingT m a Source # | |||||
| type StT WriterLoggingT a Source # | |||||
Defined in Control.Monad.Logger | |||||
| type StM (WriterLoggingT m) a Source # | |||||
Defined in Control.Monad.Logger | |||||
execWriterLoggingT :: Functor m => WriterLoggingT m a -> m [LogLine] Source #
Run a block using a MonadLogger instance. Return logs in a list
| @since 0.3.28
runWriterLoggingT :: Functor m => WriterLoggingT m a -> m (a, [LogLine]) Source #
Run a block using a MonadLogger instance. Return a value and logs in a list
| @since 0.3.28
mapLoggingT :: (m a -> n b) -> LoggingT m a -> LoggingT n b Source #
Map the unwrapped computation using the given function.
Since: 0.3.29
Generates a function that takes a LogSource and Text and logs a LevelDebug message. Usage:
$logDebugS "SomeSource" "This is a debug log message"
Generates a function that takes a LogSource, a level name and a Text and logs a LevelOther message. Usage:
$logOtherS "SomeSource" "My new level" "This is a log message"
logDebugN :: MonadLogger m => Text -> m () Source #
logInfoN :: MonadLogger m => Text -> m () Source #
logWarnN :: MonadLogger m => Text -> m () Source #
logErrorN :: MonadLogger m => Text -> m () Source #
logWithoutLoc :: (MonadLogger m, ToLogStr msg) => LogSource -> LogLevel -> msg -> m () Source #
Since: 0.3.23
logDebugNS :: MonadLogger m => LogSource -> Text -> m () Source #
logErrorNS :: MonadLogger m => LogSource -> Text -> m () Source #
logOtherNS :: MonadLogger m => LogSource -> LogLevel -> Text -> m () Source #
logDebugCS :: MonadLogger m => CallStack -> Text -> m () Source #
logInfoCS :: MonadLogger m => CallStack -> Text -> m () Source #
See logDebugCS
Since: 0.3.19
logWarnCS :: MonadLogger m => CallStack -> Text -> m () Source #
See logDebugCS
Since: 0.3.19
logErrorCS :: MonadLogger m => CallStack -> Text -> m () Source #
See logDebugCS
Since: 0.3.19
logOtherCS :: MonadLogger m => CallStack -> LogLevel -> Text -> m () Source #
See logDebugCS
Since: 0.3.19
defaultLoc :: Loc Source #
dummy location, used with logWithoutLoc
Since: 0.3.23
defaultOutput :: Handle -> Loc -> LogSource -> LogLevel -> LogStr -> IO () Source #
A default implementation of monadLoggerLog that accepts a file
handle as the first argument.
This is used in the definition of runStdoutLoggingT:
runStdoutLoggingT::MonadIOm =>LoggingTm a -> m arunStdoutLoggingTaction =runLoggingTaction (defaultOutputstdout)
Since: 0.3.36
logDebug :: (HasCallStack, MonadLogger m) => Text -> m () Source #
Logs a message with the location provided by
an implicit CallStack.
Since: 0.3.19
logInfo :: (HasCallStack, MonadLogger m) => Text -> m () Source #
See logDebug
Since: 0.3.19
logWarn :: (HasCallStack, MonadLogger m) => Text -> m () Source #
See logDebug
Since: 0.3.19
logError :: (HasCallStack, MonadLogger m) => Text -> m () Source #
See logDebug
Since: 0.3.19
logOther :: (HasCallStack, MonadLogger m) => LogLevel -> Text -> m () Source #
See logDebug
Since: 0.3.25
logDebugSH :: (HasCallStack, MonadLogger m, Show a) => a -> m () Source #
Logs a showable value with the location provided by
an implicit CallStack.
Since: 0.3.25
logInfoSH :: (HasCallStack, MonadLogger m, Show a) => a -> m () Source #
See logDebugSH
Since: 0.3.25
logWarnSH :: (HasCallStack, MonadLogger m, Show a) => a -> m () Source #
See logDebugSH
Since: 0.3.25
logErrorSH :: (HasCallStack, MonadLogger m, Show a) => a -> m () Source #
See logDebugSH
Since: 0.3.25
logOtherSH :: (HasCallStack, MonadLogger m, Show a) => LogLevel -> a -> m () Source #
See logDebugSH
Since: 0.3.25