def Network.HTTP.Client.serializeRequest (req : Request) : ByteArray

Serialize an HTTP/1.1 request to a ByteArray.

Automatically adds:

• Host header (from Request.host and Request.port)
• Content-Length header when body is present

$$\text{serializeRequest} : \text{Request} \to \text{ByteArray}$$

Equations

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

def Network.HTTP.Client.sendRequest (conn : Connection) (req : Request) : IO Unit

Send a serialized request over a connection. $$\text{sendRequest} : \text{Connection} \to \text{Request} \to \text{IO Unit}$$

Equations

• Network.HTTP.Client.sendRequest conn req = conn.connWrite (Network.HTTP.Client.serializeRequest req)