def read_resource

bendvy-ecs-core@0.1.0.3 · inspector.bend:82

import Base
import capabilities.bend as Cap

82# Trusted setup constructor for a detached resource Data view. project
83# consumes/returns R; it must preserve affine resources and sibling owners.
84# No replacement capability is exposed, and no resource is read during setup.
85def read_resource(~S:Data,~Store:Type,~R:Type,~E:Data,~V:Data,~project:R -> R & V) -> Cap.ValueRead<Frame<S,Store,R,E>,V>:
86  Cap.ValueRead{frame => resource_get(~S,~Store,~R,~E,~V,~project,frame)}