def declaration

bendvy-ecs-core@0.1.0.4 · ordinary_check_relation.bend:36

import Base
import bendvy-ecs-core@0.1.0.4/ordinary_check_declaration.bend as D
import bendvy-ecs-core@0.1.0.4/ordinary_inspector_relation.bend as Decl
import bendvy-ecs-core@0.1.0.4/ordinary_check_query.bend as CQ
import bendvy-ecs-core@0.1.0.4/relation_query.bend as RQ
import bendvy-ecs-core@0.1.0.4/relation_commands.bend as A
import bendvy-ecs-core@0.1.0.4/check.bend as K
import bendvy-ecs-core@0.1.0.4/inspector_query_projection.bend as Select

36# Structural graph storage is already present in A.Store. No extra World-owned
37# parameter is admitted here; required relation clauses retain row membership.
38def declaration(~S:Data,~C:Type,~R:Type,~E:Data,~V:Data,~component:CQ.Selection<K.Frame<S,A.Store<S,C>,R,A.Notice<S,E>>,S,V>,~relation:Decl.Declaration<S>) -> D.Declaration<S,A.Store<S,C>,R,A.Notice<S,E>,CQ.Ops(~S,~Select.Product<V,List<&2,RQ.Cell<S>>>)>:
39  D.Declaration{K.Plan{D.provided(~S,~A.Store<S,C>,~R,~A.Notice<S,E>),CQ.Read{Decl.condition(~S,~C,~R,~E,~V,~CQ.selected(~K.Frame<S,A.Store<S,C>,R,A.Notice<S,E>>,~S,~V,component),~relation)}},List.append(&2,D.Use,CQ.uses(~K.Frame<S,A.Store<S,C>,R,A.Notice<S,E>>,~S,~V,component),[use(~S,relation)])}