Safe Haskell	Safe-Inferred
Language	Haskell2010

OTel.API.Trace.Internal

Contents

Disclaimer

Synopsis

newtype TracingT m a = TracingT {
- runTracingT :: TracingBackend -> m a
}
mapTracingT :: forall m n a b. (m a -> n b) -> TracingT m a -> TracingT n b
data TracingBackend = TracingBackend {
- tracingBackendTracer :: Tracer
- tracingBackendContextBackend :: ContextBackend MutableSpan
}
toTracingBackend :: Tracer -> TracingBackend
getTracingBackend :: forall m. MonadIO m => TracerProvider -> InstrumentationScope -> m TracingBackend
getTracer :: forall m. MonadIO m => TracerProvider -> InstrumentationScope -> m Tracer
shutdownTracerProvider :: forall m. MonadIO m => TracerProvider -> m ()
forceFlushTracerProvider :: forall m. MonadIO m => TracerProvider -> m ()

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

Constructors

TracingT
Fields runTracingT :: TracingBackend -> m a

Instances

Instances details

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

mapTracingT :: forall m n a b. (m a -> n b) -> TracingT m a -> TracingT n b Source #

data TracingBackend Source #

Constructors

TracingBackend
Fields tracingBackendTracer :: Tracer tracingBackendContextBackend :: ContextBackend MutableSpan

toTracingBackend :: Tracer -> TracingBackend Source #

getTracingBackend :: forall m. MonadIO m => TracerProvider -> InstrumentationScope -> m TracingBackend Source #

getTracer :: forall m. MonadIO m => TracerProvider -> InstrumentationScope -> m Tracer Source #

shutdownTracerProvider :: forall m. MonadIO m => TracerProvider -> m () Source #

forceFlushTracerProvider :: forall m. MonadIO m => TracerProvider -> m () Source #