def jpeg.marker

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

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

93def jpeg.marker(+src: Bin.Bytes, +at: U32) -> JPEGMarker:
94  U.branch(JPEGMarker, U32.is_lt(at, Bin.bytes.size(src)) && U32.is_eq(Bin.bytes.get(src, at), 255), _ => jpeg.marker.byte(src, U32.inc(at)), _ => JPEGMarker{0, at, False{}})