def migration.restored

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

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

46def migration.restored(
47  result: Result<&1, &1, RestoreIo.Error, Unit>
48) -> IO(Result<&1, &1, Error, Unit>):
49  match result:
50    case Fail{error}:
51      IO.pure(Result<&1, &1, Error, Unit>, Fail{Restore{error}})
52    case Done{Unit{}}:
53      IO.pure(Result<&1, &1, Error, Unit>, Done{Unit{}})