def resource_read

bendvy-ecs-core@0.1.0.4 · compose.bend:92

import Base
import capabilities.bend as Cap

92# Build a detached resource read grant using a trusted owner-returning projector.
93def resource_read(~S: Data,~Store: Type,~R: Type,~E: Data,~V: Data,~project: R -> R & V) -> Cap.ValueRead<Frame<S,Store,R,E>,V>:
94  Cap.ValueRead{resource_get(~S,~Store,~R,~E,~V,~project)}