def disp_rows

minebender-game@1.0.0.0 · game.bend:572

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

572def disp_rows(+w: Nat, +h: Nat, +layout: T.Grid(Bool), +shown: T.Grid(Bool), +flags: List<&2, T.Pos>,
573  +st: T.Status, ys: List<&2, Nat>) -> T.Grid(T.Tile):
574  match ys:
575    case Nil{}:
576      Nil{}
577    case y <> t:
578      disp_row(w, h, layout, shown, flags, st, y, List.range(w)) <> disp_rows(w, h, layout, shown, flags, st, t)