LegacyWal.WalkState: type of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/transfer/LegacyWal.bend as LegacyWal
Lines 30-49 of mylsm-lsm-store@0.6.0.1/src/transfer/LegacyWal.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/LegacyWal.bend&start_line=30&end_line=49

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

# Carries the read-only legacy WAL parser across bounded pure transitions.
type WalkState is Type:
  Header{pair: Bytes.Bytes & Bytes.Bytes}
  HeaderDecoded{source: Bytes.Bytes, result: Result<&1, &1, Wal.Error, Unit>}
  HeaderMeasured{pair: Bytes.Bytes & U32}
  HeaderSeek{pair: Bytes.Cursor & Bool}
  Read{cursor: Bytes.Cursor, frames: Nat}
  Remaining{pair: Bytes.Cursor & U32, frames: Nat}
  Empty{cursor: Bytes.Cursor, remaining: Nat, frames: Nat}
  EmptyChecked{cursor: Bytes.Cursor, remaining: Nat, frames: Nat, empty: Bool}
  HasLength{cursor: Bytes.Cursor, remaining: Nat, frames: Nat, has_length: Bool}
  Length{pair: Bytes.Cursor & Maybe<&2, U32>, remaining: U32, frames: Nat}
  Bounds{cursor: Bytes.Cursor, length: U32, frames: Nat, valid: Bool}
  Position{cursor: Bytes.Cursor, positions: Nat & Nat,
    frame_bytes: U32, frame_length: U32, frames: Nat}
  Frame{pair: Bytes.Bytes & Bytes.Bytes, end: U32, frames: Nat}
  Decoded{result: Result<&1, &1, Wal.Error, Wal.Batch>, source: Bytes.Bytes, end: U32, frames: Nat}
  Seek{pair: Bytes.Cursor & Bool, frames: Nat}
  Finish{frames: Nat}
  Invalid{}

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  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=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  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=bend-kit-bytes@0.3.3.0/bytes.bend&name=Cursor
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/Wal.bend&name=Batch
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/Wal.bend&name=Error