type ReadAccess

bendvy-ecs-core@0.1.0.4 · event_runtime.bend:347

import Base

347# Gameplay receives only a closed capability over an abstract affine owner.
348# Closed read capability over opaque H returning detached Reading<E>. The bound
349# operation defines lifecycle behavior; raw adapters remain trusted setup.
350type ReadAccess<H: Type,E: Data,-observe: H -> H & Reading<E>> is Data:
351  ReadAccess{}