def entry.step

mylsm-lsm-store@0.6.0.1 · src/coordinator/StatsCodec.bend:83

import mylsm-lsm-store@0.6.0.1/src/coordinator/StatsCodec.bend as StatsCodec

import Base

83def entry.step(
84  entries: Nat,
85  scalar: U32,
86  is_digit: Bool,
87  seen: Bool
88) -> State:
89  match is_digit:
90    case True{}:
91      EntryDigits{Nat.add(Nat.mul(entries, 10n), digit.value(scalar)), True{}}
92    case False{}:
93      match seen:
94        case False{}: Invalid{}
95        case True{}: separator(EntryDigits{entries, True{}}, True{}, scalar)

Uses (8)

Used by (1)

mylsm-lsm-store@0.6.0.1/src/coordinator/StatsCodec:parse.step