Server.rpc_start: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/server.bend as Server
Lines 79-84 of cswap-bend-cli@0.1.0.0/server.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/server.bend&start_line=79&end_line=84

import Base
import cswap-bend-cli@0.1.0.0/cmd.bend as Cmd
import cswap-bend-cli@0.1.0.0/fs.bend as Fs
import cswap-bend-cli@0.1.0.0/fmt/out.bend as O

def rpc_start(r: Fs.Res(File), +fmt: O.Fmt) -> IO(Cmd.Out):
  match r:
    case Fail{e}:
      IO.pure(Cmd.Out, Cmd.Out{1, "", "cswap rpc: cannot read standard input\n"})
    case Done{f}:
      IO.bind(Unit, Cmd.Out, stdin_pump(SRead{f, ""}, fmt), u => IO.pure(Cmd.Out, Cmd.silent()))

Uses (12):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=File
  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=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/cmd.bend&name=Out
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/cmd.bend&name=silent
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/fmt/out.bend&name=Fmt
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/fs.bend&name=Res
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/server.bend&name=SP
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/server.bend&name=stdin_pump