def stream.init.opened

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

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

5240def stream.init.opened(st: Stream, opened: Opened) -> IO(Result<&1, &1, Err, Stream>):
5241  Opened{decs, bad} = opened
5242  match bad:
5243    case True{}:
5244      do IO<Result<&1, &1, Err, Stream>>:
5245        stream.close(stream.put.decs(st, decs))
5246        return Fail{ErrBad{}}
5247    case False{}:
5248      IO.pure(Result<&1, &1, Err, Stream>, Done{stream.put.decs(st, List.reverse(&1, Zlib.Decoder, decs))})