~/jendhub

def read_ops

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

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

18# Operation-family alias for whole-resource read access to a Data view V.
19# The callback receives an opaque owner H; the grant cannot replace Resources.
20def read_ops(~V:Data,H:Type) -> Type:
21  Cap.ValueRead<H,V>

Uses (1)

Used by (1)