Mylsm.public_inspection_lock_error: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/mylsm.bend as Mylsm
Lines 1861-1868 of mylsm-lsm-store@0.6.0.1/mylsm.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/mylsm.bend&start_line=1861&end_line=1868

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

# Maps database lock failures to inspection-specific public errors.
def public_inspection_lock_error(error: DurableError.Error) -> InspectionError:
  match error:
    case DurableError.Error{DurableError.Busy{}, _, _, _, _}: InspectionBusy{}
    case DurableError.Error{DurableError.Timeout{}, _, _, _, _}: InspectionTimeout{}
    case DurableError.Error{DurableError.UnsupportedPlatform{}, _, _, _, _}:
      InspectionUnsupportedPlatform{}
    case DurableError.Error{_, _, _, code, message}: InspectionLockIo{code, message}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/mylsm.bend&name=InspectionError
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/DurableError.bend&name=Error
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/DurableError.bend&name=ErrorKind