~/jendhub

def read_field

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

import bendvy-ecs-core@0.1.0.4/ordinary_resource_field_system.bend as OrdinaryResourceFieldSystem
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

22# Advanced projection of the closed read operation, without invoking it.
23def read_field(~S:Data,~P:Type,~identity:Schema.Resource<S,P>,~H:Type,~V:Data,cap:Read<S,P,identity,H,V>) -> H -> H & V:
24  match cap:
25    case Read{operation}:Cap.value_read_field(~H,~V,operation)

Uses (4)

Used by (1)