def public_inspection_lock_error

mylsm-lsm-store@0.6.0.1 · mylsm.bend:1861

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

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