| Copyright | (c) Pierre-Étienne Meunier 2014 |
|---|---|
| License | GPL-3 |
| Maintainer | pierre-etienne.meunier@lif.univ-mrs.fr |
| Stability | experimental |
| Portability | All |
| Safe Haskell | None |
| Language | Haskell2010 |
Parry.Protocol
Description
This module contains all data types exchanged between the client
and the server, except for the initial "Hello" message, and is
mostly exposed for full disclosure of the protocol's proof.
- data ClientMessage j
- = GetJob Integer PublicKey
- | JobDone {
- clientId :: Integer
- jobResults :: [j]
- currentJob :: j
- | NewJobs {
- clientId :: Integer
- jobResults :: [j]
- currentJob :: j
- nextJob :: j
- newJobs :: [j]
- | Alive Integer
- data ServerMessage j
Documentation
data ClientMessage j Source
The type of messages sent by the client, exposed here for full disclosure of the protocol's proof.
Constructors
| GetJob Integer PublicKey | |
| JobDone | |
Fields
| |
| NewJobs | |
Fields
| |
| Alive Integer | |
Instances
| Show j => Show (ClientMessage j) | |
| Generic (ClientMessage j) | |
| Binary j => Binary (ClientMessage j) | |
| type Rep (ClientMessage j) |
data ServerMessage j Source
The type of messages sent by the server, exposed here for full disclosure of the protocol's proof.
Instances
| Show j => Show (ServerMessage j) | |
| Generic (ServerMessage j) | |
| Binary j => Binary (ServerMessage j) | |
| type Rep (ServerMessage j) |