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 .
|