ouroboros-consensus
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.Committee.EveryoneVotes

Description

A simple voting committee where pools with positive stake can vote.

Synopsis

Voting committee interface

data EveryoneVotes Source #

Tag for a simple voting committee where pools with positive stake can vote.

Instances

Instances details
(Ord (ElectionId crypto), CryptoSupportsAggregateVoteSigning crypto) ⇒ CryptoSupportsVotingCommittee crypto EveryoneVotes Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.EveryoneVotes

Associated Types

data VotingCommitteeInput crypto EveryoneVotes 
Instance details

Defined in Ouroboros.Consensus.Committee.EveryoneVotes

data VotingCommitteeInput crypto EveryoneVotes = EveryoneVotesVotingCommitteeInput !(ExtWFAStakeDistr (PublicKey crypto))
data VotingCommitteeError crypto EveryoneVotes 
Instance details

Defined in Ouroboros.Consensus.Committee.EveryoneVotes

data VotingCommitteeError crypto EveryoneVotes
data EligibilityWitness crypto EveryoneVotes 
Instance details

Defined in Ouroboros.Consensus.Committee.EveryoneVotes

data EligibilityWitness crypto EveryoneVotes = EveryoneVotesMember !SeatIndex !(NonZero LedgerStake)
data Vote crypto EveryoneVotes 
Instance details

Defined in Ouroboros.Consensus.Committee.EveryoneVotes

data Vote crypto EveryoneVotes = EveryoneVotesVote !SeatIndex !(ElectionId crypto) !(VoteCandidate crypto) !(VoteSignature crypto)
data Cert crypto EveryoneVotes 
Instance details

Defined in Ouroboros.Consensus.Committee.EveryoneVotes

data Cert crypto EveryoneVotes = EveryoneVotesCert !(ElectionId crypto) !(VoteCandidate crypto) !(NE (Set SeatIndex)) !(AggregateVoteSignature crypto)

Methods

voteTarget ∷ Vote crypto EveryoneVotes → (ElectionId crypto, VoteCandidate crypto) Source #

compareVotesById ∷ Vote crypto EveryoneVotes → Vote crypto EveryoneVotes → Ordering Source #

mkVotingCommittee ∷ VotingCommitteeInput crypto EveryoneVotes → Either (VotingCommitteeError crypto EveryoneVotes) (VotingCommittee crypto EveryoneVotes) Source #

checkShouldVote ∷ VotingCommittee crypto EveryoneVotes → PoolId → PrivateKey crypto → ElectionId crypto → Either (VotingCommitteeError crypto EveryoneVotes) (Maybe (EligibilityWitness crypto EveryoneVotes)) Source #

forgeVote ∷ EligibilityWitness crypto EveryoneVotes → PrivateKey crypto → ElectionId crypto → VoteCandidate crypto → Vote crypto EveryoneVotes Source #

verifyVote ∷ VotingCommittee crypto EveryoneVotes → Vote crypto EveryoneVotes → Either (VotingCommitteeError crypto EveryoneVotes) (EligibilityWitness crypto EveryoneVotes) Source #

eligiblePartyVoteWeight ∷ VotingCommittee crypto EveryoneVotes → EligibilityWitness crypto EveryoneVotes → VoteWeight Source #

forgeCert ∷ UniqueVotesWithSameTarget crypto EveryoneVotes → Either (VotingCommitteeError crypto EveryoneVotes) (Cert crypto EveryoneVotes) Source #

verifyCert ∷ VotingCommittee crypto EveryoneVotes → Cert crypto EveryoneVotes → Either (VotingCommitteeError crypto EveryoneVotes) (NE [EligibilityWitness crypto EveryoneVotes]) Source #

PerasCertCompatibleWithVotingCommittee (PerasCert blk) PerasBLSCrypto EveryoneVotes Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Cert.V1

Methods

toPerasCert ∷ Cert PerasBLSCrypto EveryoneVotes → Either PerasConversionError (PerasCert blk) Source #

fromPerasCert ∷ PerasCert blk → Either PerasConversionError (Cert PerasBLSCrypto EveryoneVotes) Source #

PerasVoteCompatibleWithVotingCommittee (PerasVote blk) PerasBLSCrypto EveryoneVotes Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Vote.V1

Methods

toPerasVote ∷ Vote PerasBLSCrypto EveryoneVotes → Either PerasConversionError (PerasVote blk) Source #

fromPerasVote ∷ PerasVote blk → Either PerasConversionError (Vote PerasBLSCrypto EveryoneVotes) Source #

(Typeable crypto, FromCBOR (PublicKey crypto)) ⇒ FromCBOR (VotingCommittee crypto EveryoneVotes) Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.EveryoneVotes

