type Write

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

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

18# Identity-indexed selected-resource read/replacement grant. Consumes actual P
19# while siblings remain behind the canonical lens; no incoming recovery receipt.
20type Write<-S:Data,-P:Type,-identity:Schema.Resource<S,P>,-H:Type,-V:Data> is Type:
21  Write{operation:Cap.ValueWrite<H,P,V>}