def runtime_text_u32

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

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

171# Format a detached U32 RuntimeView only; no runtime access, cursor movement or IO.
172def runtime_text_u32(view:Maybe<&2,RuntimeView<U32>>) -> String:
173  match view:
174    case None{}:"runtime=None"
175    case Some{RuntimeView{namespace,batches,positions,nextReader,tick,frameStart,boundary,capacity,dropped,log}}:"runtime=namespace:" ++ U32.show(namespace) ++ ";batches:" ++ List.show(~&2,~Ev.Batch<U32>,~runtime_batch_u32,batches) ++ ";readers:" ++ List.show(~&2,~Ev.Position,~runtime_position,positions) ++ ";nextReader:" ++ U32.show(nextReader) ++ ";tick:" ++ Nat.show(tick) ++ ";frameStart:" ++ Nat.show(frameStart) ++ ";boundary:" ++ Nat.show(boundary) ++ ";capacity:" ++ Nat.show(capacity) ++ ";droppedThrough:" ++ Nat.show(dropped) ++ ";log:" ++ List.show(~&2,~U32,~U32.show,log)