ManifestIo.mfst_parsed: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/legacy/ManifestIo.bend as ManifestIo
Lines 126-136 of mylsm-lsm-store@0.6.0.1/src/legacy/ManifestIo.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/legacy/ManifestIo.bend&start_line=126&end_line=136

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

# Classifies the Manifest parse result before recovery.
def mfst_parsed(parsed: Manifest.ParseResult) -> Result<&1, &1, U32 & String, Manifest.Manifest>:
  match parsed:
    case Manifest.Parsed{manifest}:
      Done{manifest}
    case Manifest.UnsupportedVersion{_}:
      Fail{(Manifest.unsupported_version_error_code(), "unsupported manifest version")}
    case Manifest.Malformed{}:
      Fail{(Manifest.malformed_error_code(), "malformed manifest")}
    case Manifest.ParseLimitExceeded{}:
      Fail{(Manifest.parse_limit_error_code(), "manifest size limit exceeded")}

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  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/Manifest.bend&name=Manifest
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/Manifest.bend&name=ParseResult
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/Manifest.bend&name=malformed_error_code
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/Manifest.bend&name=parse_limit_error_code
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/Manifest.bend&name=unsupported_version_error_code