def recv.fed

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

import Base

30def recv.fed(
31  rr: Result<&1, &1, U32 & String, List<&2, U32>>,
32  inp: File,
33  out: File,
34  buf: List<&2, U32>,
35  rest: Stdio -> IO(Stdio & Maybe<&2, String>)
36) -> IO(Stdio & Maybe<&2, String>):
37  match rr:
38    case Fail{e}:
39      IO.pure(Stdio & Maybe<&2, String>, (Stdio{inp, out, []}, None{}))
40    case Done{bytes}:
41      recv.grown(bytes, inp, out, buf, rest)