def decode.checksum.claimed

mylsm-lsm-store@0.6.0.1 · src/ByteWal.bend:870

import Base
import mylsm-lsm-store@0.6.0.1/src/Wal.bend as Wal
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

870# Compares the stored digest with the computed digest.
871def decode.checksum.claimed(
872  pair: Bytes.Bytes & Bytes.Bytes,
873  batch: Batch,
874  digest: Bytes.Bytes
875) -> Result<&1, &1, Wal.Error, Batch>:
876  match pair:
877    case (_, claimed):
878      decode.checksum.comparison(Bytes.eq(claimed, digest), batch)