def record.key.length

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

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

351# Parses a record key length and verifies its bounded range.
352def record.key.length(
353  pair: Bytes.Bytes & Maybe<&2, U32>,
354  tag: U32,
355  offset: U32
356) -> DecodedRecord:
357  match pair:
358    case (frame, None{}):
359      record.malformed(frame)
360    case (frame, Some{+length}):
361      record.key.length.checked(Bytes.length(frame), tag, length,
362        (offset + 5 : U32))