def read_value

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

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

26# Read detached V through the declared selected-field grant and return actual H.
27def read_value(~S:Data,~P:Type,~identity:Schema.Resource<S,P>,~H:Type,~V:Data,~cap:Read<S,P,identity,H,V>,owner:H) -> H & V:
28  read_field(~S,~P,~identity,~H,~V,cap)(owner)