| Async_condition |
Async's implementation of the standard notion of a "condition" variable.
|
| Async_gc |
Async's analog of
Core.Gc.
|
| Async_or_error |
The deferred analog of
Core.Or_error.
|
| Async_stream |
An immutable sequence of values, with a possibly incomplete tail that may be extended
asynchronously.
|
| Clock |
Schedule jobs to run at a time in the future.
|
| Config |
Settings that globally affect the behavior of async.
|
| Debug |
Internal async debugging functions.
|
| Deferred |
A value that will become determined asynchronously.
|
| Deferred_intf |
default
how is `Sequential
|
| Deferred_std | |
| Deferred_unit_tests | |
| Execution_context |
The context in which an async job runs.
|
| Handler |
A continuation that captures the current async execution context.
|
| Import | |
| Ivar |
A write-once cell that can be empty or full (i.e.
|
| Job |
Internal to async -- an atomic unit of work to be run by the scheduler.
|
| Jobs |
Internal to async -- queues of jobs to run, one at each priority level.
|
| Kill_index |
Internal to async -- a timestamp used to implement
Monitor.kill.
|
| Lazy_deferred |
A delayed computation that can produce a deferred.
|
| Monitor |
The part of the
Execution_context that determines what to do when there is an
unhandled exception.
|
| Monitor_unit_tests | |
| Pipe |
A buffered FIFO communication channel.
|
| Priority |
The priority of a job.
|
| Raw_deferred |
Internal to async -- see
Deferred for the public API.
|
| Raw_handler | |
| Raw_ivar |
Internal to async -- see
Ivar for the public API.
|
| Raw_monitor | |
| Raw_scheduler | |
| Raw_stream | |
| Scheduler |
Internal to async -- see
Async_unix.Scheduler for the public API.
|
| Std | |
| Tail |
A pointer to the end of an
Async_stream that can be used to extend the stream.
|
| Test |
Nothing here.
|
| Throttle |
A way to limit the number of concurrent computations.
|
| Throttle_debug |
Debugging for
Throttle.
|
| Throttle_unit_tests |
This signature is here to remind us to update the unit tests whenever we change
Throttle.
|