Methods

fromCBOR ∷ Decoder s (VotingCommittee crypto EveryoneVotes) Source #

label ∷ Proxy (VotingCommittee crypto EveryoneVotes) → Text Source #

(Typeable crypto, ToCBOR (PublicKey crypto)) ⇒ ToCBOR (VotingCommittee crypto EveryoneVotes) Source # 
Instance details

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 #

Eq (PublicKey crypto) ⇒ Eq (VotingCommittee crypto EveryoneVotes) Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.EveryoneVotes

Methods

(==) ∷ VotingCommittee crypto EveryoneVotes → VotingCommittee crypto EveryoneVotes → Bool #

(/=) ∷ VotingCommittee crypto EveryoneVotes → VotingCommittee crypto EveryoneVotes → Bool #

Eq (VotingCommitteeError crypto EveryoneVotes) Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.EveryoneVotes

Methods

(==) ∷ VotingCommitteeError crypto EveryoneVotes → VotingCommitteeError crypto EveryoneVotes → Bool #

(/=) ∷ VotingCommitteeError crypto EveryoneVotes → VotingCommitteeError crypto EveryoneVotes → Bool #

Eq (PublicKey crypto) ⇒ Eq (VotingCommitteeInput crypto EveryoneVotes) Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.EveryoneVotes

Methods

(==) ∷ VotingCommitteeInput crypto EveryoneVotes → VotingCommitteeInput crypto EveryoneVotes → Bool #

(/=) ∷ VotingCommitteeInput crypto EveryoneVotes → VotingCommitteeInput crypto EveryoneVotes → Bool #

Typeable crypto ⇒ Exception (VotingCommitteeError crypto EveryoneVotes) Source # 
Instance details

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 #

Generic (VotingCommittee crypto EveryoneVotes) Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.EveryoneVotes

Associated Types

type Rep (VotingCommittee crypto EveryoneVotes) 
Instance details

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))))

Methods

from ∷ VotingCommittee crypto EveryoneVotes → Rep (VotingCommittee crypto EveryoneVotes) x #

to ∷ Rep (VotingCommittee crypto EveryoneVotes) x → VotingCommittee crypto EveryoneVotes #

Generic (VotingCommitteeError crypto EveryoneVotes) Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.EveryoneVotes

Associated Types

type Rep (VotingCommitteeError crypto EveryoneVotes) 
Instance details

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)))))

Methods

from ∷ VotingCommitteeError crypto EveryoneVotes → Rep (VotingCommitteeError crypto EveryoneVotes) x #

to ∷ Rep (VotingCommitteeError crypto EveryoneVotes) x → VotingCommitteeError crypto EveryoneVotes #

Generic (VotingCommitteeInput crypto EveryoneVotes) Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.EveryoneVotes

Associated Types

type Rep (VotingCommitteeInput crypto EveryoneVotes) 
Instance details

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)))))

Methods

from ∷ VotingCommitteeInput crypto EveryoneVotes → Rep (VotingCommitteeInput crypto EveryoneVotes) x #

to ∷ Rep (VotingCommitteeInput crypto EveryoneVotes) x → VotingCommitteeInput crypto EveryoneVotes #

Show (PublicKey crypto) ⇒ Show (VotingCommittee crypto EveryoneVotes) Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.EveryoneVotes

Methods

showsPrec ∷ Int → VotingCommittee crypto EveryoneVotes → ShowS #

show ∷ VotingCommittee crypto EveryoneVotes → String #

showList ∷ [VotingCommittee crypto EveryoneVotes] → ShowS #

Show (VotingCommitteeError crypto EveryoneVotes) Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.EveryoneVotes

Methods

showsPrec ∷ Int → VotingCommitteeError crypto EveryoneVotes → ShowS #

show ∷ VotingCommitteeError crypto EveryoneVotes → String #

showList ∷ [VotingCommitteeError crypto EveryoneVotes] → ShowS #

Show (PublicKey crypto) ⇒ Show (VotingCommitteeInput crypto EveryoneVotes) Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.EveryoneVotes

Methods

showsPrec ∷ Int → VotingCommitteeInput crypto EveryoneVotes → ShowS #

show ∷ VotingCommitteeInput crypto EveryoneVotes → String #

showList ∷ [VotingCommitteeInput crypto EveryoneVotes] → ShowS #

NoThunks (PublicKey crypto) ⇒ NoThunks (VotingCommittee crypto EveryoneVotes) Source # 
Instance details

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 (VotingCommitteeError crypto EveryoneVotes) Source # 
Instance details

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 (PublicKey crypto) ⇒ NoThunks (VotingCommitteeInput crypto EveryoneVotes) Source # 
Instance details

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 #

data Cert crypto EveryoneVotes Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.EveryoneVotes

