~/jendhub

def runtime_position

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

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

168def runtime_position(position:Ev.Position) -> String:
169  match position:
170    case Ev.Position{id,cursor,registeredAt}:"Reader" ++ U32.show(id) ++ ":" ++ Nat.show(cursor) ++ ":" ++ Nat.show(registeredAt)

Uses (5)

Used by (1)