~/jendhub

def pair_cataloged

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

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

66def pair_cataloged(~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>,b:R,world:World,+id:U32,result:L & List<&2,Identity>) -> Outcome<World,L & R,Choice<LE,RE>>:
67  match result:
68    case (a,entries):pair_selected(~World,~L,~R,~LE,~RE,~left,~right,member(entries,id),a,b,world,id)

Uses (9)

Used by (1)