def resource_grant

bendvy-ecs-core@0.1.0.3 · check.bend:69

import Base
import capabilities.bend as Cap

69# Build read-only access to a detached resource Data view. project threads
70# affine R back unchanged in ownership; no replacement or event-read grant
71# is provided and no resource projection runs during declaration construction.
72def resource_grant(~S:Data,~Store:Type,~R:Type,~E:Data,~V:Data,~project:R -> R & V) -> Cap.ValueRead<Frame<S,Store,R,E>,V>:
73  Cap.ValueRead{frame => resource_read(~S,~Store,~R,~E,~V,~project,frame)}