Safe Haskell	Safe-Inferred
Language	Haskell2010

OTel.API.Baggage.Internal

Contents

Disclaimer

Synopsis

newtype BaggageT m a = BaggageT {
- runBaggageT :: BaggageBackend -> m a
}
mapBaggageT :: forall m n a b. (m a -> n b) -> BaggageT m a -> BaggageT n b
newtype BaggageBackend = BaggageBackend {
- unBaggageBackend :: ContextBackend Baggage
}
defaultBaggageBackend :: BaggageBackend

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 BaggageT m a Source #

Constructors

BaggageT
Fields runBaggageT :: BaggageBackend -> m a

Instances

Instances details

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

mapBaggageT :: forall m n a b. (m a -> n b) -> BaggageT m a -> BaggageT n b Source #

newtype BaggageBackend Source #

Constructors

BaggageBackend
Fields unBaggageBackend :: ContextBackend Baggage

defaultBaggageBackend :: BaggageBackend Source #