Index of types


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.