def scoped_lines

cswap-bend-cli@0.1.0.0 · render.bend:140

import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json
import cswap-bend-cli@0.1.0.0/view.bend as View

140def scoped_lines(ws: List<&2, Json.Json>, +fetched: Maybe<&2, U32>, +now: U32, +off: U32) -> List<&2, Line>:
141  match ws:
142    case Nil{}:
143      []
144    case Con{+w, t}:
145      window_line(Maybe.default(&2, String, Json.as_string(View.jv("name", w)), "?"), w, scoped_marker(w, fetched), now, off) <> scoped_lines(t, fetched, now, off)