ByteWalIo.RecoveryState: type of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/ByteWalIo.bend as ByteWalIo
Lines 10-31 of mylsm-lsm-store@0.6.0.1/src/ByteWalIo.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteWalIo.bend&start_line=10&end_line=31

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

# Tracks the owned file and bounded phase state during byte WAL replay.
type RecoveryState is Type:
  At{file: File, size: Nat, offset: Nat, table: ByteMemTable.Table,
    at_end: Bool, can_read_length: Bool}
  Length{pair: File & Result<&1, &1, U32 & String, SstStreamIo.ExactResult>,
    size: Nat, offset: Nat, table: ByteMemTable.Table}
  Prefix{file: File, size: Nat, offset: Nat, table: ByteMemTable.Table,
    prefix: Bytes.Bytes, frame_length: U32, within_file: Bool}
  Count{pair: File & Result<&1, &1, U32 & String, SstStreamIo.ExactResult>,
    size: Nat, offset: Nat, table: ByteMemTable.Table,
    prefix: Bytes.Bytes, frame_length: U32}
  Counted{file: File, size: Nat, offset: Nat, table: ByteMemTable.Table,
    prefix: Bytes.Bytes, count_bytes: Bytes.Bytes, frame_length: U32,
    within_limit: Bool}
  Body{pair: File & Result<&1, &1, U32 & String, SstStreamIo.ExactResult>,
    size: Nat, offset: Nat, table: ByteMemTable.Table,
    prefix: Bytes.Bytes, count_bytes: Bytes.Bytes, frame_length: U32}
  Decoded{file: File, size: Nat, next_offset: Nat,
    table: ByteMemTable.Table,
    result: Result<&1, &1, Wal.Error, ByteWal.Batch>}
  Failed{file: File, error: U32 & String}
  Tail{file: File, path: String, offset: Nat, table: ByteMemTable.Table}

Uses (12):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=File
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=Bytes
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend&name=Table
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteWal.bend&name=Batch
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/SstStreamIo.bend&name=ExactResult
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/Wal.bend&name=Error