type ValueWrite

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

import Base

23# Read/replace capability for a Data view V and potentially affine input C.
24# set consumes C and returns H; no automatic refusal receipt is added here.
25type ValueWrite<-H: Type,-C: Type,-V: Data> is Type:
26  ValueWrite{get: H -> H & V,set: H -> C -> H}