def insert_next

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

import Base
import bendvy-ecs-core@0.1.0.4/change_tick.bend as Tick
import bendvy-ecs-core@0.1.0.4/restore_data.bend as R
import bendvy-ecs-core@0.1.0.4/owner_product.bend as Product

25def insert_next(~S:Data,~LC:Type,~LR:Type,~RC:Type,~RR:Type,~L:Type,~Right:Type,~insertRight:RC -> RR -> Right -> List<&2,R.Binding<S>> -> Tick.Tick -> (RC & RR) & Right,right:RC,rightResource:RR,stateRight:Right,bindings:List<&2,R.Binding<S>>,tick:Tick.Tick,observed:(LC & LR) & L) -> (Product.Owner<LC,RC> & Product.Owner<LR,RR>) & Product.Owner<L,Right>:
26  match observed:
27    case ((left,leftResource),state):insert_join(~LC,~LR,~RC,~RR,~L,~Right,left,leftResource,state,insertRight(right,rightResource,stateRight,bindings,tick))