type State

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

import Base

15# Tracks decimal fields while parsing the bounded owner counter payload.
16type State is Data:
17  EntryDigits{entries: Nat, seen: Bool}
18  PayloadDigits{entries: Nat, payload_bytes: Nat, seen: Bool}
19  SnapshotDigits{entries: Nat, payload_bytes: Nat, snapshots: Nat, seen: Bool}
20  RetainedDigits{entries: Nat, payload_bytes: Nat, snapshots: Nat,
21    retained_bytes: Nat, seen: Bool}
22  CursorDigits{entries: Nat, payload_bytes: Nat, snapshots: Nat,
23    retained_bytes: Nat, cursors: Nat, seen: Bool}
24  Invalid{}