~/jendhub

def gunzip

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

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

711# Every gzip member, concatenated; each CRC-32 and ISIZE must match. None: malformed, cut short, corrupt, or junk after a member.
712def gunzip(b: Bytes.Bytes) -> Maybe<&1, Bytes.Bytes>:
713  Bytes.Bytes{+len, buf} = b
714  gz.go(Nat.add(bits(len), 1n), GzMore{Bytes.Bytes{0, Array.new(U32, 0n, 0)}, Bytes.Bytes{len, buf}, 0})

Uses (8)

Used by (1)