~/jendhub

def write_ops

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

import bendvy-ecs-core@0.1.0.4/ordinary_app_resource_declaration.bend as OrdinaryAppResourceDeclaration
import Base
import bendvy-ecs-core@0.1.0.4/capabilities.bend as Cap

22# Operation-family alias for whole-resource read/replacement access.
23# A write consumes a replacement R, which may contain affine Type payloads;
24# this is not the narrower grant for replacing a single resource field.
25def write_ops(~R:Type,~V:Data,H:Type) -> Type:
26  Cap.ValueWrite<H,R,V>

Uses (1)

Used by (1)