def joined_read

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

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

75def joined_read(~L:Type,~Right:Type,left:L,leftFields:List<&2,D.Field>,result:Right & List<&2,D.Field>) -> Product.Owner<L,Right> & List<&2,D.Field>:
76  match result:
77    case (right,rightFields):(Product.Owner{left,right},List.append(&2,D.Field,leftFields,rightFields))