def rows.at

gralha-coverage@0.1.0.1 · cover.bend:46

import gralha-coverage@0.1.0.1/cover.bend as Cover

import Base
import gralha-text-scan@0.1.0.1/scan.bend as U

46def rows.at(rows: List<&2, List<&2, Run>>, +y: U32, +x: U32) -> F32:
47  match rows:
48    case Nil{}: 0.0
49    case Con{r, rest}: U.choose(F32, U32.is_eq(y, 0), runs.at(r, x), rows.at(rest, (y - 1 : U32), x))

Uses (8)

Used by (1)

gralha-coverage@0.1.0.1/cover:data.at