Stdio.send: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lsp/transport/stdio.bend as Stdio
Lines 84-89 of bolt@1.27.0.0/src/lsp/transport/stdio.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/lsp/transport/stdio.bend&start_line=84&end_line=89

import Base
import bolt@1.27.0.0/src/lsp/frame.bend as Frame

# a body, framed and written
def send(h2: Stdio, body: String) -> IO(Stdio):  # noqa: L001 transport effect
  Stdio{inp, out, buf} = h2
  do IO<Stdio>:
    w : File & Result<&1, &1, U32 & String, Unit> <- File.write(out, Frame.wrap(body))
    send.done(w, inp, buf)

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=File.write
  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=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/frame.bend&name=wrap
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/transport/stdio.bend&name=Stdio
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/transport/stdio.bend&name=send.done