def separator.character
mylsm-lsm-store@0.6.0.1 · src/coordinator/StatsCodec.bend:55
import mylsm-lsm-store@0.6.0.1/src/coordinator/StatsCodec.bend as StatsCodec
import Base
55def separator.character(parser: State, scalar: U32) -> State:
56 match parser:
57 case EntryDigits{entries, _}:
58 match scalar:
59 case 58: PayloadDigits{entries, 0n, False{}}
60 case _: Invalid{}
61 case PayloadDigits{entries, payload_bytes, _}:
62 match scalar:
63 case 58: SnapshotDigits{entries, payload_bytes, 0n, False{}}
64 case _: Invalid{}
65 case SnapshotDigits{entries, payload_bytes, snapshots, _}:
66 match scalar:
67 case 58: RetainedDigits{entries, payload_bytes, snapshots, 0n, False{}}
68 case _: Invalid{}
69 case RetainedDigits{entries, payload_bytes, snapshots, retained_bytes, _}:
70 match scalar:
71 case 58:
72 CursorDigits{entries, payload_bytes, snapshots, retained_bytes, 0n,
73 False{}}
74 case _: Invalid{}
75 case _: Invalid{}