def payload.step

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

import Base

97def payload.step(
98  entries: Nat,
99  payload_bytes: Nat,
100  scalar: U32,
101  is_digit: Bool,
102  seen: Bool
103) -> State:
104  match is_digit:
105    case True{}:
106      PayloadDigits{entries,
107        Nat.add(Nat.mul(payload_bytes, 10n), digit.value(scalar)), True{}}
108    case False{}:
109      match seen:
110        case False{}: Invalid{}
111        case True{}:
112          separator(PayloadDigits{entries, payload_bytes, True{}}, True{},
113            scalar)