def or_else

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

import Base
import bendvy-ecs-core@0.1.0.4/ordinary_check_declaration.bend as D

91def or_else(~World:Type,~Left:Type,~Right:Type,~left_run:Left -> World -> Evaluation<World,Left>,~right_run:Right -> World -> Evaluation<World,Right>,left:Condition<World,Left,left_run>,right:Condition<World,Right,right_run>) -> Condition<World,Left & Right,combined_run(~World,~Left,~Right,~left_run,~right_run,~False{})>:
92  match left right:
93    case Condition{left,Description{ls,lu}} Condition{right,Description{rs,ru}}:Condition{(left,right),Description{Or{ls,rs},List.append(&2,D.Use,lu,ru)}}