def migrate.paths.destination

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

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

205def migrate.paths.destination(
206  source_inspect: String,
207  source_read: String,
208  destination_paths: String & String & String
209) -> IO(Result<&1, &1, Error, Unit>):
210  match destination_paths:
211    case (destination_check, destination, bundle_base):
212      do IO<Result<&1, &1, Error, Unit>>:
213        inspection : Result<&1, &1, FormatInspectIo.Error,
214          FormatInspect.Inspection> <- FormatInspectIo.inspect(source_inspect)
215        inspection.checked((source_read, destination_check, destination,
216          bundle_base ++ ".migrate-060.bundle"), inspection)