~/jendhub

def read_ops

bendvy-ecs-core@0.1.0.4 · ordinary_app_resource_field_declaration.bend:31

import bendvy-ecs-core@0.1.0.4/ordinary_app_resource_field_declaration.bend as OrdinaryAppResourceFieldDeclaration
import Base
import bendvy-ecs-core@0.1.0.4/ordinary_resource_field_system.bend as Field
import bendvy-ecs-core@0.1.0.4/ordinary_schema.bend as Schema

31# Operation-family alias for reading one declared field as a Data view.
32# The resource identity remains in the grant type, so equal payload types do not
33# make distinct schema resource declarations interchangeable.
34def read_ops(~S:Data,~P:Type,~identity:Schema.Resource<S,P>,~V:Data,H:Type) -> Type:
35  Field.Read<S,P,identity,H,V>

Uses (2)

Used by (1)