def stream.ended

bend-kit-http@0.38.5.0 · http.bend:4806

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

4806def stream.ended(good: Bool, +tls: Bool, s: Socket, +ms: U32, res: Res, +rb: Rb, back: Maybe<&2, String>) ->
4807  Stream & Result<&1, &1, Err, Maybe<&1, Bytes.Bytes>>:
4808  match good:
4809    case True{}:
4810      (Stream{tls, s, ms, res, rb, PoEnd{}, Nil{}, back}, Done{None{}})
4811    case False{}:
4812      (Stream{tls, s, ms, res, rb, PoBad{ErrBad{}}, Nil{}, back}, Fail{ErrBad{}})