def denied

bendvy-ecs-core@0.1.0.3 · execution_lifetime_scope_buffer.bend:21

import Base
import bendvy-ecs-core@0.1.0.3/world.bend as W
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as Layout
import bendvy-ecs-core@0.1.0.3/execution_command_buffer.bend as Buffer
import bendvy-ecs-core@0.1.0.3/execution_lifetime_scope_command.bend as Commands

21def denied(-S:Data,-C:Type,-R:Type,-E:Data,-P:Type,-D:Type,route:Layout.Route,operation:Commands.Operation<S>,reason:Buffer.ScopeDenial,world:W.World<S,C,R,E>) -> W.World<S,C,R,E> & Buffer.Receipt<S,P,D>:
22  (world,Buffer.ScopePublished{route,operation,Buffer.ScopeDenied{reason},[],[]})