def write.finish

mylsm-lsm-store@0.6.0.1 · src/SstStreamIo.bend:481

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

481def write.finish(
482  file: File,
483  +path: String
484) -> IO(Result<&1, &1, U32 & String, Unit>):
485  do IO<Result<&1, &1, U32 & String, Unit>>:
486    _closed : Unit <- File.close(file)
487    synced : Result<&1, &1, U32 & String, Unit> <- Fs.fsync(path)
488    write.finish.synced(path, synced)