DurableError.classify_write_after: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/DurableError.bend as DurableError
Lines 109-117 of mylsm-lsm-store@0.6.0.1/src/DurableError.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/DurableError.bend&start_line=109&end_line=117

import Base

# Classifies failures after append begins as CommitUnknown.
def classify_write_after(cause: WriteCause, operation: String, path: String) -> Error:
  match cause:
    case ValidationFailure{}:
      error(InvalidArgument{}, operation, path, 0, "")
    case WriteLimitReached{}:
      error(ResourceLimit{}, operation, path, 0, "")
    case WriteHostFailure{code, message}:
      error(CommitUnknown{}, operation, path, code, message)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  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
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/DurableError.bend&name=WriteCause
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/DurableError.bend&name=error