~/jendhub

def batch.some

ezmcp@0.1.0.0 · src/server.bend:328

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

328# the replies of a batch's elements that have one, in order
329def batch.some(replies: List<&2, Maybe<&2, Value.Json>>) -> List<&2, Value.Json>:
330  match replies:
331    case []:
332      []
333    case None{} <> rest:
334      batch.some(rest)
335    case Some{r} <> rest:
336      r <> batch.some(rest)

Uses (3)

Used by (1)