Documentation

The value level equivalent of StBlockingStyle.

This is also used in MsgTraceObjectsRequest where it is interpreted (and can be encoded) as a Bool with True for blocking, and False for non-blocking.

The messages for this protocol. It is expected to be a GADT that is indexed by the from and to protocol states. That is the protocol state the message transitions from, and the protocol state it transitions into. These are the edges of the protocol state transition system.

Tokens for those protocol states in which the client has agency.

Tokens for those protocol states in which the server has agency.

Tokens for terminal protocol states in which neither the client nor server has agency.

A kind to identify our protocol, and the types of the states in the state transition diagram of the protocol.

IMPORTANT NOTE: the following terminology is used:

1. From the protocol's point of view, two peers talk to each other: the forwarder and the acceptor.
2. The forwarder is an application that collects TraceObjects and sends them to the acceptor by request (with MsgTraceObjectsReply).
3. The acceptor is an application that receives TraceObjects from the forwarder.
4. You can think of the acceptor as a client, and the forwarder as a server. After the connection is established, the acceptor asks for TraceObjects, the forwarder replies to it.

The acceptor will send this request to the forwarder.

We have requests for lists of things. In the blocking case the corresponding reply must be non-empty, whereas in the non-blocking case an empty reply is fine.