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 |
| ballotCommitments | Voting.Protocol.Election, Voting.Protocol |
| ballotStatement | 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 |
| Base64SHA256 | |
| 1 (Type/Class) | Voting.Protocol.Cryptography, Voting.Protocol |
| 2 (Data Constructor) | Voting.Protocol.Cryptography, Voting.Protocol |
| base64SHA256 | Voting.Protocol.Cryptography, Voting.Protocol |
| beleniosFFC | Voting.Protocol.FFC, Voting.Protocol |
| booleanDisjunctions | Voting.Protocol.Cryptography, Voting.Protocol |
| bytesNat | Voting.Protocol.Arithmetic, Voting.Protocol |
| Challenge | Voting.Protocol.Cryptography, Voting.Protocol |
| combineIndispensableDecryptionShares | Voting.Protocol.Trustee.Indispensable, Voting.Protocol.Trustee, Voting.Protocol |
| combineIndispensableTrusteePublicKeys | Voting.Protocol.Trustee.Indispensable, Voting.Protocol.Trustee, Voting.Protocol |
| commit | Voting.Protocol.Cryptography, Voting.Protocol |
| Commitment | Voting.Protocol.Cryptography, Voting.Protocol |
| commitQuicker | Voting.Protocol.Cryptography, 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 |
| credentialSecretKey | Voting.Protocol.Credential, Voting.Protocol |
| cryptoName | Voting.Protocol.Credential, Voting.Protocol |
| CryptoParams | Voting.Protocol.Arithmetic, Voting.Protocol |
| cryptoType | Voting.Protocol.Credential, Voting.Protocol |
| decodeBigEndian | Voting.Protocol.Cryptography, 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.Cryptography, Voting.Protocol |
| 2 (Data Constructor) | Voting.Protocol.Cryptography, Voting.Protocol |
| Disjunction | Voting.Protocol.Cryptography, 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 |
| election_crypto | Voting.Protocol.Election, Voting.Protocol |
| election_description | Voting.Protocol.Election, Voting.Protocol |
| election_hash | Voting.Protocol.Election, Voting.Protocol |
| election_name | Voting.Protocol.Election, Voting.Protocol |
| election_public_key | Voting.Protocol.Election, Voting.Protocol |
| election_questions | Voting.Protocol.Election, Voting.Protocol |
| election_uuid | Voting.Protocol.Election, Voting.Protocol |
| election_version | Voting.Protocol.Election, Voting.Protocol |
| emptyEncryptedTally | Voting.Protocol.Tally, Voting.Protocol |
| encrypt | Voting.Protocol.Cryptography, Voting.Protocol |
| encryptAnswer | Voting.Protocol.Election, Voting.Protocol |
| encryptBallot | Voting.Protocol.Election, Voting.Protocol |
| EncryptedTally | Voting.Protocol.Tally, Voting.Protocol |
| encryptedTally | Voting.Protocol.Tally, Voting.Protocol |
| Encryption | |
| 1 (Type/Class) | Voting.Protocol.Cryptography, Voting.Protocol |
| 2 (Data Constructor) | Voting.Protocol.Cryptography, Voting.Protocol |
| encryptionCommitments | Voting.Protocol.Cryptography, Voting.Protocol |
| EncryptionNonce | Voting.Protocol.Cryptography, Voting.Protocol |
| encryptionStatement | Voting.Protocol.Cryptography, Voting.Protocol |
| encryption_nonce | Voting.Protocol.Cryptography, Voting.Protocol |
| encryption_vault | Voting.Protocol.Cryptography, 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_Wrong | Voting.Protocol.Election, Voting.Protocol |
| ErrorBallot_WrongNumberOfAnswers | Voting.Protocol.Election, Voting.Protocol |
| ErrorTally | Voting.Protocol.Tally, Voting.Protocol |
| ErrorTally_CannotDecryptCount | Voting.Protocol.Tally, Voting.Protocol |
| ErrorTally_NumberOfChoices | Voting.Protocol.Tally, Voting.Protocol |
| ErrorTally_NumberOfQuestions | Voting.Protocol.Tally, Voting.Protocol |
| ErrorTally_NumberOfTrustees | Voting.Protocol.Tally, Voting.Protocol |
| ErrorTally_WrongProof | Voting.Protocol.Tally, Voting.Protocol |
| ErrorToken | Voting.Protocol.Credential, Voting.Protocol |
| ErrorToken_BadChar | Voting.Protocol.Credential, Voting.Protocol |
| ErrorToken_Checksum | Voting.Protocol.Credential, Voting.Protocol |
| ErrorToken_Length | Voting.Protocol.Credential, Voting.Protocol |
| ErrorTrusteePublicKey | Voting.Protocol.Trustee.Indispensable, Voting.Protocol.Trustee, Voting.Protocol |
| ErrorTrusteePublicKey_WrongProof | Voting.Protocol.Trustee.Indispensable, Voting.Protocol.Trustee, Voting.Protocol |
| ErrorVerifyEncryption | Voting.Protocol.Cryptography, Voting.Protocol |
| ErrorVerifyEncryption_InvalidProofLength | Voting.Protocol.Cryptography, Voting.Protocol |
| EuclideanRing | Voting.Protocol.Arithmetic, Voting.Protocol |
| ExperimentalVersion | Voting.Protocol.Version, Voting.Protocol |
| experimentalVersion | Voting.Protocol.Version, Voting.Protocol |
| fakeProof | Voting.Protocol.Cryptography, Voting.Protocol |
| FFC | |
| 1 (Type/Class) | Voting.Protocol.FFC, Voting.Protocol |
| 2 (Data Constructor) | Voting.Protocol.FFC, Voting.Protocol |
| ffc_fieldCharac | Voting.Protocol.FFC, Voting.Protocol |
| ffc_groupGen | Voting.Protocol.FFC, Voting.Protocol |
| ffc_groupOrder | Voting.Protocol.FFC, Voting.Protocol |
| ffc_name | Voting.Protocol.FFC, Voting.Protocol |
| fieldCharac | Voting.Protocol.FFC, Voting.Protocol |
| FieldElement | 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.Cryptography, Voting.Protocol |
| 2 (Data Constructor) | Voting.Protocol.Cryptography, Voting.Protocol |
| hash | Voting.Protocol.Cryptography, Voting.Protocol |
| hashElection | Voting.Protocol.Election, Voting.Protocol |
| hasVersionTag | Voting.Protocol.Version, Voting.Protocol |
| HexSHA256 | |
| 1 (Type/Class) | Voting.Protocol.Cryptography, Voting.Protocol |
| 2 (Data Constructor) | Voting.Protocol.Cryptography, Voting.Protocol |
| hexSHA256 | Voting.Protocol.Cryptography, Voting.Protocol |
| indispensableTrusteePublicKeyStatement | Voting.Protocol.Trustee.Indispensable, Voting.Protocol.Trustee, Voting.Protocol |
| insertEncryptedTally | Voting.Protocol.Tally, Voting.Protocol |
| intervalDisjunctions | Voting.Protocol.Cryptography, Voting.Protocol |
| inverse | 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 |
| jsonEitherFormatError | Voting.Protocol.Utils |
| Key | Voting.Protocol.Credential, Voting.Protocol |
| nat | Voting.Protocol.Arithmetic, Voting.Protocol |
| Natural | Voting.Protocol |
| negate | Voting.Protocol.Arithmetic, Voting.Protocol |
| o2 | Voting.Protocol.Utils |
| one | Voting.Protocol.Arithmetic, Voting.Protocol |
| Opinion | Voting.Protocol.Election, Voting.Protocol |
| Oracle | Voting.Protocol.Cryptography, Voting.Protocol |
| parseReadP | Voting.Protocol.Utils |
| Proof | |
| 1 (Type/Class) | Voting.Protocol.Cryptography, Voting.Protocol |
| 2 (Data Constructor) | Voting.Protocol.Cryptography, Voting.Protocol |
| proof_challenge | Voting.Protocol.Cryptography, Voting.Protocol |
| proof_response | Voting.Protocol.Cryptography, Voting.Protocol |
| prove | Voting.Protocol.Cryptography, Voting.Protocol |
| proveDecryptionFactor | Voting.Protocol.Tally, Voting.Protocol |
| proveDecryptionShare | Voting.Protocol.Tally, Voting.Protocol |
| proveEncryption | Voting.Protocol.Cryptography, Voting.Protocol |
| proveIndispensableTrusteePublicKey | Voting.Protocol.Trustee.Indispensable, Voting.Protocol.Trustee, Voting.Protocol |
| proveQuicker | Voting.Protocol.Cryptography, Voting.Protocol |
| proveTally | Voting.Protocol.Tally, Voting.Protocol |
| Proxy | |
| 1 (Data Constructor) | Voting.Protocol |
| 2 (Type/Class) | Voting.Protocol |
| PublicKey | Voting.Protocol.Cryptography, 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.Cryptography, Voting.Protocol |
| randomCredential | Voting.Protocol.Credential, Voting.Protocol |
| RandomGen | Voting.Protocol |
| randomR | Voting.Protocol.Cryptography, Voting.Protocol |
| randomSecretKey | Voting.Protocol.Credential, Voting.Protocol |
| randomUUID | Voting.Protocol.Credential, Voting.Protocol |
| readCredential | Voting.Protocol.Credential, Voting.Protocol |
| readElection | Voting.Protocol.Election, Voting.Protocol |
| readUUID | Voting.Protocol.Credential, Voting.Protocol |
| readVersion | Voting.Protocol.Version, Voting.Protocol |
| reflect | Voting.Protocol |
| Reifies | Voting.Protocol |
| reify | Voting.Protocol |
| ReifyCrypto | Voting.Protocol.Arithmetic, Voting.Protocol |
| reifyCrypto | Voting.Protocol.Arithmetic, Voting.Protocol |
| Ring | Voting.Protocol.Arithmetic, Voting.Protocol |
| SecretKey | Voting.Protocol.Cryptography, Voting.Protocol |
| Semiring | Voting.Protocol.Arithmetic, Voting.Protocol |
| Signature | |
| 1 (Type/Class) | Voting.Protocol.Cryptography, Voting.Protocol |
| 2 (Data Constructor) | Voting.Protocol.Cryptography, Voting.Protocol |
| signature_proof | Voting.Protocol.Cryptography, Voting.Protocol |
| signature_publicKey | Voting.Protocol.Cryptography, Voting.Protocol |
| StableVersion | Voting.Protocol.Version, Voting.Protocol |
| stableVersion | Voting.Protocol.Version, Voting.Protocol |
| sum | Voting.Protocol.Arithmetic, Voting.Protocol |
| Tally | |
| 1 (Type/Class) | Voting.Protocol.Tally, Voting.Protocol |
| 2 (Data Constructor) | Voting.Protocol.Tally, Voting.Protocol |
| tally_countByChoiceByQuest | Voting.Protocol.Tally, Voting.Protocol |
| tally_countMax | Voting.Protocol.Tally, Voting.Protocol |
| tally_decShareByTrustee | Voting.Protocol.Tally, Voting.Protocol |
| tally_encByChoiceByQuest | Voting.Protocol.Tally, 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.Trustee.Indispensable, Voting.Protocol.Trustee, Voting.Protocol |
| 2 (Data Constructor) | Voting.Protocol.Trustee.Indispensable, Voting.Protocol.Trustee, Voting.Protocol |
| trustee_PublicKey | Voting.Protocol.Trustee.Indispensable, Voting.Protocol.Trustee, Voting.Protocol |
| trustee_SecretKeyProof | Voting.Protocol.Trustee.Indispensable, Voting.Protocol.Trustee, Voting.Protocol |
| unDecryptionShare | Voting.Protocol.Tally, Voting.Protocol |
| unE | 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 |
| V | Voting.Protocol.Version, Voting.Protocol |
| verifyAnswer | Voting.Protocol.Election, Voting.Protocol |
| verifyBallot | Voting.Protocol.Election, Voting.Protocol |
| verifyDecryptionShare | Voting.Protocol.Tally, Voting.Protocol |
| verifyDecryptionShareByTrustee | Voting.Protocol.Tally, Voting.Protocol |
| verifyEncryption | Voting.Protocol.Cryptography, Voting.Protocol |
| verifyIndispensableDecryptionShareByTrustee | Voting.Protocol.Trustee.Indispensable, Voting.Protocol.Trustee, Voting.Protocol |
| verifyIndispensableTrusteePublicKey | Voting.Protocol.Trustee.Indispensable, Voting.Protocol.Trustee, Voting.Protocol |
| verifyTally | Voting.Protocol.Tally, Voting.Protocol |
| Version | |
| 1 (Type/Class) | Voting.Protocol.Version, Voting.Protocol |
| 2 (Data Constructor) | Voting.Protocol.Version, Voting.Protocol |
| VersionBranchVal | Voting.Protocol.Version, Voting.Protocol |
| versionBranchVal | Voting.Protocol.Version, Voting.Protocol |
| VersionTagQuicker | Voting.Protocol.Version, Voting.Protocol |
| versionTagQuicker | Voting.Protocol.Version, Voting.Protocol |
| VersionTagsVal | Voting.Protocol.Version, Voting.Protocol |
| versionTagsVal | Voting.Protocol.Version, Voting.Protocol |
| version_branch | Voting.Protocol.Version, Voting.Protocol |
| version_tags | Voting.Protocol.Version, Voting.Protocol |
| weakFFC | Voting.Protocol.FFC, Voting.Protocol |
| zero | Voting.Protocol.Arithmetic, Voting.Protocol |
| ZKP | |
| 1 (Type/Class) | Voting.Protocol.Cryptography, Voting.Protocol |
| 2 (Data Constructor) | Voting.Protocol.Cryptography, Voting.Protocol |
| ^ | Voting.Protocol.Arithmetic, Voting.Protocol |