def write

bendvy-ecs-core@0.1.0.4 · ordinary_app_resource_declaration.bend:34

import Base
import bendvy-ecs-core@0.1.0.4/ordinary_resource_system.bend as P
import bendvy-ecs-core@0.1.0.4/ordinary_schema.bend as Schema
import bendvy-ecs-core@0.1.0.4/world.bend as W

34# Declare read and whole-owner replacement access to schema resource R.
35# Uses the same projection/rendering contract as read. Replacements made through
36# the operational grant use the ordinary transaction journal: a failed system
37# restores the old resource. This declaration does not execute a system or grant
38# rollback for arbitrary host IO or effects outside those operations.
39def write(~S:Data,~C:Type,~R:Type,~E:Data,~V:Data,~project:R -> R & V,~render:V -> String,identity:Schema.Resource<S,R>) -> Declaration<S,C,R,E,write_ops(~R,~V),V>:
40  Declaration{P.write(~S,~C,~R,~E,~V,~project,identity),W.observe_resource(~S,~C,~R,~E,~V,~project),render}