def ppm.cols

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

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

import Base

5833def ppm.cols(a: Array<U32>, n: Nat, +j: U32, next: Array<U32> -> String -> String) -> String:
5834  match n:
5835    case 0n: next(a)("")
5836    case 1n+d: packed.then(String, Array.get(U32, a, j), a1 => v => ppm.cols(a1, d, (j + 1 : U32), a2 => rest => next(a2)(pixel.ppm(v) ++ rest)))
5837
5838@unsafe

Uses (9)

Used by (1)

gralha-svg-render@0.1.0.1/svg:ppm.rows