def grant

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

import Base
import inspector_query_projection.bend as Select
import inspector_query.bend as Query
import inspector_query_frame_world.bend as Traverse
import inspector.bend as I
import relation_commands.bend as A
import relation_query.bend as RQ

52# Recursive Product/map component providers are reused, not reimplemented.
53# Query.grant_composed performs World namespace/liveness checks before public lookup.
54def grant(~S:Data,~C:Type,~R:Type,~E:Data,~V:Data,~component:Select.DeclaredSelection<I.Frame<S,A.Store<S,C>,R,A.Notice<S,E>>,S,V>,~spec:RQ.Spec<S>) -> Query.ComposedReadQuery<I.Frame<S,A.Store<S,C>,R,A.Notice<S,E>>,S,Select.Product<V,List<&2,RQ.Cell<S>>>>:
55  Query.grant_composed_runtime(~I.Frame<S,A.Store<S,C>,R,A.Notice<S,E>>,~S,~V,~List<&2,RQ.Cell<S>>,~RQ.Spec<S>,~component,~Traverse.inspect_world(~S,~A.Store<S,C>,~R,~A.Notice<S,E>),~matches_runtime(~S,~C,~R,~E),~project_runtime(~S,~C,~R,~E),spec)