def right_returned

bendvy-ecs-core@0.1.0.4 · captured_schedule_composition.bend:56

import Base

56def right_returned(~World:Type,~L:Type,~R:Type,~LE:Data,~RE:Data,left:L,result:Outcome<World,R,RE>) -> Outcome<World,L & R,Choice<LE,RE>>:
57  match result:
58    case Completed{world,right}:Completed{world,(left,right)}
59    case Skipped{world,right}:Skipped{world,(left,right)}
60    case Failed{world,right,error}:Failed{world,(left,right),RightError{error}}
61    case Refused{world,right}:Refused{world,(left,right)}