def validate_context

bendvy-ecs-core@0.1.0.4 · ordinary_reader_query_parameter.bend:23

import Base
import bendvy-ecs-core@0.1.0.4/ordinary_query_observable.bend as Observable
import bendvy-ecs-core@0.1.0.4/compose.bend as FrameQuery
import bendvy-ecs-core@0.1.0.4/inspector.bend as Inspector
import bendvy-ecs-core@0.1.0.4/relation_commands.bend as Notice
import bendvy-ecs-core@0.1.0.4/event_notice_runtime.bend as Mixed
import bendvy-ecs-core@0.1.0.4/event_family_routing.bend as Route

23def validate_context(~S:Data,~Store:Type,~R:Type,~P:Data,~F:Type,~H:Type,~Ops:Type,~V:Data,~declaration:Observable.Declaration<S,FrameQuery.Frame<S,Store,R,Notice.Notice<S,P>>,Ops,Inspector.Frame<S,Store,R,Notice.Notice<S,P>>,V>,context:Route.Runtime<S,Store,R,Notice.Notice<S,P>,Mixed.State<S,P,F,H>>,owner:Unit) -> Route.Runtime<S,Store,R,Notice.Notice<S,P>,Mixed.State<S,P,F,H>> & (Unit & Bool):
24  match context:
25    case Route.Runtime{world,state,tick}:(Route.Runtime{world,state,tick},(owner,True{}))