type ReplayState

mylsm-lsm-store@0.6.0.1 · src/transfer/LegacyWal.bend:16

import Base
import mylsm-lsm-store@0.6.0.1/src/Wal.bend as Wal
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

16# Carries bounded offsets and decoded batches through read-only replay.
17type ReplayState is Type:
18  ReplayNeed{bytes: Bytes.Bytes, offset: Nat, batches: List<&2, Wal.Batch>}
19  ReplayMeasured{bytes: Bytes.Bytes, offset: Nat, batches: List<&2, Wal.Batch>,
20    size: U32}
21  ReplayBound{bytes: Bytes.Bytes, offset: Nat, batches: List<&2, Wal.Batch>,
22    total: Nat, at_end: Bool, has_length: Bool}
23  ReplayLength{bytes: Bytes.Bytes, next_offset: Nat, total: Nat,
24    batches: List<&2, Wal.Batch>, length: Maybe<&2, U32>}
25  ReplayFrame{bytes: Bytes.Bytes, next_offset: Nat, frame_end: Nat,
26    batches: List<&2, Wal.Batch>, length: U32, fits: Bool}
27  ReplayDecoded{bytes: Bytes.Bytes, next_offset: Nat,
28    batches: List<&2, Wal.Batch>, result: Result<&1, &1, Wal.Error, Wal.Batch>}