def Network.HTTP3.QPACK.decodeQInt (prefixBits : Nat) (buf : ByteArray) (offset : Nat) : Option (Nat × Nat)

Decode a QPACK integer with the given prefix bit width (RFC 9204 Section 4.1.1). $$\text{decodeQInt}(n, \text{buf}, \text{off}) = \text{Option}(\text{value} \times \text{bytesConsumed})$$

Equations

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

def Network.HTTP3.QPACK.decodeQInt.decodeMulti (buf : ByteArray) (offset pos value shift fuel : Nat) : Option (Nat × Nat)

Equations

• One or more equations did not get rendered due to their size.
• Network.HTTP3.QPACK.decodeQInt.decodeMulti buf offset pos value shift 0 = none

def Network.HTTP3.QPACK.decodeStringLiteral (buf : ByteArray) (offset : Nat) : Option (String × Nat)

Decode a QPACK string literal (RFC 9204 Section 4.1.2). $$\text{decodeStringLiteral} : \text{ByteArray} \to \mathbb{N} \to \text{Option}(\text{String} \times \mathbb{N})$$

Equations

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

def Network.HTTP3.QPACK.decodeHeaders (buf : ByteArray) : Option (List HeaderField)

Decode a list of header fields from a QPACK-encoded header block. The input must start with the Encoded Field Section Prefix (Required Insert Count + Delta Base). $$\text{decodeHeaders} : \text{ByteArray} \to \text{Option}(\text{List HeaderField})$$

Equations

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