def retained.step

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

import Base

134def retained.step(
135  entries: Nat,
136  payload_bytes: Nat,
137  snapshots: Nat,
138  retained_bytes: Nat,
139  scalar: U32,
140  is_digit: Bool,
141  seen: Bool
142) -> State:
143  match is_digit:
144    case True{}:
145      RetainedDigits{entries, payload_bytes, snapshots,
146        Nat.add(Nat.mul(retained_bytes, 10n), digit.value(scalar)), True{}}
147    case False{}:
148      match seen:
149        case False{}: Invalid{}
150        case True{}:
151          separator(RetainedDigits{entries, payload_bytes, snapshots,
152            retained_bytes, True{}}, True{}, scalar)