OpenTelemetry.Context.ThreadLocal

Thread-local contexts may be attached as implicit state at a per-Haskell-thread level.

This module uses a fair amount of GHC internals to enable performing lookups of context for any threads that are alive. Caution should be taken for consumers of this module to not retain ThreadId references indefinitely, as that could delay cleanup of thread-local state.

Thread-local contexts have the following semantics:

• A value attached to a ThreadId will remain alive at least as long as the ThreadId.
• A value may be detached from a ThreadId via detach by the library consumer without detriment.
• No guarantees are made about when a value will be garbage-collected once all references to ThreadId have been dropped. However, this simply means in practice that any unused contexts will cleaned up upon the next garbage collection and may not be actively freed when the program exits.

Thread-local context

getContext :: MonadIO m => m Context

Retrieve a stored Context for the current thread, or an empty context if none exists.

Warning: this can easily cause disconnected traces if libraries don't explicitly set the context on forked threads.

Since: 0.0.1.0

lookupContext :: MonadIO m => m (Maybe Context)

Retrieve a stored Context for the current thread, if it exists.

Since: 0.0.1.0

attachContext :: MonadIO m => Context -> m (Maybe Context)

Store a given Context for the current thread, returning any context previously stored.

Since: 0.0.1.0

detachContext :: MonadIO m => m (Maybe Context)

Remove a stored Context for the current thread, returning any context previously stored.

Since: 0.0.1.0

adjustContext :: MonadIO m => (Context -> Context) -> m ()

Alter the context on the current thread using the provided function

Since: 0.0.1.0

Generalized thread-local context functions

lookupContextOnThread :: MonadIO m => ThreadId -> m (Maybe Context)

Retrieve a stored Context for the provided ThreadId, if it exists.

Since: 0.0.1.0

attachContextOnThread :: MonadIO m => ThreadId -> Context -> m (Maybe Context)

Store a given Context for the provided ThreadId, returning any context previously stored.

Since: 0.0.1.0

detachContextFromThread :: MonadIO m => ThreadId -> m (Maybe Context)

Remove a stored Context for the provided ThreadId, returning any context previously stored.

Since: 0.0.1.0

adjustContextOnThread :: MonadIO m => ThreadId -> (Context -> Context) -> m ()

Alter the context

Since: 0.0.1.0