def rb.feed

bend-kit-http@0.38.2.0 · http.bend:1214

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

1214# The body bytes in piece, added to parts.
1215def rb.feed(rb: Rb, parts: List<&1, Bytes.Bytes>, piece: Bytes.Bytes) -> Bf:
1216  match rb:
1217    case RbLen{+left}:
1218      Bytes.Bytes{+len, buf} = piece
1219      rb.len.have(U32.is_lt(len, left), left, parts, len, Bytes.Bytes{len, buf})
1220    case RbChunk{st}:
1221      rb.chunk(ck(piece, st, parts))
1222    case RbClose{}:
1223      Bf{RbClose{}, Con{piece, parts}, Bytes.new(0)}
1224    case RbDone{}:
1225      Bf{RbDone{}, parts, piece}
1226    case RbBad{}:
1227      Bf{RbBad{}, parts, piece}