ByteDurableDb.snapshot.root.get.opened: def of mylsm-lsm-store@0.6.0.1 Import: import mylsm-lsm-store@0.6.0.1/src/ByteDurableDb.bend as ByteDurableDb Lines 2966-2975 of mylsm-lsm-store@0.6.0.1/src/ByteDurableDb.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteDurableDb.bend&start_line=2966&end_line=2975 import Base import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes def snapshot.root.get.opened( query: Bytes.Bytes, opened: Result<&1, &1, Error, SnapshotCursorRoot> ) -> IO(Result<&1, &1, Error, Maybe<&1, Bytes.Bytes>>): match opened: case Fail{error}: IO.pure(Result<&1, &1, Error, Maybe<&1, Bytes.Bytes>>, Fail{error}) case Done{SnapshotCursorRoot{retained_bytes, cursor}}: snapshot.root.get.loop(Nat.add(retained_bytes, 2n), SnapshotPointNeed{cursor, query}) Uses (10): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.add https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=Bytes https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteDurableDb.bend&name=Error https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteDurableDb.bend&name=SnapshotCursorRoot https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteDurableDb.bend&name=SnapshotPointRead https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteDurableDb.bend&name=snapshot.root.get.loop