def graph_joined

bendvy-ecs-core@0.1.0.4 · inspector_relation_projection.bend:12

import Base
import bendvy-ecs-core@0.1.0.4/change_tick.bend as Tick
import inspector.bend as I
import world.bend as W
import relation_types.bend as G
import relation_commands.bend as A

12# Real Inspector Frame, not a fabricated transaction. Graph is detached Data;
13# Store components/resources remain arbitrary affine Type owners.
14def graph_joined(~S:Data,~C:Type,~R:Type,~E:Data,cursor:Maybe<&2,Tick.Tick>,observed:W.World<S,A.Store<S,C>,R,A.Notice<S,E>> & G.Graph<S>) -> I.Frame<S,A.Store<S,C>,R,A.Notice<S,E>> & G.Graph<S>:
15  (world,graph)=observed
16  (I.Frame{world,cursor},graph)