def rows

cswap-bend-cli@0.1.0.0 · tui/card.bend:145

import Base
import cswap-bend-cli@0.1.0.0/tui/fmt.bend as F
import cswap-bend-cli@0.1.0.0/tui/model.bend as M

145def rows(+ws: List<&2, M.Win>, +lw: Nat, +bw: Nat, +v: M.View, +thr: Maybe<&2, U32>, +stale: Bool, +now: U32, +off: U32) -> List<&2, List<&2, F.Seg>>:
146  match ws:
147    case Nil{}:
148      Nil{}
149    case Con{w, t}:
150      Con{row(w, lw, bw, v, thr, stale, now, off), rows(t, lw, bw, v, thr, stale, now, off)}