def migration.restore.paths
mylsm-lsm-store@0.6.0.1 · src/transfer/MigrateRunIo.bend:64
import mylsm-lsm-store@0.6.0.1/src/transfer/MigrateRunIo.bend as MigrateRunIo
import Base
import mylsm-lsm-store@0.6.0.1/src/transfer/RestoreIo.bend as RestoreIo
64def migration.restore.paths(
65 destination: String,
66 paths: String & String & String
67) -> IO(Result<&1, &1, Error, Unit>):
68 match paths:
69 case (restore_path, backup_path, directory):
70 do IO<Result<&1, &1, Error, Unit>>:
71 restored : Result<&1, &1, RestoreIo.Error, Unit> <-
72 RestoreIo.restore_from(destination, restore_path)
73 cleanup.bundle((backup_path, directory))
74 migration.restored(restored)