def record.measure.key.length.read

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

import Base
import mylsm-lsm-store@0.6.0.1/src/Wal.bend as Wal
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

513def record.measure.key.length.read(
514  pair: Bytes.Bytes & Maybe<&2, U32>,
515  tag: U32,
516  key_offset: U32
517) -> RecordMeasure:
518  match pair:
519    case (frame, length):
520      match length:
521        case Some{key_length}:
522          record.measure.key.length(Bytes.length(frame), tag, key_length,
523            key_offset)
524        case None{}:
525          record.measure.pack(frame, Fail{Wal.Malformed{}})