def jpeg.progressive.dc.refine

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

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

262def jpeg.progressive.dc.refine(read: JPEGRead, +coefficients: Bin.Bytes, predictor: U32, +offset: U32, low: U32) -> JPEGBlock:
263  JPEGRead{bit, stream} = read
264  JPEGBlock{stream, Bin.bytes.set(coefficients, offset, U32.or(Bin.bytes.get(coefficients, offset), U32.shln(bit, U32.to_nat(low)))), predictor}