How an exception should be treated by the tracing system when caught by inSpan and similar bracket-style functions.

Since: 0.4.0.0

The result of classifying an exception via an ExceptionHandler.

Since: 0.4.0.0

A function that inspects a SomeException and optionally classifies it.

Returns Nothing to indicate this handler does not recognize the exception, deferring to the next handler in the chain. Returns Just ExceptionResponse to provide a classification and optional extra attributes.

Multiple handlers are chained: tracer-level handlers are consulted first, then provider-level handlers. The first Just result wins. If all handlers return Nothing, the default behavior (ErrorException with no extra attributes) applies.

Since: 0.4.0.0

The default response when no handler matches: classify as ErrorException with no additional attributes.

Since: 0.4.0.0

Ignore all exceptions of the given type. They will not be recorded as events and will not set the span status to Error.

import Control.Exception (AsyncCancelled)

myHandlers = [ignoreExceptionType @AsyncCancelled]

Since: 0.4.0.0

Ignore exceptions of the given type that match a predicate.

ignoreExceptionMatching @ExitCode (== ExitSuccess)

Since: 0.4.0.0

Record exceptions of the given type as events but do not set the span status to Error. The exception remains visible in traces but is not counted as an error.

Since: 0.4.0.0

Record exceptions of the given type matching a predicate as events, without setting Error status.

Since: 0.4.0.0

Full control: inspect an exception and return a classification with optional extra attributes. Use this to enrich spans with domain-specific information extracted from the exception.

classifyException @HttpException $ \(HttpException status _body) ->
  ExceptionResponse ErrorException
    (HashMap.fromList [("http.response.status_code", toAttribute (statusCode status))])

Since: 0.4.0.0

Handler that classifies ExitSuccess as ignored. ExitFailure is left unhandled (falls through to the next handler or the default).

This is a common handler to register globally:

opts = emptyTracerProviderOptions
  { tracerProviderOptionsExceptionHandlers = [exitSuccessHandler]
  }

Since: 0.4.0.0

Resolve exception classification by consulting tracer-level handlers first, then provider-level handlers. Returns defaultExceptionResponse if no handler matches.

Since: 0.4.0.0