def record.put.value.checked

mylsm-lsm-store@0.6.0.1 · src/ByteWal.bend:245

import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

245# Parses the raw put value and restores its key in the record result.
246def record.put.value.checked(
247  frame: Bytes.Bytes,
248  key: Bytes.Bytes,
249  +value_length: U32,
250  value_offset: U32,
251  valid: Bool
252) -> DecodedRecord:
253  match valid:
254    case False{}:
255      record.malformed(frame)
256    case True{}:
257      record.put.key(record.value.checked(frame, value_length, value_offset, True{}), key)