def scoped.list

cswap-bend-cli@0.1.0.0 · importu.bend:179

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

179def scoped.list(ls: List<&2, Json.Json>, +i: Nat, +now: U32, +off: U32, acc: Result<&2, &2, String, List<&2, Json.Json>>) -> Result<&2, &2, String, List<&2, Json.Json>>:
180  match ls:
181    case Nil{}:
182      acc
183    case Con{+w, t}:
184      scoped.list(t, 1n+i, now, off, scoped.add(scoped.entry(window(w, "scoped[" ++ Nat.show(i) ++ "]", now, off), w, "scoped[" ++ Nat.show(i) ++ "]"), acc))