def Network.Wai.Middleware.healthCheck (path : String := "/_health") : Middleware

Add a health check endpoint at the given path. Returns 200 OK with empty body without calling the inner app. $$\text{healthCheck} : \text{String} \to \text{Middleware}$$

Equations

• One or more equations did not get rendered due to their size.

theorem Network.Wai.Middleware.healthCheck_passthrough (path : String) (app : Application) (req : Request) (respond : Response → Control.Concurrent.Green.Green ResponseReceived) (h : (req.rawPathInfo == path) = false) : healthCheck path app req respond = app req respond

Non-health-check requests pass through unchanged. $$\text{req.rawPathInfo} \ne \text{path} \implies \text{healthCheck}(\text{path})(\text{app}, \text{req}) = \text{app}(\text{req})$$