def Network.Wai.Middleware.forceSSL : Middleware

Redirect non-secure requests to HTTPS. $$\text{forceSSL} : \text{Middleware}$$

Equations

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

theorem Network.Wai.Middleware.forceSSL_secure (app : Application) (req : Request) (respond : Response → Control.Concurrent.Green.Green ResponseReceived) (h : req.isSecure = true) : forceSSL app req respond = app req respond

Secure requests pass through the forceSSL middleware unchanged. $$\forall\, \text{req},\; \text{req.isSecure} = \text{true} \implies \text{forceSSL}(\text{app}, \text{req}) = \text{app}(\text{req})$$