package incr_dom

  1. Overview
  2. Docs
package incr_dom
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Ui_time_source.PrivateSource

Sourceval flush : t -> unit

Users should not need to call this function, since it is managed by Bonsai. Triggers any alarms that have been enqueued.

Sourceval trigger_after_display : t -> unit

Users should not need to call this function, since it is managed by Bonsai. Triggers any wait_after_display effects that are waiting to run.

Sourceval has_after_display_events : t -> bool

Users should not need to call this function, since it is managed by Bonsai. Says whether there are any wait_after_display effects that are waiting to run.