Module Ui_time_sourceSource

Sourcemodule Incr = Ui_incr
Sourcemodule Effect = Ui_effect
Sourcetype t

A clock that supports both incremental operations and also alarms.

Sourceval create : start:Core.Time_ns.t -> t

Creates a new clock starting at the specified time.

Sourceval incr_clock : t -> Incr.Clock.t

Pulls out the Incremental clock within the Bonsai clock. You should avoid this function if possible; if the interface in this module does not have an incremental function you need, then we can add it.

Sourceval advance_clock_by : t -> Core.Time_ns.Span.t -> unit

Moves the current time forward by a time span; any alarms are enqueued instead of triggered.

Sourceval advance_clock : t -> to_:Core.Time_ns.t -> unit

Moves the current time forward to a specific instant; any alarms are enqueued instead of triggered.

Sourceval now : t -> Core.Time_ns.t

The current time.

Sourceval watch_now : t -> Core.Time_ns.t Incr.t

An incremental view on the current time.

Sourceval at_intervals : t -> Core.Time_ns.Span.t -> unit Incr.t

A unit value that will trigger every specified time span.

An value that switches from Before to After at the specified instant.

Sourceval until : t -> Core.Time_ns.t -> unit Effect.t

An effect that waits to complete until the clock reaches the specified instant.

Sourceval sleep : t -> Core.Time_ns.Span.t -> unit Effect.t

An effect that waits to complete until the clock advances by the specified time span.

Sourceval wait_after_display : t -> unit Effect.t

An effect that waits to complete until the next after_display lifecycle is run.

Sourcemodule Private : sig ... end