def reserved_pending

bendvy-ecs-core@0.1.0.3 · execution_state.bend:44

import Base
import bendvy-ecs-core@0.1.0.3/world.bend as W
import bendvy-ecs-core@0.1.0.3/entity_allocator.bend as A
import bendvy-ecs-core@0.1.0.3/execution_reservation_authority.bend as Authority

44def reserved_pending(-S:Data,+namespace:U32,authorized:Maybe<&2,U32>,permit:Authority.Permit,handle:W.Handle<S>,result:A.Allocator & Bool) -> Invocation<S> & W.Reservation<S>:
45  match result:
46    case (allocator,True{}):(Invocation{namespace,allocator,authorized,permit},W.Reserved{handle})
47    case (allocator,False{}):(Invocation{namespace,allocator,authorized,permit},W.ReservationRejected{W.MissingEntity{}})