C | |
| connect_address [Uq_engines] |
Specifies the service to connect to:
|
| connect_options [Uq_engines] | |
| connect_status [Uq_engines] |
This type corresponds with
Uq_engines.connect_address: An engine
connecting with an address `X will return a status of `X.
|
| copy_task [Uq_engines] |
Specifies the task the
copier class has to do:
|
D | |
| datagram_type [Uq_engines] |
-
`Unix_dgram: Datagrams over Unix domain sockets `Inet_udp: Internet UDP protocol
|
E | |
| engine_state [Uq_engines] |
The type of states with result values of type
't: `Working n: The engine is working. The number n counts the number
of events that have been processed., `Done arg: The engine has completed its task without errors.
The argument arg is the result value of the engine, `Error exn: The engine has aborted because of an error. The
argument exn describes the error as an exception., `Aborted: The engine has aborted because the abort method
was called
|
| event [Unixqueue] |
An
event is triggered when the condition of an operation
becomes true, when a signal happens, or when the event is
(artificially) added to the event queue (add_event, below).
|
G | |
| group [Unixqueue] |
A group is an abstract tag for a set of events, resources, and
event handlers.
|
L | |
| listen_address [Uq_engines] |
Specifies the resource to listen on:
|
| listen_options [Uq_engines] | |
O | |
| operation [Unixqueue] |
An
operation specifies the condition to wait for.
|
R | |
| runner [Uq_gtk] | |
| runner [Uq_tcl] | |
S | |
| sockspec [Uq_engines] |
Extended names for socket addresses.
|
T | |
| t [Equeue] |
This is the type of an event system with events of type 'a
|
W | |
| wait_id [Unixqueue] |
A wait identifier is used to distinguish between several
timers, see type
operation.
|