def qualified

bendvy-ecs-core@0.1.0.3 · execution_reservation_authority.bend:15

import Base

15# The prepared framework boundary supplies Context from its actual owner and
16# closed command declaration. Gameplay bodies quantify an abstract Permit.
17def qualified(context:Context) -> Permit:
18  match context:
19    case Context{namespace,id,Structural{}}:Authorized{namespace,id}
20    case Context{_,_,NoStructural{}}:Unauthorized{}