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

import Base
import mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend as ByteMemTable

def recover.exhausted(state: RecoveryState) -> IO(Result<&1, &1, U32 & String, ByteMemTable.Table>):
  match state:
    case At{file, _, _, _, _, _}:
      close.failed(file, error("byte WAL recovery limit exceeded"))
    case Length{pair, _, _, _}:
      match pair:
        case (file, _):
          close.failed(file, error("byte WAL recovery limit exceeded"))
    case Prefix{file, _, _, _, _, _, _}:
      close.failed(file, error("byte WAL recovery limit exceeded"))
    case Count{pair, _, _, _, _, _}:
      match pair:
        case (file, _):
          close.failed(file, error("byte WAL recovery limit exceeded"))
    case Counted{file, _, _, _, _, _, _, _}:
      close.failed(file, error("byte WAL recovery limit exceeded"))
    case Body{pair, _, _, _, _, _, _}:
      match pair:
        case (file, _):
          close.failed(file, error("byte WAL recovery limit exceeded"))
    case Decoded{file, _, _, _, _}:
      close.failed(file, error("byte WAL recovery limit exceeded"))
    case Failed{file, failure}:
      close.failed(file, failure)
    case Tail{file, _, _, _}:
      close.failed(file, error("byte WAL recovery limit exceeded"))

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  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=Sigma
  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=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=close.failed
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteWalIo.bend&name=error