def insert_join

bendvy-ecs-core@0.1.0.4 · restore_product.bend:22

import Base
import bendvy-ecs-core@0.1.0.4/owner_product.bend as Product

22def insert_join(~LC:Type,~LR:Type,~RC:Type,~RR:Type,~L:Type,~Right:Type,left:LC,leftResource:LR,state:L,observed:(RC & RR) & Right) -> (Product.Owner<LC,RC> & Product.Owner<LR,RR>) & Product.Owner<L,Right>:
23  match observed:
24    case ((right,rightResource),stateRight):((Product.Owner{left,right},Product.Owner{leftResource,rightResource}),Product.Owner{state,stateRight})