def event_publish

bendvy-ecs-core@0.1.0.3 · world.bend:264

import Base

264# An empty publication changes no field and needs no traversal of retained events.
265# Append detached Data events in list order and return World. Empty input preserves
266# World. This does not synchronize typed event Runtime batches/readers or run systems.
267def event_publish(~S: Data,~C: Type,~R: Type,~E: Data,world: World<S,C,R,E>,+published: List<&2,E>) -> World<S,C,R,E>:
268  match published:
269    case []: world
270    case head <> rest: event_publish_nonempty(~S,~C,~R,~E,world,head <> rest)