def gen.row_state

minebender-game@1.0.0.0 · game.bend:178

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

178# The state after a row.
179def gen.row_state(+z: Zone, +y: Nat, xs: List<&2, Nat>, +st: GenState) -> GenState:
180  match xs:
181    case Nil{}:
182      st
183    case x <> t:
184      gen.row_state(z, y, t, gen.next(z, T.Pos{x, y}, st))