Data.Compress.Huffman

Definitions

record HuffmanTree : Type

Totality: total
Visibility: public export
Constructor: 

MkTree : Parser Bitstream (SimpleError String) Bits32 -> Parser Bitstream (SimpleError String) Bits32 -> HuffmanTree

Projections:

.parse_distance : HuffmanTree -> Parser Bitstream (SimpleError String) Bits32

.parse_literals : HuffmanTree -> Parser Bitstream (SimpleError String) Bits32

.parse_literals : HuffmanTree -> Parser Bitstream (SimpleError String) Bits32

Visibility: public export

parse_literals : HuffmanTree -> Parser Bitstream (SimpleError String) Bits32

Visibility: public export

.parse_distance : HuffmanTree -> Parser Bitstream (SimpleError String) Bits32

Visibility: public export

parse_distance : HuffmanTree -> Parser Bitstream (SimpleError String) Bits32

Visibility: public export

default_tree : HuffmanTree

Visibility: export

make_tree : Ord a => List (a, Bits32) -> Nat -> Maybe (Parser Bitstream (SimpleError String) a)

Visibility: export