def public_inspection_result

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

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

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