data Cert crypto EveryoneVotes = EveryoneVotesCert !(ElectionId crypto) !(VoteCandidate crypto) !(NE (Set SeatIndex)) !(AggregateVoteSignature crypto)
data EligibilityWitness crypto EveryoneVotes Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.EveryoneVotes

data EligibilityWitness crypto EveryoneVotes = EveryoneVotesMember !SeatIndex !(NonZero LedgerStake)
data Vote crypto EveryoneVotes Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.EveryoneVotes

data Vote crypto EveryoneVotes = EveryoneVotesVote !SeatIndex !(ElectionId crypto) !(VoteCandidate crypto) !(VoteSignature crypto)
data VotingCommittee crypto EveryoneVotes Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.EveryoneVotes

data VotingCommittee crypto EveryoneVotes = EveryoneVotesVotingCommittee {}
data VotingCommitteeError crypto EveryoneVotes Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.EveryoneVotes

data VotingCommitteeError crypto EveryoneVotes
data VotingCommitteeInput crypto EveryoneVotes Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.EveryoneVotes

data VotingCommitteeInput crypto EveryoneVotes = EveryoneVotesVotingCommitteeInput !(ExtWFAStakeDistr (PublicKey crypto))
type Rep (VotingCommittee crypto EveryoneVotes) Source # 
Instance details

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 (VotingCommitteeError crypto EveryoneVotes) Source # 
Instance details

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 (VotingCommitteeInput crypto EveryoneVotes) Source # 
Instance details

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)))))

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

Instances details
CanHardFork xs ⇒ FromCBOR (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) Source #

Hand-written rather than deriving via SerialiseNS: that derivation needs All (Compose Serialise WrapPerasVotingCommittee) xs, which GHC cannot solve from the CanHardFork xs (i.e. All SingleEraBlock xs) context for an abstract xs. We instead build the per-era codecs with hcpure proxySingle, where each era's Serialise (WrapPerasVotingCommittee blk) is reachable from SingleEraBlock blk via its StateSupportsPerasEpochContext superclass, and feed them to encodeNS and decodeNS, producing the same wire format a SerialiseNS derivation would.

Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

Defined in Ouroboros.Consensus.Committee.WFALS

Methods

fromCBOR ∷ Decoder s (VotingCommittee crypto WFALS) Source #

label ∷ Proxy (VotingCommittee crypto WFALS) → Text Source #

(Typeable crypto, Typeable blk) ⇒ FromCBOR (VotingCommittee crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

Methods

fromCBOR ∷ Decoder s (VotingCommittee crypto (MockPerasVotingCommitteeScheme blk)) Source #

label ∷ Proxy (VotingCommittee crypto (MockPerasVotingCommitteeScheme blk)) → Text Source #

CanHardFork xs ⇒ ToCBOR (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) Source # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

Defined in Ouroboros.Consensus.Committee.WFALS

Methods

toCBOR ∷ VotingCommittee crypto WFALS → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VotingCommittee crypto WFALS) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VotingCommittee crypto WFALS] → Size Source #

(Typeable crypto, Typeable blk) ⇒ ToCBOR (VotingCommittee crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

Methods

toCBOR ∷ VotingCommittee crypto (MockPerasVotingCommitteeScheme blk) → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VotingCommittee crypto (MockPerasVotingCommitteeScheme blk)) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VotingCommittee crypto (MockPerasVotingCommitteeScheme blk)] → Size Source #

CanHardFork xs ⇒ Eq (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) Source # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

Defined in Ouroboros.Consensus.Committee.WFALS

Methods

(==) ∷ VotingCommittee crypto WFALS → VotingCommittee crypto WFALS → Bool #

(/=) ∷ VotingCommittee crypto WFALS → VotingCommittee crypto WFALS → Bool #

Eq (VotingCommittee crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

Methods

(==) ∷ VotingCommittee crypto (MockPerasVotingCommitteeScheme blk) → VotingCommittee crypto (MockPerasVotingCommitteeScheme blk) → Bool #

(/=) ∷ VotingCommittee crypto (MockPerasVotingCommitteeScheme blk) → VotingCommittee crypto (MockPerasVotingCommitteeScheme blk) → Bool #

Generic (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Associated Types

type Rep (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) 
Instance details

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))))

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 # 
Instance details

Defined in Ouroboros.Consensus.Peras.Void

Associated Types

type Rep (VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) 
Instance details

Defined in Ouroboros.Consensus.Peras.Void

type Rep (VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) = Rep Void

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 # 
Instance details

Defined in Ouroboros.Consensus.Committee.EveryoneVotes

Associated Types

type Rep (VotingCommittee crypto EveryoneVotes) 
Instance details

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))))

