def libz.gzip

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

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

1066# One gzip member at level 6 through libz.
1067def libz.gzip(b: Bytes.Bytes) -> IO(Result<&1, &1, U32 & String, Bytes.Bytes>):
1068  Bytes.Bytes{+len, buf} = b
1069  do IO<Result<&1, &1, U32 & String, Bytes.Bytes>>:
1070    r : Result<&1, &1, U32 & String, U32 & Array<U32>> <- gzip.words(len, buf)
1071    return words.got(r)

Uses (11)

Used by (0)

No other definition uses this definition.