def observe_position

bendvy-ecs-core@0.1.0.4 · machine_stream.bend:35

import Base
import machine.bend as M
import event_runtime.bend as Ev

35def observe_position(~V: Data,position: Maybe<Ev.Position>,batches: List<&2,Ev.Batch<M.Transition<V>>>,dropped: Nat,id: U32,tick: Nat) -> Ev.Reading<M.Transition<V>>:
36  match position:
37    case None{}: Ev.reading(~M.Transition<V>,Ev.Position{id,0n,tick},batches,dropped)
38    case Some{position}: Ev.reading(~M.Transition<V>,position,batches,dropped)