def Network.Wai.Middleware.Push.Referer.extractPath (url : String) : String

Extract the path portion from a URL or Referer header value. "https://example.com/page?q=1" → "/page" "/page?q=1" → "/page" $$\text{extractPath} : \text{String} \to \text{String}$$

Equations

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

def Network.Wai.Middleware.Push.Referer.isStaticResource (path : String) : Bool

Check if a URL path looks like a static resource (CSS, JS, image, etc.).

Equations

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