def cells.go

minebender-game@1.0.0.0 · board.bend:45

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

45def cells.go(+w: Nat, ys: List<&2, Nat>) -> List<&2, T.Pos>:
46  match ys:
47    case Nil{}:
48      Nil{}
49    case y <> t:
50      List.append(&2, T.Pos, row_cells(y, List.range(w)), cells.go(w, t))