Index
| Ballot | |
| 1 (Type/Class) | Data.Voting.BordaCount |
| 2 (Data Constructor) | Data.Voting.BordaCount |
| ballot | Data.Voting.BordaCount |
| BallotError | Data.Voting.BordaCount |
| ballotParticipant | Data.Voting.BordaCount |
| ballotVotes | Data.Voting.BordaCount |
| DuplicateOption | Data.Voting.BordaCount |
| DuplicateParticipant | Data.Voting.BordaCount |
| DuplicateRanking | Data.Voting.BordaCount |
| election | Data.Voting.BordaCount |
| election' | Data.Voting.BordaCount |
| ElectionError | Data.Voting.BordaCount |
| findFirstDuplicateBy | Data.Voting.BordaCount |
| Result | |
| 1 (Type/Class) | Data.Voting.BordaCount |
| 2 (Data Constructor) | Data.Voting.BordaCount |
| Score | |
| 1 (Type/Class) | Data.Voting.BordaCount |
| 2 (Data Constructor) | Data.Voting.BordaCount |
| Vote | |
| 1 (Type/Class) | Data.Voting.BordaCount |
| 2 (Data Constructor) | Data.Voting.BordaCount |
| voteOption | Data.Voting.BordaCount |
| voteRanking | Data.Voting.BordaCount |
| Zeros | |
| 1 (Type/Class) | Data.Voting.BordaCount |
| 2 (Data Constructor) | Data.Voting.BordaCount |