def read_live

bendvy-ecs-core@0.1.0.4 · relation_providers.bend:70

import Base
import world.bend as W
import capabilities.bend as Cap

70def read_live(-H: Type,-S: Data,caps: ReadOnly<H,S>,owner: H,target: W.Handle<S>) -> H & Maybe<&2,List<&2,W.Handle<S>>>:
71  match caps:
72    case ReadOnly{Cap.Request{get}}: get(owner,target)