def stream.init.opened

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

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

5232def stream.init.opened(st: Stream, opened: Opened) -> IO(Result<&1, &1, Err, Stream>):
5233  Opened{decs, bad} = opened
5234  match bad:
5235    case True{}:
5236      do IO<Result<&1, &1, Err, Stream>>:
5237        stream.close(stream.put.decs(st, decs))
5238        return Fail{ErrBad{}}
5239    case False{}:
5240      IO.pure(Result<&1, &1, Err, Stream>, Done{stream.put.decs(st, List.reverse(&1, Zlib.Decoder, decs))})