def record.key.checked

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

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

323# Parses a raw key and selects delete or put record completion.
324def record.key.checked(
325  frame: Bytes.Bytes,
326  tag: U32,
327  +key_length: U32,
328  +key_offset: U32,
329  valid: Bool
330) -> DecodedRecord:
331  match valid:
332    case False{}:
333      record.malformed(frame)
334    case True{}:
335      record.key.sliced(bytes.slice(frame, key_offset, key_length), tag,
336        key_length, key_offset)