def graph_joined

bendvy-ecs-core@0.1.0.4 · check_relation_projection.bend:11

import Base
import check.bend as K
import world.bend as W
import relation_types.bend as G
import relation_commands.bend as A

11# Actual cursor-free Check Frame. Graph is detached Data;
12# Store components/resources remain arbitrary affine Type owners.
13def graph_joined(~S:Data,~C:Type,~R:Type,~E:Data,observed:W.World<S,A.Store<S,C>,R,A.Notice<S,E>> & G.Graph<S>) -> K.Frame<S,A.Store<S,C>,R,A.Notice<S,E>> & G.Graph<S>:
14  (world,graph)=observed
15  (K.Frame{world},graph)