def despawn_namespace

bendvy-ecs-core@0.1.0.3 · execution_command_publication.bend:113

import Base
import bendvy-ecs-core@0.1.0.3/world.bend as W
import bendvy-ecs-core@0.1.0.3/change_tick.bend as Tick
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_command_removed.bend as Removed
import bendvy-ecs-core@0.1.0.3/execution_command_permission.bend as Permission

113def despawn_namespace(~S:Data,~R:Type,~E:Data,~layout:Layout.Layout,~route:Layout.Route,+handle:W.Handle<S>,permission:Permission.Permission,result:W.World<S,Layout.columns(~S,layout),R,E> & U32,+tick:Tick.Tick) -> W.World<S,Layout.columns(~S,layout),R,E> & Buffer.Receipt<S,Layout.payload(layout,route),Removed.Removed(layout)>:
114  match result:
115    case (world,namespace):despawn_allowed(~S,~R,~E,~layout,~route,world,handle,Bool.and(Permission.agrees(permission,Permission.EntityStructural{}),U32.is_eq(namespace,handle_namespace(~S,handle))),tick)