def know_row

minebender-game@1.0.0.0 · game.bend:51

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

51def know_row(+w: Nat, +h: Nat, +layout: T.Grid(Bool), +shown: T.Grid(Bool), +y: Nat,
52  xs: List<&2, Nat>) -> List<&2, T.Seen>:
53  match xs:
54    case Nil{}:
55      Nil{}
56    case x <> t:
57      seen_at(w, h, layout, shown, T.Pos{x, y}) <> know_row(w, h, layout, shown, y, t)