| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Cardano.Chain.Update.Validation.Voting
Description
Validation rules for registering votes and confirming proposals
This is an implementation of the rules defined in the Byron ledger specification
Synopsis
- data Environment = Environment { }
-
data
RegistrationEnvironment
=
RegistrationEnvironment
{
- vreRegisteredUpdateProposal :: !( Set UpId )
- vreDelegationMap :: ! Map
-
data
State
=
State
{
- vsVotes :: !RegisteredVotes
- vsConfirmedProposals :: !( Map UpId SlotNumber )
- data Error
- registerVoteWithConfirmation :: MonadError Error m => Annotated ProtocolMagicId ByteString -> Environment -> State -> AVote ByteString -> m State
Documentation
data Environment Source #
Environment used to register votes and confirm proposals
Constructors
| Environment | |
Instances
data RegistrationEnvironment Source #
Environment required to validate and register a vote
Constructors
| RegistrationEnvironment | |
|
Fields
|
|
Instances
State keeps track of registered votes and confirmed proposals
Constructors
| State | |
|
Fields
|
|
Error captures the ways in which vote registration could fail
Constructors
| VotingInvalidSignature | |
| VotingProposalNotRegistered UpId | |
| VotingVoterNotDelegate KeyHash | |
| VotingVoteAlreadyCast KeyHash |
registerVoteWithConfirmation :: MonadError Error m => Annotated ProtocolMagicId ByteString -> Environment -> State -> AVote ByteString -> m State Source #
Register a vote and confirm the corresponding proposal if it passes the
voting threshold. This corresponds to the
UPVOTE
rules in the spec.