Index of modules


A
Array [Deferred]
Async_condition
Async.Condition is async's implementation of the standard notion of a "condition" variable, and is analogous to OCaml's Condition module.
Async_config [Std]
Async_gc
Async_or_error
This module is the deferred analog of Core.Or_error.
Async_stream
For most applications one should use Pipe instead of Stream.

B
Backpatched [Std]
Backpatched
A Backpatched value is either a simple value or a "hole", which may or may not have been filled.

C
Clock [Std]
Clock
Schedule jobs to run at a time in the future.
Condition [Std]
Config
Settings that globally affect the behavior of async.
Consumer [Pipe]

D
Debug [Throttle_debug]
Debug
Deferred [Std]
Deferred [Ivar]
The Deferred module exposed here is for async's internal use only.
Deferred [Deferred_intf]
Deferred
A deferred is a value that will become determined asynchronously.
Deferred_intf
Deferred_std
Direct [Raw_scheduler.T.Fields]
Direct [Execution_context.Fields]
Direct [Raw_monitor.Fields]

E
Event [Clock]
Events provide abortable versions of at and after.
Execution_context [Std]
Execution_context
Exported_for_scheduler [Monitor]

F
Fields [Raw_scheduler.T]
Fields [Execution_context]
Fields [Raw_monitor]
File_descr_watcher [Config]
Flushed_result [Pipe]

G
Gc [Std]

H
Handler [Std]
Handler
A handler is a continuation that captures the current async execution context.
Hole [Backpatched]

I
Import
Infix [Deferred]
Ivar [Std]
Ivar
An ivar is a write-once cell that can be empty or full (i.e.

J
Job
Jobs
A Jobs.t has a queue of jobs at each priority level.

K
Kill_index
A timestamp used to implement Monitor.kill.

L
Lazy_deferred [Std]
Lazy_deferred
A Lazy_deferred.t is a delayed computation that can produce a deferred.
List [Deferred]
List [Async_or_error]

M
Map [Deferred]
Monitor [Std]
Monitor [Raw_scheduler]
Monitor
A monitor is a context that determines what to do when there is an unhandled exception.
Monitor [Execution_context]

O
Option [Deferred]
Or_error [Std.Deferred]

P
Pipe [Std]
Pipe
A pipe is a buffered FIFO communication channel.
Poly [Import]
Pretty [Raw_monitor]
Print_debug_messages_for [Config]
Priority [Std]
Priority

Q
Queue [Deferred]

R
Raw_deferred
Raw_handler
Raw_ivar
Raw_monitor
Raw_scheduler
Raw_stream
Reader [Pipe]
Result [Deferred]

S
Scheduler
Sequencer [Throttle]
A sequencer is a throttle that is specialized to only allow one job at a time and to, by default, not continue on error.
Sequencer [Std]
Std
Stream [Tail]
Stream [Std]

T
T [Raw_scheduler]
T [Raw_handler]
T2 [Throttle]
We use a phantom type to distinguish between throttles, which have max_concurrent_jobs >= 1, and sequencers, which have max_concurrent_jobs = 1.
Tail
A tail is a pointer to the end of a stream that can be used to extend the stream.
Tail [Std]
Test
Throttle
Throttles to limit the number of concurrent computations.
Throttle [Std]
Throttle_debug
Throttle_unit_tests
This signature is here to remind us to update the unit tests whenever we change Throttle.

U
Unregister

W
Writer [Pipe]