def write.paths

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

import Base

233def write.paths(
234  paths: String & String,
235  generation: U32
236) -> IO(Result<&1, &1, Error, U32>):
237  match paths:
238    case (open_directory, retained_directory):
239      do IO<Result<&1, &1, Error, U32>>:
240        opened : Result<&1, &1, U32 & String, File> <-
241          File.open(open_directory ++ "/OWNER.GEN.tmp", "w")
242        write.opened(retained_directory, generation, opened)