~/jendhub

def admit

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

import bendvy-ecs-core@0.1.0.3/execution_state.bend as ExecutionState
import Base
import bendvy-ecs-core@0.1.0.3/execution_reservation_authority.bend as Authority

41def admit(~S:Data,+id:U32,grant:Authority.Grant,invocation:Invocation<S>) -> Invocation<S>:
42  match invocation:
43    case Invocation{+namespace,allocator,_,_}:Invocation{namespace,allocator,Some{id},Authority.qualified(Authority.Context{namespace,id,grant})}

Uses (6)

Used by (1)