Jpeg.jpeg.paint: def of gralha-jpeg-decode@0.1.0.1
Import: import gralha-jpeg-decode@0.1.0.1/jpeg.bend as Jpeg
Lines 729-735 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=729&end_line=735

import Base
import gralha-image@0.1.0.1/image.bend as Img

def jpeg.paint(n: Nat, +index: U32, +w: U32, +h: U32, +hm: U32, +vm: U32, +components: List<&2, JPEGComponent>, +adobe: U32, +depth: Nat, out: Img.Pixels) -> Img.Pixels:
  match n:
    case 0n: out
    case 1n+d:
      +x = (index % w : U32)
      +y = (index / w : U32)
      jpeg.paint(d, U32.inc(index), w, h, hm, vm, components, adobe, depth, Img.pixels.set(out, depth, x, y, jpeg.color(jpeg.sample.channels(components, w, h, hm, vm, x, y), adobe)))

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.div
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.inc
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.mod
  https://jend.leeeet.dev/definition.txt?path=gralha-image@0.1.0.1/image.bend&name=Pixels
  https://jend.leeeet.dev/definition.txt?path=gralha-image@0.1.0.1/image.bend&name=pixels.set
  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.color
  https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.sample.channels