def record.put.value

mylsm-lsm-store@0.6.0.1 · src/Wal.bend:139

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

139def record.put.value(
140  key: Bytes.Bytes,
141  +key_len: U32,
142  value_pair: Bytes.Bytes & U32
143) -> Result<&1, &1, Error, Bytes.Bytes>:
144  match value_pair:
145    case (value, +value_len):
146      record.put.checked(key, key_len, value, value_len,
147        StorageBytes.checked_add(key_len, value_len))