Safe Haskell	Safe-Inferred
Language	Haskell2010

OTel.API.Context.Internal

Contents

Disclaimer

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

Disclaimer

In general, changes to this module will not be reflected in the library's version updates. Direct use of this module should be done with utmost care, otherwise invariants will easily be violated.

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 #

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 #