Index
| * | Voting.Protocol.Arithmetic, Voting.Protocol |
| + | Voting.Protocol.Arithmetic, Voting.Protocol |
| - | Voting.Protocol.Arithmetic, Voting.Protocol |
| / | Voting.Protocol.Arithmetic, Voting.Protocol |
| Additive | Voting.Protocol.Arithmetic, Voting.Protocol |
| Answer | |
| 1 (Type/Class) | Voting.Protocol.Election, Voting.Protocol |
| 2 (Data Constructor) | Voting.Protocol.Election, Voting.Protocol |
| answer_opinions | Voting.Protocol.Election, Voting.Protocol |
| answer_sumProof | Voting.Protocol.Election, Voting.Protocol |
| Ballot | |
| 1 (Type/Class) | Voting.Protocol.Election, Voting.Protocol |
| 2 (Data Constructor) | Voting.Protocol.Election, Voting.Protocol |
| ballot_answers | Voting.Protocol.Election, Voting.Protocol |
| ballot_election_hash | Voting.Protocol.Election, Voting.Protocol |
| ballot_election_uuid | Voting.Protocol.Election, Voting.Protocol |
| ballot_signature | Voting.Protocol.Election, Voting.Protocol |
| BeleniosParams | Voting.Protocol.Arithmetic, Voting.Protocol |
| booleanDisjunctions | Voting.Protocol.Election, Voting.Protocol |
| bytesNat | Voting.Protocol.Arithmetic, Voting.Protocol |
| Challenge | Voting.Protocol.Election, Voting.Protocol |
| combineDecryptionShares | Voting.Protocol.Trustees.All, Voting.Protocol.Trustees, Voting.Protocol |
| commit | Voting.Protocol.Election, Voting.Protocol |
| Commitment | Voting.Protocol.Election, Voting.Protocol |
| Credential | |
| 1 (Type/Class) | Voting.Protocol.Credential, Voting.Protocol |
| 2 (Data Constructor) | Voting.Protocol.Credential, Voting.Protocol |
| credentialAlphabet | Voting.Protocol.Credential, Voting.Protocol |
| CredentialError | Voting.Protocol.Credential, Voting.Protocol |
| CredentialError_BadChar | Voting.Protocol.Credential, Voting.Protocol |
| CredentialError_Checksum | Voting.Protocol.Credential, Voting.Protocol |
| CredentialError_Length | Voting.Protocol.Credential, Voting.Protocol |
| credentialSecretKey | Voting.Protocol.Credential, Voting.Protocol |
| DecryptionFactor | Voting.Protocol.Election, Voting.Protocol |
| DecryptionShare | |
| 1 (Type/Class) | Voting.Protocol.Election, Voting.Protocol |
| 2 (Data Constructor) | Voting.Protocol.Election, Voting.Protocol |
| DecryptionShareCombinator | Voting.Protocol.Election, Voting.Protocol |
| decryptionShareStatement | Voting.Protocol.Election, Voting.Protocol |
| decryptionShare_factors | Voting.Protocol.Election, Voting.Protocol |
| decryptionShare_proofs | Voting.Protocol.Election, 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 |
| E | |
| 1 (Type/Class) | Voting.Protocol.Arithmetic, Voting.Protocol |
| 2 (Data Constructor) | Voting.Protocol.Arithmetic, Voting.Protocol |
| Election | |
| 1 (Type/Class) | Voting.Protocol.Election, Voting.Protocol |
| 2 (Data Constructor) | Voting.Protocol.Election, Voting.Protocol |
| electionPublicKey | Voting.Protocol.Trustees.All, Voting.Protocol.Trustees, Voting.Protocol |
| election_description | Voting.Protocol.Election, Voting.Protocol |
| election_hash | Voting.Protocol.Election, Voting.Protocol |
| election_name | Voting.Protocol.Election, Voting.Protocol |
| election_publicKey | Voting.Protocol.Election, Voting.Protocol |
| election_questions | Voting.Protocol.Election, Voting.Protocol |
| election_uuid | Voting.Protocol.Election, Voting.Protocol |
| encrypt | Voting.Protocol.Election, Voting.Protocol |
| encryptAnswer | Voting.Protocol.Election, Voting.Protocol |
| encryptBallot | Voting.Protocol.Election, Voting.Protocol |
| Encryption | |
| 1 (Type/Class) | Voting.Protocol.Election, Voting.Protocol |
| 2 (Data Constructor) | Voting.Protocol.Election, Voting.Protocol |
| encryptionCommitments | Voting.Protocol.Election, Voting.Protocol |
| EncryptionNonce | Voting.Protocol.Election, Voting.Protocol |
| encryptionStatement | Voting.Protocol.Election, Voting.Protocol |
| encryption_nonce | Voting.Protocol.Election, Voting.Protocol |
| encryption_vault | Voting.Protocol.Election, Voting.Protocol |
| ErrorAnswer | Voting.Protocol.Election, Voting.Protocol |
| ErrorAnswer_WrongNumberOfOpinions | Voting.Protocol.Election, Voting.Protocol |
| ErrorAnswer_WrongSumOfOpinions | Voting.Protocol.Election, Voting.Protocol |
| ErrorBallot | Voting.Protocol.Election, Voting.Protocol |
| ErrorBallot_Answer | Voting.Protocol.Election, Voting.Protocol |
| ErrorBallot_WrongNumberOfAnswers | Voting.Protocol.Election, Voting.Protocol |
| ErrorDecryptionShare | Voting.Protocol.Election, Voting.Protocol |
| ErrorDecryptionShare_Invalid | Voting.Protocol.Election, Voting.Protocol |
| ErrorDecryptionShare_Wrong | Voting.Protocol.Election, Voting.Protocol |
| ErrorTrusteePublicKey | Voting.Protocol.Trustees.All, Voting.Protocol.Trustees, Voting.Protocol |
| ErrorTrusteePublicKey_Wrong | Voting.Protocol.Trustees.All, Voting.Protocol.Trustees, Voting.Protocol |
| ErrorVerifyEncryption | Voting.Protocol.Election, Voting.Protocol |
| ErrorVerifyEncryption_InvalidProofLength | Voting.Protocol.Election, Voting.Protocol |
| F | |
| 1 (Type/Class) | Voting.Protocol.Arithmetic, Voting.Protocol |
| 2 (Data Constructor) | Voting.Protocol.Arithmetic, Voting.Protocol |
| fakeProof | Voting.Protocol.Election, Voting.Protocol |
| fieldCharac | Voting.Protocol.Arithmetic, Voting.Protocol |
| FromNatural | Voting.Protocol.Arithmetic, Voting.Protocol |
| fromNatural | Voting.Protocol.Arithmetic, Voting.Protocol |
| G | |
| 1 (Type/Class) | Voting.Protocol.Arithmetic, Voting.Protocol |
| 2 (Data Constructor) | Voting.Protocol.Arithmetic, Voting.Protocol |
| groupGen | Voting.Protocol.Arithmetic, Voting.Protocol |
| groupGenInverses | Voting.Protocol.Arithmetic, Voting.Protocol |
| groupGenPowers | Voting.Protocol.Arithmetic, Voting.Protocol |
| groupOrder | Voting.Protocol.Arithmetic, Voting.Protocol |
| Hash | |
| 1 (Type/Class) | Voting.Protocol.Election, Voting.Protocol |
| 2 (Data Constructor) | Voting.Protocol.Election, Voting.Protocol |
| hash | Voting.Protocol.Arithmetic, Voting.Protocol |
| intervalDisjunctions | Voting.Protocol.Election, Voting.Protocol |
| inv | Voting.Protocol.Arithmetic, Voting.Protocol |
| Invertible | Voting.Protocol.Arithmetic, Voting.Protocol |
| isoZipWith | Voting.Protocol.Utils |
| isoZipWith3 | Voting.Protocol.Utils |
| isoZipWith3M | Voting.Protocol.Utils |
| isoZipWith3M_ | Voting.Protocol.Utils |
| isoZipWithM | Voting.Protocol.Utils |
| isoZipWithM_ | Voting.Protocol.Utils |
| Multiplicative | Voting.Protocol.Arithmetic, Voting.Protocol |
| nat | Voting.Protocol.Arithmetic, Voting.Protocol |
| Natural | Voting.Protocol.Arithmetic, Voting.Protocol |
| neg | Voting.Protocol.Arithmetic, Voting.Protocol |
| Negable | Voting.Protocol.Arithmetic, Voting.Protocol |
| one | Voting.Protocol.Arithmetic, Voting.Protocol |
| Opinion | Voting.Protocol.Election, Voting.Protocol |
| Oracle | Voting.Protocol.Election, Voting.Protocol |
| P | Voting.Protocol.Arithmetic, Voting.Protocol |
| Params | Voting.Protocol.Arithmetic, Voting.Protocol |
| paramsName | Voting.Protocol.Arithmetic, Voting.Protocol |
| PrimeField | Voting.Protocol.Arithmetic, Voting.Protocol |
| Proof | |
| 1 (Type/Class) | Voting.Protocol.Election, Voting.Protocol |
| 2 (Data Constructor) | Voting.Protocol.Election, Voting.Protocol |
| proof_challenge | Voting.Protocol.Election, Voting.Protocol |
| proof_response | Voting.Protocol.Election, Voting.Protocol |
| prove | Voting.Protocol.Election, Voting.Protocol |
| proveDecryptionFactor | Voting.Protocol.Election, Voting.Protocol |
| proveDecryptionShare | Voting.Protocol.Election, Voting.Protocol |
| proveEncryption | Voting.Protocol.Election, Voting.Protocol |
| proveTally | Voting.Protocol.Election, Voting.Protocol |
| proveTrusteePublicKey | Voting.Protocol.Trustees.All, Voting.Protocol.Trustees, Voting.Protocol |
| PublicKey | Voting.Protocol.Credential, Voting.Protocol |
| publicKey | Voting.Protocol.Credential, Voting.Protocol |
| Question | |
| 1 (Type/Class) | Voting.Protocol.Election, Voting.Protocol |
| 2 (Data Constructor) | Voting.Protocol.Election, Voting.Protocol |
| question_choices | Voting.Protocol.Election, Voting.Protocol |
| question_maxi | Voting.Protocol.Election, Voting.Protocol |
| question_mini | Voting.Protocol.Election, Voting.Protocol |
| question_text | Voting.Protocol.Election, Voting.Protocol |
| random | Voting.Protocol.Arithmetic, Voting.Protocol |
| randomCredential | Voting.Protocol.Credential, Voting.Protocol |
| RandomGen | Voting.Protocol.Arithmetic, Voting.Protocol |
| randomR | Voting.Protocol.Arithmetic, Voting.Protocol |
| randomSecretKey | Voting.Protocol.Trustees.All, Voting.Protocol.Trustees, Voting.Protocol |
| randomUUID | Voting.Protocol.Credential, Voting.Protocol |
| readCredential | Voting.Protocol.Credential, Voting.Protocol |
| SecretKey | Voting.Protocol.Credential, Voting.Protocol |
| Signature | |
| 1 (Type/Class) | Voting.Protocol.Election, Voting.Protocol |
| 2 (Data Constructor) | Voting.Protocol.Election, Voting.Protocol |
| signatureCommitments | Voting.Protocol.Election, Voting.Protocol |
| signatureStatement | Voting.Protocol.Election, Voting.Protocol |
| signature_proof | Voting.Protocol.Election, Voting.Protocol |
| signature_publicKey | Voting.Protocol.Election, Voting.Protocol |
| SubGroup | Voting.Protocol.Arithmetic, Voting.Protocol |
| sum | Voting.Protocol.Arithmetic, Voting.Protocol |
| Tally | |
| 1 (Type/Class) | Voting.Protocol.Election, Voting.Protocol |
| 2 (Data Constructor) | Voting.Protocol.Election, Voting.Protocol |
| tally_countByQuestByBallot | Voting.Protocol.Election, Voting.Protocol |
| tally_decShareByTrustee | Voting.Protocol.Election, Voting.Protocol |
| tally_encByQuestByBallot | Voting.Protocol.Election, Voting.Protocol |
| tally_numBallots | Voting.Protocol.Election, Voting.Protocol |
| tokenBase | Voting.Protocol.Credential, Voting.Protocol |
| tokenLength | Voting.Protocol.Credential, Voting.Protocol |
| ToNatural | Voting.Protocol.Arithmetic, Voting.Protocol |
| TrusteePublicKey | |
| 1 (Type/Class) | Voting.Protocol.Trustees.All, Voting.Protocol.Trustees, Voting.Protocol |
| 2 (Data Constructor) | Voting.Protocol.Trustees.All, Voting.Protocol.Trustees, Voting.Protocol |
| trusteePublicKeyStatement | Voting.Protocol.Trustees.All, Voting.Protocol.Trustees, Voting.Protocol |
| trustee_PublicKey | Voting.Protocol.Trustees.All, Voting.Protocol.Trustees, Voting.Protocol |
| trustee_SecretKeyProof | Voting.Protocol.Trustees.All, Voting.Protocol.Trustees, Voting.Protocol |
| unE | Voting.Protocol.Arithmetic, Voting.Protocol |
| unF | Voting.Protocol.Arithmetic, Voting.Protocol |
| unG | Voting.Protocol.Arithmetic, Voting.Protocol |
| UUID | |
| 1 (Type/Class) | Voting.Protocol.Credential, Voting.Protocol |
| 2 (Data Constructor) | Voting.Protocol.Credential, Voting.Protocol |
| verifyAnswer | Voting.Protocol.Election, Voting.Protocol |
| verifyBallot | Voting.Protocol.Election, Voting.Protocol |
| verifyDecryptionShare | Voting.Protocol.Election, Voting.Protocol |
| verifyEncryption | Voting.Protocol.Election, Voting.Protocol |
| verifyTally | Voting.Protocol.Election, Voting.Protocol |
| verifyTrusteePublicKey | Voting.Protocol.Trustees.All, Voting.Protocol.Trustees, Voting.Protocol |
| WeakParams | Voting.Protocol.Arithmetic, Voting.Protocol |
| zero | Voting.Protocol.Arithmetic, Voting.Protocol |
| ZKP | |
| 1 (Type/Class) | Voting.Protocol.Election, Voting.Protocol |
| 2 (Data Constructor) | Voting.Protocol.Election, Voting.Protocol |
| ^ | Voting.Protocol.Arithmetic, Voting.Protocol |