~/jendhub

def owner.cursor.close.removed

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

import mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend as Snapshot
import Base

1074def owner.cursor.close.removed(
1075  allocator: ResourceIdAllocator,
1076  reservations: Registry,
1077  snapshots: List<&2, SnapshotResource>,
1078  removal: CursorListRemoveDecision
1079) -> OwnerCursorCloseDecision:
1080  match removal:
1081    case CursorListMissing{cursors}:
1082      OwnerCursorCloseRejected{OwnerRegistry{allocator, reservations,
1083        snapshots, cursors}}
1084    case CursorListRemoved{prefix, resource, tail}:
1085      owner.cursor.close.lookup(allocator, reservations, snapshots,
1086        prefix, tail, cursor.resource.duplicate(resource))

Uses (9)

Used by (1)