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{}

Uses (5)

Used by (1)