def Network.Wai.contentLength (req : Request) : Option Nat

Extract the Content-Length header value as a Nat.

Equations

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

def Network.Wai.hasContentType (ct : String) (req : Request) : Bool

Check if the request has a content type that matches.

Equations

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