Http.rv.step: def of bend-kit-http@0.38.2.0
Import: import bend-kit-http@0.38.2.0/http.bend as Http
Lines 1445-1463 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=1445&end_line=1463

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

# One read: piece, or the server closed (RFC 9112 §8: a message cut short is not a message).
def rv.step(closed: Bool, +head: Bool, rv: Rv, piece: Bytes.Bytes) -> Rt:
  match closed:
    case True{}:
      match rv:
        case RvHead{buf, k}:
          RtBad{}
        case RvBody{res, rb, parts}:
          rv.eof(res, parts, rb.eof(rb))
        case RvLen{res, left, body}:
          RtBad{}
    case False{}:
      match rv:
        case RvHead{buf, +k}:
          rv.head(hs.more(head, k, buf, piece))
        case RvBody{res, rb, parts}:
          rv.fed(res, rb.feed(rb, parts, piece))
        case RvLen{res, +left, body}:
          rl.feed(res, left, body, piece)

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=Rt
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=Rv
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=hs.more
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=rb.eof
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=rb.feed
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=rl.feed
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=rv.eof
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=rv.fed
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=rv.head