def file.opened

mylsm-lsm-store@0.6.0.1 · src/transfer/BackupCursorIo.bend:252

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

252def file.opened(
253  +destination: String,
254  +temporary: String,
255  initial: BackupCursor.Step,
256  fuel: Nat,
257  opened: Result<&1, &1, U32 & String, File>
258) -> IO(Result<&1, &1, BackupIo.Error, Unit>):
259  match opened:
260    case Fail{(code, message)}:
261      do IO<Result<&1, &1, BackupIo.Error, Unit>>:
262        _closed : Unit <- close.initial(initial)
263        cleanup(temporary)
264        return Fail{BackupIo.Io{code, message}}
265    case Done{file}:
266      loop(fuel, destination, temporary, Output{file, initial})