def with_left

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

import Base

35def with_left(~World:Type,~Left:Type,~Right:Type,left:Left,value:Selection<World,Right>) -> Selection<World,Left & Right>:
36  match value:
37    case Selected{world,right,result}:Selected{world,(left,right),result}
38    case Unbound{world,right}:Unbound{world,(left,right)}