def Network.Wai.Middleware.cleanPath : Middleware

Remove duplicate slashes and optionally trailing slashes from paths. Redirects to the clean path with 301 if needed. $$\text{cleanPath} : \text{Middleware}$$

Equations

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

def Network.Wai.Middleware.cleanPath.cleanPathStr (s : String) : String

Equations

• Network.Wai.Middleware.cleanPath.cleanPathStr s = "/" ++ "/".intercalate (List.filter (fun (x : String) => !x.isEmpty) (s.splitOn "/"))