def combined_left

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

import Base

91def combined_left(~World:Type,~Left:Type,~Right:Type,~rightRun:Right -> World -> Evaluation<World,Right>,on:Bool,right:Right,result:Evaluation<World,Left>) -> Evaluation<World,Left & Right>:
92  match result:
93    case Value{world,left,+value}:combined_decision(~World,~Left,~Right,~rightRun,same_bool(value,on),left,right,world,value)
94    case NoValue{world,left}:NoValue{world,(left,right)}
95    case InvalidRegistration{world,left}:InvalidRegistration{world,(left,right)}
96    case NoBinding{world,left}:NoBinding{world,(left,right)}