def huff.build

gralha-bytes@0.1.0.1 · bytes.bend:183

import gralha-bytes@0.1.0.1/bytes.bend as Bytes

import Base

183def huff.build(+lengths: Bytes) -> Huffman:
184  +n = U32.to_nat(bytes.size(lengths))
185  +counts = huff.counts(n, lengths, 0, Bytes{ByteFlat{0}, 16, 16})
186  huff.build.loop(n, lengths, 0, huff.codes(15n, counts, 1, 0, bytes.push(bytes.empty(), 0)), HuffEmpty{})

Uses (10)

Used by (3)