def stream.feed.got

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

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

4766def stream.feed.got(+tls: Bool, s: Socket, +ms: U32, res: Res, +rb: Rb, back: Maybe<&2, String>, st: Fed) -> Stream:
4767  Fed{decs, body} = st
4768  match body:
4769    case Fail{e}:
4770      Stream{tls, s, ms, res, rb, PoBad{e}, decs, back}
4771    case Done{b}:
4772      Bytes.Bytes{+len, buf} = b
4773      Stream{tls, s, ms, res, rb, stream.ready(U32.is_zero(len), rb, Bytes.Bytes{len, buf}), decs, back}

Uses (14)

Used by (1)