def scan.exists.start

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

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

2259def scan.exists.start(
2260  paths: String & String & Handle,
2261  delta: List<&1, ByteMemTable.Entry>,
2262  bounds: RangeCursor.Bounds,
2263  sst_bounds: SstCursor.Bounds
2264) -> IO(Handle & Result<&1, &1, Error, VisibleCursor.Cursor>):
2265  match paths:
2266    case (exists_path, (sst_path, handle)):
2267      do IO<Handle & Result<&1, &1, Error, VisibleCursor.Cursor>>:
2268        manifest : Result<&1, &1, ByteManifestIo.Error, ByteManifest.ManifestValue> <-
2269          ByteManifestIo.read(exists_path ++ "/MANIFEST")
2270        scan.manifest.result(sst_path, handle, delta, bounds, sst_bounds, manifest)