def left_returned

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

import Base

50def left_returned(~World:Type,~L:Type,~R:Type,~LE:Data,~RE:Data,right:R,result:Outcome<World,L,LE>) -> Outcome<World,L & R,Choice<LE,RE>>:
51  match result:
52    case Completed{world,left}:Completed{world,(left,right)}
53    case Skipped{world,left}:Skipped{world,(left,right)}
54    case Failed{world,left,error}:Failed{world,(left,right),LeftError{error}}
55    case Refused{world,left}:Refused{world,(left,right)}