Jpeg.jpeg.scan.active: def of gralha-jpeg-decode@0.1.0.1
Import: import gralha-jpeg-decode@0.1.0.1/jpeg.bend as Jpeg
Lines 470-474 of gralha-jpeg-decode@0.1.0.1/jpeg.bend: https://jend.leeeet.dev/read.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&start_line=470&end_line=474

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

def jpeg.scan.active(+scan: JPEGScan, next: List<&2, JPEGComponent> -> JPEGStream -> JPEGScan) -> JPEGScan:
  JPEGScan{components, stream} = scan
  U.branch(JPEGScan, jpeg.stream.valid(stream), _ => next(components)(stream), _ => scan)

@unsafe

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=JPEGComponent
  https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=JPEGScan
  https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=JPEGStream
  https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.stream.valid
  https://jend.leeeet.dev/definition.txt?path=gralha-text-scan@0.1.0.1/scan.bend&name=branch