def reclaim.remove

mylsm-lsm-store@0.6.0.1 · src/ByteDurableDb.bend:327

import Base
import mylsm-lsm-store@0.6.0.1/src/FilesCompat.bend as Files

327def reclaim.remove(+path: String, names: List<&2, String>) -> IO(Unit):
328  match names:
329    case Nil{}: IO.pure(Unit, Unit{})
330    case Con{name, rest}:
331      do IO<Unit>:
332        +target : String <- IO.pure(String, path ++ "/" ++ name)
333        info : Result<&1, &1, U32 & String, Files.Info> <- Files.stat(target)
334        _reclaimed : Unit <- reclaim.file(target, info)
335        reclaim.remove(path, rest)