def wal.read.success

mylsm-lsm-store@0.6.0.1 · src/transfer/MigrateIo.bend:537

import Base
import mylsm-lsm-store@0.6.0.1/src/DurableError.bend as DurableError
import mylsm-lsm-store@0.6.0.1/src/transfer/LegacyWal.bend as LegacyWal
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

537def wal.read.success(
538  bytes: Bytes.Bytes,
539  released: Result<&1, &1, DurableError.Error, Unit>
540) -> Result<&1, &1, Error, Nat>:
541  match released:
542    case Fail{error}: Fail{LockError{error}}
543    case Done{Unit{}}: wal.classify(LegacyWal.verify(bytes))