def get_field

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

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

29# Advanced projection of the read operation from a selected-field write grant.
30def get_field(~S:Data,~P:Type,~identity:Schema.Resource<S,P>,~H:Type,~V:Data,cap:Write<S,P,identity,H,V>) -> H -> H & V:
31  match cap:
32    case Write{operation}:Cap.value_write_read_field(~H,~P,~V,operation)