def reserve_allowed
bendvy-ecs-core@0.1.0.3 · execution_state.bend:52
import bendvy-ecs-core@0.1.0.3/execution_state.bend as ExecutionState
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
52def reserve_allowed(-S:Data,allowed:Bool,invocation:Invocation<S>) -> Invocation<S> & W.Reservation<S>:
53 match allowed invocation:
54 case False{} invocation:(invocation,W.ReservationRejected{W.ReservationUnauthorized{}})
55 case True{} Invocation{namespace,allocator,authorized,permit}:reserved(S,namespace,authorized,permit,A.reserve(allocator))