SstCursor.scan.entry.checked: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/scan/SstCursor.bend as SstCursor
Lines 83-104 of mylsm-lsm-store@0.6.0.1/src/scan/SstCursor.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/SstCursor.bend&start_line=83&end_line=104

import Base
import mylsm-lsm-store@0.6.0.1/src/scan/ByteBlockReader.bend as ByteBlockReader
import mylsm-lsm-store@0.6.0.1/src/scan/ByteRange.bend as ByteRange
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

def scan.entry.checked(
  key: Bytes.Bytes,
  value: Maybe<&1, Bytes.Bytes>,
  cursor: ByteBlockReader.EntryCursor,
  bounds: Bounds & Bounds,
  key_copies: Bytes.Bytes & Bytes.Bytes
) -> IO(Step):
  match value:
    case Some{bytes}:
      match bounds:
        case (checked, retained):
          match checked:
            case Bounds{lower, upper, prefix}:
              match key_copies:
                case (range_key, prefix_key):
                  scan.entry.choose(
                    ByteRange.in_range(range_key, lower, upper) &&
                      scan.prefix(prefix_key, prefix),
                    key, bytes, cursor, bounds.copy(retained))
    case None{}:
      match bounds:
        case (_, retained): IO.pure(Step, Skip{Active{cursor, retained}})

Uses (15):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  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=Pair
  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/scan/ByteBlockReader.bend&name=EntryCursor
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/ByteRange.bend&name=in_range
  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=Step
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/SstCursor.bend&name=bounds.copy
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/SstCursor.bend&name=scan.entry.choose
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/SstCursor.bend&name=scan.prefix