def right

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

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

34def right(~S:Data,~P:Type,~A:Data,~B:Data,~inject:Identity.Declaration<S,P> -> W.Handle<S> -> B,~select:B -> Maybe<&2,Rm.Record<S,Identity.Declaration<S,P>>>,value:Selection<S,P,B,inject,select>) -> Selection<S,P,Publication<A,B>,right_inject(~S,~P,~A,~B,~inject),right_select(~S,~P,~A,~B,~select)>:
35  match value:
36    case Selection{identity}:Selection{identity}