@[reducible, inline]

abbrev Network.Wai.Middleware.RewriteRule : Type

A rewrite rule takes path segments and headers, returns new path segments and possibly modified headers.

Equations

• Network.Wai.Middleware.RewriteRule = (List String → Network.HTTP.Types.RequestHeaders → List String × Network.HTTP.Types.RequestHeaders)

def Network.Wai.Middleware.rewrite (rule : RewriteRule) : Middleware

Rewrite request paths based on custom rules. The rule function receives path segments and headers, and returns the rewritten path segments and headers. $$\text{rewrite} : \text{RewriteRule} \to \text{Middleware}$$

Equations

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

def Network.Wai.Middleware.rewritePrefix (from_ to_ : String) : Middleware

Simple path prefix rewrite: strip a prefix and optionally add a new one. $$\text{rewritePrefix} : \text{String} \to \text{String} \to \text{Middleware}$$

Equations

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