def runtime_batch_u32

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

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

165def runtime_batch_u32(batch:Ev.Batch<U32>) -> String:
166  match batch:
167    case Ev.Batch{tick,values}:Nat.show(tick) ++ ":" ++ List.show(~&2,~U32,~U32.show,values)

Uses (7)

Used by (1)