def jpeg.idct.vertical
import gralha-jpeg-decode@0.1.0.1/jpeg.bend as Jpegimport Base
import gralha-text-scan@0.1.0.1/scan.bend as U
639def jpeg.idct.vertical(n: Nat, +v: U32, +x: U32, +y: U32, +rows: List<&2, F32>, acc: F32) -> F32:
640 match n:
641 case 0n: acc
642 case 1n+d: jpeg.idct.vertical(d, U32.inc(v), x, y, rows, (acc + U.nth(rows, U32.to_nat((v * 8 + x : U32)), 0.0) * jpeg.idct.basis(y, v) : F32))