~/jendhub

def value_read_field

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

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

76# Advanced setup projection extracting the closed operation from its grant.
77# Does not invoke it, access World or grant capabilities beyond that value.
78def value_read_field(~H: Type,~V: Data,cap: ValueRead<H,V>) -> H -> H & V:
79  match cap:
80    case ValueRead{get}: get

Uses (2)

Used by (1)