def stream.feed.received

bend-kit-http@0.38.2.0 · http.bend:4726

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

4726def stream.feed.received(done: List<&1, Zlib.Decoder>, m: Zlib.Decoder & Result<&1, &1, U32 & String, Bytes.Bytes>) -> Fed:
4727  (d, r) = m
4728  match r:
4729    case Fail{e}:
4730      Fed{d <> done, Fail{ErrBad{}}}
4731    case Done{b}:
4732      Fed{d <> done, Done{b}}