def stream.got

bend-kit-http@0.38.4.0 · http.bend:4702

import bend-kit-http@0.38.4.0/http.bend as Http
import Base
import bend-kit-zlib@0.5.1.0/zlib.bend as Zlib

4702def stream.got(+tls: Bool, +ms: U32, res: Res, decs: List<&1, Zlib.Decoder>, back: Maybe<&2, String>, +rb: Rb, m: Socket & Result<&1, &1, U32 & String, U32 & Array<U32>>) -> Stream:
4703  (s, r) = m
4704  match r:
4705    case Fail{(+code, why)}:
4706      Stream{tls, s, ms, res, RbDone{}, PoBad{err.or_late(code, ErrRead{code, why})}, decs, back}
4707    case Done{p}:
4708      stream.got.piece(tls, s, ms, res, decs, back, rb, p)

Uses (18)

Used by (1)