def parse.block.verify.copy

mylsm-lsm-store@0.6.0.1 · src/SstFile.bend:931

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

931def parse.block.verify.copy(
932  pair: Bytes.Bytes & Bytes.Bytes,
933  +pos: U32,
934  +start: U32,
935  +end: U32,
936  records: ParsedEntries,
937  +count: U32,
938  claimed: Bytes.Bytes
939) -> Bytes.Cursor & Result<&1, &1, Error, ParsedBlock>:
940  match pair:
941    case (source, content):
942      parse.block.verify.equal(Bytes.Cursor{source, pos, start, end}, records,
943        count, Bytes.eq(claimed, SHA.sha256_packed_bytes(content)))