def stream.feed.all

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

import bend-kit-http@0.38.4.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

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

Uses (11)

Used by (1)