def know_rows

minebender-game@1.0.0.0 · game.bend:59

import Base
import minebender-game@1.0.0.0/types.bend as T

59def know_rows(+w: Nat, +h: Nat, +layout: T.Grid(Bool), +shown: T.Grid(Bool),
60  ys: List<&2, Nat>) -> T.Grid(T.Seen):
61  match ys:
62    case Nil{}:
63      Nil{}
64    case y <> t:
65      know_row(w, h, layout, shown, y, List.range(w)) <> know_rows(w, h, layout, shown, t)