def batch.gather

ezmcp@0.1.0.0 · src/server.bend:338

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

338def batch.gather(replies: List<&2, Value.Json>) -> Maybe<&2, Value.Json>:
339  match replies:
340    case []:
341      None{}
342    case r <> rest:
343      Some{Json.arr(r <> rest)}