@[reducible, inline]

abbrev Network.Wai.Parse.Param : Type

A parsed form parameter (name, value).

Equations

• Network.Wai.Parse.Param = (String × String)

structure Network.Wai.Parse.FileInfo : Type

A parsed file upload.

• fileName : String
• fileContentType : String
• fileContent : ByteArray

inductive Network.Wai.Parse.BackEnd : Type

Backend for handling file uploads.

• lbs : BackEnd
• tempFile (dir : String) : BackEnd

def Network.Wai.Parse.parseUrlEncoded (body : String) : List Param

Parse URL-encoded form body (application/x-www-form-urlencoded). $$\text{parseUrlEncoded} : \text{String} \to \text{List Param}$$

Equations

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

def Network.Wai.Parse.parseUrlEncoded.urlDecode (s : String) : String

Equations

• Network.Wai.Parse.parseUrlEncoded.urlDecode s = String.map (fun (c : Char) => if (c == '+') = true then ' ' else c) s

def Network.Wai.Parse.parseRequestBody (req : Request) : IO (List Param × List (String × FileInfo))

Parse request body parameters. For URL-encoded bodies, parses directly. Returns (params, files). $$\text{parseRequestBody} : \text{Request} \to \text{IO (List Param × List (String × FileInfo))}$$

Equations

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