def with_right

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

import Base

31def with_right(~World:Type,~Left:Type,~Right:Type,right:Right,value:Selection<World,Left>) -> Selection<World,Left & Right>:
32  match value:
33    case Selected{world,left,result}:Selected{world,(left,right),result}
34    case Unbound{world,left}:Unbound{world,(left,right)}