def stream.feed.all

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

import bend-kit-http@0.38.5.0/http.bend as Http
import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes
import bend-kit-zlib@0.5.1.0/zlib.bend as Zlib

4757def stream.feed.all(decs: List<&1, Zlib.Decoder>, b: Bytes.Bytes) -> IO(Fed):
4758  do IO<Fed>:
4759    st : Fed <- List.foldl(~&1, ~Zlib.Decoder, ~IO(Fed), ~stream.feed.one, decs,
4760      IO.pure(Fed, Fed{Nil{}, Done{b}}))
4761    return stream.feed.reverse(st)

Uses (11)

Used by (1)