DbLock.wait.attempt.state: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/DbLock.bend as DbLock
Lines 179-194 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=179&end_line=194

import Base

# Converts a raw lock failure into the next owned state.
def wait.attempt.state(
  decision: AttemptDecision,
  file: File,
  started_us: Nat,
  timeout_ms: Nat,
  backoff_ms: U32,
  operation: String,
  path: String
) -> WaitState:
  match decision:
    case Contended{}:
      ReadClock{file, started_us, timeout_ms, backoff_ms,
        operation, path, ChooseDelay{}}
    case Failed{error}:
      WaitFatal{file, error, operation, path}

Uses (7):
  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=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/DbLock.bend&name=AttemptDecision
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/DbLock.bend&name=WaitPurpose
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/DbLock.bend&name=WaitState