def measure.block.inner.count

mylsm-lsm-store@0.6.0.1 · src/ByteSstFile.bend:1359

import Base
import mylsm-lsm-store@0.6.0.1/src/ByteWal.bend as ByteWal
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

1359def measure.block.inner.count(
1360  pair: Bytes.Bytes & Maybe<&2, U32>,
1361  +frame_length: U32,
1362  +record_count: U32,
1363  +payload_length: U32,
1364  query: Bytes.Bytes
1365) -> Result<&1, &1, Wal.Error, ByteWal.ValueMetadata>:
1366  match pair:
1367    case (frame, Some{inner_count}):
1368      measure.block.inner.valid(frame, query, frame_length, record_count,
1369        payload_length, U32.is_eq(inner_count, record_count))
1370    case (_, None{}): Fail{Wal.Malformed{}}