Jpeg.jpeg.sample.channels: def of gralha-jpeg-decode@0.1.0.1
Import: import gralha-jpeg-decode@0.1.0.1/jpeg.bend as Jpeg
Lines 690-693 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=690&end_line=693

import Base

def jpeg.sample.channels(xs: List<&2, JPEGComponent>, +w: U32, +h: U32, +hm: U32, +vm: U32, +x: U32, +y: U32) -> List<&2, F32>:
  match xs:
    case Nil{}: Nil{}
    case Con{c, rest}: Con{jpeg.sample(c, w, h, hm, vm, x, y), jpeg.sample.channels(rest, w, h, hm, vm, x, y)}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  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=jpeg.sample