MigrateRunIo.migration.restore.paths: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/transfer/MigrateRunIo.bend as MigrateRunIo
Lines 64-74 of mylsm-lsm-store@0.6.0.1/src/transfer/MigrateRunIo.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/MigrateRunIo.bend&start_line=64&end_line=74

import Base
import mylsm-lsm-store@0.6.0.1/src/transfer/RestoreIo.bend as RestoreIo

def migration.restore.paths(
  destination: String,
  paths: String & String & String
) -> IO(Result<&1, &1, Error, Unit>):
  match paths:
    case (restore_path, backup_path, directory):
      do IO<Result<&1, &1, Error, Unit>>:
        restored : Result<&1, &1, RestoreIo.Error, Unit> <-
          RestoreIo.restore_from(destination, restore_path)
        cleanup.bundle((backup_path, directory))
        migration.restored(restored)

Uses (12):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/MigrateRunIo.bend&name=Error
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/MigrateRunIo.bend&name=cleanup.bundle
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/MigrateRunIo.bend&name=migration.restored
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/RestoreIo.bend&name=Error
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/RestoreIo.bend&name=restore_from