def graph_joined

bendvy-ecs-core@0.1.0.4 · restore_graph_world.bend:23

import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/ordinary_machine_initialization.bend as Init
import bendvy-ecs-core@0.1.0.4/relation_commands.bend as Relation
import bendvy-ecs-core@0.1.0.4/owner_product.bend as Product
import bendvy-ecs-core@0.1.0.4/decode_data.bend as D

23def graph_joined(~S:Data,~C:Type,~Resources:Type,~Machines:Type,~E:Data,~clear:Machines -> Machines,~install:Machines -> List<&2,D.Field> -> Machines,fields:List<&2,D.Field>,result:W.World<S,Relation.Store<S,C>,Product.Owner<Resources,Machines>,E> & Unit) -> Installed<W.World<S,Relation.Store<S,C>,Product.Owner<Resources,Machines>,E>>:
24  match result:
25    case (world,_):joined(~S,~C,~Resources,~Machines,~E,Init.with_resource(~S,~Relation.Store<S,C>,~Product.Owner<Resources,Machines>,~E,~Unit,(owner => machines(~Resources,~Machines,~clear,~install,fields,owner)),world))