def read

bendvy-ecs-core@0.1.0.4 · ordinary_app_resource_declaration.bend:27

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

27# Declare read access using a schema-bound resource identity and projection.
28# project threads R back with a Data view V; render formats that view for App
29# observation. The returned declaration is setup data, not a live resource read.
30# The observation path also threads the World; it does not imply that an
31# arbitrary user projector is pure or can be undone automatically.
32def 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>:
33  Declaration{P.read(~S,~C,~R,~E,~V,~project,identity),W.observe_resource(~S,~C,~R,~E,~V,~project),render}