Index of types


A
at_fail_chan [JoinHelper]
Type of channels receiving () on failure of a site.

C
chan [Join]
The type of asynchronous channels carrying values of type 'a.
client_data [JoinMapRed.Problem]
The type of client data (that is value computed at startup).
collection [JoinPool.Shared.S]
Collection
configuration [JoinHelper]
Type of configuration for either client or server.

D
debug [Join]
The type of the argument of Join.debug

E
elt [JoinPool.Shared.Enumerable]
Elements in the collection
elt [JoinPool.Shared.S]
Element from a collection
enum [JoinPool.Shared.Enumerable]
Explicit state.
enum [JoinPool.Simple]
Enumerations iterate over values in a functional way; 'a is the type of the enumeration state, while 'b is the type of the enumeration elements.
error [JoinHelper]
Error report

F
fork_args [JoinHelper]
Type of arguments passed to forked clients.

I
init [JoinMapRed.Problem]
The type of data sent by server to clients at startup.
init [JoinMapRed.S]
The type of data sent by server to clients at startup.
input [JoinMapRed.Problem]
The type of input values passed to client agents.
input [JoinMapRed.S]
The type of input values passed to agents.
interruptible_worker [JoinPool.Shared]
Workers that can be aborted asynchronously

K
key [JoinMapRed.Problem]
The type of keys returned by client agents.
key [JoinCount.Monitor]
Type for identifiers of pending computations.
kill [JoinPool.Shared]
To abort given subtask

L
lookup_function [JoinHelper]
Type of functions accessing a name service to retrieve the value associated with a name.

O
output [JoinMapRed.Problem]
The type of overall result.
output [JoinMapRed.S]
The type of overall result.

P
producer [JoinTextProc.Async]
Producers of text lines

R
result [JoinTextProc.Sync]

S
subtask_id [JoinPool.Shared]
Subtask identifier

T
t [JoinTextProc.Sync]
t [JoinTextProc.Async]
Notice that out or err above can be empty producers when child process channels redirection is not commanded.
t [JoinPool.Shared.Enumerable]
Collection
t [JoinPool.Shared.S]
Pools dispatch computations among registered agents, re-issuing pending tasks if agents do not send computation outcomes.
t [JoinPool.Simple]
Pools dispatch computations among registered agents, re-issuing pending tasks if agents do not send computation outcomes.
t [JoinFifo.S]
t [JoinFifo]
t [JoinCount.Monitor]
Monitiors are enhancements of dynamic collectors adding the ability to access the list of pending computations.
t [JoinCount.Dynamic]
Dynamic collectors are refinement of simple collectors, for which the number of events to collect need not be given in advance.
t [JoinCount.Collector]
Type of collectors.
t [JoinCount.Down]
t [JoinCom.C]
t [JoinCom.P]
t [Join.Ns]
Abstract type for the name service.
t [Join.Site]
The type of site identities.
text [JoinTextProc.Sync]
Text is a list of lines

V
value [JoinMapRed.Problem]
The type of values returned by client agents.

W
worker [JoinPool.Shared]
Standard workers