def pending_checked

bendvy-ecs-core@0.1.0.3 · execution_reservation_materialization.bend:144

import Base
import bendvy-ecs-core@0.1.0.3/execution_reservation_bundle.bend as Bundle
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as Layout
import bendvy-ecs-core@0.1.0.3/execution_command_permission.bend as Permission
import bendvy-ecs-core@0.1.0.3/change_tick.bend as Tick
import bendvy-ecs-core@0.1.0.3/world.bend as W

144def pending_checked(~S:Data,~R:Type,~E:Data,~layout:Layout.Layout,permission:Permission.Permission,handle:W.Handle<S>,bundle:Bundle.Payload(layout),tick:Tick.Tick,result:W.World<S,Layout.columns(~S,layout),R,E> & Bool) -> Bundle.Publication<S,Layout.columns(~S,layout),R,E,layout>:
145  match result:
146    case (world,False{}):Bundle.RefusedPublication{world,handle,bundle,Bundle.InvalidPending{W.MissingEntity{}}}
147    case (world,True{}):permitted(~S,~R,~E,layout,world,handle,bundle,tick,permission)