Methods

from ∷ VotingCommittee crypto EveryoneVotes → Rep (VotingCommittee crypto EveryoneVotes) x #

to ∷ Rep (VotingCommittee crypto EveryoneVotes) x → VotingCommittee crypto EveryoneVotes #

Generic (VotingCommittee crypto WFALS) Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.WFALS

Associated Types

type Rep (VotingCommittee crypto WFALS) 
Instance details

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)))))

Methods

from ∷ VotingCommittee crypto WFALS → Rep (VotingCommittee crypto WFALS) x #

to ∷ Rep (VotingCommittee crypto WFALS) x → VotingCommittee crypto WFALS #

Generic (VotingCommittee crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

Associated Types

type Rep (VotingCommittee crypto (MockPerasVotingCommitteeScheme blk)) 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

type Rep (VotingCommittee crypto (MockPerasVotingCommitteeScheme blk)) = Rep (NonEmpty (PoolId, VoteWeight))

Methods

from ∷ VotingCommittee crypto (MockPerasVotingCommitteeScheme blk) → Rep (VotingCommittee crypto (MockPerasVotingCommitteeScheme blk)) x #

to ∷ Rep (VotingCommittee crypto (MockPerasVotingCommitteeScheme blk)) x → VotingCommittee crypto (MockPerasVotingCommitteeScheme blk) #

CanHardFork xs ⇒ Show (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) Source # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

Defined in Ouroboros.Consensus.Committee.WFALS

Methods

showsPrec ∷ Int → VotingCommittee crypto WFALS → ShowS #

show ∷ VotingCommittee crypto WFALS → String #

showList ∷ [VotingCommittee crypto WFALS] → ShowS #

Show (VotingCommittee crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

Methods

showsPrec ∷ Int → VotingCommittee crypto (MockPerasVotingCommitteeScheme blk) → ShowS #

show ∷ VotingCommittee crypto (MockPerasVotingCommitteeScheme blk) → String #

showList ∷ [VotingCommittee crypto (MockPerasVotingCommitteeScheme blk)] → ShowS #

CanHardFork xs ⇒ NoThunks (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) Source # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

Defined in Ouroboros.Consensus.Committee.WFALS

Methods

noThunks ∷ Context → VotingCommittee crypto WFALS → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → VotingCommittee crypto WFALS → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (VotingCommittee crypto WFALS) → String Source #

NoThunks (VotingCommittee crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

Methods

noThunks ∷ Context → VotingCommittee crypto (MockPerasVotingCommitteeScheme blk) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → VotingCommittee crypto (MockPerasVotingCommitteeScheme blk) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (VotingCommittee crypto (MockPerasVotingCommitteeScheme blk)) → String Source #

data VotingCommittee crypto EveryoneVotes Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.EveryoneVotes

data VotingCommittee crypto EveryoneVotes = EveryoneVotesVotingCommittee {}
data VotingCommittee crypto WFALS Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.WFALS

data VotingCommittee crypto WFALS = WFALSVotingCommittee {}
newtype VotingCommittee crypto (MockPerasVotingCommitteeScheme blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

newtype VotingCommittee crypto (MockPerasVotingCommitteeScheme blk) = MockPerasVotingCommittee {}
newtype VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Void

newtype VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme = VoidPerasVotingCommittee Void
newtype VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

newtype VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) = OneEraPerasVotingCommittee {}
type Rep (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) Source # 
Instance details

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 # 
Instance details

Defined in Ouroboros.Consensus.Peras.Void

type Rep (VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) = Rep Void
type Rep (VotingCommittee crypto EveryoneVotes) Source # 
Instance details

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 # 
Instance details

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)))))
type Rep (VotingCommittee crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

type Rep (VotingCommittee crypto (MockPerasVotingCommitteeScheme blk)) = Rep (NonEmpty (PoolId, VoteWeight))

data family VotingCommitteeInput crypto committee Source #

Input information needed to construct a voting committee

Instances

Instances details
(Typeable crypto, Typeable blk) ⇒ FromCBOR (VotingCommitteeInput crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

Methods

fromCBOR ∷ Decoder s (VotingCommitteeInput crypto (MockPerasVotingCommitteeScheme blk)) Source #

label ∷ Proxy (VotingCommitteeInput crypto (MockPerasVotingCommitteeScheme blk)) → Text Source #

(Typeable crypto, Typeable blk) ⇒ ToCBOR (VotingCommitteeInput crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

Methods

toCBOR ∷ VotingCommitteeInput crypto (MockPerasVotingCommitteeScheme blk) → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VotingCommitteeInput crypto (MockPerasVotingCommitteeScheme blk)) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VotingCommitteeInput crypto (MockPerasVotingCommitteeScheme blk)] → Size Source #

Eq (PublicKey crypto) ⇒ Eq (VotingCommitteeInput crypto EveryoneVotes) Source # 
Instance details

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 # 
Instance details

Defined in Ouroboros.Consensus.Committee.WFALS

Methods

(==) ∷ VotingCommitteeInput crypto WFALS → VotingCommitteeInput crypto WFALS → Bool #

(/=) ∷ VotingCommitteeInput crypto WFALS → VotingCommitteeInput crypto WFALS → Bool #

Eq (VotingCommitteeInput crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

Methods

(==) ∷ VotingCommitteeInput crypto (MockPerasVotingCommitteeScheme blk) → VotingCommitteeInput crypto (MockPerasVotingCommitteeScheme blk) → Bool #

(/=) ∷ VotingCommitteeInput crypto (MockPerasVotingCommitteeScheme blk) → VotingCommitteeInput crypto (MockPerasVotingCommitteeScheme blk) → Bool #

Generic (VotingCommitteeInput crypto EveryoneVotes) Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.EveryoneVotes

Associated Types

type Rep (VotingCommitteeInput crypto EveryoneVotes) 
Instance details

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)))))

