Inspector.read_resource: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/inspector.bend as Inspector
Lines 82-86 of bendvy-ecs-core@0.1.0.3/inspector.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/inspector.bend&start_line=82&end_line=86

import Base
import capabilities.bend as Cap

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

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/capabilities.bend&name=ValueRead
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/inspector.bend&name=Frame
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/inspector.bend&name=resource_get