Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.x99ffbb82026-10-19Search packagesCtrl K

Theme: |

GHC 9.14.1 · lts/ghc-9.14.x · 99ffbb8 · 2026-10-19

Moduletrace-dispatcher-2.13.2Haskell2010

Cardano.Logging.Trace

Synopsis

value traceWith
value withLoggingContext
value filterTrace
value filterTraceMaybe
value filterTraceBySeverity
value filterTraceByPrivacy
value setSeverity
value withSeverity
value privately
value setPrivacy
value withPrivacy
value allPublic
value allConfidential
value setDetails
value withDetails
value contramapM
value contramapMCond
value contramapM'
value foldTraceM
value foldCondTraceM
value routingTrace
value withNames
value appendPrefixName
value appendPrefixNames
value appendInnerName
value appendInnerNames
value withInnerNames
value contramap'
value >!$!<

Packagetrace-dispatcher-2.13.2
Exports29
LanguageHaskell2010
LicenceApache-2.0
SourceTrace.hs

valuetraceWith :: Monad m => Trace m a -> a -> m ()

Adds a message object to a trace

valuewithLoggingContext :: Monad m => LoggingContext -> Trace m a -> Trace m a

Sets a new logging context for this message

valuefilterTrace

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

valuefilterTraceMaybe :: Monad m => Trace m a -> Trace m (Maybe a)

valuefilterTraceBySeverity

:: Monad m
=> Maybe SeverityF
-> Trace m a
-> Trace m a

valuefilterTraceByPrivacy :: Monad m => Maybe Privacy -> Trace m a -> Trace m a

valuesetSeverity :: Monad m => SeverityS -> Trace m a -> Trace m a

Sets severity for the messages in this trace

valuewithSeverity :: (Monad m, MetaTrace a) => Trace m a -> Trace m a

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

valueprivately :: Monad m => Trace m a -> Trace m a

Sets privacy Confidential for the messages in this trace

valuesetPrivacy :: Monad m => Privacy -> Trace m a -> Trace m a

Sets privacy for the messages in this trace

valuewithPrivacy :: (Monad m, MetaTrace a) => Trace m a -> Trace m a

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

valueallPublic :: a -> Privacy

valueallConfidential :: a -> Privacy

valuesetDetails :: Monad m => DetailLevel -> Trace m a -> Trace m a

Sets detail level for the messages in this trace

valuewithDetails :: (Monad m, MetaTrace a) => Trace m a -> Trace m a

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

valuecontramapM

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

Contramap a monadic function over a trace

valuecontramapMCond

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

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

valuecontramapM'

:: Monad m
=> (LoggingContext, Either TraceControl a) -> m ()
-> Trace m a

valuefoldTraceM

:: MonadUnliftIO m
=> acc -> LoggingContext -> a -> m acc
-> acc
-> Trace m (Folding a acc)
-> m (Trace m a)

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

valuefoldCondTraceM

:: MonadUnliftIO m
=> acc -> LoggingContext -> a -> m acc
-> acc
-> a -> Bool
-> Trace m (Folding a acc)
-> m (Trace m a)

Like foldTraceM, but filter the trace by a predicate.

valueroutingTrace :: Monad m => (a -> m (Trace m a)) -> Trace m a -> Trace m a

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!

valuewithNames :: (Monad m, MetaTrace a) => [Text] -> Trace m a -> Trace m a

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

valueappendPrefixName :: Monad m => Text -> Trace m a -> Trace m a

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

valueappendPrefixNames :: Monad m => [Text] -> Trace m a -> Trace m a

Appends all names to the context.

valueappendInnerName :: Monad m => Text -> Trace m a -> Trace m a

valueappendInnerNames :: Monad m => [Text] -> Trace m a -> Trace m a

Appends all names to the context.

valuewithInnerNames :: (Monad m, MetaTrace a) => Trace m a -> Trace m a

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

valuecontramap' :: Contravariant f => (a' -> a) -> f a -> f a'

A contramap' which is strict in its second argument and its result captures a common pattern to avoid unintentionally leaking space when composing tracers. The infix alias is (>!$!<).

value(>!$!<) :: Contravariant f => (a' -> a) -> f a -> f a'

A contramap' which is strict in its second argument and its result captures a common pattern to avoid unintentionally leaking space when composing tracers. The infix alias is (>!$!<).