Io.act.all: def of ezmcp@0.1.0.0
Import: import ezmcp@0.1.0.0/src/io.bend as Io
Lines 42-58 of ezmcp@0.1.0.0/src/io.bend: https://jend.leeeet.dev/read.txt?path=ezmcp@0.1.0.0/src/io.bend&start_line=42&end_line=58

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
import ezmcp@0.1.0.0/src/server.bend as Server

# every element of a batch, in order
def act.all(
  ~C: Data,
  ~run: C -> String -> Value.Json -> IO(Rpc.Out),
  +ctx: C,
  +rev: String,
  acts: List<&2, Server.Act>
) -> IO(List<&2, Maybe<&2, Value.Json>>):
  match acts:
    case []:
      IO.pure(List<&2, Maybe<&2, Value.Json>>, [])
    case a <> rest:
      IO.bind(Maybe<&2, Value.Json>, List<&2, Maybe<&2, Value.Json>>,
        act.reply(C, run, ctx, rev, a),
        r => IO.bind(List<&2, Maybe<&2, Value.Json>>,
          List<&2, Maybe<&2, Value.Json>>, act.all(C, run, ctx, rev, rest),
          rs => IO.pure(List<&2, Maybe<&2, Value.Json>>, r <> rs)))

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/value.bend&name=Json
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/io.bend&name=act.reply
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/rpc.bend&name=Out
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/server.bend&name=Act