Safe Haskell	Safe-Inferred
Language	Haskell2010

OTel.API.Context

Contents

Introduction
Context operations

Synopsis

newtype ContextT c m a = ContextT {
- runContextT :: ContextBackend c -> m a
}
mapContextT :: forall m n c a b. (m a -> n b) -> ContextT c m a -> ContextT c n b
attachContextValue :: forall m a b. (MonadIO m, MonadMask m) => a -> ContextT a m b -> ContextT a m b
getAttachedContextValue :: forall m a. (MonadIO m, MonadMask m) => ContextT a m (Maybe a)
getAttachedContext :: forall m a. (MonadIO m, MonadThrow m) => ContextT a m Context
module OTel.API.Context.Core

Introduction

otel-api-context STUB

newtype ContextT c m a Source #

Constructors

ContextT
Fields runContextT :: ContextBackend c -> m a

Instances

Instances details

MonadRWS r w s m => MonadRWS r w s (ContextT c m) Source #
Instance details Defined in OTel.API.Context.Internal
MonadBaseControl b m => MonadBaseControl b (ContextT c m) Source #
Instance details Defined in OTel.API.Context.Internal Associated Types type StM (ContextT c m) a # Methods liftBaseWith :: (RunInBase (ContextT c m) b -> b a) -> ContextT c m a # restoreM :: StM (ContextT c m) a -> ContextT c m a #
MonadAccum w m => MonadAccum w (ContextT c m) Source #
Instance details Defined in OTel.API.Context.Internal Methods look :: ContextT c m w # add :: w -> ContextT c m () # accum :: (w -> (a, w)) -> ContextT c m a #
MonadError e m => MonadError e (ContextT c m) Source #
Instance details Defined in OTel.API.Context.Internal Methods throwError :: e -> ContextT c m a # catchError :: ContextT c m a -> (e -> ContextT c m a) -> ContextT c m a #
MonadReader r m => MonadReader r (ContextT c m) Source #
Instance details Defined in OTel.API.Context.Internal Methods ask :: ContextT c m r # local :: (r -> r) -> ContextT c m a -> ContextT c m a # reader :: (r -> a) -> ContextT c m a #
MonadSelect r m => MonadSelect r (ContextT c m) Source #
Instance details Defined in OTel.API.Context.Internal Methods select :: ((a -> r) -> a) -> ContextT c m a #
MonadState s m => MonadState s (ContextT c m) Source #
Instance details Defined in OTel.API.Context.Internal Methods get :: ContextT c m s # put :: s -> ContextT c m () # state :: (s -> (a, s)) -> ContextT c m a #
MonadWriter w m => MonadWriter w (ContextT c m) Source #
Instance details Defined in OTel.API.Context.Internal Methods writer :: (a, w) -> ContextT c m a # tell :: w -> ContextT c m () # listen :: ContextT c m a -> ContextT c m (a, w) # pass :: ContextT c m (a, w -> w) -> ContextT c m a #
MonadBase b m => MonadBase b (ContextT c m) Source #
Instance details Defined in OTel.API.Context.Internal Methods liftBase :: b α -> ContextT c m α #
MonadTransControl (ContextT c) Source #
Instance details Defined in OTel.API.Context.Internal Associated Types type StT (ContextT c) a # Methods liftWith :: Monad m => (Run (ContextT c) -> m a) -> ContextT c m a # restoreT :: Monad m => m (StT (ContextT c) a) -> ContextT c m a #
MonadTrans (ContextT c) Source #
Instance details Defined in OTel.API.Context.Internal Methods lift :: Monad m => m a -> ContextT c m a #
MonadFail m => MonadFail (ContextT c m) Source #
Instance details Defined in OTel.API.Context.Internal Methods fail :: String -> ContextT c m a #
MonadIO m => MonadIO (ContextT c m) Source #
Instance details Defined in OTel.API.Context.Internal Methods liftIO :: IO a -> ContextT c m a #
Alternative m => Alternative (ContextT c m) Source #
Instance details Defined in OTel.API.Context.Internal Methods empty :: ContextT c m a # (<\|>) :: ContextT c m a -> ContextT c m a -> ContextT c m a # some :: ContextT c m a -> ContextT c m [a] # many :: ContextT c m a -> ContextT c m [a] #
Applicative m => Applicative (ContextT c m) Source #
Instance details Defined in OTel.API.Context.Internal Methods pure :: a -> ContextT c m a # (<>) :: ContextT c m (a -> b) -> ContextT c m a -> ContextT c m b # liftA2 :: (a -> b -> c0) -> ContextT c m a -> ContextT c m b -> ContextT c m c0 # (>) :: ContextT c m a -> ContextT c m b -> ContextT c m b # (<*) :: ContextT c m a -> ContextT c m b -> ContextT c m a #
Functor m => Functor (ContextT c m) Source #
Instance details Defined in OTel.API.Context.Internal Methods fmap :: (a -> b) -> ContextT c m a -> ContextT c m b # (<$) :: a -> ContextT c m b -> ContextT c m a #
Monad m => Monad (ContextT c m) Source #
Instance details Defined in OTel.API.Context.Internal Methods (>>=) :: ContextT c m a -> (a -> ContextT c m b) -> ContextT c m b # (>>) :: ContextT c m a -> ContextT c m b -> ContextT c m b # return :: a -> ContextT c m a #
MonadPlus m => MonadPlus (ContextT c m) Source #
Instance details Defined in OTel.API.Context.Internal Methods mzero :: ContextT c m a # mplus :: ContextT c m a -> ContextT c m a -> ContextT c m a #
MonadCatch m => MonadCatch (ContextT c m) Source #
Instance details Defined in OTel.API.Context.Internal Methods catch :: (HasCallStack, Exception e) => ContextT c m a -> (e -> ContextT c m a) -> ContextT c m a #
MonadMask m => MonadMask (ContextT c m) Source #
Instance details Defined in OTel.API.Context.Internal Methods mask :: HasCallStack => ((forall a. ContextT c m a -> ContextT c m a) -> ContextT c m b) -> ContextT c m b # uninterruptibleMask :: HasCallStack => ((forall a. ContextT c m a -> ContextT c m a) -> ContextT c m b) -> ContextT c m b # generalBracket :: HasCallStack => ContextT c m a -> (a -> ExitCase b -> ContextT c m c0) -> (a -> ContextT c m b) -> ContextT c m (b, c0) #
MonadThrow m => MonadThrow (ContextT c m) Source #
Instance details Defined in OTel.API.Context.Internal Methods throwM :: (HasCallStack, Exception e) => e -> ContextT c m a #
MonadLogger m => MonadLogger (ContextT c m) Source #
Instance details Defined in OTel.API.Context.Internal Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> ContextT c m () #
MonadCont m => MonadCont (ContextT c m) Source #
Instance details Defined in OTel.API.Context.Internal Methods callCC :: ((a -> ContextT c m b) -> ContextT c m a) -> ContextT c m a #
MonadResource m => MonadResource (ContextT c m) Source #
Instance details Defined in OTel.API.Context.Internal Methods liftResourceT :: ResourceT IO a -> ContextT c m a #
MonadUnliftIO m => MonadUnliftIO (ContextT c m) Source #
Instance details Defined in OTel.API.Context.Internal Methods withRunInIO :: ((forall a. ContextT c m a -> IO a) -> IO b) -> ContextT c m b #
(Applicative m, Monoid a) => Monoid (ContextT c m a) Source #
Instance details Defined in OTel.API.Context.Internal Methods mempty :: ContextT c m a # mappend :: ContextT c m a -> ContextT c m a -> ContextT c m a # mconcat :: [ContextT c m a] -> ContextT c m a #
(Applicative m, Semigroup a) => Semigroup (ContextT c m a) Source #
Instance details Defined in OTel.API.Context.Internal Methods (<>) :: ContextT c m a -> ContextT c m a -> ContextT c m a # sconcat :: NonEmpty (ContextT c m a) -> ContextT c m a # stimes :: Integral b => b -> ContextT c m a -> ContextT c m a #
type StT (ContextT c) a Source #
Instance details Defined in OTel.API.Context.Internal type StT (ContextT c) a = StT (ReaderT (ContextBackend c)) a
type StM (ContextT c m) a Source #
Instance details Defined in OTel.API.Context.Internal type StM (ContextT c m) a = StM (ReaderT (ContextBackend c) m) a

mapContextT :: forall m n c a b. (m a -> n b) -> ContextT c m a -> ContextT c n b Source #

Context operations

attachContextValue :: forall m a b. (MonadIO m, MonadMask m) => a -> ContextT a m b -> ContextT a m b Source #

getAttachedContextValue :: forall m a. (MonadIO m, MonadMask m) => ContextT a m (Maybe a) Source #

getAttachedContext :: forall m a. (MonadIO m, MonadThrow m) => ContextT a m Context Source #

module OTel.API.Context.Core