~/jendhub

def left_inject

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

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

19def left_inject(~S:Data,~P:Type,~A:Data,~B:Data,~inject:Identity.Declaration<S,P> -> W.Handle<S> -> A,identity:Identity.Declaration<S,P>,handle:W.Handle<S>) -> Publication<A,B>:
20  Left{inject(identity,handle)}

Uses (3)

Used by (1)