Compose.resource_write: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/compose.bend as Compose
Lines 95-98 of bendvy-ecs-core@0.1.0.4/compose.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/compose.bend&start_line=95&end_line=98

import Base
import capabilities.bend as Cap

# Build whole-resource read/replacement grants, not a selected-field permission.
# Type R remains owned by the transaction or inverse journal, not copied to V.
def 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>:
  Cap.ValueWrite{resource_get(~S,~Store,~R,~E,~V,~project),resource_set(~S,~Store,~R,~E)}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/capabilities.bend&name=ValueWrite
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/compose.bend&name=Frame
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/compose.bend&name=resource_get
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/compose.bend&name=resource_set