def ScopedOps

bendvy-ecs-core@0.1.0.3 · execution_command_system.bend:22

import Base
import bendvy-ecs-core@0.1.0.3/execution_system.bend as Sys
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_permission.bend as Permission
import bendvy-ecs-core@0.1.0.3/execution_command_removed.bend as Removed

22# Command owners have a distinct type, so an ordinary Sys.Owner leaf cannot
23# silently omit their deferred inventory and publication operation.
24def ScopedOps(~S:Data,~layout:Layout.Layout,~resources:Layout.Layout,~route:Layout.Route,~Ops:Data -> (Type -> Type) -> Type -> Type -> Type,Permit:Data,F:Type -> Type,H:Type) -> Type:
25  Permission.Prepared<Ops(Permit,F,H,Buffer.Buffer<S,Layout.payload(layout,route),Removed.Removed(layout)>),S,resources>