def left

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

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
import bendvy-ecs-core@0.1.0.4/removals.bend as Rm

31def left(~S:Data,~P:Type,~A:Data,~B:Data,~inject:Identity.Declaration<S,P> -> W.Handle<S> -> A,~select:A -> Maybe<&2,Rm.Record<S,Identity.Declaration<S,P>>>,value:Selection<S,P,A,inject,select>) -> Selection<S,P,Publication<A,B>,left_inject(~S,~P,~A,~B,~inject),left_select(~S,~P,~A,~B,~select)>:
32  match value:
33    case Selection{identity}:Selection{identity}