def inflate.length.code

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

import Base
import gralha-text-scan@0.1.0.1/scan.bend as U

309def inflate.length.code(read: BitRead, +remaining: U32, +lengths: Bytes) -> Inflate:
310  BitRead{symbol, stream} = read
311  +codeword = symbol
312  +input = stream
313  U.branch(Inflate, Bool.not(bits.valid(input)) || U32.is_gt(codeword, 18), _ => Inflate{bits.invalid(input), lengths},
314    _ => U.branch(Inflate, U32.is_lt(codeword, 16), _ => Inflate{input, bytes.push(lengths, codeword)},
315      _ => U.branch(Inflate, U32.is_eq(codeword, 16) && U32.is_eq(bytes.size(lengths), 0), _ => Inflate{bits.invalid(input), lengths},
316        _ => inflate.length.repeat(bits.read(input, U.choose(U32, U32.is_eq(codeword, 16), 2, U.choose(U32, U32.is_eq(codeword, 17), 3, 7))), U.choose(U32, U32.is_eq(codeword, 18), 11, 3), U.choose(U32, U32.is_eq(codeword, 16), bytes.get(lengths, (bytes.size(lengths) - 1 : U32)), 0), remaining, lengths))))

Uses (20)

Used by (1)

gralha-bytes@0.1.0.1/bytes:inflate.lengths