DbLock.wait.exhausted: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/DbLock.bend as DbLock
Lines 249-269 of mylsm-lsm-store@0.6.0.1/src/DbLock.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/DbLock.bend&start_line=249&end_line=269

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

# Closes a handle if the finite retry budget is unexpectedly exhausted.
def wait.exhausted(state: WaitState) -> IO(Result<&1, &1, DurableError.Error, Lock>):
  match state:
    case TryLock{file, _, _, _, operation, path}:
      wait.timeout(file, operation, path)
    case LockAttempt{pair, _, _, _, operation, path}:
      match pair:
        case (file, _):
          wait.timeout(file, operation, path)
    case ReadClock{file, _, _, _, operation, path, _}:
      wait.timeout(file, operation, path)
    case ClockSample{file, _, _, _, operation, path, _, _}:
      wait.timeout(file, operation, path)
    case Pause{file, _, _, _, operation, path, _}:
      wait.timeout(file, operation, path)
    case PauseResult{file, _, _, _, operation, path, _}:
      wait.timeout(file, operation, path)
    case WaitFatal{file, _, operation, path}:
      wait.timeout(file, operation, path)
    case WaitExpired{file, operation, path}:
      wait.timeout(file, operation, path)

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  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=mylsm-lsm-store@0.6.0.1/src/DbLock.bend&name=Lock
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/DbLock.bend&name=WaitState
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/DbLock.bend&name=wait.timeout
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/DurableError.bend&name=Error