def product_components

bendvy-ecs-core@0.1.0.4 · ordinary_schema_dump.bend:60

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

60def product_components(~L:Type,~R:Type,~leftRead:L -> U32 -> L & List<&2,Maybe<&2,String>>,~rightRead:R -> U32 -> R & List<&2,Maybe<&2,String>>,store:Product.Owner<L,R>,id:U32) -> Product.Owner<L,R> & List<&2,Maybe<&2,String>>:
61  match store:
62    case Product.Owner{left,right}:
63      +id=id
64      components_left(~L,~R,~rightRead,right,id,leftRead(left,id))

Uses (7)

Used by (1)