~/jendhub

def right_inject

bendvy-ecs-core@0.1.0.4 · ordinary_removal_provision.bend:21

import bendvy-ecs-core@0.1.0.4/ordinary_removal_provision.bend as OrdinaryRemovalProvision
import Base
import bendvy-ecs-core@0.1.0.4/ordinary_declaration.bend as Identity
import bendvy-ecs-core@0.1.0.4/world.bend as W

21def right_inject(~S:Data,~P:Type,~A:Data,~B:Data,~inject:Identity.Declaration<S,P> -> W.Handle<S> -> B,identity:Identity.Declaration<S,P>,handle:W.Handle<S>) -> Publication<A,B>:
22  Right{inject(identity,handle)}

Uses (3)

Used by (1)