Idris2Doc : Huffman.Decode

Huffman.Decode

(source)
Definitions
data HpackErr : Type
  Totality: total
  Visibility: public export
  Constructors:
  
TooLongEos : HpackErr
  
IllegalEos : HpackErr
  
EosInTheMiddle : HpackErr

  Hint: 
Show HpackErr
decodeHuffman : List Bits8 -> Either HpackErr (List Bits8)
  Visibility: public export