def with_query_rows

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

import bendvy-ecs-core@0.1.0.4/ordinary_reader_query_parameter.bend as OrdinaryReaderQueryParameter
import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
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

27def with_query_rows(~S:Data,~Store:Type,~R:Type,~P:Data,~F:Type,~H:Type,~Ops:Type,~V:Data,state:Mixed.State<S,P,F,H>,tick:Nat,observed:W.World<S,Store,R,Notice.Notice<S,P>> & (Unit & (Rows<S,V> & Unit))) -> Route.Runtime<S,Store,R,Notice.Notice<S,P>,Mixed.State<S,P,F,H>> & (Unit & (Rows<S,V> & Unit)):
28  match observed:
29    case (world,(owner,(rows,delta))):(Route.Runtime{world,state,tick},(owner,(rows,delta)))

Uses (9)

Used by (1)