def inspection.checked

mylsm-lsm-store@0.6.0.1 · src/transfer/MigrateRunIo.bend:192

import Base
import mylsm-lsm-store@0.6.0.1/src/Fs.bend as Fs
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

192def inspection.checked(
193  paths: String & String & String & String,
194  result: Result<&1, &1, FormatInspectIo.Error, FormatInspect.Inspection>
195) -> IO(Result<&1, &1, Error, Unit>):
196  match paths result:
197    case (source_read, destination_check, destination, bundle), Fail{error}:
198      IO.pure(Result<&1, &1, Error, Unit>, Fail{Inspection{error}})
199    case (source_read, destination_check, destination, bundle), Done{inspection}:
200      do IO<Result<&1, &1, Error, Unit>>:
201        exists : Result<&1, &1, U32 & String, Bool> <- Fs.exists(destination_check)
202        migration.destination.checked(source_read, destination, bundle,
203          inspection, exists)