Huffman.HTree

Definitions

data HTree : Type

Totality: total
Visibility: public export
Constructors:

Tip : Maybe Nat -> Maybe Bits8 -> HTree

Bin : Maybe Nat -> Fin 256 -> HTree -> HTree -> HTree

fromJustPartial : Maybe a -> a

Visibility: public export

build : Fin 257 -> List (Maybe Bits8, Bits) -> (Fin 257, HTree)

Visibility: public export

allBits8 : Vect 256 Bits8

Visibility: public export

toHTree : Fin n -> Vect n Bits -> HTree

Visibility: public export