| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ouroboros.Consensus.Committee.EveryoneVotes
Description
A simple voting committee where pools with positive stake can vote.
Synopsis
- data EveryoneVotes
- data family VotingCommittee crypto committee
- data family VotingCommitteeInput crypto committee
- data family VotingCommitteeError crypto committee
- data family EligibilityWitness crypto committee
- data family Vote crypto committee
- data family Cert crypto committee
- candidateSeats ∷ VotingCommittee crypto EveryoneVotes → Map PoolId SeatIndex
- numActiveVoters ∷ VotingCommittee crypto EveryoneVotes → NumPoolsWithPositiveStake
Voting committee interface
data EveryoneVotes Source #
Tag for a simple voting committee where pools with positive stake can vote.
Instances
data family VotingCommittee crypto committee Source #
Structure storing the voting committee context
NOTE: This data family is defined outside of the
CryptoSupportsVotingCommittee class so that it can be instantiated for the
HFC block without having to provide an instance of the whole class (because
for HFC, we dispatch to a concrete era first so none of the methods/types of
the class would actually be used).
Instances
| CanHardFork xs ⇒ FromCBOR (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) Source # | Hand-written rather than | ||||
Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods fromCBOR ∷ Decoder s (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) Source # label ∷ Proxy (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) → Text Source # | |||||
| Typeable blk ⇒ FromCBOR (VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) Source # | |||||
Defined in Ouroboros.Consensus.Peras.Void Methods fromCBOR ∷ Decoder s (VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) Source # label ∷ Proxy (VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) → Text Source # | |||||
| (Typeable crypto, FromCBOR (PublicKey crypto)) ⇒ FromCBOR (VotingCommittee crypto EveryoneVotes) Source # | |||||
Defined in Ouroboros.Consensus.Committee.EveryoneVotes Methods fromCBOR ∷ Decoder s (VotingCommittee crypto EveryoneVotes) Source # label ∷ Proxy (VotingCommittee crypto EveryoneVotes) → Text Source # | |||||
| (Typeable crypto, FromCBOR (PublicKey crypto)) ⇒ FromCBOR (VotingCommittee crypto WFALS) Source # | |||||
Defined in Ouroboros.Consensus.Committee.WFALS | |||||
| CanHardFork xs ⇒ ToCBOR (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) Source # | |||||
Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods toCBOR ∷ VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)] → Size Source # | |||||
| Typeable blk ⇒ ToCBOR (VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) Source # | |||||
Defined in Ouroboros.Consensus.Peras.Void Methods toCBOR ∷ VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme] → Size Source # | |||||
| (Typeable crypto, ToCBOR (PublicKey crypto)) ⇒ ToCBOR (VotingCommittee crypto EveryoneVotes) Source # | |||||
Defined in Ouroboros.Consensus.Committee.EveryoneVotes Methods toCBOR ∷ VotingCommittee crypto EveryoneVotes → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VotingCommittee crypto EveryoneVotes) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VotingCommittee crypto EveryoneVotes] → Size Source # | |||||
| (Typeable crypto, ToCBOR (PublicKey crypto)) ⇒ ToCBOR (VotingCommittee crypto WFALS) Source # | |||||
Defined in Ouroboros.Consensus.Committee.WFALS | |||||
| CanHardFork xs ⇒ Eq (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) Source # | |||||
Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods (==) ∷ VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) → VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) → Bool # (/=) ∷ VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) → VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) → Bool # | |||||
| Eq (VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) Source # | |||||
Defined in Ouroboros.Consensus.Peras.Void Methods (==) ∷ VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → Bool # (/=) ∷ VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → Bool # | |||||
| Eq (PublicKey crypto) ⇒ Eq (VotingCommittee crypto EveryoneVotes) Source # | |||||
Defined in Ouroboros.Consensus.Committee.EveryoneVotes Methods (==) ∷ VotingCommittee crypto EveryoneVotes → VotingCommittee crypto EveryoneVotes → Bool # (/=) ∷ VotingCommittee crypto EveryoneVotes → VotingCommittee crypto EveryoneVotes → Bool # | |||||
| Eq (PublicKey crypto) ⇒ Eq (VotingCommittee crypto WFALS) Source # | |||||
Defined in Ouroboros.Consensus.Committee.WFALS Methods (==) ∷ VotingCommittee crypto WFALS → VotingCommittee crypto WFALS → Bool # (/=) ∷ VotingCommittee crypto WFALS → VotingCommittee crypto WFALS → Bool # | |||||
| Generic (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) Source # | |||||
Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Associated Types
Methods from ∷ VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) → Rep (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) x # to ∷ Rep (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) x → VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) # | |||||
| Generic (VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) Source # | |||||
Defined in Ouroboros.Consensus.Peras.Void Associated Types
Methods from ∷ VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → Rep (VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) x # to ∷ Rep (VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) x → VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme # | |||||
| Generic (VotingCommittee crypto EveryoneVotes) Source # | |||||
Defined in Ouroboros.Consensus.Committee.EveryoneVotes Associated Types
Methods from ∷ VotingCommittee crypto EveryoneVotes → Rep (VotingCommittee crypto EveryoneVotes) x # to ∷ Rep (VotingCommittee crypto EveryoneVotes) x → VotingCommittee crypto EveryoneVotes # | |||||
| Generic (VotingCommittee crypto WFALS) Source # | |||||
Defined in Ouroboros.Consensus.Committee.WFALS Associated Types
Methods from ∷ VotingCommittee crypto WFALS → Rep (VotingCommittee crypto WFALS) x # to ∷ Rep (VotingCommittee crypto WFALS) x → VotingCommittee crypto WFALS # | |||||
| CanHardFork xs ⇒ Show (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) Source # | |||||
Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec ∷ Int → VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) → ShowS # show ∷ VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) → String # showList ∷ [VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)] → ShowS # | |||||
| Show (VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) Source # | |||||
Defined in Ouroboros.Consensus.Peras.Void Methods showsPrec ∷ Int → VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → ShowS # show ∷ VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → String # showList ∷ [VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme] → ShowS # | |||||
| Show (PublicKey crypto) ⇒ Show (VotingCommittee crypto EveryoneVotes) Source # | |||||
Defined in Ouroboros.Consensus.Committee.EveryoneVotes Methods showsPrec ∷ Int → VotingCommittee crypto EveryoneVotes → ShowS # show ∷ VotingCommittee crypto EveryoneVotes → String # showList ∷ [VotingCommittee crypto EveryoneVotes] → ShowS # | |||||
| Show (PublicKey crypto) ⇒ Show (VotingCommittee crypto WFALS) Source # | |||||
Defined in Ouroboros.Consensus.Committee.WFALS | |||||
| CanHardFork xs ⇒ NoThunks (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) Source # | |||||
Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) → String Source # | |||||
| NoThunks (VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) Source # | |||||
Defined in Ouroboros.Consensus.Peras.Void Methods noThunks ∷ Context → VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) → String Source # | |||||
| NoThunks (PublicKey crypto) ⇒ NoThunks (VotingCommittee crypto EveryoneVotes) Source # | |||||
Defined in Ouroboros.Consensus.Committee.EveryoneVotes Methods noThunks ∷ Context → VotingCommittee crypto EveryoneVotes → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VotingCommittee crypto EveryoneVotes → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VotingCommittee crypto EveryoneVotes) → String Source # | |||||
| NoThunks (PublicKey crypto) ⇒ NoThunks (VotingCommittee crypto WFALS) Source # | |||||
| data VotingCommittee crypto EveryoneVotes Source # | |||||
Defined in Ouroboros.Consensus.Committee.EveryoneVotes | |||||
| data VotingCommittee crypto WFALS Source # | |||||
Defined in Ouroboros.Consensus.Committee.WFALS data VotingCommittee crypto WFALS = WFALSVotingCommittee {
| |||||
| newtype VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme Source # | |||||
Defined in Ouroboros.Consensus.Peras.Void | |||||
| newtype VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) Source # | |||||
| type Rep (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) Source # | |||||
Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras type Rep (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) = D1 ('MetaData "VotingCommittee" "Ouroboros.Consensus.HardFork.Combinator.AcrossEras" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "OneEraPerasVotingCommittee" 'PrefixI 'True) (S1 ('MetaSel ('Just "getOneEraPerasVotingCommittee") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NS WrapPerasVotingCommittee xs)))) | |||||
| type Rep (VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) Source # | |||||
Defined in Ouroboros.Consensus.Peras.Void | |||||
| type Rep (VotingCommittee crypto EveryoneVotes) Source # | |||||
Defined in Ouroboros.Consensus.Committee.EveryoneVotes type Rep (VotingCommittee crypto EveryoneVotes) = D1 ('MetaData "VotingCommittee" "Ouroboros.Consensus.Committee.EveryoneVotes" "ouroboros-consensus-4.0.0.0-inplace" 'False) (C1 ('MetaCons "EveryoneVotesVotingCommittee" 'PrefixI 'True) ((S1 ('MetaSel ('Just "extWFAStakeDistr") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ExtWFAStakeDistr (PublicKey crypto))) :*: S1 ('MetaSel ('Just "candidateSeats") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map PoolId SeatIndex))) :*: (S1 ('MetaSel ('Just "numActiveVoters") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NumPoolsWithPositiveStake) :*: S1 ('MetaSel ('Just "totalActiveStake") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TotalStake)))) | |||||
| type Rep (VotingCommittee crypto WFALS) Source # | |||||
Defined in Ouroboros.Consensus.Committee.WFALS type Rep (VotingCommittee crypto WFALS) = D1 ('MetaData "VotingCommittee" "Ouroboros.Consensus.Committee.WFALS" "ouroboros-consensus-4.0.0.0-inplace" 'False) (C1 ('MetaCons "WFALSVotingCommittee" 'PrefixI 'True) ((S1 ('MetaSel ('Just "extWFAStakeDistr") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ExtWFAStakeDistr (PublicKey crypto))) :*: (S1 ('MetaSel ('Just "candidateSeats") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map PoolId SeatIndex)) :*: S1 ('MetaSel ('Just "persistentCommitteeSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PersistentCommitteeSize))) :*: ((S1 ('MetaSel ('Just "nonPersistentCommitteeSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NonPersistentCommitteeSize) :*: S1 ('MetaSel ('Just "totalPersistentStake") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TotalPersistentStake)) :*: (S1 ('MetaSel ('Just "totalNonPersistentStake") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TotalNonPersistentStake) :*: S1 ('MetaSel ('Just "epochNonce") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Nonce))))) | |||||
data family VotingCommitteeInput crypto committee Source #
Input information needed to construct a voting committee
Instances
| Eq (PublicKey crypto) ⇒ Eq (VotingCommitteeInput crypto EveryoneVotes) Source # | |||||
Defined in Ouroboros.Consensus.Committee.EveryoneVotes Methods (==) ∷ VotingCommitteeInput crypto EveryoneVotes → VotingCommitteeInput crypto EveryoneVotes → Bool # (/=) ∷ VotingCommitteeInput crypto EveryoneVotes → VotingCommitteeInput crypto EveryoneVotes → Bool # | |||||
| Eq (PublicKey crypto) ⇒ Eq (VotingCommitteeInput crypto WFALS) Source # | |||||
Defined in Ouroboros.Consensus.Committee.WFALS Methods (==) ∷ VotingCommitteeInput crypto WFALS → VotingCommitteeInput crypto WFALS → Bool # (/=) ∷ VotingCommitteeInput crypto WFALS → VotingCommitteeInput crypto WFALS → Bool # | |||||
| Generic (VotingCommitteeInput crypto EveryoneVotes) Source # | |||||
Defined in Ouroboros.Consensus.Committee.EveryoneVotes Associated Types
Methods from ∷ VotingCommitteeInput crypto EveryoneVotes → Rep (VotingCommitteeInput crypto EveryoneVotes) x # to ∷ Rep (VotingCommitteeInput crypto EveryoneVotes) x → VotingCommitteeInput crypto EveryoneVotes # | |||||
| Generic (VotingCommitteeInput crypto WFALS) Source # | |||||
Defined in Ouroboros.Consensus.Committee.WFALS Associated Types
Methods from ∷ VotingCommitteeInput crypto WFALS → Rep (VotingCommitteeInput crypto WFALS) x # to ∷ Rep (VotingCommitteeInput crypto WFALS) x → VotingCommitteeInput crypto WFALS # | |||||
| Show (PublicKey crypto) ⇒ Show (VotingCommitteeInput crypto EveryoneVotes) Source # | |||||
Defined in Ouroboros.Consensus.Committee.EveryoneVotes Methods showsPrec ∷ Int → VotingCommitteeInput crypto EveryoneVotes → ShowS # show ∷ VotingCommitteeInput crypto EveryoneVotes → String # showList ∷ [VotingCommitteeInput crypto EveryoneVotes] → ShowS # | |||||
| Show (PublicKey crypto) ⇒ Show (VotingCommitteeInput crypto WFALS) Source # | |||||
Defined in Ouroboros.Consensus.Committee.WFALS | |||||
| NoThunks (PublicKey crypto) ⇒ NoThunks (VotingCommitteeInput crypto EveryoneVotes) Source # | |||||
Defined in Ouroboros.Consensus.Committee.EveryoneVotes Methods noThunks ∷ Context → VotingCommitteeInput crypto EveryoneVotes → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VotingCommitteeInput crypto EveryoneVotes → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VotingCommitteeInput crypto EveryoneVotes) → String Source # | |||||
| NoThunks (PublicKey crypto) ⇒ NoThunks (VotingCommitteeInput crypto WFALS) Source # | |||||
| data VotingCommitteeInput crypto EveryoneVotes Source # | |||||
Defined in Ouroboros.Consensus.Committee.EveryoneVotes data VotingCommitteeInput crypto EveryoneVotes = EveryoneVotesVotingCommitteeInput !(ExtWFAStakeDistr (PublicKey crypto)) | |||||
| data VotingCommitteeInput crypto WFALS Source # | |||||
Defined in Ouroboros.Consensus.Committee.WFALS data VotingCommitteeInput crypto WFALS = WFALSVotingCommitteeInput !Nonce !TargetCommitteeSize !(ExtWFAStakeDistr (PublicKey crypto)) | |||||
| newtype VotingCommitteeInput (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme Source # | |||||
Defined in Ouroboros.Consensus.Peras.Void | |||||
| type Rep (VotingCommitteeInput crypto EveryoneVotes) Source # | |||||
Defined in Ouroboros.Consensus.Committee.EveryoneVotes type Rep (VotingCommitteeInput crypto EveryoneVotes) = D1 ('MetaData "VotingCommitteeInput" "Ouroboros.Consensus.Committee.EveryoneVotes" "ouroboros-consensus-4.0.0.0-inplace" 'False) (C1 ('MetaCons "EveryoneVotesVotingCommitteeInput" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ExtWFAStakeDistr (PublicKey crypto))))) | |||||
| type Rep (VotingCommitteeInput crypto WFALS) Source # | |||||
Defined in Ouroboros.Consensus.Committee.WFALS type Rep (VotingCommitteeInput crypto WFALS) = D1 ('MetaData "VotingCommitteeInput" "Ouroboros.Consensus.Committee.WFALS" "ouroboros-consensus-4.0.0.0-inplace" 'False) (C1 ('MetaCons "WFALSVotingCommitteeInput" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Nonce) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TargetCommitteeSize) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ExtWFAStakeDistr (PublicKey crypto)))))) | |||||
data family VotingCommitteeError crypto committee Source #
Errors that can occur when operating on a voting committee
Instances
| Eq (VotingCommitteeError crypto EveryoneVotes) Source # | |||||
Defined in Ouroboros.Consensus.Committee.EveryoneVotes Methods (==) ∷ VotingCommitteeError crypto EveryoneVotes → VotingCommitteeError crypto EveryoneVotes → Bool # (/=) ∷ VotingCommitteeError crypto EveryoneVotes → VotingCommitteeError crypto EveryoneVotes → Bool # | |||||
| Eq (VotingCommitteeError crypto WFALS) Source # | |||||
Defined in Ouroboros.Consensus.Committee.WFALS Methods (==) ∷ VotingCommitteeError crypto WFALS → VotingCommitteeError crypto WFALS → Bool # (/=) ∷ VotingCommitteeError crypto WFALS → VotingCommitteeError crypto WFALS → Bool # | |||||
| Typeable crypto ⇒ Exception (VotingCommitteeError crypto EveryoneVotes) Source # | |||||
Defined in Ouroboros.Consensus.Committee.EveryoneVotes Methods toException ∷ VotingCommitteeError crypto EveryoneVotes → SomeException # fromException ∷ SomeException → Maybe (VotingCommitteeError crypto EveryoneVotes) # displayException ∷ VotingCommitteeError crypto EveryoneVotes → String # backtraceDesired ∷ VotingCommitteeError crypto EveryoneVotes → Bool # | |||||
| Typeable crypto ⇒ Exception (VotingCommitteeError crypto WFALS) Source # | |||||
Defined in Ouroboros.Consensus.Committee.WFALS Methods toException ∷ VotingCommitteeError crypto WFALS → SomeException # fromException ∷ SomeException → Maybe (VotingCommitteeError crypto WFALS) # displayException ∷ VotingCommitteeError crypto WFALS → String # backtraceDesired ∷ VotingCommitteeError crypto WFALS → Bool # | |||||
| Generic (VotingCommitteeError crypto EveryoneVotes) Source # | |||||
Defined in Ouroboros.Consensus.Committee.EveryoneVotes Associated Types
Methods from ∷ VotingCommitteeError crypto EveryoneVotes → Rep (VotingCommitteeError crypto EveryoneVotes) x # to ∷ Rep (VotingCommitteeError crypto EveryoneVotes) x → VotingCommitteeError crypto EveryoneVotes # | |||||
| Generic (VotingCommitteeError crypto WFALS) Source # | |||||
Defined in Ouroboros.Consensus.Committee.WFALS Associated Types
Methods from ∷ VotingCommitteeError crypto WFALS → Rep (VotingCommitteeError crypto WFALS) x # to ∷ Rep (VotingCommitteeError crypto WFALS) x → VotingCommitteeError crypto WFALS # | |||||
| Show (VotingCommitteeError crypto EveryoneVotes) Source # | |||||
Defined in Ouroboros.Consensus.Committee.EveryoneVotes Methods showsPrec ∷ Int → VotingCommitteeError crypto EveryoneVotes → ShowS # show ∷ VotingCommitteeError crypto EveryoneVotes → String # showList ∷ [VotingCommitteeError crypto EveryoneVotes] → ShowS # | |||||
| Show (VotingCommitteeError crypto WFALS) Source # | |||||
Defined in Ouroboros.Consensus.Committee.WFALS | |||||
| NoThunks (VotingCommitteeError crypto EveryoneVotes) Source # | |||||
Defined in Ouroboros.Consensus.Committee.EveryoneVotes Methods noThunks ∷ Context → VotingCommitteeError crypto EveryoneVotes → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VotingCommitteeError crypto EveryoneVotes → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VotingCommitteeError crypto EveryoneVotes) → String Source # | |||||
| NoThunks (VotingCommitteeError crypto WFALS) Source # | |||||
| data VotingCommitteeError crypto EveryoneVotes Source # | |||||
| data VotingCommitteeError crypto WFALS Source # | |||||
Defined in Ouroboros.Consensus.Committee.WFALS | |||||
| newtype VotingCommitteeError (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme Source # | |||||
Defined in Ouroboros.Consensus.Peras.Void | |||||
| type Rep (VotingCommitteeError crypto EveryoneVotes) Source # | |||||
Defined in Ouroboros.Consensus.Committee.EveryoneVotes type Rep (VotingCommitteeError crypto EveryoneVotes) = D1 ('MetaData "VotingCommitteeError" "Ouroboros.Consensus.Committee.EveryoneVotes" "ouroboros-consensus-4.0.0.0-inplace" 'False) ((C1 ('MetaCons "WFAError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 WFAError)) :+: (C1 ('MetaCons "MissingPoolId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PoolId)) :+: C1 ('MetaCons "MissingSeatIndex" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SeatIndex)))) :+: ((C1 ('MetaCons "PoolHasNoStake" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SeatIndex)) :+: C1 ('MetaCons "InvalidVoteSignature" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))) :+: (C1 ('MetaCons "InvalidCertSignature" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "CryptoError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))))) | |||||
| type Rep (VotingCommitteeError crypto WFALS) Source # | |||||
Defined in Ouroboros.Consensus.Committee.WFALS type Rep (VotingCommitteeError crypto WFALS) = D1 ('MetaData "VotingCommitteeError" "Ouroboros.Consensus.Committee.WFALS" "ouroboros-consensus-4.0.0.0-inplace" 'False) (((C1 ('MetaCons "WFAError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 WFAError)) :+: C1 ('MetaCons "MissingPoolId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PoolId))) :+: (C1 ('MetaCons "NotAPersistentMember" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SeatIndex)) :+: C1 ('MetaCons "NotANonPersistentMember" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SeatIndex)))) :+: ((C1 ('MetaCons "ZeroNonPersistentSeats" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SeatIndex)) :+: C1 ('MetaCons "InvalidVoteSignature" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))) :+: (C1 ('MetaCons "InvalidVoterEligibilityProof" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: (C1 ('MetaCons "InvalidCertSignature" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "CryptoError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))))) | |||||
data family EligibilityWitness crypto committee Source #
Witness attesting that a party is eligible to vote in a given election
NOTE: this is not necessarily the same as the cryptographic proof of eligibility used in concrete votes and certificates sent over the wire.
Instances
| data EligibilityWitness crypto EveryoneVotes Source # | |
Defined in Ouroboros.Consensus.Committee.EveryoneVotes data EligibilityWitness crypto EveryoneVotes = EveryoneVotesMember !SeatIndex !(NonZero LedgerStake) | |
| data EligibilityWitness crypto WFALS Source # | |
Defined in Ouroboros.Consensus.Committee.WFALS | |
| newtype EligibilityWitness (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme Source # | |
Defined in Ouroboros.Consensus.Peras.Void | |
data family Vote crypto committee Source #
Abstract vote cast by a committee member in a given election
Instances
| data Vote crypto EveryoneVotes Source # | |
Defined in Ouroboros.Consensus.Committee.EveryoneVotes data Vote crypto EveryoneVotes = EveryoneVotesVote !SeatIndex !(ElectionId crypto) !(VoteCandidate crypto) !(VoteSignature crypto) | |
| data Vote crypto WFALS Source # | |
Defined in Ouroboros.Consensus.Committee.WFALS data Vote crypto WFALS
| |
| newtype Vote (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme Source # | |
Defined in Ouroboros.Consensus.Peras.Void newtype Vote (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme = VoidPerasVote' {
| |
data family Cert crypto committee Source #
Abstract certificate attesting the winner of a given election
Instances
| data Cert crypto EveryoneVotes Source # | |
Defined in Ouroboros.Consensus.Committee.EveryoneVotes data Cert crypto EveryoneVotes = EveryoneVotesCert !(ElectionId crypto) !(VoteCandidate crypto) !(NE (Set SeatIndex)) !(AggregateVoteSignature crypto) | |
| data Cert crypto WFALS Source # | |
Defined in Ouroboros.Consensus.Committee.WFALS data Cert crypto WFALS = WFALSCert !(ElectionId crypto) !(VoteCandidate crypto) !(NE (Map SeatIndex (Maybe (VRFOutput crypto)))) !(AggregateVoteSignature crypto) | |
| newtype Cert (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme Source # | |
Defined in Ouroboros.Consensus.Peras.Void newtype Cert (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme = VoidPerasCert' {
| |
Metrics about the voting committee composition
candidateSeats ∷ VotingCommittee crypto EveryoneVotes → Map PoolId SeatIndex Source #