def measure.block.inner.length

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

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

1372def measure.block.inner.length(
1373  pair: Bytes.Bytes & Maybe<&2, U32>,
1374  +record_count: U32,
1375  +payload_length: U32,
1376  query: Bytes.Bytes
1377) -> Result<&1, &1, Wal.Error, ByteWal.ValueMetadata>:
1378  match pair:
1379    case (frame, Some{frame_length}):
1380      measure.block.inner.count(Bytes.get.u32be(frame, 12), frame_length,
1381        record_count, payload_length, query)
1382    case (_, None{}): Fail{Wal.Malformed{}}