def mfst_parsed

mylsm-lsm-store@0.6.0.1 · src/legacy/ManifestIo.bend:126

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

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

Uses (10)

Used by (1)