type RecoveryState

mylsm-lsm-store@0.6.0.1 · src/ByteWalIo.bend:10

import Base
import mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend as ByteMemTable
import mylsm-lsm-store@0.6.0.1/src/ByteWal.bend as ByteWal
import mylsm-lsm-store@0.6.0.1/src/SstStreamIo.bend as SstStreamIo
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

10# Tracks the owned file and bounded phase state during byte WAL replay.
11type RecoveryState is Type:
12  At{file: File, size: Nat, offset: Nat, table: ByteMemTable.Table,
13    at_end: Bool, can_read_length: Bool}
14  Length{pair: File & Result<&1, &1, U32 & String, SstStreamIo.ExactResult>,
15    size: Nat, offset: Nat, table: ByteMemTable.Table}
16  Prefix{file: File, size: Nat, offset: Nat, table: ByteMemTable.Table,
17    prefix: Bytes.Bytes, frame_length: U32, within_file: Bool}
18  Count{pair: File & Result<&1, &1, U32 & String, SstStreamIo.ExactResult>,
19    size: Nat, offset: Nat, table: ByteMemTable.Table,
20    prefix: Bytes.Bytes, frame_length: U32}
21  Counted{file: File, size: Nat, offset: Nat, table: ByteMemTable.Table,
22    prefix: Bytes.Bytes, count_bytes: Bytes.Bytes, frame_length: U32,
23    within_limit: Bool}
24  Body{pair: File & Result<&1, &1, U32 & String, SstStreamIo.ExactResult>,
25    size: Nat, offset: Nat, table: ByteMemTable.Table,
26    prefix: Bytes.Bytes, count_bytes: Bytes.Bytes, frame_length: U32}
27  Decoded{file: File, size: Nat, next_offset: Nat,
28    table: ByteMemTable.Table,
29    result: Result<&1, &1, Wal.Error, ByteWal.Batch>}
30  Failed{file: File, error: U32 & String}
31  Tail{file: File, path: String, offset: Nat, table: ByteMemTable.Table}