def png.paint.rows
gralha-png-decode@0.1.0.1 · png.bend:153
import gralha-png-decode@0.1.0.1/png.bend as Png
import Base
import gralha-bytes@0.1.0.1/bytes.bend as Bin
import gralha-image@0.1.0.1/image.bend as Img
153def png.paint.rows(n: Nat, +row: U32, +info: PNGInfo, +raw: Bin.Bytes, +pass: PNGPass, +depth: Nat, pixels: Img.Pixels) -> Img.Pixels:
154 match n:
155 case 0n: pixels
156 case 1n+d:
157 PNGPass{w, h, x, y, dx, dy, stride, offset} = pass
158 png.paint.rows(d, U32.inc(row), info, raw, pass, depth, png.paint.row(U32.to_nat(w), 0, row, info, raw, pass, depth, pixels))