OrdinaryAppResourceDeclaration.read: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/ordinary_app_resource_declaration.bend as OrdinaryAppResourceDeclaration
Lines 27-33 of bendvy-ecs-core@0.1.0.4/ordinary_app_resource_declaration.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_app_resource_declaration.bend&start_line=27&end_line=33

import Base
import bendvy-ecs-core@0.1.0.4/ordinary_resource_system.bend as P
import bendvy-ecs-core@0.1.0.4/ordinary_schema.bend as Schema
import bendvy-ecs-core@0.1.0.4/world.bend as W

# Declare read access using a schema-bound resource identity and projection.
# project threads R back with a Data view V; render formats that view for App
# observation. The returned declaration is setup data, not a live resource read.
# The observation path also threads the World; it does not imply that an
# arbitrary user projector is pure or can be undone automatically.
def read(~S:Data,~C:Type,~R:Type,~E:Data,~V:Data,~project:R -> R & V,~render:V -> String,identity:Schema.Resource<S,R>) -> Declaration<S,C,R,E,read_ops(~V),V>:
  Declaration{P.read(~S,~C,~R,~E,~V,~project,identity),W.observe_resource(~S,~C,~R,~E,~V,~project),render}

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_app_resource_declaration.bend&name=Declaration
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_app_resource_declaration.bend&name=read_ops
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_resource_system.bend&name=read
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_schema.bend&name=Resource
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world.bend&name=observe_resource