def ppm.rows

gralha-svg-render@0.1.0.1 · svg.bend:5839

import gralha-svg-render@0.1.0.1/svg.bend as Svg

import Base

5839def ppm.rows(a: Array<U32>, n: Nat, +y: U32, +w: U32, next: Array<U32> -> String -> String) -> String:
5840  match n:
5841    case 0n: next(a)("")
5842    case 1n+d: ppm.cols(a, U32.to_nat(w), (y * w : U32), a1 => row => ppm.rows(a1, d, (y + 1 : U32), w, a2 => rest => next(a2)(row ++ rest)))

Uses (9)

Used by (1)

gralha-svg-render@0.1.0.1/svg:ppm