def Network.HTTP.Client.parseStatusLine (line : String) : IO (HttpVersion × Types.Status)

Parse a status line: "HTTP/x.y code reason". Returns (HttpVersion, Status) or throws on malformed input.

Equations

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

def Network.HTTP.Client.receiveResponse (conn : Connection) : IO Response

Receive and parse a complete HTTP/1.1 response from a connection.

Handles three body-reading strategies:

1. Content-Length: read exactly that many bytes
2. Transfer-Encoding: chunked: decode chunked encoding
3. Neither: read until connection close

$$\text{receiveResponse} : \text{Connection} \to \text{IO Response}$$

Equations

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

def Network.HTTP.Client.performRequest (conn : Connection) (req : Request) : IO Response

Perform an HTTP request on a connection: send request, receive response. $$\text{performRequest} : \text{Connection} \to \text{Request} \to \text{IO Response}$$

Equations

• Network.HTTP.Client.performRequest conn req = do Network.HTTP.Client.sendRequest conn req Network.HTTP.Client.receiveResponse conn