SstStreamIo.codec_error: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/SstStreamIo.bend as SstStreamIo
Lines 17-31 of mylsm-lsm-store@0.6.0.1/src/SstStreamIo.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/SstStreamIo.bend&start_line=17&end_line=31

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

# Map pure format errors to the storage IO error domain.
def codec_error(error: SstFile.Error) -> U32 & String:
  match error:
    case SstFile.InvalidLevel{}:
      (corruption_error_code(), "invalid SST level")
    case SstFile.InvalidOrder{}:
      (corruption_error_code(), "SST keys are not strictly ordered")
    case SstFile.TooLarge{}:
      (corruption_error_code(), "SST exceeds a size limit")
    case SstFile.Malformed{}:
      (corruption_error_code(), "malformed v3 SST")
    case SstFile.InvalidUtf8{}:
      (corruption_error_code(), "invalid UTF-8 in v3 SST")
    case SstFile.ChecksumMismatch{}:
      (corruption_error_code(), "v3 SST checksum mismatch")

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  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/SstFile.bend&name=Error
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/SstStreamIo.bend&name=corruption_error_code