Methods

from ∷ VotingCommitteeInput crypto EveryoneVotes → Rep (VotingCommitteeInput crypto EveryoneVotes) x #

to ∷ Rep (VotingCommitteeInput crypto EveryoneVotes) x → VotingCommitteeInput crypto EveryoneVotes #

Generic (VotingCommitteeInput crypto WFALS) Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.WFALS

Associated Types

type Rep (VotingCommitteeInput crypto WFALS) 
Instance details

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))))))

Methods

from ∷ VotingCommitteeInput crypto WFALS → Rep (VotingCommitteeInput crypto WFALS) x #

to ∷ Rep (VotingCommitteeInput crypto WFALS) x → VotingCommitteeInput crypto WFALS #

Generic (VotingCommitteeInput crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

Associated Types

type Rep (VotingCommitteeInput crypto (MockPerasVotingCommitteeScheme blk)) 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

type Rep (VotingCommitteeInput crypto (MockPerasVotingCommitteeScheme blk)) = Rep (NonEmpty (PoolId, LedgerStake))

Methods

from ∷ VotingCommitteeInput crypto (MockPerasVotingCommitteeScheme blk) → Rep (VotingCommitteeInput crypto (MockPerasVotingCommitteeScheme blk)) x #

to ∷ Rep (VotingCommitteeInput crypto (MockPerasVotingCommitteeScheme blk)) x → VotingCommitteeInput crypto (MockPerasVotingCommitteeScheme blk) #

Show (PublicKey crypto) ⇒ Show (VotingCommitteeInput crypto EveryoneVotes) Source # 
Instance details

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 # 
Instance details

Defined in Ouroboros.Consensus.Committee.WFALS

Methods

showsPrec ∷ Int → VotingCommitteeInput crypto WFALS → ShowS #

show ∷ VotingCommitteeInput crypto WFALS → String #

showList ∷ [VotingCommitteeInput crypto WFALS] → ShowS #

Show (VotingCommitteeInput crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

Methods

showsPrec ∷ Int → VotingCommitteeInput crypto (MockPerasVotingCommitteeScheme blk) → ShowS #

show ∷ VotingCommitteeInput crypto (MockPerasVotingCommitteeScheme blk) → String #

showList ∷ [VotingCommitteeInput crypto (MockPerasVotingCommitteeScheme blk)] → ShowS #

NoThunks (PublicKey crypto) ⇒ NoThunks (VotingCommitteeInput crypto EveryoneVotes) Source # 
Instance details

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 # 
Instance details

Defined in Ouroboros.Consensus.Committee.WFALS

Methods

noThunks ∷ Context → VotingCommitteeInput crypto WFALS → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → VotingCommitteeInput crypto WFALS → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (VotingCommitteeInput crypto WFALS) → String Source #

NoThunks (VotingCommitteeInput crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

Methods

noThunks ∷ Context → VotingCommitteeInput crypto (MockPerasVotingCommitteeScheme blk) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → VotingCommitteeInput crypto (MockPerasVotingCommitteeScheme blk) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (VotingCommitteeInput crypto (MockPerasVotingCommitteeScheme blk)) → String Source #

data VotingCommitteeInput crypto EveryoneVotes Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.EveryoneVotes

data VotingCommitteeInput crypto EveryoneVotes = EveryoneVotesVotingCommitteeInput !(ExtWFAStakeDistr (PublicKey crypto))
data VotingCommitteeInput crypto WFALS Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.WFALS

data VotingCommitteeInput crypto WFALS = WFALSVotingCommitteeInput !Nonce !TargetCommitteeSize !(ExtWFAStakeDistr (PublicKey crypto))
newtype VotingCommitteeInput crypto (MockPerasVotingCommitteeScheme blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

newtype VotingCommitteeInput crypto (MockPerasVotingCommitteeScheme blk) = MockPerasVotingCommitteeInput (NonEmpty (PoolId, LedgerStake))
newtype VotingCommitteeInput (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Void

newtype VotingCommitteeInput (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme = VoidPerasVotingCommitteeInput Void
type Rep (VotingCommitteeInput crypto EveryoneVotes) Source # 
Instance details

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 # 
Instance details

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))))))
type Rep (VotingCommitteeInput crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

type Rep (VotingCommitteeInput crypto (MockPerasVotingCommitteeScheme blk)) = Rep (NonEmpty (PoolId, LedgerStake))

data family VotingCommitteeError crypto committee Source #

Errors that can occur when operating on a voting committee

Instances

Instances details
(Typeable crypto, Typeable blk) ⇒ FromCBOR (VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

Methods

fromCBOR ∷ Decoder s (VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk)) Source #

label ∷ Proxy (VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk)) → Text Source #

