def place_mines

minebender-game@1.0.0.0 · game.bend:202

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

202# Room for the first click's neighbours: at least 9 cells left free.
203def place_mines(+w: Nat, +h: Nat, +n: Nat, +first: T.Pos, rs: List<&2, U32>) -> T.Grid(Bool):
204  +z = {Zone{first, Nat.is_le(Nat.add(n, 9n), Nat.mul(w, h))} : Zone}
205  gen.rows(z, w, List.range(h), GenState{n, gen.left(z, B.cells(w, h)), rs})