~/jendhub

def read_field

bendvy-ecs-core@0.1.0.3 · capabilities.bend:47

import bendvy-ecs-core@0.1.0.3/capabilities.bend as Capabilities
import Base
import component.bend as Cmp

47# Advanced setup projection extracting the closed operation from its grant.
48# Does not invoke it, access World or grant capabilities beyond that value.
49def read_field(~H: Type,~V: Data,cap: Read<H,V>) -> H -> H & Cmp.Access<V>:
50  match cap:
51    case Read{get}: get

Uses (3)

Used by (1)