def write

bendvy-ecs-core@0.1.0.4 · ordinary_owned_event_resource.bend:32

import Base
import bendvy-ecs-core@0.1.0.4/compose.bend as Q
import bendvy-ecs-core@0.1.0.4/capabilities.bend as Cap
import bendvy-ecs-core@0.1.0.4/ordinary_query_declaration.bend as Decl
import bendvy-ecs-core@0.1.0.4/ordinary_schema.bend as Schema
import bendvy-ecs-core@0.1.0.4/owned_event_storage.bend as Storage

32def write(~S:Data,~C:Type,~R:Type,~P:Type,~V:Data,~identity:Schema.Resource<S,R>,~view:R -> R & V) -> Decl.Declaration<S,Q.Frame<S,C,Storage.Resources<R,P>,Nat>,Cap.ValueWrite<Q.Frame<S,C,Storage.Resources<R,P>,Nat>,R,V>>:
33  Decl.Declaration{Cap.ValueWrite{read(~S,~C,~R,~P,~V,~view),set(~S,~C,~R,~P)},selected(~S,~C,~R,~P),[Decl.Clause{Schema.resource_key(~S,~R,identity),Decl.Write{}}]}