def row_stamped

bendvy-ecs-core@0.1.0.3 · execution_query_interpreter.bend:160

import Base
import bendvy-ecs-core@0.1.0.3/chunk_query.bend as Row
import bendvy-ecs-core@0.1.0.3/execution_query.bend as Q
import bendvy-ecs-core@0.1.0.3/execution_effects.bend as Effects
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as L
import bendvy-ecs-core@0.1.0.3/world.bend as W
import bendvy-ecs-core@0.1.0.3/change_tick.bend as Tick
import bendvy-ecs-core@0.1.0.3/lifecycle.bend as Life
import bendvy-ecs-core@0.1.0.3/chunk_column.bend as Column
import bendvy-ecs-core@0.1.0.3/chunk_shape.bend as Part

160def row_stamped(~S:Data,~Permit:Data,~F:Type -> Type,~effects:Effects.Effects<F>,~full:L.Layout,~route:L.Route,~O:Type,~E:Data,~body:Q.SequentialGeneralBody(~S,~Permit,~F,~L.payload(full,route),~L.view(full,route),~O,~E),shape:Part.Shape,index:U32,+tick:Tick.Tick,prior:Maybe<&2,Tick.Tick>,mode:Q.Mode,handle:W.Handle<S>,view:L.view(full,route),output:O,errors:List<&2,Row.Error<E>>,next:Column.Column<S,L.stored(full,route)> -> O -> List<&2,Row.Error<E>> -> F(Column.Column<S,L.stored(full,route)> & (O & List<&2,Row.Error<E>>)),result:Column.Column<S,L.stored(full,route)> & Maybe<&2,Life.Stamp>) -> F(Column.Column<S,L.stored(full,route)> & (O & List<&2,Row.Error<E>>)):
161  match result:
162    case (column,stamp):row_allowed(~S,~Permit,~F,~effects,~full,~route,~O,~E,~body,shape,column,index,tick,handle,view,output,errors,next,filter_stamp(mode,prior,tick,stamp))