ByteDurableDb.snapshot.root.get.exhausted.step: def of mylsm-lsm-store@0.6.0.1 Import: import mylsm-lsm-store@0.6.0.1/src/ByteDurableDb.bend as ByteDurableDb Lines 2919-2932 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=2919&end_line=2932 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 def snapshot.root.get.exhausted.step( query: Bytes.Bytes, step: VisibleCursor.Step ) -> IO(Result<&1, &1, Error, Maybe<&1, Bytes.Bytes>>): match step: case VisibleCursor.Item{entry, cursor}: snapshot.root.get.item(entry, cursor, query) case VisibleCursor.Skip{cursor}: snapshot.root.get.exhausted(cursor) case VisibleCursor.End{}: IO.pure(Result<&1, &1, Error, Maybe<&1, Bytes.Bytes>>, Done{None{}}) case VisibleCursor.Error{(code, message)}: IO.pure(Result<&1, &1, Error, Maybe<&1, Bytes.Bytes>>, Fail{recovery.error(code, message)}) Uses (11): 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=Result https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma 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=recovery.error https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteDurableDb.bend&name=snapshot.root.get.exhausted https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteDurableDb.bend&name=snapshot.root.get.item https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/VisibleCursor.bend&name=Step