def Network.HTTP.Chunked.chunkedTransferEncoding (data : ByteArray) : ByteArray

Wrap data in a single HTTP chunk. $$\text{chunkedTransferEncoding}(d) = \text{hex}(|d|) \cdot \texttt{\\r\\n} \cdot d \cdot \texttt{\\r\\n}$$

Returns empty if the input is empty (no zero-length chunks; use chunkedTransferTerminator to end the transfer).

Equations

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

def Network.HTTP.Chunked.chunkedTransferTerminator : ByteArray

The chunked transfer encoding terminator. $$\text{chunkedTransferTerminator} = \texttt{0\\r\\n\\r\\n}$$

Equations

• Network.HTTP.Chunked.chunkedTransferTerminator = { data := #[48, 13, 10, 13, 10] }

def Network.HTTP.Chunked.encodeChunked (chunks : List ByteArray) : ByteArray

Encode a list of chunks into a complete chunked transfer body. $$\text{encodeChunked}([c_1, \ldots, c_n]) = \text{chunk}(c_1) \cdots \text{chunk}(c_n) \cdot \text{terminator}$$

Equations

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