def cursor.list.remove.exhausted

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

import Base

954def cursor.list.remove.exhausted(
955  state: CursorListRemoveState
956) -> CursorListRemoveDecision:
957  match state:
958    case CursorSearch{cursors, _, prefix}:
959      CursorListMissing{cursor.list.restore(prefix, cursors)}
960    case CursorCompareCopies{copies, tail, _, prefix}:
961      match copies:
962        case (_, resource):
963          CursorListMissing{cursor.list.restore(prefix,
964            Con{resource, tail})}
965    case CursorCompare{_, resource, tail, _, prefix}:
966      CursorListMissing{cursor.list.restore(prefix, Con{resource, tail})}