~/jendhub

def send

bolt@1.27.0.0 · src/lsp/transport/stdio.bend:84

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

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

Uses (12)

Used by (1)