~/jendhub

def batch.all

ezmcp@0.1.0.0 · src/server.bend:310

import ezmcp@0.1.0.0/src/server.bend as Server
import Base
import emerging-ezjson@1.2.0.0/src/value.bend as Value
import ezmcp@0.1.0.0/src/rpc.bend as Rpc

310# every element's act, in order
311def batch.all(+srv: Server, items: List<&2, Value.Json>) -> List<&2, Act>:
312  match items:
313    case []:
314      []
315    case i <> rest:
316      batch.one(srv, Rpc.classify(i)) <> batch.all(srv, rest)

Uses (6)

Used by (1)