def Network.HTTP3.QPACK.encodeQInt (prefixBits value : Nat) (firstByteMask : UInt8 := 0) : ByteArray

Encode a QPACK integer with the given prefix bit width (RFC 9204 Section 4.1.1). $$\text{encodeQInt}(n, v) = \text{prefix-encoded integer}$$ The first byte is OR'd with firstByteMask to set prefix bits.

Equations

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

def Network.HTTP3.QPACK.encodeStringLiteral (s : String) : ByteArray

Encode a string literal without Huffman encoding (RFC 9204 Section 4.1.2). The first bit indicates Huffman encoding (0 = no Huffman). $$\text{encodeStringLiteral}(s) = \text{0 bit} \| \text{length} \| \text{bytes}$$

Equations

• Network.HTTP3.QPACK.encodeStringLiteral s = Network.HTTP3.QPACK.encodeQInt 7 s.toUTF8.size ++ s.toUTF8

def Network.HTTP3.QPACK.encodeHeaders (headers : List HeaderField) : ByteArray

Encode a list of header fields using QPACK (static-table-only mode). Returns the encoded header block (request stream portion). The required insert count and delta base are both 0 (static-only mode). $$\text{encodeHeaders} : \text{List HeaderField} \to \text{ByteArray}$$

Equations

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