def grant

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

import Base
import inspector_query_projection.bend as Select
import inspector_query.bend as Query
import inspector_query_frame_world.bend as Traverse
import check.bend as K
import relation_commands.bend as A
import relation_query.bend as RQ

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