module Scheduler_dependent: functor (Scheduler : Import.Basic_scheduler) -> functor (Ivar : Raw
with type execution_context := Scheduler.Execution_context.t
with type ('a, 'execution_context) raw := ('a, 'execution_context) ivar) -> sig .. end
| Parameters: |
Scheduler |
: |
Import.Basic_scheduler
|
Ivar |
: |
Raw
with type execution_context := Scheduler.Execution_context.t
with type ('a, 'execution_context) raw := ('a, 'execution_context) ivar
|
|
type 'a t = 'a Ivar.t
val equal : 'a t ->
'a t -> bool
val create : unit -> 'a t
val create_full : 'a -> 'a t
val peek : 'a t -> 'a option
val is_empty : 'a t -> bool
val is_full : 'a t -> bool
val connect : bind_result:'a t ->
bind_rhs:'a t -> unit
val fill : 'a t -> 'a -> unit
val install_removable_handler : 'a t ->
('a, Scheduler.Execution_context.t) Raw_handler.t -> Unregister.t
val upon : 'a t -> ('a -> unit) -> unit
val upon' : 'a t -> ('a -> unit) -> Unregister.t
include Raw
val sexp_of_t : ('a -> Sexplib.Sexp.t) -> 'a t -> Sexplib.Sexp.t