def row_cells

minebender-game@1.0.0.0 · LAWS.bend:52

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

52# The cells of row y, from column 0 up.
53def row_cells(+y: Nat, xs: List<&2, Nat>) -> List<&2, T.Pos>:
54  match xs:
55    case Nil{}:
56      Nil{}
57    case x <> t:
58      T.Pos{x, y} <> row_cells(y, t)