def product_read

bendvy-ecs-core@0.1.0.4 · restore_graph_machine.bend:81

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

81def product_read(~L:Type,~Right:Type,~readLeft:L -> L & List<&2,D.Field>,~readRight:Right -> Right & List<&2,D.Field>,owner:Product.Owner<L,Right>) -> Product.Owner<L,Right> & List<&2,D.Field>:
82  match owner:
83    case Product.Owner{left,right}:left_read(~L,~Right,~readRight,right,readLeft(left))