def and_then

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

import Base

103def and_then(~World:Type,~Left:Type,~Right:Type,~leftRun:Left -> World -> Evaluation<World,Left>,~rightRun:Right -> World -> Evaluation<World,Right>,left:Condition<World,Left,leftRun>,right:Condition<World,Right,rightRun>) -> Condition<World,Left & Right,and_run(~World,~Left,~Right,~leftRun,~rightRun)>:
104  match left right:
105    case Condition{lo,Description{ln,la,ll}} Condition{ro,Description{rn,ra,rl}}:Condition{(lo,ro),Description{"(" ++ ln ++ " && " ++ rn ++ ")",List.append(&2,String,la,ra),List.append(&2,LeafDescription,ll,rl)}}