def initialize.exists

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

import Base

271def initialize.exists(
272  directories: String & String,
273  result: Result<&1, &1, U32 & String, Bool>
274) -> IO(Result<&1, &1, Error, U32>):
275  match directories:
276    case (check_directory, retained_directory):
277      match result:
278        case Fail{error}:
279          IO.pure(Result<&1, &1, Error, U32>, Fail{host(error)})
280        case Done{False{}}: write(retained_directory, 1)
281        case Done{True{}}:
282          do IO<Result<&1, &1, Error, U32>>:
283            current : Result<&1, &1, Error, U32> <- read(check_directory ++ "/OWNER.GEN")
284            next.read(retained_directory, current)