def parse.record.key.length.checked

mylsm-lsm-store@0.6.0.1 · src/SstFile.bend:676

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

676def parse.record.key.length.checked(
677  cursor: Bytes.Cursor,
678  tag: U32,
679  +key_len: U32,
680  valid: Bool
681) -> Bytes.Cursor & Result<&1, &1, Error, ParsedRecord>:
682  match valid:
683    case False{}:
684      (cursor, Fail{TooLarge{}})
685    case True{}:
686      parse.record.key.decoded(parse.text(cursor, key_len), tag, key_len)