def inflate.lengths.next

gralha-bytes@0.1.0.1 · bytes.bend:318

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

318def inflate.lengths.next(+result: Inflate, remaining: U32, oldSize: U32, next: U32 -> BitStream -> Bytes -> Inflate) -> Inflate:
319  Inflate{stream, lengths} = result
320  U.branch(Inflate, bits.valid(stream), _ => next((remaining - bytes.size(lengths) + oldSize : U32))(stream)(lengths), _ => result)
321
322@unsafe

Uses (9)

Used by (1)

gralha-bytes@0.1.0.1/bytes:inflate.lengths