Server.batch.one: def of ezmcp@0.1.0.0
Import: import ezmcp@0.1.0.0/src/server.bend as Server
Lines 300-308 of ezmcp@0.1.0.0/src/server.bend: https://jend.leeeet.dev/read.txt?path=ezmcp@0.1.0.0/src/server.bend&start_line=300&end_line=308

import Base
import ezmcp@0.1.0.0/src/rpc.bend as Rpc

# what a server does with one element of a batch: what it does with the
# message alone, except that initialize is an invalid request
# (2025-03-26/basic/lifecycle#initialization)
def batch.one(srv: Server, +msg: Rpc.Msg) -> Act:
  match msg:
    case Rpc.Ask{+id, +m, params}:
      batch.init(id, msg, String.eq(m, "initialize"), srv)
    case other:
      handle(srv, other)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/rpc.bend&name=Msg
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/server.bend&name=Act
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/server.bend&name=Server
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/server.bend&name=batch.init
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/server.bend&name=handle