def selected

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

import Base

72def selected(~World:Type,~Left:Type,~Right:Type,~right_run:Right -> World -> Evaluation<World,Right>,allowed:Bool,left:Left,right:Right,world:World,+value:Bool) -> Evaluation<World,Left & Right>:
73  match allowed:
74    case False{}:Evaluation{world,(left,right),Done{value}}
75    case True{}:right_returned(~World,~Left,~Right,left,right_run(right,world))