def read.path

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

import Base

113def read.path(paths: String & String) -> IO(Result<&1, &1, Error, U32>):
114  match paths:
115    case (open_path, retained_path):
116      do IO<Result<&1, &1, Error, U32>>:
117        opened : Result<&1, &1, U32 & String, File> <- File.open(open_path, "r")
118        read.opened(path.pair(retained_path), opened)