Jpeg.jpeg.component.blocks: def of gralha-jpeg-decode@0.1.0.1
Import: import gralha-jpeg-decode@0.1.0.1/jpeg.bend as Jpeg
Lines 421-427 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=421&end_line=427

import Base

def jpeg.component.blocks(n: Nat, +index: U32, +cols: U32, +x: U32, +y: U32, +tables: List<&2, JPEGHuff>, +component: JPEGComponent, stream: JPEGStream) -> JPEGPart:
  match n:
    case 0n: JPEGPart{component, stream}
    case 1n+d:
      JPEGComponent{id, h, v, quant, dc, ac, predictor, bw, bh, coefficients, samples} = component
      +offset = (((y + index / cols) * bw + x + index % cols) * 64 : U32)
      jpeg.part.next(jpeg.component.block(jpeg.block.decode(component, tables, offset, stream), component), item => input => jpeg.component.blocks(d, U32.inc(index), cols, x, y, tables, item, input))

Uses (15):
  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.add
  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=Base/base.bend&name=U32.mul
  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=JPEGHuff
  https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=JPEGPart
  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.block.decode
  https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.component.block
  https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.part.next