def inject_right

bendvy-ecs-core@0.1.0.4 · owned_event_key_route.bend:11

import bendvy-ecs-core@0.1.0.4/owned_event_key_route.bend as OwnedEventKeyRoute

import Base
import bendvy-ecs-core@0.1.0.4/ordinary_event_family.bend as Family
import bendvy-ecs-core@0.1.0.4/event_publication.bend as Publication

11def inject_right(~A:Data,~B:Data,~inject:Nat -> B,id:Nat) -> Publication.Publication<A,B>:
12  Family.inject_right(~Nat,~A,~B,~inject,id)

Uses (3)

Used by (2)