ByteDurableDb.scan.exists.start: def of mylsm-lsm-store@0.6.0.1 Import: import mylsm-lsm-store@0.6.0.1/src/ByteDurableDb.bend as ByteDurableDb Lines 2259-2270 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=2259&end_line=2270 import Base import mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend as ByteMemTable import mylsm-lsm-store@0.6.0.1/src/ByteManifest.bend as ByteManifest import mylsm-lsm-store@0.6.0.1/src/ByteManifestIo.bend as ByteManifestIo import mylsm-lsm-store@0.6.0.1/src/scan/SstCursor.bend as SstCursor import mylsm-lsm-store@0.6.0.1/src/scan/RangeCursor.bend as RangeCursor import mylsm-lsm-store@0.6.0.1/src/scan/VisibleCursor.bend as VisibleCursor def scan.exists.start( paths: String & String & Handle, delta: List<&1, ByteMemTable.Entry>, bounds: RangeCursor.Bounds, sst_bounds: SstCursor.Bounds ) -> IO(Handle & Result<&1, &1, Error, VisibleCursor.Cursor>): match paths: case (exists_path, (sst_path, handle)): do IO>: manifest : Result<&1, &1, ByteManifestIo.Error, ByteManifest.ManifestValue> <- ByteManifestIo.read(exists_path ++ "/MANIFEST") scan.manifest.result(sst_path, handle, delta, bounds, sst_bounds, manifest) Uses (18): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair 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=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append 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=Handle https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteDurableDb.bend&name=scan.manifest.result https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteManifest.bend&name=ManifestValue https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteManifestIo.bend&name=Error https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteManifestIo.bend&name=read https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend&name=Entry https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/RangeCursor.bend&name=Bounds https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/SstCursor.bend&name=Bounds https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/VisibleCursor.bend&name=Cursor