def selected_left

bendvy-ecs-core@0.1.0.4 · ordinary_condition_composition.bend:131

import Base

131def selected_left(~World:Type,~Left:Type,~Right:Type,~rightRun:Right -> World -> U32 -> Evaluation<World,Right>,right:Right,id:U32,result:Evaluation<World,Left>) -> Evaluation<World,Left & Right>:
132  match result:
133    case NoBinding{world,left}:right_returned(~World,~Left,~Right,left,rightRun(right,world,id))
134    case Value{world,left,value}:Value{world,(left,right),value}
135    case NoValue{world,left}:NoValue{world,(left,right)}
136    case InvalidRegistration{world,left}:InvalidRegistration{world,(left,right)}