def graph

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

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

16def graph(~S:Data,~C:Type,~R:Type,~E:Data,frame:K.Frame<S,A.Store<S,C>,R,A.Notice<S,E>>) -> K.Frame<S,A.Store<S,C>,R,A.Notice<S,E>> & G.Graph<S>:
17  match frame:
18    case K.Frame{world}:graph_joined(~S,~C,~R,~E,W.with_store(~S,~A.Store<S,C>,~R,~A.Notice<S,E>,~G.Graph<S>,RQ.graph_read(~S,~C),world))