Client.recv.step: def of bendonnect-rpc@0.1.0.0
Import: import bendonnect-rpc@0.1.0.0/src/transport/client.bend as Client
Lines 206-219 of bendonnect-rpc@0.1.0.0/src/transport/client.bend: https://jend.leeeet.dev/read.txt?path=bendonnect-rpc@0.1.0.0/src/transport/client.bend&start_line=206&end_line=219

import Base
import bend-kit-http@0.36.0.0/http.bend as Http
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes
import bendonnect-rpc@0.1.0.0/src/code.bend as Code
import bendonnect-rpc@0.1.0.0/src/envelope.bend as Env

def recv.step(st: Http.Stream, step: Env.Step) -> IO(Item):
  match step:
    case Env.Need{buf}:
      do IO<Item>:
        m : Http.Stream & Result<&1, &1, Http.Err, Maybe<&1, Bytes.Bytes>> <- Http.stream.read(st)
        recv.read(m, buf)
    case Env.Got{env, rest}:
      recv.env(st, env, rest)
    case Env.Bad{reason}:
      do IO<Item>:
        Http.stream.close(st)
        return broke(Code.Internal{}, reason)

@unsafe

Uses (18):
  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=Maybe
  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=Unit
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=Bytes
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=Err
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=Stream
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=stream.close
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=stream.read
  https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/code.bend&name=Code
  https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/envelope.bend&name=Step
  https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/transport/client.bend&name=Item
  https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/transport/client.bend&name=broke
  https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/transport/client.bend&name=recv.env
  https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/transport/client.bend&name=recv.read