Hpack (suave)

Hpack Module

Namespace: Suave
Assembly: Suave.dll

HPACK compression format (largely coppied from Haskell's HTTP2 package)

Types

Type	Description
Builder<'a>
CodeInfo
CompressionAlgorithm
DecodeError
DynamicRevIndex
DynamicTable
EncodeStrategy
Entry
HIndex
Header
HeaderList
HeaderName
HeaderValue
HpackHeaderListTooLargeException	Raised by the HPACK decoder when the cumulative decoded header-list size of a single header block exceeds the limit advertised via SETTINGS_MAX_HEADER_LIST_SIZE (RFC 7540 §6.5.2) and computed per RFC 7541 §4.1 (`name.Length + value.Length + 32` for every entry). This is the primary defence against the "HPACK bomb" amplification attack where a handful of bytes on the wire (e.g. repeated indexed-header references into a populated dynamic table) expand to many megabytes of allocated header strings on the server. The HTTP/2 layer catches this and tears the connection down with GOAWAY(ENHANCE_YOUR_CALM); a stream-level reset is not safe because the dynamic table may already be in a partially-updated state by the time the limit trips. The carried `int` is the decoded size at the point the limit tripped.
HpackHeaderNameUppercaseException	Raised by the HPACK decoder when a literal header field name on the wire contains an uppercase ASCII byte (0x41..0x5A). RFC 7540 §8.1.2 requires all HTTP/2 header field names to be lowercase prior to encoding; a request that violates this MUST be treated as malformed (a stream-level PROTOCOL_ERROR). The HPACK layer surfaces it as a distinct exception so the HTTP/2 layer can distinguish it from a generic compression error and respond with RST_STREAM rather than GOAWAY(COMPRESSION_ERROR).
HuffmanDecoding
Index
KeyValue
OtherRevIndex
ReadBuffer
RevIndex
Setter
StaticEntry
StaticTable
Table
Token
TokenHeader
TokenHeaderList
ValueMap

Functions and values

Function or value	Description
`arg0 << b` Full Usage: `arg0 << b` Parameters: arg0 : `Builder<'a>` b : `'a` Returns: `Builder<'a>`	arg0 : `Builder<'a>` b : `'a` Returns: `Builder<'a>`
`adj maxN x` Full Usage: `adj maxN x` Parameters: maxN : `int` x : `int` Returns: `int`	maxN : `int` x : `int` Returns: `int`
`adjustTableSize dyntbl` Full Usage: `adjustTableSize dyntbl` Parameters: dyntbl : `DynamicTable` Returns: `Entry list`	dyntbl : `DynamicTable` Returns: `Entry list`
`chkChange dyntbl rbuf dec` Full Usage: `chkChange dyntbl rbuf dec` Parameters: dyntbl : `DynamicTable` rbuf : `MemoryStream` dec : `DynamicTable -> MemoryStream -> HeaderList` Returns: `HeaderList`	dyntbl : `DynamicTable` rbuf : `MemoryStream` dec : `DynamicTable -> MemoryStream -> HeaderList` Returns: `HeaderList`
`copyByteString wbuf str` Full Usage: `copyByteString wbuf str` Parameters: wbuf : `MemoryStream` str : `string`	wbuf : `MemoryStream` str : `string`
`decode n w rbuf` Full Usage: `decode n w rbuf` Parameters: n : `int` w : `byte` rbuf : `MemoryStream` Returns: `int`	n : `int` w : `byte` rbuf : `MemoryStream` Returns: `int`
`decodeHPACK dyntbl inp dec` Full Usage: `decodeHPACK dyntbl inp dec` Parameters: dyntbl : `DynamicTable` inp : `byte array` dec : `DynamicTable -> MemoryStream -> HeaderList` Returns: `HeaderList`	dyntbl : `DynamicTable` inp : `byte array` dec : `DynamicTable -> MemoryStream -> HeaderList` Returns: `HeaderList`
`decodeHeader dyntbl inp` Full Usage: `decodeHeader dyntbl inp` Parameters: dyntbl : `DynamicTable` inp : `byte array` Returns: `HeaderList`	dyntbl : `DynamicTable` inp : `byte array` Returns: `HeaderList`
`decodeHeaderBounded dyntbl maxListSize inp` Full Usage: `decodeHeaderBounded dyntbl maxListSize inp` Parameters: dyntbl : `DynamicTable` maxListSize : `int option` inp : `byte array` Returns: `HeaderList`	Like `decodeHeader` but caps the cumulative decoded header-list size at `maxListSize` bytes (RFC 7541 §4.1 accounting). Passing `None` is equivalent to `decodeHeader`. Used by the HTTP/2 layer to enforce SETTINGS_MAX_HEADER_LIST_SIZE and defend against HPACK amplification ("HTTP/2 bomb") attacks. dyntbl : `DynamicTable` maxListSize : `int option` inp : `byte array` Returns: `HeaderList`
`decodeSimple dyntbl rbuf` Full Usage: `decodeSimple dyntbl rbuf` Parameters: dyntbl : `DynamicTable` rbuf : `MemoryStream` Returns: `HeaderList`	dyntbl : `DynamicTable` rbuf : `MemoryStream` Returns: `HeaderList`
`decodeSimpleBounded dyntbl maxListSize rbuf` Full Usage: `decodeSimpleBounded dyntbl maxListSize rbuf` Parameters: dyntbl : `DynamicTable` maxListSize : `int option` rbuf : `MemoryStream` Returns: `HeaderList`	Decode a header block while enforcing the HPACK list-size budget. `maxListSize`: * `None` — unbounded (legacy behaviour, used by some tests). * `Some bytes` — abort with `HpackHeaderListTooLargeException` as soon as the cumulative `name + value + 32` (per RFC 7541 §4.1) of every header decoded so far exceeds `bytes`. The check is performed during decoding so that an attacker cannot force the server to fully decode (and allocate) a multi-megabyte header list before we notice. We still pay for the headers decoded up to the trip point; the bound chosen by the caller (typically a few tens of kilobytes) keeps that worst case finite. dyntbl : `DynamicTable` maxListSize : `int option` rbuf : `MemoryStream` Returns: `HeaderList`
`decodeString huff decoder rbuf len` Full Usage: `decodeString huff decoder rbuf len` Parameters: huff : `bool` decoder : `HuffmanDecoding` rbuf : `MemoryStream` len : `int` Returns: `byte[]`	huff : `bool` decoder : `HuffmanDecoding` rbuf : `MemoryStream` len : `int` Returns: `byte[]`
`defaultDynamicTableSize` Full Usage: `defaultDynamicTableSize` Returns: `int`	Returns: `int`
`defaultEncodeStrategy` Full Usage: `defaultEncodeStrategy` Returns: `EncodeStrategy`	Returns: `EncodeStrategy`
`deleteDynamicRevIndex t v drev` Full Usage: `deleteDynamicRevIndex t v drev` Parameters: t : `Token` v : `HeaderValue` drev : `DynamicRevIndex`	t : `Token` v : `HeaderValue` drev : `DynamicRevIndex`
`deleteOtherRevIndex t v drev` Full Usage: `deleteOtherRevIndex t v drev` Parameters: t : `Token` v : `HeaderValue` drev : `OtherRevIndex`	t : `Token` v : `HeaderValue` drev : `OtherRevIndex`
`deleteRevIndex rev e` Full Usage: `deleteRevIndex rev e` Parameters: rev : `RevIndex` e : `Entry`	rev : `RevIndex` e : `Entry`
`deleteRevIndexList es rev` Full Usage: `deleteRevIndexList es rev` Parameters: es : `Entry list` rev : `RevIndex`	es : `Entry list` rev : `RevIndex`
`dropHuffman w` Full Usage: `dropHuffman w` Parameters: w : `byte` Returns: `byte`	w : `byte` Returns: `byte`
`empty` Full Usage: `empty` Returns: `Builder<'a>`	Returns: `Builder<'a>`
`encodeHeader strategy size dyntbl hl` Full Usage: `encodeHeader strategy size dyntbl hl` Parameters: strategy : `EncodeStrategy` size : `int` dyntbl : `DynamicTable` hl : `HeaderList` Returns: `byte array`	strategy : `EncodeStrategy` size : `int` dyntbl : `DynamicTable` hl : `HeaderList` Returns: `byte array`
`encodeHeader' strategy size dyntbl hl` Full Usage: `encodeHeader' strategy size dyntbl hl` Parameters: strategy : `EncodeStrategy` size : `int` dyntbl : `DynamicTable` hl : `TokenHeaderList` Returns: `byte array`	strategy : `EncodeStrategy` size : `int` dyntbl : `DynamicTable` hl : `TokenHeaderList` Returns: `byte array`
`encodeInteger wbuf set n i` Full Usage: `encodeInteger wbuf set n i` Parameters: wbuf : `MemoryStream` set : `Setter` n : `int` i : `int`	wbuf : `MemoryStream` set : `Setter` n : `int` i : `int`
`encodeString useHuffman str wbuf` Full Usage: `encodeString useHuffman str wbuf` Parameters: useHuffman : `bool` str : `string` wbuf : `MemoryStream`	useHuffman : `bool` str : `string` wbuf : `MemoryStream`
`encodeTokenHeader wbuf size strategy first dyntbl hl` Full Usage: `encodeTokenHeader wbuf size strategy first dyntbl hl` Parameters: wbuf : `MemoryStream` size : `'a` strategy : `EncodeStrategy` first : `bool` dyntbl : `DynamicTable` hl : `TokenHeaderList` Returns: `TokenHeaderList * int`	wbuf : `MemoryStream` size : `'a` strategy : `EncodeStrategy` first : `bool` dyntbl : `DynamicTable` hl : `TokenHeaderList` Returns: `TokenHeaderList * int`
`entryToken e` Full Usage: `entryToken e` Parameters: e : `Entry` Returns: `Token`	e : `Entry` Returns: `Token`
`entryTokenHeader e` Full Usage: `entryTokenHeader e` Parameters: e : `Entry` Returns: `TokenHeader`	e : `Entry` Returns: `TokenHeader`
`extractByteString rbuf len` Full Usage: `extractByteString rbuf len` Parameters: rbuf : `MemoryStream` len : `int` Returns: `byte array`	rbuf : `MemoryStream` len : `int` Returns: `byte array`
`fromHIndexToIndex dyntbl _arg1` Full Usage: `fromHIndexToIndex dyntbl _arg1` Parameters: dyntbl : `DynamicTable` _arg1 : `HIndex` Returns: `int`	dyntbl : `DynamicTable` _arg1 : `HIndex` Returns: `int`
`getRevIndex dynbtl` Full Usage: `getRevIndex dynbtl` Parameters: dynbtl : `DynamicTable` Returns: `RevIndex`	dynbtl : `DynamicTable` Returns: `RevIndex`
`groupBy eq` Full Usage: `groupBy eq` Parameters: eq : `'a -> 'a -> bool` Returns: `'a list -> 'a list list`	eq : `'a -> 'a -> bool` Returns: `'a list -> 'a list list`
`headerSize (arg1, arg2)` Full Usage: `headerSize (arg1, arg2)` Parameters: arg0 : `HeaderName` arg1 : `HeaderValue` Returns: `int`	arg0 : `HeaderName` arg1 : `HeaderValue` Returns: `int`
`headerSize' t v` Full Usage: `headerSize' t v` Parameters: t : `Token` v : `HeaderValue` Returns: `int`	t : `Token` v : `HeaderValue` Returns: `int`
`headerSizeMagicNumber` Full Usage: `headerSizeMagicNumber` Returns: `int`	Returns: `int`
`headerStuff dyntbl rbuf` Full Usage: `headerStuff dyntbl rbuf` Parameters: dyntbl : `DynamicTable` rbuf : `MemoryStream` Returns: `byte[]`	dyntbl : `DynamicTable` rbuf : `MemoryStream` Returns: `byte[]`
`huffmanDecoder dyntbl` Full Usage: `huffmanDecoder dyntbl` Parameters: dyntbl : `DynamicTable` Returns: `MemoryStream -> int -> byte[]`	dyntbl : `DynamicTable` Returns: `MemoryStream -> int -> byte[]`
`incrementalIndexing dyntbl w rbuf` Full Usage: `incrementalIndexing dyntbl w rbuf` Parameters: dyntbl : `DynamicTable` w : `byte` rbuf : `MemoryStream` Returns: `TokenHeader`	dyntbl : `DynamicTable` w : `byte` rbuf : `MemoryStream` Returns: `TokenHeader`
`index wbuf i` Full Usage: `index wbuf i` Parameters: wbuf : `MemoryStream` i : `int`	wbuf : `MemoryStream` i : `int`
`indexed dyntbl w rbuf` Full Usage: `indexed dyntbl w rbuf` Parameters: dyntbl : `DynamicTable` w : `byte` rbuf : `MemoryStream` Returns: `TokenHeader`	dyntbl : `DynamicTable` w : `byte` rbuf : `MemoryStream` Returns: `TokenHeader`
`indexedHeaderField dyntbl wbuf arg3 hidx` Full Usage: `indexedHeaderField dyntbl wbuf arg3 hidx` Parameters: dyntbl : `DynamicTable` wbuf : `MemoryStream` arg2 : `'a` hidx : `HIndex`	dyntbl : `DynamicTable` wbuf : `MemoryStream` arg2 : `'a` hidx : `HIndex`
`indexedName wbuf huff n set v idx` Full Usage: `indexedName wbuf huff n set v idx` Parameters: wbuf : `MemoryStream` huff : `bool` n : `int` set : `Setter` v : `string` idx : `int`	wbuf : `MemoryStream` huff : `bool` n : `int` set : `Setter` v : `string` idx : `int`
`inserIndexedName dyntbl w rbuf n mask` Full Usage: `inserIndexedName dyntbl w rbuf n mask` Parameters: dyntbl : `DynamicTable` w : `byte` rbuf : `MemoryStream` n : `int` mask : `byte -> byte` Returns: `Token * string`	dyntbl : `DynamicTable` w : `byte` rbuf : `MemoryStream` n : `int` mask : `byte -> byte` Returns: `Token * string`
`insertEntry ent dynbtl` Full Usage: `insertEntry ent dynbtl` Parameters: ent : `Entry` dynbtl : `DynamicTable`	ent : `Entry` dynbtl : `DynamicTable`
`insertNewName dyntbl rbuf` Full Usage: `insertNewName dyntbl rbuf` Parameters: dyntbl : `DynamicTable` rbuf : `MemoryStream` Returns: `Token * string`	dyntbl : `DynamicTable` rbuf : `MemoryStream` Returns: `Token * string`
`integerLength n` Full Usage: `integerLength n` Parameters: n : `int` Returns: `int`	n : `int` Returns: `int`
`isHuffman w` Full Usage: `isHuffman w` Parameters: w : `byte` Returns: `bool`	w : `byte` Returns: `bool`
`isIndexedName1 w` Full Usage: `isIndexedName1 w` Parameters: w : `byte` Returns: `bool`	w : `byte` Returns: `bool`
`isIndexedName2 w` Full Usage: `isIndexedName2 w` Parameters: w : `byte` Returns: `bool`	w : `byte` Returns: `bool`
`isStaticToken token` Full Usage: `isStaticToken token` Parameters: token : `Token` Returns: `bool`	token : `Token` Returns: `bool`
`isSuitableSize size dyntbl` Full Usage: `isSuitableSize size dyntbl` Parameters: size : `int` dyntbl : `DynamicTable` Returns: `bool`	size : `int` dyntbl : `DynamicTable` Returns: `bool`
`isTableSizeUpdate w` Full Usage: `isTableSizeUpdate w` Parameters: w : `byte` Returns: `bool`	w : `byte` Returns: `bool`
`isset x i` Full Usage: `isset x i` Parameters: x : `byte` i : `int32` Returns: `bool`	x : `byte` i : `int32` Returns: `bool`
`linearAlgorithm rev fa fb fc fd t v` Full Usage: `linearAlgorithm rev fa fb fc fd t v` Parameters: rev : `RevIndex` fa : `HIndex -> unit` fb : `HeaderValue -> Entry -> HIndex -> unit` fc : `string -> HeaderValue -> Entry -> unit` fd : `HeaderValue -> HIndex -> unit` t : `Token` v : `HeaderValue`	rev : `RevIndex` fa : `HIndex -> unit` fb : `HeaderValue -> Entry -> HIndex -> unit` fc : `string -> HeaderValue -> Entry -> unit` fd : `HeaderValue -> HIndex -> unit` t : `Token` v : `HeaderValue`
`literalHeaderFieldWithIncrementalIndexingIndexedName dyntbl wbuf huff v ent hidx` Full Usage: `literalHeaderFieldWithIncrementalIndexingIndexedName dyntbl wbuf huff v ent hidx` Parameters: dyntbl : `DynamicTable` wbuf : `MemoryStream` huff : `bool` v : `string` ent : `Entry` hidx : `HIndex`	dyntbl : `DynamicTable` wbuf : `MemoryStream` huff : `bool` v : `string` ent : `Entry` hidx : `HIndex`
`literalHeaderFieldWithIncrementalIndexingNewName dyntbl wbuf huff k v ent` Full Usage: `literalHeaderFieldWithIncrementalIndexingNewName dyntbl wbuf huff k v ent` Parameters: dyntbl : `DynamicTable` wbuf : `MemoryStream` huff : `bool` k : `string` v : `string` ent : `Entry`	dyntbl : `DynamicTable` wbuf : `MemoryStream` huff : `bool` k : `string` v : `string` ent : `Entry`
`literalHeaderFieldWithoutIndexingIndexedName dyntbl wbuf huff v hidx` Full Usage: `literalHeaderFieldWithoutIndexingIndexedName dyntbl wbuf huff v hidx` Parameters: dyntbl : `DynamicTable` wbuf : `MemoryStream` huff : `bool` v : `string` hidx : `HIndex`	dyntbl : `DynamicTable` wbuf : `MemoryStream` huff : `bool` v : `string` hidx : `HIndex`
`literalHeaderFieldWithoutIndexingNewName arg1 wbuf huff k v` Full Usage: `literalHeaderFieldWithoutIndexingNewName arg1 wbuf huff k v` Parameters: arg0 : `'a` wbuf : `MemoryStream` huff : `bool` k : `string` v : `string`	arg0 : `'a` wbuf : `MemoryStream` huff : `bool` k : `string` v : `string`
`literalHeaderFieldWithoutIndexingNewName' arg1 wbuf huff k v` Full Usage: `literalHeaderFieldWithoutIndexingNewName' arg1 wbuf huff k v` Parameters: arg0 : `'a` wbuf : `MemoryStream` huff : `bool` k : `string` v : `string`	arg0 : `'a` wbuf : `MemoryStream` huff : `bool` k : `string` v : `string`
`lookupDynamicStaticRevIndex ix v drev fa' fbd'` Full Usage: `lookupDynamicStaticRevIndex ix v drev fa' fbd'` Parameters: ix : `int` v : `HeaderValue` drev : `DynamicRevIndex` fa' : `HIndex -> unit` fbd' : `HIndex -> unit`	ix : `int` v : `HeaderValue` drev : `DynamicRevIndex` fa' : `HIndex -> unit` fbd' : `HIndex -> unit`
`lookupOtherRevIndex (k, v) ref fa' fc'` Full Usage: `lookupOtherRevIndex (k, v) ref fa' fc'` Parameters: k : `HeaderName` v : `HeaderValue` ref : `OtherRevIndex` fa' : `HIndex -> 'a` fc' : `'a` Returns: `'a`	k : `HeaderName` v : `HeaderValue` ref : `OtherRevIndex` fa' : `HIndex -> 'a` fc' : `'a` Returns: `'a`
`lookupRevIndex t v fa fb fc fd arg7` Full Usage: `lookupRevIndex t v fa fb fc fd arg7` Parameters: t : `Token` v : `HeaderValue` fa : `HIndex -> unit` fb : `HeaderValue -> Entry -> HIndex -> unit` fc : `string -> HeaderValue -> Entry -> unit` fd : `HeaderValue -> HIndex -> unit` arg6 : `RevIndex`	t : `Token` v : `HeaderValue` fa : `HIndex -> unit` fb : `HeaderValue -> Entry -> HIndex -> unit` fc : `string -> HeaderValue -> Entry -> unit` fd : `HeaderValue -> HIndex -> unit` arg6 : `RevIndex`
`lookupRevIndex' t v fa fd fe` Full Usage: `lookupRevIndex' t v fa fd fe` Parameters: t : `Token` v : `HeaderValue` fa : `HIndex -> unit` fd : `HeaderValue -> HIndex -> unit` fe : `string -> HeaderValue -> unit`	t : `Token` v : `HeaderValue` fa : `HIndex -> unit` fd : `HeaderValue -> HIndex -> unit` fe : `string -> HeaderValue -> unit`
`lookupStaticRevIndex ix v fa' fbd` Full Usage: `lookupStaticRevIndex ix v fa' fbd` Parameters: ix : `int` v : `HeaderValue` fa' : `HIndex -> unit` fbd : `HIndex -> unit`	ix : `int` v : `HeaderValue` fa' : `HIndex -> unit` fbd : `HIndex -> unit`
`mask4 w` Full Usage: `mask4 w` Parameters: w : `byte` Returns: `byte`	w : `byte` Returns: `byte`
`mask5 w` Full Usage: `mask5 w` Parameters: w : `byte` Returns: `byte`	w : `byte` Returns: `byte`
`mask6 w` Full Usage: `mask6 w` Parameters: w : `byte` Returns: `byte`	w : `byte` Returns: `byte`
`maxStaticTokenIndex` Full Usage: `maxStaticTokenIndex` Returns: `int`	Returns: `int`
`maxTokenIndex` Full Usage: `maxTokenIndex` Returns: `int`	Returns: `int`
`minTokenIx` Full Usage: `minTokenIx` Returns: `int`	Returns: `int`
`mkToken index shouldIndex isPseudo tokenKey` Full Usage: `mkToken index shouldIndex isPseudo tokenKey` Parameters: index : `int` shouldIndex : `bool` isPseudo : `bool` tokenKey : `string` Returns: `Token`	index : `int` shouldIndex : `bool` isPseudo : `bool` tokenKey : `string` Returns: `Token`
`mkTokenMax str` Full Usage: `mkTokenMax str` Parameters: str : `string` Returns: `Token`	str : `string` Returns: `Token`
`naiveAlgorithm fe t v` Full Usage: `naiveAlgorithm fe t v` Parameters: fe : `string -> 'a -> 'b` t : `Token` v : `'a` Returns: `'b`	fe : `string -> 'a -> 'b` t : `Token` v : `'a` Returns: `'b`
`neverIndexing dyntbl w rbuf` Full Usage: `neverIndexing dyntbl w rbuf` Parameters: dyntbl : `DynamicTable` w : `byte` rbuf : `MemoryStream` Returns: `TokenHeader`	dyntbl : `DynamicTable` w : `byte` rbuf : `MemoryStream` Returns: `TokenHeader`
`newName wbuf huff set k v` Full Usage: `newName wbuf huff set k v` Parameters: wbuf : `MemoryStream` huff : `bool` set : `Setter` k : `string` v : `string`	wbuf : `MemoryStream` huff : `bool` set : `Setter` k : `string` v : `string`
`powerArray` Full Usage: `powerArray` Returns: `byte[]`	encode index Returns: `byte[]`
`prepend b y` Full Usage: `prepend b y` Parameters: b : `'a` y : `'a list` Returns: `'a list`	b : `'a` y : `'a list` Returns: `'a list`
`removeEnd dyntbl` Full Usage: `removeEnd dyntbl` Parameters: dyntbl : `DynamicTable` Returns: `Entry`	dyntbl : `DynamicTable` Returns: `Entry`
`renewDynamicTable size dyntbl` Full Usage: `renewDynamicTable size dyntbl` Parameters: size : `'a` dyntbl : `'b` Returns: `'b`	size : `'a` dyntbl : `'b` Returns: `'b`
`run arg1` Full Usage: `run arg1` Parameters: arg0 : `Builder<'a>` Returns: `'a list`	arg0 : `Builder<'a>` Returns: `'a list`
`set0000` Full Usage: `set0000` Returns: `'a -> 'a`	Returns: `'a -> 'a`
`set0001 x` Full Usage: `set0001 x` Parameters: x : `byte` Returns: `byte`	x : `byte` Returns: `byte`
`set001 x` Full Usage: `set001 x` Parameters: x : `byte` Returns: `byte`	x : `byte` Returns: `byte`
`set01 x` Full Usage: `set01 x` Parameters: x : `byte` Returns: `byte`	x : `byte` Returns: `byte`
`set1 x` Full Usage: `set1 x` Parameters: x : `byte` Returns: `byte`	x : `byte` Returns: `byte`
`setH` Full Usage: `setH` Returns: `byte -> byte`	Returns: `byte -> byte`
`shiftLastN wbuf gap len` Full Usage: `shiftLastN wbuf gap len` Parameters: wbuf : `MemoryStream` gap : `int` len : `int64`	wbuf : `MemoryStream` gap : `int` len : `int64`
`singleton x` Full Usage: `singleton x` Parameters: x : `'a` Returns: `Builder<'a>`	x : `'a` Returns: `Builder<'a>`
`span p` Full Usage: `span p` Parameters: p : `'a -> bool` Returns: `'a list -> 'a list * 'a list`	p : `'a -> bool` Returns: `'a list -> 'a list * 'a list`
`staticAlgorithm fa fd fe t v` Full Usage: `staticAlgorithm fa fd fe t v` Parameters: fa : `HIndex -> unit` fd : `HeaderValue -> HIndex -> unit` fe : `string -> HeaderValue -> unit` t : `Token` v : `HeaderValue`	fa : `HIndex -> unit` fd : `HeaderValue -> HIndex -> unit` fe : `string -> HeaderValue -> unit` t : `Token` v : `HeaderValue`
`staticHeaderArray` Full Usage: `staticHeaderArray` Returns: `Header array`	Returns: `Header array`
`staticHeaderList` Full Usage: `staticHeaderList` Returns: `HeaderList`	Returns: `HeaderList`
`staticRevIndex` Full Usage: `staticRevIndex` Returns: `(int * StaticEntry) list`	Returns: `(int * StaticEntry) list`
`staticRevIndexMap` Full Usage: `staticRevIndexMap` Returns: `Dictionary<int, StaticEntry>`	Returns: `Dictionary<int, StaticEntry>`
`staticTableSize` Full Usage: `staticTableSize` Returns: `int`	Returns: `int`
`tableSizeUpdate dyntbl w rbuf` Full Usage: `tableSizeUpdate dyntbl w rbuf` Parameters: dyntbl : `DynamicTable` w : `Byte` rbuf : `MemoryStream` Returns: `DynamicTable`	dyntbl : `DynamicTable` w : `Byte` rbuf : `MemoryStream` Returns: `DynamicTable`
`toDynamicEntry dyntbl idx` Full Usage: `toDynamicEntry dyntbl idx` Parameters: dyntbl : `DynamicTable` idx : `int` Returns: `Entry`	dyntbl : `DynamicTable` idx : `int` Returns: `Entry`
`toEnt (k, xs)` Full Usage: `toEnt (k, xs)` Parameters: k : `HeaderValue` xs : `(string * HIndex) list` Returns: `int * StaticEntry`	k : `HeaderValue` xs : `(string * HIndex) list` Returns: `int * StaticEntry`
`toEntry (arg1, arg2)` Full Usage: `toEntry (arg1, arg2)` Parameters: arg0 : `HeaderName` arg1 : `HeaderValue` Returns: `Entry`	arg0 : `HeaderName` arg1 : `HeaderValue` Returns: `Entry`
`toEntryToken t v` Full Usage: `toEntryToken t v` Parameters: t : `Token` v : `HeaderValue` Returns: `Entry`	t : `Token` v : `HeaderValue` Returns: `Entry`
`toIndexedEntry dyntbl idx` Full Usage: `toIndexedEntry dyntbl idx` Parameters: dyntbl : `DynamicTable` idx : `int` Returns: `Entry`	dyntbl : `DynamicTable` idx : `int` Returns: `Entry`
`toStaticEntry idx` Full Usage: `toStaticEntry idx` Parameters: idx : `int` Returns: `Header`	idx : `int` Returns: `Header`
`toToken str` Full Usage: `toToken str` Parameters: str : `HeaderValue` Returns: `Token`	str : `HeaderValue` Returns: `Token`
`toTokenHeader dyntbl w rbuf` Full Usage: `toTokenHeader dyntbl w rbuf` Parameters: dyntbl : `DynamicTable` w : `byte` rbuf : `MemoryStream` Returns: `TokenHeader`	dyntbl : `DynamicTable` w : `byte` rbuf : `MemoryStream` Returns: `TokenHeader`
`toTokenHeaderList hl` Full Usage: `toTokenHeaderList hl` Parameters: hl : `(HeaderValue * 'a) list` Returns: `(Token * 'a) list`	hl : `(HeaderValue * 'a) list` Returns: `(Token * 'a) list`
`tokenAccept` Full Usage: `tokenAccept` Returns: `Token`	Returns: `Token`
`tokenAcceptCharset` Full Usage: `tokenAcceptCharset` Returns: `Token`	Returns: `Token`
`tokenAcceptEncoding` Full Usage: `tokenAcceptEncoding` Returns: `Token`	Returns: `Token`
`tokenAcceptLanguage` Full Usage: `tokenAcceptLanguage` Returns: `Token`	Returns: `Token`
`tokenAcceptRanges` Full Usage: `tokenAcceptRanges` Returns: `Token`	Returns: `Token`
`tokenAccessControlAllowOrigin` Full Usage: `tokenAccessControlAllowOrigin` Returns: `Token`	Returns: `Token`
`tokenAge` Full Usage: `tokenAge` Returns: `Token`	Returns: `Token`
`tokenAllow` Full Usage: `tokenAllow` Returns: `Token`	Returns: `Token`
`tokenAuthority` Full Usage: `tokenAuthority` Returns: `Token`	Returns: `Token`
`tokenAuthorization` Full Usage: `tokenAuthorization` Returns: `Token`	Returns: `Token`
`tokenCacheControl` Full Usage: `tokenCacheControl` Returns: `Token`	Returns: `Token`
`tokenConnection` Full Usage: `tokenConnection` Returns: `Token`	Returns: `Token`
`tokenContentDisposition` Full Usage: `tokenContentDisposition` Returns: `Token`	Returns: `Token`
`tokenContentEncoding` Full Usage: `tokenContentEncoding` Returns: `Token`	Returns: `Token`
`tokenContentLanguage` Full Usage: `tokenContentLanguage` Returns: `Token`	Returns: `Token`
`tokenContentLength` Full Usage: `tokenContentLength` Returns: `Token`	Returns: `Token`
`tokenContentLocation` Full Usage: `tokenContentLocation` Returns: `Token`	Returns: `Token`
`tokenContentRange` Full Usage: `tokenContentRange` Returns: `Token`	Returns: `Token`
`tokenContentType` Full Usage: `tokenContentType` Returns: `Token`	Returns: `Token`
`tokenCookie` Full Usage: `tokenCookie` Returns: `Token`	Returns: `Token`
`tokenDate` Full Usage: `tokenDate` Returns: `Token`	Returns: `Token`
`tokenEtag` Full Usage: `tokenEtag` Returns: `Token`	Returns: `Token`
`tokenExpect` Full Usage: `tokenExpect` Returns: `Token`	Returns: `Token`
`tokenExpires` Full Usage: `tokenExpires` Returns: `Token`	Returns: `Token`
`tokenFoldedKey token` Full Usage: `tokenFoldedKey token` Parameters: token : `Token` Returns: `string`	token : `Token` Returns: `string`
`tokenFrom` Full Usage: `tokenFrom` Returns: `Token`	Returns: `Token`
`tokenHost` Full Usage: `tokenHost` Returns: `Token`	Returns: `Token`
`tokenIfMatch` Full Usage: `tokenIfMatch` Returns: `Token`	Returns: `Token`
`tokenIfModifiedSince` Full Usage: `tokenIfModifiedSince` Returns: `Token`	Returns: `Token`
`tokenIfNoneMatch` Full Usage: `tokenIfNoneMatch` Returns: `Token`	Returns: `Token`
`tokenIfRange` Full Usage: `tokenIfRange` Returns: `Token`	Returns: `Token`
`tokenIfUnmodifiedSince` Full Usage: `tokenIfUnmodifiedSince` Returns: `Token`	Returns: `Token`
`tokenLastModified` Full Usage: `tokenLastModified` Returns: `Token`	Returns: `Token`
`tokenLink` Full Usage: `tokenLink` Returns: `Token`	Returns: `Token`
`tokenLocation` Full Usage: `tokenLocation` Returns: `Token`	Returns: `Token`
`tokenMax` Full Usage: `tokenMax` Returns: `Token`	Returns: `Token`
`tokenMaxForwards` Full Usage: `tokenMaxForwards` Returns: `Token`	Returns: `Token`
`tokenMethod` Full Usage: `tokenMethod` Returns: `Token`	Returns: `Token`
`tokenPath` Full Usage: `tokenPath` Returns: `Token`	Returns: `Token`
`tokenProxyAuthenticate` Full Usage: `tokenProxyAuthenticate` Returns: `Token`	Returns: `Token`
`tokenProxyAuthorization` Full Usage: `tokenProxyAuthorization` Returns: `Token`	Returns: `Token`
`tokenRange` Full Usage: `tokenRange` Returns: `Token`	Returns: `Token`
`tokenReferer` Full Usage: `tokenReferer` Returns: `Token`	Returns: `Token`
`tokenRefresh` Full Usage: `tokenRefresh` Returns: `Token`	Returns: `Token`
`tokenRetryAfter` Full Usage: `tokenRetryAfter` Returns: `Token`	Returns: `Token`
`tokenScheme` Full Usage: `tokenScheme` Returns: `Token`	Returns: `Token`
`tokenServer` Full Usage: `tokenServer` Returns: `Token`	Returns: `Token`
`tokenSetCookie` Full Usage: `tokenSetCookie` Returns: `Token`	Returns: `Token`
`tokenStatus` Full Usage: `tokenStatus` Returns: `Token`	Returns: `Token`
`tokenStrictTransportSecurity` Full Usage: `tokenStrictTransportSecurity` Returns: `Token`	Returns: `Token`
`tokenTE` Full Usage: `tokenTE` Returns: `Token`	Returns: `Token`
`tokenTransferEncoding` Full Usage: `tokenTransferEncoding` Returns: `Token`	Returns: `Token`
`tokenUserAgent` Full Usage: `tokenUserAgent` Returns: `Token`	Returns: `Token`
`tokenVary` Full Usage: `tokenVary` Returns: `Token`	Returns: `Token`
`tokenVia` Full Usage: `tokenVia` Returns: `Token`	Returns: `Token`
`tokenWwwAuthenticate` Full Usage: `tokenWwwAuthenticate` Returns: `Token`	Returns: `Token`
`useHuffman` Full Usage: `useHuffman` Returns: `bool`	Returns: `bool`
`withoutIndexing dyntbl w rbuf` Full Usage: `withoutIndexing dyntbl w rbuf` Parameters: dyntbl : `DynamicTable` w : `byte` rbuf : `MemoryStream` Returns: `TokenHeader`	dyntbl : `DynamicTable` w : `byte` rbuf : `MemoryStream` Returns: `TokenHeader`