def write.closed

mylsm-lsm-store@0.6.0.1 · src/coordinator/OwnerGenerationIo.bend:198

import Base

198def write.closed(
199  directory: String,
200  generation: U32,
201  result: File & Result<&1, &1, U32 & String, Unit>
202) -> IO(Result<&1, &1, Error, U32>):
203  match result:
204    case (file, result):
205      do IO<Result<&1, &1, Error, U32>>:
206        _closed : Unit <- File.close(file)
207        write.result(directory, generation, result)