def loop.abort

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

import Base
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

214def loop.abort(
215  +temporary: String,
216  state: State
217) -> IO(Result<&1, &1, BackupIo.Error, Unit>):
218  match state:
219    case Need{file, source, _}:
220      close.failed.source(file, temporary, source, Backup.ResourceLimit{})
221    case Output{file, source, _}:
222      close.failed.source(file, temporary, source, Backup.ResourceLimit{})
223    case Written{(file, _), source, _}:
224      close.failed.source(file, temporary, source, Backup.ResourceLimit{})