def close.failed.cursor

mylsm-lsm-store@0.6.0.1 · src/transfer/BackupOwnerCursorIo.bend:158

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

158def close.failed.cursor(
159  file: File,
160  +temporary: String,
161  snapshot_id: U32,
162  error: Backup.Error,
163  closed: Client.Session & Result<&1, &1, Client.Error, Unit>
164) -> IO(Result<&1, &1, BackupIo.Error, Unit>):
165  match closed:
166    case (after_cursor, _):
167      close.failed.snapshot(file, temporary, after_cursor, snapshot_id, error)