def put_scoped2

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

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

195def put_scoped2(m: Maybe<&2, Json.Json>, +now: U32, +off: U32, acc: Result<&2, &2, String, Json.Json>) -> Result<&2, &2, String, Json.Json>:
196  match m:
197    case None{}:
198      acc
199    case Some{Json.JArr{items}}:
200      scoped.put(scoped.list(Json.to_list(Json.JArr{items}), 0n, now, off, Done{[]}), acc)
201    case Some{x}:
202      Fail{"scoped must be a list"}

Uses (9)

Used by (1)