def migration.exported

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

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

82def migration.exported(
83  destination: String,
84  bundle: String,
85  result: Result<&1, &1, BackupIo.Error, Unit>
86) -> IO(Result<&1, &1, Error, Unit>):
87  match result:
88    case Fail{error}:
89      IO.pure(Result<&1, &1, Error, Unit>, Fail{Backup{error}})
90    case Done{Unit{}}:
91      migration.restore(destination, bundle)