@[reducible, inline]

abbrev Network.Wai.Middleware.CheckCreds : Type

Check function type: given username and password, return whether access is granted.

Equations

• Network.Wai.Middleware.CheckCreds = (String → String → IO Bool)

def Network.Wai.Middleware.basicAuth (check : CheckCreds) (realm : String := "Restricted") : Middleware

HTTP Basic Authentication middleware. Checks the Authorization header against the provided credential checker. Returns 401 Unauthorized if credentials are missing or invalid. $$\text{basicAuth} : \text{CheckCreds} \to \text{String} \to \text{Middleware}$$ The realm parameter is displayed in the browser's auth dialog.

Equations

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

def Network.Wai.Middleware.basicAuth.unauthorized (realm : String) : Response

Equations

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