def measure_key_header
mylsm-lsm-store@0.6.0.1 · src/scan/ByteBlockReader.bend:1049
import mylsm-lsm-store@0.6.0.1/src/scan/ByteBlockReader.bend as ByteBlockReader
import Base
import mylsm-lsm-store@0.6.0.1/src/ByteWal.bend as ByteWal
import mylsm-lsm-store@0.6.0.1/src/SstStreamIo.bend as SstStreamIo
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes
1049
1050def measure_key_header(
1051 +index_offset: Nat,
1052 +used: Nat,
1053 key: Bytes.Bytes,
1054 pair: File & Result<&1, &1, U32 & String, Bytes.Bytes>
1055) -> IO(Result<&1, &1, U32 & String, ByteWal.ValueMetadata>):
1056 measure_key_header_exact(index_offset, used, key,
1057 SstStreamIo.read.exact.state(read_at.exact.pair(8, pair)))