Mylsm.Bytes.snapshot.scan_seek: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/mylsm.bend as Mylsm
Lines 1617-1626 of mylsm-lsm-store@0.6.0.1/mylsm.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/mylsm.bend&start_line=1617&end_line=1626

import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as PackedBytes
import mylsm-lsm-store@0.6.0.1/src/scan/RangeCursor.bend as ByteRangeCursor

# Advances a live byte cursor to a later inclusive lower bound.
def Bytes.snapshot.scan_seek(
  cursor: Bytes.Cursor,
  lower: Maybe<&1, PackedBytes.Bytes>
) -> Bytes.Cursor:
  match cursor:
    case ByteCursor{inner, bounds}:
      ByteCursor{ByteRangeCursor.seek.cursor(inner, lower), bounds}
    case ByteFailureCursor{_}: ByteClosedCursor{}
    case _: cursor

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  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/mylsm.bend&name=Bytes.Cursor
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/RangeCursor.bend&name=seek.cursor