def Network.HTTP2.HPACK.huffmanEncode (s : String) : ByteArray

Encode a string to bytes, optionally with Huffman coding. Currently implements identity encoding (no Huffman). $$\text{huffmanEncode} : \text{String} \to \text{ByteArray}$$

Equations

• Network.HTTP2.HPACK.huffmanEncode s = s.toUTF8

def Network.HTTP2.HPACK.huffmanDecode (bs : ByteArray) : Option String

Decode bytes to a string, optionally with Huffman decoding. Currently implements identity decoding (no Huffman). $$\text{huffmanDecode} : \text{ByteArray} \to \text{Option}(\text{String})$$

Equations

• Network.HTTP2.HPACK.huffmanDecode bs = String.fromUTF8? bs