def paired_dispatch_actual

bendvy-ecs-core@0.1.0.3 · dependency_registration.bend:34

import bendvy-ecs-core@0.1.0.3/dependency_registration.bend as DependencyRegistration
import Base
import bendvy-ecs-core@0.1.0.3/dependency_executor.bend as Exec

34def paired_dispatch_actual(~World:Type,~L:Type,~R:Type,~Error:Data,~Out:Data,~leftDispatch:L -> World -> U32 -> L & (World & Exec.Invocation<Error,Out>),~rightDispatch:R -> World -> U32 -> R & (World & Exec.Invocation<Error,Out>),owners:Product<L,R>,world:World,+id:U32) -> Product<L,R> & (World & Exec.Invocation<Error,Out>):
35  match owners:
36    case Product{left,right,+leftIds}:paired_selected(~World,~L,~R,~Error,~Out,~leftDispatch,~rightDispatch,contains(leftIds,id),left,right,leftIds,world,id)

Uses (6)

Used by (1)