def read_row

bendvy-ecs-core@0.1.0.3 · inspector_query_projection.bend:36

import Base
import inspector.bend as I
import world.bend as W

36def read_row(~S:Data,~Store:Type,~R:Type,~E:Data,~V:Data,~selection:Selection,target:W.Handle<S>,rows:List<&2,Row<S,V>>,continue:I.Frame<S,Store,R,E> -> List<&2,Row<S,V>> -> I.Frame<S,Store,R,E> & List<&2,Row<S,V>>,observed:I.Frame<S,Store,R,E> & I.Value<V>) -> I.Frame<S,Store,R,E> & List<&2,Row<S,V>>:
37  (frame,+value)=observed
38  continue(frame,included(~S,~V,accepts(~V,selection,value),Row{target,value},rows))