def zlib.result

gralha-bytes@0.1.0.1 · bytes.bend:391

import gralha-bytes@0.1.0.1/bytes.bend as Bytes

import Base
import gralha-text-scan@0.1.0.1/scan.bend as U

391def zlib.result(result: Inflate, +expected: U32, checksum: U32) -> Maybe<&2, Bytes>:
392  Inflate{stream, output} = result
393  +out = output
394  U.choose(Maybe<&2, Bytes>, bits.valid(stream) && U32.is_eq(bytes.size(out), expected) && U32.is_eq(checksum.adler(out), checksum), Some{out}, None{})

Uses (10)

Used by (1)

gralha-bytes@0.1.0.1/bytes:zlib