def stdio.serve_with

ezmcp@0.1.0.0 · src/io.bend:386

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

386# serve newline-delimited JSON-RPC on stdin and stdout until stdin ends; a
387# line is read by the latest revision until an initialize names another
388@unsafe def stdio.serve_with(
389  ~C: Data,
390  ~run: C -> String -> Value.Json -> IO(Rpc.Out),
391  ~srv: Server.Server,
392  +ctx: C
393) -> IO(Unit):
394  stdio.loop(C, run, srv, ctx, [], Server.latest())