~/jendhub

def write_ops

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

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

36# Operation-family alias for reading and replacing one declared field P.
37# Replacement consumes P; the enclosing resource and affine sibling owners stay
38# inside the opaque callback owner H.
39def write_ops(~S:Data,~P:Type,~identity:Schema.Resource<S,P>,~V:Data,H:Type) -> Type:
40  Field.Write<S,P,identity,H,V>

Uses (2)

Used by (1)