ByteWalIo.recover.counted: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/ByteWalIo.bend as ByteWalIo
Lines 89-104 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=89&end_line=104

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

def recover.counted(
  file: File,
  +size: Nat,
  +offset: Nat,
  table: ByteMemTable.Table,
  prefix: Bytes.Bytes,
  count_bytes: Bytes.Bytes,
  +frame_length: U32,
  parsed: Maybe<&2, U32>
) -> RecoveryState:
  match parsed:
    case None{}:
      Failed{file, error("malformed byte WAL frame count")}
    case Some{+count}:
      Counted{file, size, offset, table, prefix, count_bytes,
        frame_length, Wal.frame_length_allowed(count, frame_length)}

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=File
  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=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/ByteWalIo.bend&name=RecoveryState
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteWalIo.bend&name=error
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/Wal.bend&name=frame_length_allowed