~/jendhub

def reopen_exists

mylsm-lsm-store@0.3.2.0 · src/Db.bend:474

import mylsm-lsm-store@0.3.2.0/src/Db.bend as Db
import Base

474def reopen_exists(ok: Result<&1, &1, U32 & String, Bool>, +dir: String) -> IO(Result<&1, &1, U32 & String, Db>):
475  match ok:
476    case Fail{e}:
477      IO.pure(Result<&1, &1, U32 & String, Db>, Fail{e})
478    case Done{present}:
479      match present:
480        case False{}:
481          IO.pure(Result<&1, &1, U32 & String, Db>, Done{open_db(dir)})
482        case True{}:
483          reopen_read(dir)

Uses (10)

Used by (1)