def inject_right

bendvy-ecs-core@0.1.0.4 · ordinary_event_family.bend:138

import Base
import event_publication.bend as Publication

138# Wrap one event on the right side of a heterogeneous publication with an
139# empty left list. Retains the nested injection shape; does not publish or
140# change a cursor until the runtime processes the resulting value.
141def inject_right(~E:Data,~A:Data,~B:Data,~inject:E -> B,event:E) -> Publication.Publication<A,B>:Publication.Publication{[],[inject(event)]}