def write.file.synced

mylsm-lsm-store@0.6.0.1 · src/ByteManifestIo.bend:126

import Base

126def write.file.synced(
127  directory: String,
128  result: File & Result<&1, &1, U32 & String, Unit>
129) -> IO(Result<&1, &1, U32 & String, Unit>):
130  match result:
131    case (file, result):
132      do IO<Result<&1, &1, U32 & String, Unit>>:
133        _closed : Unit <- File.close(file)
134        write.closed(directory, result)