Mylsm.public_inspection_result: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/mylsm.bend as Mylsm
Lines 1870-1881 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=1870&end_line=1881

import Base
import mylsm-lsm-store@0.6.0.1/src/transfer/FormatInspect.bend as FormatInspect
import mylsm-lsm-store@0.6.0.1/src/transfer/FormatInspectIo.bend as FormatInspectIo

# Preserves inspection IO and lock errors while mapping valid inspection data.
def public_inspection_result(
  result: Result<&1, &1, FormatInspectIo.Error, FormatInspect.Inspection>
) -> Result<&1, &1, InspectionError, ManifestInspection>:
  match result:
    case Fail{FormatInspectIo.Lock{error}}:
      Fail{public_inspection_lock_error(error)}
    case Fail{FormatInspectIo.Host{code, message}}:
      Fail{InspectionIo{code, message}}
    case Fail{FormatInspectIo.ResourceLimit{}}:
      Fail{InspectionIo{7, "manifest exceeds inspection limit"}}
    case Done{inspection}: Done{public_manifest_inspection(inspection)}

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  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/mylsm.bend&name=ManifestInspection
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/mylsm.bend&name=public_inspection_lock_error
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/mylsm.bend&name=public_manifest_inspection
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/FormatInspect.bend&name=Inspection
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/FormatInspectIo.bend&name=Error