def stdio.serve

ezmcp@0.1.0.0 · main.bend:280

import ezmcp@0.1.0.0/main.bend as Ezmcp
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

280# serve newline-delimited JSON-RPC on stdin and stdout until stdin ends;
281# write logs with IO.print_err, never to stdout
282@unsafe def stdio.serve(
283  ~run: String -> Value.Json -> IO(Rpc.Out),
284  ~srv: Server.Server
285) -> IO(Unit):
286  Io.stdio.serve(run, srv)

Uses (7)

Used by (0)

No other definition uses this definition.