def Join

bendvy-ecs-core@0.1.0.3 · dependency_registry_program.bend:12

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

12def Join(~Error:Data,~Out:Data,~F:Family(~Error,~Out)) -> Type:
13  @-World:Type -> @-L:Type -> @-R:Type -> @-left:Dispatch(~World,~L,~Error,~Out) -> @-right:Dispatch(~World,~R,~Error,~Out) -> F(World,L,left) -> F(World,R,right) -> F(World,Reg.Product<L,R>,Reg.paired_dispatch(~World,~L,~R,~Error,~Out,~left,~right))