def migration.converted
mylsm-lsm-store@0.6.0.1 · src/transfer/MigrateRunIo.bend:145
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/ByteMemTable.bend as ByteMemTable
import mylsm-lsm-store@0.6.0.1/src/transfer/FormatInspect.bend as FormatInspect
145def migration.converted(
146 inspection: FormatInspect.Inspection,
147 destination: String,
148 bundle: String,
149 encoded_bytes: Nat,
150 result: Result<&1, &1, U32 & String, List<&1, ByteMemTable.Entry>>
151) -> IO(Result<&1, &1, Error, Unit>):
152 match result:
153 case Fail{(code, message)}:
154 IO.pure(Result<&1, &1, Error, Unit>, Fail{Conversion{code, message}})
155 case Done{entries}:
156 migration.measured(inspection, destination, bundle, encoded_bytes,
157 ByteMemTable.count.keep(entries))