@[reducible, inline]

abbrev Network.HTTP3.QPACK.HeaderField : Type

A header field is a name-value pair. $$\text{HeaderField} = \text{String} \times \text{String}$$

Equations

• Network.HTTP3.QPACK.HeaderField = (String × String)

def Network.HTTP3.QPACK.staticTable : Array HeaderField

The QPACK static table (RFC 9204 Appendix A). 99 entries, 0-indexed.

Equations

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

def Network.HTTP3.QPACK.staticTableSize : Nat

Size of the QPACK static table. Always 99. $$|\text{staticTable}| = 99$$

Equations

• Network.HTTP3.QPACK.staticTableSize = 99

def Network.HTTP3.QPACK.staticLookup (index : Nat) : Option HeaderField

Look up an entry in the QPACK static table by 0-based index. $$\text{staticLookup}(i) = \text{staticTable}[i]$$ for $0 \leq i < 99$. Returns none for out-of-range indices.

Equations

• Network.HTTP3.QPACK.staticLookup index = if index < Network.HTTP3.QPACK.staticTableSize then Network.HTTP3.QPACK.staticTable[index]? else none

def Network.HTTP3.QPACK.staticFind (name value : String) : Option (Nat × Bool)

Find a header field in the static table. Returns the 0-based index. Searches for exact (name, value) match first, then name-only match. $$\text{staticFind} : \text{String} \to \text{String} \to \text{Option}(\mathbb{N} \times \text{Bool})$$ Returns (index, exactMatch).

Equations

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