Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Logging.Trace

Synopsis

traceWith :: Monad m => Trace m a -> a -> m ()
withLoggingContext :: Monad m => LoggingContext -> Trace m a -> Trace m a
filterTrace :: Monad m => ((LoggingContext, a) -> Bool) -> Trace m a -> Trace m a
filterTraceMaybe :: Monad m => Trace m a -> Trace m (Maybe a)
filterTraceBySeverity :: Monad m => Maybe SeverityF -> Trace m a -> Trace m a
filterTraceByPrivacy :: Monad m => Maybe Privacy -> Trace m a -> Trace m a
setSeverity :: Monad m => SeverityS -> Trace m a -> Trace m a
withSeverity :: forall m a. (Monad m, MetaTrace a) => Trace m a -> Trace m a
privately :: Monad m => Trace m a -> Trace m a
setPrivacy :: Monad m => Privacy -> Trace m a -> Trace m a
withPrivacy :: forall m a. (Monad m, MetaTrace a) => Trace m a -> Trace m a
allPublic :: a -> Privacy
allConfidential :: a -> Privacy
setDetails :: Monad m => DetailLevel -> Trace m a -> Trace m a
withDetails :: forall m a. (Monad m, MetaTrace a) => Trace m a -> Trace m a
contramapM :: Monad m => Trace m b -> ((LoggingContext, Either TraceControl a) -> m (LoggingContext, Either TraceControl b)) -> m (Trace m a)
contramapMCond :: Monad m => Trace m b -> ((LoggingContext, Either TraceControl a) -> m (Maybe (LoggingContext, Either TraceControl b))) -> m (Trace m a)
contramapM' :: Monad m => ((LoggingContext, Either TraceControl a) -> m ()) -> Trace m a
foldTraceM :: forall a acc m. MonadUnliftIO m => (acc -> LoggingContext -> a -> m acc) -> acc -> Trace m (Folding a acc) -> m (Trace m a)
foldCondTraceM :: forall a acc m. MonadUnliftIO m => (acc -> LoggingContext -> a -> m acc) -> acc -> (a -> Bool) -> Trace m (Folding a acc) -> m (Trace m a)
routingTrace :: forall m a. Monad m => (a -> m (Trace m a)) -> Trace m a -> Trace m a
withNames :: forall m a. (Monad m, MetaTrace a) => [Text] -> Trace m a -> Trace m a
appendPrefixName :: Monad m => Text -> Trace m a -> Trace m a
appendPrefixNames :: Monad m => [Text] -> Trace m a -> Trace m a
appendInnerName :: Monad m => Text -> Trace m a -> Trace m a
appendInnerNames :: Monad m => [Text] -> Trace m a -> Trace m a
withInnerNames :: forall m a. (Monad m, MetaTrace a) => Trace m a -> Trace m a

Documentation

traceWith :: Monad m => Trace m a -> a -> m () Source #

Adds a message object to a trace

withLoggingContext :: Monad m => LoggingContext -> Trace m a -> Trace m a Source #

Sets a new logging context for this message

filterTrace :: Monad m => ((LoggingContext, a) -> Bool) -> Trace m a -> Trace m a Source #

filterTraceMaybe :: Monad m => Trace m a -> Trace m (Maybe a) Source #

filterTraceBySeverity :: Monad m => Maybe SeverityF -> Trace m a -> Trace m a Source #

filterTraceByPrivacy :: Monad m => Maybe Privacy -> Trace m a -> Trace m a Source #

setSeverity :: Monad m => SeverityS -> Trace m a -> Trace m a Source #

Sets severity for the messages in this trace

withSeverity :: forall m a. (Monad m, MetaTrace a) => Trace m a -> Trace m a Source #

Sets severities for the messages in this trace based on the MetaTrace class

privately :: Monad m => Trace m a -> Trace m a Source #

Sets privacy Confidential for the messages in this trace

setPrivacy :: Monad m => Privacy -> Trace m a -> Trace m a Source #

Sets privacy for the messages in this trace

withPrivacy :: forall m a. (Monad m, MetaTrace a) => Trace m a -> Trace m a Source #

Sets privacy for the messages in this trace based on the MetaTrace class

allPublic :: a -> Privacy Source #

allConfidential :: a -> Privacy Source #

setDetails :: Monad m => DetailLevel -> Trace m a -> Trace m a Source #

Sets detail level for the messages in this trace

withDetails :: forall m a. (Monad m, MetaTrace a) => Trace m a -> Trace m a Source #

Sets detail level for the messages in this trace based on the message

contramapM :: Monad m => Trace m b -> ((LoggingContext, Either TraceControl a) -> m (LoggingContext, Either TraceControl b)) -> m (Trace m a) Source #

Contramap a monadic function over a trace

contramapMCond :: Monad m => Trace m b -> ((LoggingContext, Either TraceControl a) -> m (Maybe (LoggingContext, Either TraceControl b))) -> m (Trace m a) Source #

Contramap a monadic function over a trace Can as well filter out messages

contramapM' :: Monad m => ((LoggingContext, Either TraceControl a) -> m ()) -> Trace m a Source #

foldTraceM :: forall a acc m. MonadUnliftIO m => (acc -> LoggingContext -> a -> m acc) -> acc -> Trace m (Folding a acc) -> m (Trace m a) Source #

Folds the monadic cata function with acc over a. Uses an MVar to store the state

foldCondTraceM :: forall a acc m. MonadUnliftIO m => (acc -> LoggingContext -> a -> m acc) -> acc -> (a -> Bool) -> Trace m (Folding a acc) -> m (Trace m a) Source #

Like foldTraceM, but filter the trace by a predicate.

routingTrace :: forall m a. Monad m => (a -> m (Trace m a)) -> Trace m a -> Trace m a Source #

Allows to route to different tracers, based on the message being processed. The second argument must mappend all possible tracers of the first argument to one tracer. This is required for the configuration!

withNames :: forall m a. (Monad m, MetaTrace a) => [Text] -> Trace m a -> Trace m a Source #

Sets names for the messages in this trace based on the selector function and appends the provided names to the context.

appendPrefixName :: Monad m => Text -> Trace m a -> Trace m a Source #

Appends a name to the context. E.g. appendName "specific" $ appendName "middle" $ appendName "general" tracer give the result: `general.middle.specific`.

appendPrefixNames :: Monad m => [Text] -> Trace m a -> Trace m a Source #

Appends all names to the context.

appendInnerName :: Monad m => Text -> Trace m a -> Trace m a Source #

appendInnerNames :: Monad m => [Text] -> Trace m a -> Trace m a Source #

Appends all names to the context.

withInnerNames :: forall m a. (Monad m, MetaTrace a) => Trace m a -> Trace m a Source #

Sets names for the messages in this trace based on the selector function