type RuntimeView

bendvy-ecs-core@0.1.0.4 · ordinary_app_event_runtime.bend:148

import Base
import bendvy-ecs-core@0.1.0.4/event_runtime.bend as Ev

148# Descriptive values only. Position.id is the actual Reader ID, not a Registry ID.
149# Detached debug view of Data batches, actual reader positions and World event
150# log. Reader position ids are not registry ids; this is not a restorable checkpoint.
151type RuntimeView<E:Data> is Data:
152  RuntimeView{namespace:U32,batches:List<&2,Ev.Batch<E>>,positions:List<&2,Ev.Position>,nextReader:U32,tick:Nat,frameStart:Nat,boundary:Nat,capacity:Nat,droppedThrough:Nat,log:List<&2,E>}