def record.value.checked

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

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

198# Finishes a value mutation after checking its complete record bound.
199def record.value.checked(
200  frame: Bytes.Bytes,
201  +value_length: U32,
202  +value_offset: U32,
203  valid: Bool
204) -> DecodedRecord:
205  match valid:
206    case False{}:
207      record.malformed(frame)
208    case True{}:
209      record.value.sliced(bytes.slice(frame, value_offset, value_length),
210        value_offset, value_length)