package incr_dom
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=a3a9ef135edd2039b5e771dfd9461ff2bbae55e2611af0e81c9577898314a76f
doc/incr_dom.ui_time_source/Ui_time_source/index.html
Module Ui_time_source
Source
A clock that supports both incremental operations and also alarms.
Creates a new clock starting at the specified time.
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.
Moves the current time forward by a time span; any alarms are enqueued instead of triggered.
Moves the current time forward to a specific instant; any alarms are enqueued instead of triggered.
The current time.
An incremental view on the current time.
A unit value that will trigger every specified time span.
An value that switches from Before
to After
at the specified instant.
An effect that waits to complete until the clock reaches the specified instant.
An effect that waits to complete until the clock advances by the specified time span.
An effect that waits to complete until the next after_display
lifecycle is run.