def parse.record.value.length.checked

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

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

615def parse.record.value.length.checked(
616  cursor: Bytes.Cursor,
617  +key_len: U32,
618  +key: String,
619  +value_len: U32,
620  valid: Bool
621) -> Bytes.Cursor & Result<&1, &1, Error, ParsedRecord>:
622  match valid:
623    case False{}:
624      (cursor, Fail{TooLarge{}})
625    case True{}:
626      parse.record.value.decoded(parse.text(cursor, value_len), key_len,
627        key, value_len)