def published

bendvy-ecs-core@0.1.0.3 · execution_relation_resource_dispatch.bend:25

import Base
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as Layout
import bendvy-ecs-core@0.1.0.3/execution_relation_store.bend as Store
import bendvy-ecs-core@0.1.0.3/entity_allocator.bend as Allocator

25def published(~S:Data,~resources:Layout.Layout,result:Allocator.Allocator & (Layout.resources(~S,resources) & Store.Receipt<S>)) -> Allocator.Allocator & (Layout.resources(~S,resources) & Outcome<S>):
26  match result:
27    case (allocator,(owners,receipt)):(allocator,(owners,Published{receipt}))