Http.stream.read: def of bend-kit-http@0.38.2.0
Import: import bend-kit-http@0.38.2.0/http.bend as Http
Lines 4812-4832 of bend-kit-http@0.38.2.0/http.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-http@0.38.2.0/http.bend&start_line=4812&end_line=4832

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

def stream.read(st: Stream) -> IO(Stream & Result<&1, &1, Err, Maybe<&1, Bytes.Bytes>>):
  Stream{+tls, s, +ms, res, +rb, out, decs, back} = st
  match out:
    case PoPiece{b}:
      do IO<Stream & Result<&1, &1, Err, Maybe<&1, Bytes.Bytes>>>:
        next : Stream <- stream.feed.st(Stream{tls, s, ms, res, rb, PoNone{}, decs, back}, b)
        stream.read(next)
    case PoReady{b}:
      IO.pure(Stream & Result<&1, &1, Err, Maybe<&1, Bytes.Bytes>>,
        (Stream{tls, s, ms, res, rb, stream.after(rb), decs, back}, Done{Some{b}}))
    case PoEnd{}:
      do IO<Stream & Result<&1, &1, Err, Maybe<&1, Bytes.Bytes>>>:
        good : Bool <- stream.finish(decs)
        return stream.ended(good, tls, s, ms, res, rb, back)
    case PoBad{+e}:
      IO.pure(Stream & Result<&1, &1, Err, Maybe<&1, Bytes.Bytes>>,
        (Stream{tls, s, ms, res, rb, PoBad{e}, decs, back}, Fail{e}))
    case PoNone{}:
      do IO<Stream & Result<&1, &1, Err, Maybe<&1, Bytes.Bytes>>>:
        m : Socket & Result<&1, &1, U32 & String, U32 & Array<U32>> <- io.recv.words(tls, s, 65536, ms)
        stream.read(stream.got(tls, ms, res, decs, back, rb, m))

Uses (22):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Socket
  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=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=Po
  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=io.recv.words
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=stream.after
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=stream.ended
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=stream.feed.st
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=stream.finish
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=stream.got