def directory.file.opened

mylsm-lsm-store@0.6.0.1 · src/transfer/BackupIo.bend:205

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

205def directory.file.opened(
206  +destination: String,
207  +temporary: String,
208  stream: Backup.Stream,
209  fuel: Nat,
210  opened: Result<&1, &1, U32 & String, File>
211) -> IO(Result<&1, &1, Error, Unit>):
212  match opened:
213    case Fail{(code, message)}:
214      do IO<Result<&1, &1, Error, Unit>>:
215        cleanup(temporary)
216        return Fail{Io{code, message}}
217    case Done{file}: loop(fuel, destination, temporary, Need{file, stream})