module Scheduler_dependent: functor (Scheduler : Import.Basic_scheduler) -> functor (Deferred : Raw
with type execution_context := Scheduler.Execution_context.t
with type ('a, 'execution_context) raw := ('a, 'execution_context) t) -> functor (Ivar : Raw
with type execution_context := Scheduler.Execution_context.t
with type ('a, 'execution_context) raw := ('a, 'execution_context) Raw_ivar.t) -> sig .. end
| Parameters: |
Scheduler |
: |
Import.Basic_scheduler
|
Deferred |
: |
Raw
with type execution_context := Scheduler.Execution_context.t
with type ('a, 'execution_context) raw := ('a, 'execution_context) t
|
Ivar |
: |
Raw
with type execution_context := Scheduler.Execution_context.t
with type ('a, 'execution_context) raw := ('a, 'execution_context) Raw_ivar.t
|
|
type 'a t = 'a Deferred.t
val create : ('a Ivar.t -> unit) -> 'a t
val peek : 'a t -> 'a option
val is_determined : 'a t -> bool
val return : 'a -> 'a t
val upon : 'a t -> ('a -> unit) -> unit
val upon' : 'a t -> ('a -> unit) -> Unregister.t
val bind : 'a t ->
('a -> 'b t) ->
'b t
val install_removable_handler : 'a t ->
('a, Scheduler.Execution_context.t) Raw_handler.t -> Unregister.t
include Raw
val sexp_of_t : ('a -> Sexplib.Sexp.t) ->
'a t -> Sexplib.Sexp.t