def relation_initialized_id

bendvy-ecs-core@0.1.0.4 · ordinary_reader_stream_parameter.bend:693

import Base
import bendvy-ecs-core@0.1.0.4/reader_parameter.bend as RP
import bendvy-ecs-core@0.1.0.4/event_family_routing.bend as Route
import bendvy-ecs-core@0.1.0.4/event_notice_runtime.bend as Mixed
import bendvy-ecs-core@0.1.0.4/relation_commands.bend as Notice
import bendvy-ecs-core@0.1.0.4/relation_failure_reader.bend as KDecl

693def relation_initialized_id(~S:Data,~C:Type,~R:Type,~P:Data,~F:Type,~H:Type,
694  ~declarations:List<&2,KDecl.Declaration<S>>,
695  context:Route.Runtime<S,C,R,Notice.Notice<S,P>,Mixed.State<S,P,F,H>>,
696  facts:RP.RegistrationFacts,id:Maybe<&2,U32>) -> Route.Runtime<S,C,R,Notice.Notice<S,P>,Mixed.State<S,P,F,H>> & (RelationOwner<S,P> & RP.Param<Route.Runtime<S,C,R,Notice.Notice<S,P>,Mixed.State<S,P,F,H>>,RelationOwner<S,P>,RelationView<S,P>,RelationDelta,
697  validate_relation(~S,~C,~R,~P,~F,~H,~declarations),prepare_relation(~S,~C,~R,~P,~F,~H,~declarations),commit_relation(~S,~C,~R,~P,~F,~H),release_relation(~S,~C,~R,~P,~F,~H)>):
698  (context,(RelationOwner{facts,id,KDecl.keys(~S,declarations)},relation_param(~S,~C,~R,~P,~F,~H,declarations)))