def table.manifest.read

mylsm-lsm-store@0.6.0.1 · src/transfer/MigrateIo.bend:365

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

365def table.manifest.read(
366  lock: DbLock.Lock,
367  paths: String & String
368) -> IO(TableValidation):
369  match paths:
370    case (read_path, retained_path):
371      do IO<TableValidation>:
372        manifest : Result<&1, &1, U32 & String, Manifest.Manifest> <-
373          LegacyManifestIo.load_mfst(read_path ++ "/MANIFEST")
374        table.manifest.loaded(
375          table.validation(lock, retained_path, Done{(0n, 0n)}), manifest)