(Typeable crypto, Typeable blk) ⇒ ToCBOR (VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

Methods

toCBOR ∷ VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk) → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk)) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk)] → Size Source #

Eq (VotingCommitteeError crypto EveryoneVotes) Source # 
Instance details

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 # 
Instance details

Defined in Ouroboros.Consensus.Committee.WFALS

Methods

(==) ∷ VotingCommitteeError crypto WFALS → VotingCommitteeError crypto WFALS → Bool #

(/=) ∷ VotingCommitteeError crypto WFALS → VotingCommitteeError crypto WFALS → Bool #

Eq (VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

Methods

(==) ∷ VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk) → VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk) → Bool #

(/=) ∷ VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk) → VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk) → Bool #

Typeable crypto ⇒ Exception (VotingCommitteeError crypto EveryoneVotes) Source # 
Instance details

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 # 
Instance details

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 #

(Typeable crypto, Typeable blk) ⇒ Exception (VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

Methods

toException ∷ VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk) → SomeException #

fromException ∷ SomeException → Maybe (VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk)) #

displayException ∷ VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk) → String #

backtraceDesired ∷ VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk) → Bool #

Generic (VotingCommitteeError crypto EveryoneVotes) Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.EveryoneVotes

Associated Types

type Rep (VotingCommitteeError crypto EveryoneVotes) 
Instance details

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)))))

Methods

from ∷ VotingCommitteeError crypto EveryoneVotes → Rep (VotingCommitteeError crypto EveryoneVotes) x #

to ∷ Rep (VotingCommitteeError crypto EveryoneVotes) x → VotingCommitteeError crypto EveryoneVotes #

Generic (VotingCommitteeError crypto WFALS) Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.WFALS

Associated Types

type Rep (VotingCommitteeError crypto WFALS) 
Instance details

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))))))

Methods

from ∷ VotingCommitteeError crypto WFALS → Rep (VotingCommitteeError crypto WFALS) x #

to ∷ Rep (VotingCommitteeError crypto WFALS) x → VotingCommitteeError crypto WFALS #

Generic (VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

Associated Types

type Rep (VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk)) 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

type Rep (VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk)) = Rep PerasSeatIndex

Methods

from ∷ VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk) → Rep (VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk)) x #

to ∷ Rep (VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk)) x → VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk) #

Show (VotingCommitteeError crypto EveryoneVotes) Source # 
Instance details

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 # 
Instance details

Defined in Ouroboros.Consensus.Committee.WFALS

Methods

showsPrec ∷ Int → VotingCommitteeError crypto WFALS → ShowS #

show ∷ VotingCommitteeError crypto WFALS → String #

showList ∷ [VotingCommitteeError crypto WFALS] → ShowS #

Show (VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

Methods

showsPrec ∷ Int → VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk) → ShowS #

show ∷ VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk) → String #

showList ∷ [VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk)] → ShowS #

NoThunks (VotingCommitteeError crypto EveryoneVotes) Source # 
Instance details

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 # 
Instance details

Defined in Ouroboros.Consensus.Committee.WFALS

Methods

noThunks ∷ Context → VotingCommitteeError crypto WFALS → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → VotingCommitteeError crypto WFALS → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (VotingCommitteeError crypto WFALS) → String Source #

NoThunks (VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

Methods

noThunks ∷ Context → VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk)) → String Source #

data VotingCommitteeError crypto EveryoneVotes Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.EveryoneVotes

