hjugement-protocol-0.0.8.20191027: A cryptographic protocol for the Majority Judgment. (Index - D)

hjugement-protocol-0.0.8.20191027: A cryptographic protocol for the Majority Judgment.

A
B
C
D
E
F
G
H
I
J
K
M
N
O
P
Q
R
S
T
U
V
W
Z
*
+
/
^
-
All

Index - D

decodeBigEndian	Voting.Protocol.Arith, Voting.Protocol
DecryptionFactor	Voting.Protocol.Tally, Voting.Protocol
DecryptionShare
1 (Type/Class)	Voting.Protocol.Tally, Voting.Protocol
2 (Data Constructor)	Voting.Protocol.Tally, Voting.Protocol
DecryptionShareCombinator	Voting.Protocol.Tally, Voting.Protocol
decryptionShareStatement	Voting.Protocol.Tally, Voting.Protocol
DisjProof
1 (Type/Class)	Voting.Protocol.Election, Voting.Protocol
2 (Data Constructor)	Voting.Protocol.Election, Voting.Protocol
Disjunction	Voting.Protocol.Election, Voting.Protocol