Copyright | (c) Ian Duncan 2021 |
---|---|
License | BSD-3 |
Maintainer | Ian Duncan |
Stability | experimental |
Portability | non-portable (GHC extensions) |
Safe Haskell | None |
Language | Haskell2010 |
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
attach
ed to aThreadId
will remain alive at least as long as theThreadId
. - A value may be detached from a
ThreadId
viadetach
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.
Synopsis
- getContext :: MonadIO m => m Context
- lookupContext :: MonadIO m => m (Maybe Context)
- attachContext :: MonadIO m => Context -> m (Maybe Context)
- detachContext :: MonadIO m => m (Maybe Context)
- adjustContext :: MonadIO m => (Context -> Context) -> m ()
- lookupContextOnThread :: MonadIO m => ThreadId -> m (Maybe Context)
- attachContextOnThread :: MonadIO m => ThreadId -> Context -> m (Maybe Context)
- detachContextFromThread :: MonadIO m => ThreadId -> m (Maybe Context)
- adjustContextOnThread :: MonadIO m => ThreadId -> (Context -> Context) -> m ()
Thread-local context
getContext :: MonadIO m => m Context Source #
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) Source #
Retrieve a stored Context
for the current thread, if it exists.
Since: 0.0.1.0
attachContext :: MonadIO m => Context -> m (Maybe Context) Source #
Store a given Context
for the current thread, returning any context previously stored.
Since: 0.0.1.0
detachContext :: MonadIO m => m (Maybe Context) Source #
Remove a stored Context
for the current thread, returning any context previously stored.
Since: 0.0.1.0
adjustContext :: MonadIO m => (Context -> Context) -> m () Source #
Alter the context on the current thread using the provided function
Since: 0.0.1.0