def level_scan
mylsm-lsm-store@0.3.2.0 · src/SstFileV2.bend:132
import mylsm-lsm-store@0.3.2.0/src/SstFileV2.bend as SstFileV2
import Base
import mylsm-lsm-store@0.3.2.0/src/Decimal.bend as Decimal
132def level_scan(scan: Decimal.Scan) -> Transition:
133 match scan:
134 case Decimal.Reading{value, started, leading_zero}:
135 Next{ReadLevel{Decimal.Reading{value, started, leading_zero}}}
136 case Decimal.Finished{value}:
137 LevelRead{value}
138 case Decimal.Failed{error}:
139 decimal_error(error, InvalidLevel{})