Index of modules


A
Array [Deferred]
Async_stream
For most applications one should use Pipe instead of Stream.

B
Block_group

C
Clock [Std]
Clock
Clock includes functions to create deferreds that become determined at a certain time.
Clock_event [Raw_scheduler]
Clock_event

D
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 [Std]
Deferred [Deferred_intf]
Deferred
A deferred is a value that will become determined asynchronously.
Deferred [Raw_stream]
Deferred [Raw_tail]
Deferred_intf
Deferred_std
Direct [Execution_context.Fields]
Direct [Raw_monitor.Fields]

E
Event [Events]
Event [Clock]
Events provide a way to "abort" at and after requests.
Events
Events is for keeping a set of events that need to happen in the future.
Execution_context [Std]
Execution_context [Import.Basic_scheduler]
Execution_context
Execution_context [Raw_scheduler]
Exported_for_scheduler [Monitor]

F
Fields [Execution_context]
Fields [Raw_monitor]

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

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

J
Job [Throttle]
Job
Jobs
length t returns the number of waiting jobs

L
List [Deferred]

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

P
Pipe [Std]
Pipe
A pipe is a buffered FIFO communication channel.
Pretty [Raw_monitor]
Priority [Std]
Priority
Priority [Jobs]

Q
Queue [Deferred]

R
Raw_async_stream
Raw_clock_event
Raw_deferred
Raw_handler
Raw_ivar
Raw_monitor
Raw_scheduler
Raw_stream
Raw_tail
Reader [Pipe]

S
Scheduler
Scheduler [Clock_event]
Scheduler_dependent [Raw_ivar]
Scheduler_dependent [Raw_deferred]
Sequencer [Std]
Sequencer [Throttle]
A sequencer is a throttle that is:
Std
Stream [Std]
Stream [Raw_tail]

T
T [Raw_handler]
T [Raw_scheduler]
T [Raw_clock_event]
Tail
A tail is a pointer to the end of a stream that can be used to extend the stream.
Tail [Std]
Tail [Raw_scheduler]
Tail [Raw_monitor]
Test
Throttle
Throttles for simultaneous computations.
Throttle [Std]

U
Unregister

W
Work [Block_group]
Writer [Pipe]