def close.file

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

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

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

175def close.file(
176  +destination: String,
177  +temporary: String,
178  file: File
179) -> IO(Result<&1, &1, BackupIo.Error, Unit>):
180  BackupIo.publish.closed(destination, temporary, file, Done{Unit{}})

Uses (7)

Used by (2)