def write.written

mylsm-lsm-store@0.6.0.1 · src/ByteSstIo.bend:274

import Base

274# Closes the completed temporary-file write before syncing it.
275def write.written(
276  +directory: String,
277  temporary: String,
278  final_path: String,
279  pair: File & Result<&1, &1, U32 & String, Unit>
280) -> IO(Result<&1, &1, U32 & String, Unit>):
281  match pair:
282    case (file, result):
283      do IO<Result<&1, &1, U32 & String, Unit>>:
284        _closed : Unit <- File.close(file)
285        write.synced(directory, path.clone.pair(temporary), final_path, result)