def snapshot.root.get.exhausted

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

import Base
import mylsm-lsm-store@0.6.0.1/src/scan/VisibleCursor.bend as VisibleCursor
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

2912def snapshot.root.get.exhausted(
2913  cursor: VisibleCursor.Cursor
2914) -> IO(Result<&1, &1, Error, Maybe<&1, Bytes.Bytes>>):
2915  do IO<Result<&1, &1, Error, Maybe<&1, Bytes.Bytes>>>:
2916    closed : Result<&1, &1, U32 & String, Unit> <- VisibleCursor.close(cursor)
2917    return snapshot.root.get.exhausted.closed(closed)