~/jendhub

def read_field

bendvy-ecs-core@0.1.0.4 · ordinary_inspector_resource.bend:16

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

16def read_field(~S:Data,~P:Type,~identity:Schema.Resource<S,P>,~H:Type,~V:Data,value:Read<S,P,identity,H,V>) -> H -> H & V:
17  match value:
18    case Read{operation}:Cap.value_read_field(~H,~V,operation)

Uses (4)

Used by (1)