def reopen_read

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

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

469def reopen_read(+dir: String) -> IO(Result<&1, &1, U32 & String, Db>):
470  do IO<Result<&1, &1, U32 & String, Db>>:
471    content : String <- IO.try(String, reopen_read_loop(8192n, wal_path(dir), 0n, "", None{}))
472    return Done{reopen_assemble(reopen_replay(content), dir)}

Uses (14)

Used by (1)