~/jendhub

def write_read_field

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

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

52# Advanced setup projection extracting the closed operation from its grant.
53# Does not invoke it, access World or grant capabilities beyond that value.
54def write_read_field(~H: Type,~C: Type,~V: Data,cap: Write<H,C,V>) -> H -> H & Cmp.Access<V>:
55  match cap:
56    case Write{get,_}: get

Uses (3)

Used by (1)