def batch

ezmcp@0.1.0.0 · src/server.bend:318

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

318# what a server does with a batch: an empty one is one invalid request
319# (JSON-RPC §6); any other is a batch of its elements' acts
320def batch(srv: Server, items: List<&2, Value.Json>) -> Act:
321  match items:
322    case []:
323      Fault{Rpc.reply(Json.null(), Rpc.Err{Rpc.InvalidRequest{},
324        "Invalid Request: empty batch"})}
325    case i <> rest:
326      Batch{batch.all(srv, i <> rest)}