def disp_row

minebender-game@1.0.0.0 · game.bend:564

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

564def disp_row(+w: Nat, +h: Nat, +layout: T.Grid(Bool), +shown: T.Grid(Bool), +flags: List<&2, T.Pos>,
565  +st: T.Status, +y: Nat, xs: List<&2, Nat>) -> List<&2, T.Tile>:
566  match xs:
567    case Nil{}:
568      Nil{}
569    case x <> t:
570      tile_at(w, h, layout, shown, flags, st, T.Pos{x, y}) <> disp_row(w, h, layout, shown, flags, st, y, t)