~/jendhub

def scoped_list

cswap-bend-cli@0.1.0.0 · view.bend:199

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

199def scoped_list(ls: List<&2, Json.Json>, +fetched: Maybe<&2, U32>, +now: U32, +off: U32) -> List<&2, Json.Json>:
200  match ls:
201    case Nil{}:
202      []
203    case Con{h, t}:
204      scoped_json(h, fetched, now, off) <> scoped_list(t, fetched, now, off)

Uses (5)

Used by (1)