def record.value.finish.valid

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

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

110def record.value.finish.valid(
111  key_bytes: Bytes.Bytes,
112  +key_len: U32,
113  value_bytes: Bytes.Bytes,
114  +value_len: U32,
115  key_fits: Bool
116) -> Result<&1, &1, Error, Bytes.Bytes>:
117  match key_fits:
118    case False{}:
119      Fail{TooLarge{}}
120    case True{}:
121      record.value.finish.checked(key_bytes, key_len, value_bytes, value_len,
122        U32.is_le(value_len, (StorageBytes.MAX_RECORD_BYTES() - 9 - key_len : U32)))