def record.value.finish.val

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

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

124def record.value.finish.val(
125  key_bytes: Bytes.Bytes,
126  +key_len: U32,
127  value_pair: Bytes.Bytes & U32
128) -> Result<&1, &1, Error, Bytes.Bytes>:
129  match value_pair:
130    case (value_bytes, +value_len):
131      record.value.finish.valid(key_bytes, key_len, value_bytes, value_len,
132        U32.is_le(key_len, (StorageBytes.MAX_RECORD_BYTES() - 9 : U32)))