def jpeg.progressive.eob

gralha-jpeg-decode@0.1.0.1 · jpeg.bend:270

import Base
import gralha-bytes@0.1.0.1/bytes.bend as Bin

270def jpeg.progressive.eob(read: JPEGRead, run: U32, coefficients: Bin.Bytes, predictor: U32, decrement: U32) -> JPEGBlock:
271  JPEGRead{word, stream} = read
272  JPEGBlock{jpeg.stream.eob(stream, (U32.shln(1, U32.to_nat(run)) + word - decrement : U32)), coefficients, predictor}