type Write

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

import Base
import component.bend as Cmp

10# Component read/replacement capability. set consumes payload C and returns
11# H; it does not itself return rejected C. The bound operation defines error
12# recording and rollback. Raw constructors are trusted operation adapters.
13type Write<-H: Type,-C: Type,-V: Data> is Type:
14  Write{get: H -> H & Cmp.Access<V>,set: H -> C -> H}