def items

minebender-game@1.0.0.0 · solver.bend:52

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

52# The revealed cells of ps.
53def items(+w: Nat, +h: Nat, +rows: T.Grid(T.Seen), ps: List<&2, T.Pos>) -> List<&2, Item>:
54  match ps:
55    case Nil{}:
56      Nil{}
57    case +p <> t:
58      items.put(B.at(T.Seen, T.Hidden{}, rows, p), p, w, h, items(w, h, rows, t))