def gz.trail

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

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes
import bend-kit-hash@0.3.0.2/hash.bend as Hash

637def gz.trail(m: Maybe<&1, Inflated>) -> Maybe<&1, Member>:
638  match m:
639    case None{}:
640      None{}
641    case Some{Inflated{out, src, +at}}:
642      Bytes.Bytes{+n, buf} = out
643      gz.crc(Hash.crc32(Bytes.Bytes{n, buf}), n, at, Bytes.get.u32le(src, at))