def publish.closed

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

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

import Base

164def publish.closed(
165  +destination: String,
166  +temporary: String,
167  file: File,
168  result: Result<&1, &1, U32 & String, Unit>
169) -> IO(Result<&1, &1, Error, Unit>):
170  do IO<Result<&1, &1, Error, Unit>>:
171    _closed : Unit <- File.close(file)
172    publish.closed.result(destination, temporary, result)

Uses (11)

Used by (2)