~/jendhub

def pair_shared

bendvy-ecs-core@0.1.0.4 · ordinary_checked_bindings.bend:43

import bendvy-ecs-core@0.1.0.4/ordinary_checked_bindings.bend as OrdinaryCheckedBindings
import Base

43def pair_shared(~World:Type,~Left:Type,~Right:Type,~left_select:Left -> World -> U32 -> Selection<World,Left>,~right_select:Right -> World -> U32 -> Selection<World,Right>,owners:Left & Right,world:World,+id:U32) -> Selection<World,Left & Right>:
44  match owners:
45    case (left,right):pair_left_returned(~World,~Left,~Right,~right_select,right,id,left_select(left,world,id))

Uses (5)

Used by (1)