def snapshot.list.cursor.exhausted

mylsm-lsm-store@0.6.0.1 · src/scan/Snapshot.bend:726

import Base

726def snapshot.list.cursor.exhausted(
727  state: SnapshotListCursorState
728) -> SnapshotListCursorDecision:
729  match state:
730    case SnapshotCursorSearch{snapshots, _, _, prefix}:
731      SnapshotListRejected{snapshot.list.cursor.restore(prefix, snapshots)}
732    case SnapshotCursorCompareCopies{copies, tail, _, _, prefix}:
733      match copies:
734        case (_, resource):
735          SnapshotListRejected{snapshot.list.cursor.restore(prefix,
736            Con{resource, tail})}
737    case SnapshotCursorCompare{_, resource, tail, _, _, prefix}:
738      SnapshotListRejected{snapshot.list.cursor.restore(prefix,
739        Con{resource, tail})}