package sel

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

Module Sel.EventSource

The type of events and operations (setting priority, cancelling, ...)

Sourcetype 'a t
Sourceval pp : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a t -> unit

pretty printer

Sourceval map : ('a -> 'b) -> 'a t -> 'b t

inject an event into another one

Sourceval name : string -> 'a t -> 'a t

for debug printing

Sourceval recurring : 'a t -> 'a t

a recurrent event is never removed from the todo set, that is, when ready a copy of it is added back automatically

Sourceval at_priority : int -> 'a t -> 'a t

lower integers correspond to high priorities (as in Unix nice)

Sourcetype cancellation_handle
Sourceval get_cancellation_handle : 'e t -> cancellation_handle

in order to cancel an event, one has to store its cancellation handle

Sourceval cancel : cancellation_handle -> unit

a cancelled event is automatically removed from the todo set