Observe.Event.Wai

Application

type Application em r s = Request -> (Response -> em r s ResponseReceived) -> em r s ResponseReceived

An instrumented Application

application :: (MonadUnliftIO (em r s), MonadWithEvent em) => InjectSelector ServeRequest s -> Application em r s -> em r s Application

Run an Application with generic Request/Response instrumentation.

Instrumentation

data ServeRequest f where

Event selector for application.

Constructors

ServeRequest :: ServeRequest RequestField

renderServeRequest :: RenderSelectorJSON ServeRequest

Render a ServeRequest, and any Events selected by it, to JSON

data RequestField

A field for ServeRequest Events.

Constructors

ReqField Request

ResField Response

renderRequestField :: RenderFieldJSON RequestField

Render a RequestField to JSON

setOnException

type OnExceptionCallback em r s = Maybe Request -> SomeException -> em r s ()

An instrumented setOnException callback.

onExceptionCallback :: (MonadUnliftIO (em r s), MonadWithEvent em) => InjectSelector OnException s -> OnExceptionCallback em r s -> em r s (Maybe Request -> SomeException -> IO ())

Convert an OnExceptionCallback to a setOnException callback.

The OnExceptionCallback is called as the child of an Event rendering the exception, if it's one that should be displayed according to defaultShouldDisplayException.

Ideally this would have a way to get a parent Event from application. Would be nice to use vault, but there doesn't seem to be a way to get at the Request that Warp will pass here.

Instrumentation

data OnException f where

Selector for onException

Constructors

OnException :: OnException OnExceptionField

renderOnException :: Exception stex => RenderExJSON stex -> RenderSelectorJSON OnException

Render an OnException, and its selected-for Events, as JSON, with a provided base structured exception type.

data OnExceptionField

A field for a OnException Event.

Constructors

OnExceptionField (Maybe Request) SomeException

renderOnExceptionField :: Exception stex => RenderExJSON stex -> RenderFieldJSON OnExceptionField

Render an OnExceptionField as JSON, with a provided base structured exception type.

Miscellaneous instrumentation

renderRequest :: Request -> Value

Render a Request to JSON.