Huffman.WayStep

Definitions

data Pin : Type

Totality: total
Visibility: public export
Constructors:

EndOfString : Pin

Forward : Fin 256 -> Pin

GoBack : Fin 256 -> Bits8 -> Pin

GoBack2 : Fin 256 -> Bits8 -> Bits8 -> Pin

Hint: 

Show Pin

data WayStep : Type

Totality: total
Visibility: public export
Constructor: 

MkWayStep : Maybe Nat -> Vect 256 Pin -> WayStep

Hint: 

Show WayStep

way256 : IArray 256 WayStep

Visibility: export