Up
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
]