Module Events

module Events: sig .. end
Events is for keeping a set of events that need to happen in the future. One can add and remove events, and update the time to find out the events that need to happen.

module Event: sig .. end
type 'a t 
val invariant : 'a t -> unit
val create : now:Core.Std.Time.t -> 'a t
val iter : 'a t -> f:('a Event.t -> unit) -> unit
val is_empty : 'a t -> bool
val now : 'a t -> Core.Std.Time.t
val advance_clock : 'a t -> to_:Core.Std.Time.t -> [ `Not_in_the_future | `Ok of 'a list ]
advance_clock t ~to_ advances the clock to to_, and returns `Ok values, with values for all events in t with at <= to_.

advance_clock returns `Not_in_the_future if Time.(<=) to_ (now t)

val add : 'a t ->
at:Core.Std.Time.t -> 'a -> [ `Not_in_the_future | `Ok of 'a Event.t ]
add t ~at value adds a new event e to t with the specified value, and returns `Ok e. add returns `Not_in_the_future if Time.(<=) at (now t).
val remove : 'a t -> 'a Event.t -> [ `Not_present | `Removed ]
remove t event removes event from t and returns `Removed, if event is present in t, else it returns `Not_present.
val next_upcoming : 'a t -> 'a Event.t option
next_upcoming t returns the next upcoming event in t, if any.
val sexp_of_t : ('a -> Sexplib.Sexp.t) -> 'a t -> Sexplib.Sexp.t

advance_clock t ~to_ advances the clock to to_, and returns `Ok values, with values for all events in t with at <= to_.

advance_clock returns `Not_in_the_future if Time.(<=) to_ (now t)

add t ~at value adds a new event e to t with the specified value, and returns `Ok e. add returns `Not_in_the_future if Time.(<=) at (now t).

remove t event removes event from t and returns `Removed, if event is present in t, else it returns `Not_present.

next_upcoming t returns the next upcoming event in t, if any.