def stdio.serve_with

ezmcp@0.1.0.0 · main.bend:269

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

269# serve stdin and stdout, its runner given `ctx`, until stdin ends
270@unsafe def stdio.serve_with(
271  ~C: Data,
272  ~run: C -> String -> Value.Json -> IO(Rpc.Out),
273  ~srv: Server.Server,
274  +ctx: C
275) -> IO(Unit):
276  Io.stdio.serve_with(C, run, srv, ctx)