def write_clock

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

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

79# Stamp a canonical write with its captured execution tick or a new direct-edit tick.
80def write_clock(~S:Data,~C:Type,~R:Type,~E:Data,world:World<S,C,R,E>) -> World<S,C,R,E> & Tick.Tick:
81  match world:
82    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.write(clock),lifecycle)

Uses (5)

Used by (2)