~/jendhub

def pair_selected

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

import bendvy-ecs-core@0.1.0.4/captured_schedule_composition.bend as CapturedScheduleComposition
import Base

62def pair_selected(~World:Type,~L:Type,~R:Type,~LE:Data,~RE:Data,~left:L -> World -> U32 -> Outcome<World,L,LE>,~right:R -> World -> U32 -> Outcome<World,R,RE>,found:Bool,a:L,b:R,world:World,id:U32) -> Outcome<World,L & R,Choice<LE,RE>>:
63  match found:
64    case True{}:left_returned(~World,~L,~R,~LE,~RE,b,left(a,world,id))
65    case False{}:right_returned(~World,~L,~R,~LE,~RE,a,right(b,world,id))

Uses (7)

Used by (1)