def product

bendvy-ecs-core@0.1.0.4 · restore_clear.bend:38

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

38def product(~S:Data,~LC:Type,~RC:Type,~left:LC -> W.Handle<S> -> LC & List<&2,R.Change<S>>,~right:RC -> W.Handle<S> -> RC & List<&2,R.Change<S>>,owner:Product.Owner<LC,RC>,+handle:W.Handle<S>) -> Product.Owner<LC,RC> & List<&2,R.Change<S>>:
39  match owner:
40    case Product.Owner{a,b}:product_left(~S,~LC,~RC,~right,b,handle,left(a,handle))