def stream.ended

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

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

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