ByteDurableDb.scan.manifest.result: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/ByteDurableDb.bend as ByteDurableDb
Lines 2209-2240 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=2209&end_line=2240

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.manifest.result(
  +path: String,
  handle: Handle,
  delta: List<&1, ByteMemTable.Entry>,
  bounds: RangeCursor.Bounds,
  sst_bounds: SstCursor.Bounds,
  result: Result<&1, &1, ByteManifestIo.Error, ByteManifest.ManifestValue>
) -> IO(Handle & Result<&1, &1, Error, VisibleCursor.Cursor>):
  match result:
    case Fail{ByteManifestIo.Invalid{_}}:
      IO.pure(Handle & Result<&1, &1, Error, VisibleCursor.Cursor>,
        (handle, Fail{Corruption{"byte manifest validation failed"}}))
    case Fail{ByteManifestIo.Host{code, message}}:
      IO.pure(Handle & Result<&1, &1, Error, VisibleCursor.Cursor>,
        (handle, Fail{Io{code, message}}))
    case Done{ByteManifest.Empty{}}:
      IO.pure(Handle & Result<&1, &1, Error, VisibleCursor.Cursor>,
        (handle, Done{VisibleCursor.open(None{}, delta, bounds)}))
    case Done{ByteManifest.GenerationEmpty{}}:
      IO.pure(Handle & Result<&1, &1, Error, VisibleCursor.Cursor>,
        (handle, Done{VisibleCursor.open(None{}, delta, bounds)}))
    case Done{ByteManifest.HasSst{}}:
      do IO<Handle & Result<&1, &1, Error, VisibleCursor.Cursor>>:
        opened : Result<&1, &1, U32 & String, SstCursor.Cursor> <-
          SstCursor.open.trusted(path ++ "/SST", sst_bounds)
        scan.sources.opened(handle, delta, bounds, opened)
    case Done{ByteManifest.GenerationSst{file_id}}:
      do IO<Handle & Result<&1, &1, Error, VisibleCursor.Cursor>>:
        opened : Result<&1, &1, U32 & String, SstCursor.Cursor> <-
          SstCursor.open.trusted(
            ByteManifest.sst.generation.path(path, file_id), sst_bounds)
        scan.sources.opened(handle, delta, bounds, opened)

Uses (24):
  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=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  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=Base/base.bend&name=U32
  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.sources.opened
  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/ByteManifest.bend&name=sst.generation.path
  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/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/SstCursor.bend&name=Cursor
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/SstCursor.bend&name=open.trusted
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/VisibleCursor.bend&name=Cursor
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/VisibleCursor.bend&name=open