def jpeg.scan.histories
gralha-jpeg-decode@0.1.0.1 · jpeg.bend:553
import gralha-jpeg-decode@0.1.0.1/jpeg.bend as Jpeg
import Base
553def jpeg.scan.histories(xs: List<&2, JPEGComponent>, +start: U32, +end: U32, +low: U32) -> List<&2, JPEGComponent>:
554 match xs:
555 case Nil{}: Nil{}
556 case Con{JPEGComponent{id, h, v, quant, dc, ac, predictor, bw, bh, coefficients, samples}, rest}:
557 Con{JPEGComponent{id, h, v, quant, dc, ac, predictor, bw, bh, coefficients, jpeg.history.set(U32.to_nat((end - start + 1 : U32)), start, low, samples)}, jpeg.scan.histories(rest, start, end, low)}