type Read

bendvy-ecs-core@0.1.0.4 · ordinary_resource_field_system.bend:13

import Base
import bendvy-ecs-core@0.1.0.4/ordinary_schema.bend as Schema
import bendvy-ecs-core@0.1.0.4/capabilities.bend as Cap

13# Descriptor identity is retained in each operation type, including equal payloads.
14# Identity-indexed selected-resource read grant for detached V and opaque H.
15# Equal payload types do not erase the retained resource identity.
16type Read<-S:Data,-P:Type,-identity:Schema.Resource<S,P>,-H:Type,-V:Data> is Type:
17  Read{operation:Cap.ValueRead<H,V>}