def paired

bendvy-ecs-core@0.1.0.3 · execution_registry.bend:13

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

13def paired(~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>),left:Facts<Reg.Registry<World,L,Error,Out,leftDispatch>>,right:Facts<Reg.Registry<World,R,Error,Out,rightDispatch>>) -> Facts<Reg.Registry<World,Reg.Product<L,R>,Error,Out,Reg.paired_dispatch(~World,~L,~R,~Error,~Out,~leftDispatch,~rightDispatch)>>:
14  match left right:
15    case Facts{left,ld} Facts{right,rd}:Facts{Reg.paired(~World,~L,~R,~Error,~Out,~leftDispatch,~rightDispatch,left,right),List.append(&2,U32,ld,rd)}