Index of types


C
choice [Deferred]
choice is used to produce an argument to enabled or choose.

D
deferred [Ivar]
deferred [Raw_deferred]
detailed [Ivar]
detailed [Deferred]
detailed [Raw_ivar.Scheduler_dependent]
detailed [Raw_deferred.Scheduler_dependent]

H
how [Deferred_intf]

I
ivar [Raw_ivar]

N
next [Raw_async_stream]
next [Raw_stream]
next [Async_stream]
next_ [Raw_async_stream]
next_ [Async_stream]
next t returns a deferred that will become determined when the next part of the stream is determined.

O
one [Raw_monitor.Pretty]
outcome [Throttle]

P
phantom [Pipe.Reader]
phantom [Pipe.Writer]
pipe [Pipe]

S
state [Raw_clock_event.T]

T
t [Unregister]
t [Throttle.Sequencer]
t [Throttle.Job]
t [Throttle]
t [Tail]
t [Raw_handler.T]
t [Raw_async_stream]
t [Priority]
t [Pipe.Reader]
t [Pipe.Writer]
t [Pipe]
t [Monitor]
t [Jobs.Priority]
t [Jobs]
t [Job]
t [Ivar]
t [Import.Basic_scheduler.Execution_context]
t [Handler]
t [Events.Event]
t [Events]
t [Deferred_intf.Deferred_map]
t [Deferred_intf.Deferred_sequence]
t [Deferred_intf.Deferred]
t [Deferred]
A deferred is a value that will become determined asynchronously.
t [Raw_scheduler.T]
t [Raw_clock_event.T]
t [Raw_monitor.Pretty]
t [Raw_stream]
t [Raw_ivar.Scheduler_dependent]
t [Raw_ivar.Handler]
t [Raw_ivar]
t [Raw_deferred.Scheduler_dependent]
t [Raw_deferred]
t [Raw_tail]
t [Raw_monitor]
t [Execution_context]
t [Clock_event]
t [Clock.Event]
t [Block_group.Work]
t [Block_group]
t [Async_stream]
tail [Raw_scheduler]

W
waiting [Raw_clock_event.T]
with_options [Scheduler]
with_options [Monitor.Exported_for_scheduler]