RestoreGraphRuntime.detached: def of bendvy-ecs-core@0.1.0.4 Import: import bendvy-ecs-core@0.1.0.4/restore_graph_runtime.bend as RestoreGraphRuntime Lines 41-43 of bendvy-ecs-core@0.1.0.4/restore_graph_runtime.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/restore_graph_runtime.bend&start_line=41&end_line=43 import Base import bendvy-ecs-core@0.1.0.4/change_tick.bend as Tick import bendvy-ecs-core@0.1.0.4/restore_graph_data.bend as GraphData import bendvy-ecs-core@0.1.0.4/restore_graph_machine.bend as Machine import bendvy-ecs-core@0.1.0.4/restore_data.bend as R 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/world.bend as W import bendvy-ecs-core@0.1.0.4/decode_data.bend as D import bendvy-ecs-core@0.1.0.4/restore_graph_public.bend as Public import bendvy-ecs-core@0.1.0.4/restore_graph_runtime_engine.bend as Engine import bendvy-ecs-core@0.1.0.4/restore_graph_runtime_state.bend as State import bendvy-ecs-core@0.1.0.4/event_family_routing.bend as Route import bendvy-ecs-core@0.1.0.4/event_notice_runtime.bend as Mixed import bendvy-ecs-core@0.1.0.4/owned_event_family_catalog.bend as Catalog def detached(~S:Data,~C:Type,~User:Type,~Logs:Type,~Machines:Type,~P:Data,~F:Type,~EventOwners:Type,~Receipt:Type,~State:Type,~Custom:Data,~stage:State -> R.Position -> D.Field -> State & R.Dispatch,~release:State -> State,~clear:Relation.Store -> W.Handle -> Relation.Store & List<&2,R.Change>,~insert:Relation.Store -> Product.Owner,Machines> -> State -> List<&2,R.Binding> -> Tick.Tick -> (Relation.Store & Product.Owner,Machines>) & State,~Recovery:Type,~commit:State -> State,~takeRecovery:State -> State & Recovery,~machineRead:Machines -> Machines & List<&2,D.Field>,~machineCheck:D.Field -> Machine.Dispatch,~machineClear:Machines -> Machines,~machineInstall:Machines -> List<&2,D.Field> -> Machines,~emit:R.Change -> Relation.Notice,~retain:Logs -> List<&2,P> -> Logs & Receipt,~drain:Logs -> Logs & Receipt,~clearStreams:F -> F,~catalog:Catalog.Catalog,~sync:F -> Nat -> List<&2,P> -> F,owner:Public.Owner,Machines,Relation.Notice,State,Custom,stage,release,clear,insert,Recovery,commit,takeRecovery,machineRead,machineCheck,machineClear,machineInstall>,input:GraphData.Snapshot,result:W.World,Product.Owner,Machines>,Relation.Notice> & (Mixed.State & Nat)) -> Returned,Product.Owner,Machines>,Relation.Notice,Mixed.State>,Public.Owner,Machines,Relation.Notice,State,Custom,stage,release,clear,insert,Recovery,commit,takeRecovery,machineRead,machineCheck,machineClear,machineInstall>,Recovery,Receipt,Custom>: match result: case (world,metadata):joined(~S,~C,~User,~Logs,~Machines,~P,~F,~EventOwners,~Receipt,~State,~Custom,~stage,~release,~clear,~insert,~Recovery,~commit,~takeRecovery,~machineRead,~machineCheck,~machineClear,~machineInstall,~emit,~retain,~drain,~clearStreams,~catalog,~sync,Engine.run(~S,~C,~Product.Owner,~Machines,~Relation.Notice,~State,~Custom,~stage,~release,~clear,~insert,~Recovery,~commit,~takeRecovery,~machineRead,~machineCheck,~machineClear,~machineInstall,~emit,~(Mixed.State & Nat),~Receipt,~State.admit(~S,~Relation.Store,~User,~Logs,~Machines,~P,~F,~EventOwners,~Receipt,~retain,~drain,~clearStreams,catalog),metadata,owner,world,input)) Uses (25): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/change_tick.bend&name=Tick https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/decode_data.bend&name=Field https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/event_family_routing.bend&name=Runtime https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/event_notice_runtime.bend&name=State https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/owned_event_family_catalog.bend&name=Catalog https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/owner_product.bend&name=Owner https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/relation_commands.bend&name=Notice https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/relation_commands.bend&name=Store https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/restore_data.bend&name=Binding https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/restore_data.bend&name=Change https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/restore_data.bend&name=Dispatch https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/restore_data.bend&name=Position https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/restore_graph_data.bend&name=Snapshot https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/restore_graph_machine.bend&name=Dispatch https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/restore_graph_public.bend&name=Owner https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/restore_graph_runtime.bend&name=Returned https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/restore_graph_runtime.bend&name=joined https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/restore_graph_runtime_engine.bend&name=run https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/restore_graph_runtime_state.bend&name=admit https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world.bend&name=Handle https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world.bend&name=World