Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.xd82dee82026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12

Moduletrace-dispatcher-2.13.1Haskell2010

Cardano.Logging.Trace

29 values

Packagetrace-dispatcher-2.13.1
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 (>!$!<).