def publish_unpacked

bendvy-ecs-core@0.1.0.3 · execution_generalized_command_leaf.bend:78

import Base
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as L
import bendvy-ecs-core@0.1.0.3/execution_command_system.bend as Cmd
import bendvy-ecs-core@0.1.0.3/execution_command_admission.bend as CommandAdmission
import bendvy-ecs-core@0.1.0.3/change_tick.bend as Tick
import bendvy-ecs-core@0.1.0.3/execution_command_permission.bend as Permission
import bendvy-ecs-core@0.1.0.3/world.bend as W

78def publish_unpacked(~S:Data,~components:L.Layout,~resources:L.Layout,~E:Data,~route:L.Route,~Ops:Data -> (Type -> Type) -> Type -> Type -> Type,~User:Type,~Error:Data,~Out:Data,~declaration:Cmd.Program(~S,~L.columns(~S,components),~L.resources(~S,resources),~components,~resources,~route,~Ops),~body:Cmd.Body(~S,~components,~resources,~route,~Ops,~User,~Error,~Out),~valid:{L.grant_valid(~components,~route) == True{} : Bool},~relations:Permission.Relations<S,resources>,~selection:Permission.Selection<S,resources>,ids:List<&2,U32>,tick:Tick.Tick,world:W.World<S,L.columns(~S,components),L.resources(~S,resources),E>,node:Compilation(~S,~components,~resources,~route,~Ops) & Owner(~S,~components,~resources,~E,~route,~Ops,~User,~Error,~Out,~declaration,~body)) -> W.World<S,L.columns(~S,components),L.resources(~S,resources),E> & Node(~S,~components,~resources,~E,~route,~Ops,~User,~Error,~Out,~declaration,~body):
79  match node:
80    case (compilation,owner):published(~S,~components,~resources,~E,~route,~Ops,~User,~Error,~Out,~declaration,~body,CommandAdmission.publish_with_compilation(~S,~L.columns(~S,components),~L.columns(~S,components),~L.resources(~S,resources),~E,~components,~resources,~route,~Ops,~User,~Error,~Out,~declaration,~body,~L.resources(~S,resources),~{==},~relations,~selection,~{==},~valid,compilation,ids,tick,world,owner))