def resource_write

bendvy-ecs-core@0.1.0.4 · compose.bend:95

import Base
import capabilities.bend as Cap

95# Build whole-resource read/replacement grants, not a selected-field permission.
96# Type R remains owned by the transaction or inverse journal, not copied to V.
97def resource_write(~S: Data,~Store: Type,~R: Type,~E: Data,~V: Data,~project: R -> R & V) -> Cap.ValueWrite<Frame<S,Store,R,E>,R,V>:
98  Cap.ValueWrite{resource_get(~S,~Store,~R,~E,~V,~project),resource_set(~S,~Store,~R,~E)}