Async_stream
For most applications one should use Pipe instead of Stream.
Block_group
Clock
Clock includes functions to create deferreds that become determined at a certain time.
Clock_event
Debug
When RECORD_ASYNC_BACKTRACES is set, the Async scheduler records a backtrace everytime it schedules a job, and will include the backtrace history in any exceptions raised to monitors, and in particular, in an unhandled exception that reaches the main monitor.
Deferred
A deferred is a value that will become determined asynchronously.
Deferred_intf
Deferred_std
Events
Events is for keeping a set of events that need to happen in the future.
Execution_context
Handler
A handler is a continuation that captures the current async execution context.
Import
Ivar
An ivar is a write-once cell that can be empty or full (i.e.
Job
Jobs
length t returns the number of waiting jobs
Monitor
A monitor is a context that determines what to do when there is an unhandled exception.
Pipe
A pipe is a buffered FIFO communication channel.
Priority
Raw_async_stream
Raw_clock_event
Raw_deferred
Raw_handler
Raw_ivar
Raw_monitor
Raw_scheduler
Raw_stream
Raw_tail
Scheduler
Std
Tail
A tail is a pointer to the end of a stream that can be used to extend the stream.
Test
Throttle
Throttles for simultaneous computations.
Unregister