def measure.checksum.range.prefix

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

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

577def measure.checksum.range.prefix(
578  pair: Bytes.Bytes & Bytes.Bytes,
579  +base: U32,
580  +total: U32
581) -> Bytes.Bytes & Bool:
582  match pair:
583    case (frame, prefix):
584      measure.checksum.range.claimed(
585        Bytes.slice(frame, U32.add(base, U32.sub(total, 32)), 32),
586        SHA.sha256_packed_bytes(prefix))