def jpeg.huff.install
gralha-jpeg-decode@0.1.0.1 · jpeg.bend:171
import gralha-jpeg-decode@0.1.0.1/jpeg.bend as Jpeg
import Base
171def jpeg.huff.install(coding: JPEGCoding, +frame: JPEGFrame, spec: U32, end: U32, next: U32 -> JPEGFrame -> JPEGFrame) -> JPEGFrame:
172 JPEGCoding{node, cw0, at, ok} = coding
173 JPEGFrame{w, h, hm, vm, progressive, components, quants, huffs, restart, adobe, valid} = frame
174 +position = at
175 +tag = spec
176 next(position)(JPEGFrame{w, h, hm, vm, progressive, components, quants, Con{JPEGHuff{(tag % 16 : U32), U32.is_ge(tag, 16), node}, huffs}, restart, adobe, valid && ok && U32.is_le(position, end)})
177
178@unsafe