def gen.row

minebender-game@1.0.0.0 · game.bend:170

import minebender-game@1.0.0.0/game.bend as Game

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

170def gen.row(+z: Zone, +y: Nat, xs: List<&2, Nat>, +st: GenState) -> List<&2, Bool>:
171  match xs:
172    case Nil{}:
173      Nil{}
174    case x <> t:
175      +p = {T.Pos{x, y} : T.Pos}
176      gen.bit(z, p, st) <> gen.row(z, y, t, gen.next(z, p, st))

Uses (8)

Used by (12)