data VotingCommitteeError crypto EveryoneVotes
data VotingCommitteeError crypto WFALS Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.WFALS

data VotingCommitteeError crypto WFALS
newtype VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

newtype VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk) = MissingSeatIndex PerasSeatIndex
newtype VotingCommitteeError (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Void

newtype VotingCommitteeError (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme = VoidPerasVotingCommitteeError Void
type Rep (VotingCommitteeError crypto EveryoneVotes) Source # 
Instance details

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 # 
Instance details

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))))))
type Rep (VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

type Rep (VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk)) = Rep PerasSeatIndex

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

Instances details
(Typeable crypto, Typeable blk) ⇒ FromCBOR (EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

Methods

fromCBOR ∷ Decoder s (EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk)) Source #

label ∷ Proxy (EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk)) → Text Source #

(Typeable crypto, Typeable blk) ⇒ ToCBOR (EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

Methods

toCBOR ∷ EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk) → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk)) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk)] → Size Source #

Eq (EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

Methods

(==) ∷ EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk) → EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk) → Bool #

(/=) ∷ EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk) → EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk) → Bool #

Generic (EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

Associated Types

type Rep (EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk)) 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

type Rep (EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk)) = D1 ('MetaData "EligibilityWitness" "Ouroboros.Consensus.Peras.Crypto.Mock" "ouroboros-consensus-4.0.0.0-inplace" 'False) (C1 ('MetaCons "MockPerasVotingCommitteeSchemeMember" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PerasSeatIndex) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VoteWeight)))

Methods

from ∷ EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk) → Rep (EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk)) x #

to ∷ Rep (EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk)) x → EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk) #

Show (EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

Methods

showsPrec ∷ Int → EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk) → ShowS #

show ∷ EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk) → String #

showList ∷ [EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk)] → ShowS #

NoThunks (EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

Methods

noThunks ∷ Context → EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk)) → String Source #

data EligibilityWitness crypto EveryoneVotes Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.EveryoneVotes

data EligibilityWitness crypto EveryoneVotes = EveryoneVotesMember !SeatIndex !(NonZero LedgerStake)
data EligibilityWitness crypto WFALS Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.WFALS

data EligibilityWitness crypto WFALS
data EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

data EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk) = MockPerasVotingCommitteeSchemeMember !PerasSeatIndex !VoteWeight
newtype EligibilityWitness (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Void

newtype EligibilityWitness (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme = VoidPerasEligibilityWitness Void
type Rep (EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

type Rep (EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk)) = D1 ('MetaData "EligibilityWitness" "Ouroboros.Consensus.Peras.Crypto.Mock" "ouroboros-consensus-4.0.0.0-inplace" 'False) (C1 ('MetaCons "MockPerasVotingCommitteeSchemeMember" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PerasSeatIndex) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VoteWeight)))

data family Vote crypto committee Source #

Abstract vote cast by a committee member in a given election

Instances

Instances details
(Typeable crypto, Typeable blk, FromCBOR (Point blk)) ⇒ FromCBOR (Vote crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

Methods

fromCBOR ∷ Decoder s (Vote crypto (MockPerasVotingCommitteeScheme blk)) Source #

label ∷ Proxy (Vote crypto (MockPerasVotingCommitteeScheme blk)) → Text Source #

(Typeable crypto, Typeable blk, ToCBOR (Point blk)) ⇒ ToCBOR (Vote crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

Methods

toCBOR ∷ Vote crypto (MockPerasVotingCommitteeScheme blk) → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Vote crypto (MockPerasVotingCommitteeScheme blk)) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Vote crypto (MockPerasVotingCommitteeScheme blk)] → Size Source #

StandardHash blk ⇒ Eq (Vote crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

Methods

(==) ∷ Vote crypto (MockPerasVotingCommitteeScheme blk) → Vote crypto (MockPerasVotingCommitteeScheme blk) → Bool #

(/=) ∷ Vote crypto (MockPerasVotingCommitteeScheme blk) → Vote crypto (MockPerasVotingCommitteeScheme blk) → Bool #

Generic (Vote crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

Associated Types

type Rep (Vote crypto (MockPerasVotingCommitteeScheme blk)) 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

type Rep (Vote crypto (MockPerasVotingCommitteeScheme blk)) = Rep (MockPerasVote blk)

Methods

from ∷ Vote crypto (MockPerasVotingCommitteeScheme blk) → Rep (Vote crypto (MockPerasVotingCommitteeScheme blk)) x #

to ∷ Rep (Vote crypto (MockPerasVotingCommitteeScheme blk)) x → Vote crypto (MockPerasVotingCommitteeScheme blk) #

StandardHash blk ⇒ Show (Vote crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

Methods

showsPrec ∷ Int → Vote crypto (MockPerasVotingCommitteeScheme blk) → ShowS #

show ∷ Vote crypto (MockPerasVotingCommitteeScheme blk) → String #

showList ∷ [Vote crypto (MockPerasVotingCommitteeScheme blk)] → ShowS #

StandardHash blk ⇒ NoThunks (Vote crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

Methods

noThunks ∷ Context → Vote crypto (MockPerasVotingCommitteeScheme blk) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Vote crypto (MockPerasVotingCommitteeScheme blk) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Vote crypto (MockPerasVotingCommitteeScheme blk)) → String Source #

data Vote crypto EveryoneVotes Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.EveryoneVotes

data Vote crypto EveryoneVotes = EveryoneVotesVote !SeatIndex !(ElectionId crypto) !(VoteCandidate crypto) !(VoteSignature crypto)
data Vote crypto WFALS Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.WFALS

data Vote crypto WFALS
newtype Vote crypto (MockPerasVotingCommitteeScheme blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

newtype Vote crypto (MockPerasVotingCommitteeScheme blk) = MockPerasVotingCommitteeSchemeVote (MockPerasVote blk)
newtype Vote (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Void

newtype Vote (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme = VoidPerasVote' {}
type Rep (Vote crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

type Rep (Vote crypto (MockPerasVotingCommitteeScheme blk)) = Rep (MockPerasVote blk)

data family Cert crypto committee Source #

Abstract certificate attesting the winner of a given election

Instances

Instances details
(Typeable crypto, Typeable blk, FromCBOR (Point blk)) ⇒ FromCBOR (Cert crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

Methods

fromCBOR ∷ Decoder s (Cert crypto (MockPerasVotingCommitteeScheme blk)) Source #

label ∷ Proxy (Cert crypto (MockPerasVotingCommitteeScheme blk)) → Text Source #

(Typeable crypto, Typeable blk, ToCBOR (Point blk)) ⇒ ToCBOR (Cert crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

Methods

toCBOR ∷ Cert crypto (MockPerasVotingCommitteeScheme blk) → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Cert crypto (MockPerasVotingCommitteeScheme blk)) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Cert crypto (MockPerasVotingCommitteeScheme blk)] → Size Source #

StandardHash blk ⇒ Eq (Cert crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

Methods

(==) ∷ Cert crypto (MockPerasVotingCommitteeScheme blk) → Cert crypto (MockPerasVotingCommitteeScheme blk) → Bool #

(/=) ∷ Cert crypto (MockPerasVotingCommitteeScheme blk) → Cert crypto (MockPerasVotingCommitteeScheme blk) → Bool #

Generic (Cert crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

Associated Types

type Rep (Cert crypto (MockPerasVotingCommitteeScheme blk)) 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

type Rep (Cert crypto (MockPerasVotingCommitteeScheme blk)) = Rep (MockPerasCert blk)

Methods

from ∷ Cert crypto (MockPerasVotingCommitteeScheme blk) → Rep (Cert crypto (MockPerasVotingCommitteeScheme blk)) x #

to ∷ Rep (Cert crypto (MockPerasVotingCommitteeScheme blk)) x → Cert crypto (MockPerasVotingCommitteeScheme blk) #

StandardHash blk ⇒ Show (Cert crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

Methods

showsPrec ∷ Int → Cert crypto (MockPerasVotingCommitteeScheme blk) → ShowS #

show ∷ Cert crypto (MockPerasVotingCommitteeScheme blk) → String #

showList ∷ [Cert crypto (MockPerasVotingCommitteeScheme blk)] → ShowS #

StandardHash blk ⇒ NoThunks (Cert crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

Methods

noThunks ∷ Context → Cert crypto (MockPerasVotingCommitteeScheme blk) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Cert crypto (MockPerasVotingCommitteeScheme blk) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Cert crypto (MockPerasVotingCommitteeScheme blk)) → String Source #

data Cert crypto EveryoneVotes Source # 
Instance details

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 # 
Instance details

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 crypto (MockPerasVotingCommitteeScheme blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

newtype Cert crypto (MockPerasVotingCommitteeScheme blk) = MockPerasVotingCommitteeSchemeCert (MockPerasCert blk)
newtype Cert (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Void

newtype Cert (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme = VoidPerasCert' {}
type Rep (Cert crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

type Rep (Cert crypto (MockPerasVotingCommitteeScheme blk)) = Rep (MockPerasCert blk)

Metrics about the voting committee composition

candidateSeats ∷ VotingCommittee crypto EveryoneVotes → Map PoolId SeatIndex Source #

numActiveVoters ∷ VotingCommittee crypto EveryoneVotes → NumPoolsWithPositiveStake Source #