def mapped

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

import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/relation_commands.bend as Relation
import bendvy-ecs-core@0.1.0.4/restore_graph_mapping.bend as Mapping
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

26def mapped(~S:Data,~C:Type,~Resources:Type,~Machines:Type,~E:Data,~clear:Machines -> Machines,~install:Machines -> List<&2,D.Field> -> Machines,world:W.World<S,Relation.Store<S,C>,Product.Owner<Resources,Machines>,E>,fields:List<&2,D.Field>,result:Mapping.Mapped<S>) -> Installed<W.World<S,Relation.Store<S,C>,Product.Owner<Resources,Machines>,E>>:
27  match result:
28    case Mapping.MissingBinding{saved}:MissingBinding{world,saved}
29    case Mapping.Mapped{graph}:graph_joined(~S,~C,~Resources,~Machines,~E,~clear,~install,fields,W.with_store(~S,~Relation.Store<S,C>,~Product.Owner<Resources,Machines>,~E,~Unit,(owner => store(~S,~C,graph,owner)),world))