~/jendhub

def advance_clock

bendvy-ecs-core@0.1.0.3 · world.bend:74

import bendvy-ecs-core@0.1.0.3/world.bend as World
import Base
import bendvy-ecs-core@0.1.0.3/change_tick.bend as Tick
import bendvy-ecs-core@0.1.0.3/clock_state.bend as Clock

74# Explicit direct/deferred time boundary; this is not system admission.
75def advance_clock(~S:Data,~C:Type,~R:Type,~E:Data,world:World<S,C,R,E>) -> World<S,C,R,E> & Tick.Tick:
76  match world:
77    case World{namespace,allocator,store,resource,events,pending,registrations,nextSystemId,clock,lifecycle}:clock_returned(~S,~C,~R,~E,namespace,allocator,store,resource,events,pending,registrations,nextSystemId,Clock.advance(clock),lifecycle)

Uses (5)

Used by (1)