def jpeg.progressive.first

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

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

297def jpeg.progressive.first(+index: U32, +end: U32, +offset: U32, +low: U32, +table: Bin.Huffman, +block: JPEGBlock) -> JPEGBlock:
298  JPEGBlock{stream, coefficients, predictor} = block
299  U.branch(JPEGBlock, U32.is_gt(index, end) || Bool.not(jpeg.stream.valid(stream)), _ => block,
300    _ => jpeg.refined.next(jpeg.progressive.first.symbol(jpeg.huff.read(table, stream), index, end, offset, low, coefficients, predictor), pos => decoded => jpeg.progressive.first(pos, end, offset, low, table, decoded)))