def value_length_scan

mylsm-lsm-store@0.3.2.0 · src/SstFileV2.bend:184

import Base
import mylsm-lsm-store@0.3.2.0/src/Decimal.bend as Decimal

184def value_length_scan(key_length: Nat, scan: Decimal.Scan) -> Transition:
185  match scan:
186    case Decimal.Reading{value, started, leading_zero}:
187      Next{ReadValueLength{key_length, Decimal.Reading{value, started, leading_zero}}}
188    case Decimal.Failed{error}:
189      decimal_error(error, ValueLengthExceeded{})
190    case Decimal.Finished{value}:
191      put_lengths(key_length, value)