def cells.go

minebender-game@1.0.0.0 · LAWS.bend:60

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

60def cells.go(+w: Nat, ys: List<&2, Nat>) -> List<&2, T.Pos>:
61  match ys:
62    case Nil{}:
63      Nil{}
64    case y <> t:
65      List.append(&2, T.Pos, row_cells(y, List.range(w)), cells.go(w, t))