def migration.publication.export

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

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

93def migration.publication.export(
94  destination: String,
95  paths: String & String,
96  entries: List<&1, ByteMemTable.Entry>
97) -> IO(Result<&1, &1, Error, Unit>):
98  match paths:
99    case (export_path, retained_path):
100      do IO<Result<&1, &1, Error, Unit>>:
101        exported : Result<&1, &1, BackupIo.Error, Unit> <-
102          BackupIo.export(export_path, entries)
103        migration.exported(destination, retained_path, exported)