def validate_relation

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

import Base
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

586def validate_relation(~S:Data,~C:Type,~R:Type,~P:Data,~F:Type,~H:Type,
587  ~declarations:List<&2,KDecl.Declaration<S>>,
588  context:Route.Runtime<S,C,R,Notice.Notice<S,P>,Mixed.State<S,P,F,H>>,
589  owner:RelationOwner<S,P>) -> Route.Runtime<S,C,R,Notice.Notice<S,P>,Mixed.State<S,P,F,H>> & (RelationOwner<S,P> & Bool):
590  match context owner:
591    case Route.Runtime{world,state,tick} RelationOwner{+facts,id,keys}:
592      relation_validated(~S,~C,~R,~P,~F,~H,~declarations,state,tick,facts,id,keys,
593        registered_context(~S,~C,~R,~Notice.Notice<S,P>,world,facts))