~/jendhub

def compile_join

bendvy-ecs-core@0.1.0.3 · dependency_composer_program.bend:25

import bendvy-ecs-core@0.1.0.3/dependency_composer_program.bend as DependencyComposerProgram
import Base
import bendvy-ecs-core@0.1.0.3/dependency_registration.bend as Reg
import bendvy-ecs-core@0.1.0.3/dependency_registry_program.bend as Prog

25def compile_join(~Error:Data,~Out:Data,~World:Type,~L:Type,~R:Type,~left:Prog.Dispatch(~World,~L,~Error,~Out),~right:Prog.Dispatch(~World,~R,~Error,~Out),l:Compiled<World,L,Error,Out,left>,r:Compiled<World,R,Error,Out,right>) -> Compiled<World,Reg.Product<L,R>,Error,Out,Reg.paired_dispatch(~World,~L,~R,~Error,~Out,~left,~right)>:
26  match l r:
27    case Compiled{lr,+ls} Compiled{rr,+rs}:joined(~Error,~Out,~World,~L,~R,~left,~right,ls,rs,Reg.paired(~World,~L,~R,~Error,~Out,~left,~right,lr,rr))

Uses (6)

Used by (1)