def gz.step

bend-kit-zlib@0.5.1.0 · zlib.bend:689

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

689def gz.step(m: Maybe<&1, Member>, acc: Bytes.Bytes) -> Gz:
690  match m:
691    case None{}:
692      GzBad{}
693    case Some{Member{out, src, +next}}:
694      Bytes.Bytes{+len, buf} = src
695      gz.more(U32.is_lt(next, len), Bytes.append(acc, out), Bytes.Bytes{len, buf}, next)

Uses (7)

Used by (1)