~/jendhub

def abandon_pending_kept

bendvy-ecs-core@0.1.0.3 · entity_allocator.bend:116

import bendvy-ecs-core@0.1.0.3/entity_allocator.bend as EntityAllocator
import Base
import entity_key.bend as K

116# Restore cancellation consumes queued reservations without freeing their IDs.
117def abandon_pending_kept(+key:K.Key,observed:Allocator & List<&2,K.Key>) -> Allocator & List<&2,K.Key>:
118  match observed:
119    case (allocator,keys):(allocator,key <> keys)

Uses (5)

Used by (1)