Module LTerm_widget_callbacksSource

Sourcetype switch

Switches are used to stop signals.

Sourcetype 'a callbacks
Sourceval create : unit -> 'a callbacks
Sourceval register : switch option -> 'a callbacks -> 'a -> unit
Sourceval stop : switch -> unit
Sourceval exec_callbacks : ('a -> unit) callbacks -> 'a -> unit

apply_callbacks callbacks x

Sourceval exec_filters : ('a -> bool) callbacks -> 'a -> bool