def record.put.checked

mylsm-lsm-store@0.6.0.1 · src/Wal.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.put.checked(
125  key: Bytes.Bytes,
126  +key_len: U32,
127  value: Bytes.Bytes,
128  +value_len: U32,
129  sum: Maybe<&2, U32>
130) -> Result<&1, &1, Error, Bytes.Bytes>:
131  match sum:
132    case None{}:
133      Fail{TooLarge{}}
134    case Some{size}:
135      record.put.valid(key, key_len, value, value_len,
136        U32.is_le(size, (StorageBytes.MAX_RECORD_BYTES() - 9 : U32)))