type WalkState

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

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

30# Carries the read-only legacy WAL parser across bounded pure transitions.
31type WalkState is Type:
32  Header{pair: Bytes.Bytes & Bytes.Bytes}
33  HeaderDecoded{source: Bytes.Bytes, result: Result<&1, &1, Wal.Error, Unit>}
34  HeaderMeasured{pair: Bytes.Bytes & U32}
35  HeaderSeek{pair: Bytes.Cursor & Bool}
36  Read{cursor: Bytes.Cursor, frames: Nat}
37  Remaining{pair: Bytes.Cursor & U32, frames: Nat}
38  Empty{cursor: Bytes.Cursor, remaining: Nat, frames: Nat}
39  EmptyChecked{cursor: Bytes.Cursor, remaining: Nat, frames: Nat, empty: Bool}
40  HasLength{cursor: Bytes.Cursor, remaining: Nat, frames: Nat, has_length: Bool}
41  Length{pair: Bytes.Cursor & Maybe<&2, U32>, remaining: U32, frames: Nat}
42  Bounds{cursor: Bytes.Cursor, length: U32, frames: Nat, valid: Bool}
43  Position{cursor: Bytes.Cursor, positions: Nat & Nat,
44    frame_bytes: U32, frame_length: U32, frames: Nat}
45  Frame{pair: Bytes.Bytes & Bytes.Bytes, end: U32, frames: Nat}
46  Decoded{result: Result<&1, &1, Wal.Error, Wal.Batch>, source: Bytes.Bytes, end: U32, frames: Nat}
47  Seek{pair: Bytes.Cursor & Bool, frames: Nat}
48  Finish{frames: Nat}
49  Invalid{}