Mocked crypto for Peras

Associated Types

newtype VotingCommitteeInput crypto (MockPerasVotingCommitteeScheme blk)
Instance details Defined in Ouroboros.Consensus.Peras.Crypto.Mock newtype VotingCommitteeInput crypto (MockPerasVotingCommitteeScheme blk) = MockPerasVotingCommitteeInput (NonEmpty (PoolId, LedgerStake))
newtype VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk)
Instance details Defined in Ouroboros.Consensus.Peras.Crypto.Mock newtype VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk) = MissingSeatIndex PerasSeatIndex
data EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk)
Instance details Defined in Ouroboros.Consensus.Peras.Crypto.Mock data EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk) = MockPerasVotingCommitteeSchemeMember !PerasSeatIndex !VoteWeight
newtype Vote crypto (MockPerasVotingCommitteeScheme blk)
Instance details Defined in Ouroboros.Consensus.Peras.Crypto.Mock newtype Vote crypto (MockPerasVotingCommitteeScheme blk) = MockPerasVotingCommitteeSchemeVote (MockPerasVote blk)
newtype Cert crypto (MockPerasVotingCommitteeScheme blk)
Instance details Defined in Ouroboros.Consensus.Peras.Crypto.Mock newtype Cert crypto (MockPerasVotingCommitteeScheme blk) = MockPerasVotingCommitteeSchemeCert (MockPerasCert blk)

Methods

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

compareVotesById ∷ Vote crypto (MockPerasVotingCommitteeScheme blk) → Vote crypto (MockPerasVotingCommitteeScheme blk) → Ordering Source #

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

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

forgeVote ∷ EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk) → PrivateKey crypto → ElectionId crypto → VoteCandidate crypto → Vote crypto (MockPerasVotingCommitteeScheme blk) Source #

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

eligiblePartyVoteWeight ∷ VotingCommittee crypto (MockPerasVotingCommitteeScheme blk) → EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk) → VoteWeight Source #

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

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

Eq (MockPerasVotingCommitteeScheme blk) Source #

Instance details

Methods

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

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

Generic (MockPerasVotingCommitteeScheme blk) Source #

Instance details

Associated Types

type Rep (MockPerasVotingCommitteeScheme blk)
Instance details Defined in Ouroboros.Consensus.Peras.Crypto.Mock type Rep (MockPerasVotingCommitteeScheme blk) = D1 ('MetaData "MockPerasVotingCommitteeScheme" "Ouroboros.Consensus.Peras.Crypto.Mock" "ouroboros-consensus-4.0.0.0-inplace" 'False) (V1 ∷ Type → Type)

Methods

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

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

Show (MockPerasVotingCommitteeScheme blk) Source #

Instance details

Methods

showsPrec ∷ Int → MockPerasVotingCommitteeScheme blk → ShowS #

show ∷ MockPerasVotingCommitteeScheme blk → String #

showList ∷ [MockPerasVotingCommitteeScheme blk] → ShowS #

NoThunks (MockPerasVotingCommitteeScheme blk) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (MockPerasVotingCommitteeScheme blk) → String Source #

PerasCertCompatibleWithVotingCommittee (MockPerasCert blk) (MockPerasCrypto blk) (MockPerasVotingCommitteeScheme blk) Source #

Instance details

Methods

toPerasCert ∷ Cert (MockPerasCrypto blk) (MockPerasVotingCommitteeScheme blk) → Either PerasConversionError (MockPerasCert blk) Source #

fromPerasCert ∷ MockPerasCert blk → Either PerasConversionError (Cert (MockPerasCrypto blk) (MockPerasVotingCommitteeScheme blk)) Source #

PerasVoteCompatibleWithVotingCommittee (MockPerasVote blk) (MockPerasCrypto blk) (MockPerasVotingCommitteeScheme blk) Source #

Instance details

Methods

toPerasVote ∷ Vote (MockPerasCrypto blk) (MockPerasVotingCommitteeScheme blk) → Either PerasConversionError (MockPerasVote blk) Source #

fromPerasVote ∷ MockPerasVote blk → Either PerasConversionError (Vote (MockPerasCrypto blk) (MockPerasVotingCommitteeScheme blk)) Source #

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

Instance details

Methods

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

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

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

Instance details

Methods

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

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

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

Instance details

Methods

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

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

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

Instance details

Methods

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

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

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

Instance details

Methods

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

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

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

Instance details

Methods

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

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

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

Instance details

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 #

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

Instance details

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 #

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

Instance details

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 #

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

Instance details

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 #

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

Instance details

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 #

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

Instance details

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 #

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

Instance details

Methods

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

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

Eq (EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk)) Source #

Instance details

Methods

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

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

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

Instance details

Methods

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

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

Eq (VotingCommittee crypto (MockPerasVotingCommitteeScheme blk)) Source #

Instance details

Methods

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

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

Eq (VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk)) Source #

Instance details

Methods

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

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

Eq (VotingCommitteeInput crypto (MockPerasVotingCommitteeScheme blk)) Source #

Instance details

Methods

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

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

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

Instance details

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

Instance details

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

Generic (EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk)) Source #

Instance details

Associated Types

type Rep (EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk))

Instance details

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

Generic (Vote crypto (MockPerasVotingCommitteeScheme blk)) Source #

Instance details

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

Generic (VotingCommittee crypto (MockPerasVotingCommitteeScheme blk)) Source #

Instance details

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

Generic (VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk)) Source #

Instance details

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

Generic (VotingCommitteeInput crypto (MockPerasVotingCommitteeScheme blk)) Source #

Instance details

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

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

Instance details

Methods

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

show ∷ Cert crypto (MockPerasVotingCommitteeScheme blk) → String #

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

Show (EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk)) Source #

Instance details

Methods

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

show ∷ EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk) → String #

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

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

Instance details

Methods

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

show ∷ Vote crypto (MockPerasVotingCommitteeScheme blk) → String #

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

Show (VotingCommittee crypto (MockPerasVotingCommitteeScheme blk)) Source #

Instance details

Methods

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

show ∷ VotingCommittee crypto (MockPerasVotingCommitteeScheme blk) → String #

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

Show (VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk)) Source #

Instance details

Methods

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

show ∷ VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk) → String #

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

Show (VotingCommitteeInput crypto (MockPerasVotingCommitteeScheme blk)) Source #

Instance details

Methods

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

show ∷ VotingCommitteeInput crypto (MockPerasVotingCommitteeScheme blk) → String #

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

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

Instance details

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 #

NoThunks (EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk)) Source #

Instance details

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 #

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

Instance details

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 #

NoThunks (VotingCommittee crypto (MockPerasVotingCommitteeScheme blk)) Source #

Instance details

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 #

NoThunks (VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk)) Source #

Instance details

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 #

NoThunks (VotingCommitteeInput crypto (MockPerasVotingCommitteeScheme blk)) Source #

Instance details

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 #

newtype Cert crypto (MockPerasVotingCommitteeScheme blk) Source #

Instance details

newtype Cert crypto (MockPerasVotingCommitteeScheme blk) = MockPerasVotingCommitteeSchemeCert (MockPerasCert blk)

data EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk) Source #

Instance details

data EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk) = MockPerasVotingCommitteeSchemeMember !PerasSeatIndex !VoteWeight

newtype Vote crypto (MockPerasVotingCommitteeScheme blk) Source #

Instance details

newtype Vote crypto (MockPerasVotingCommitteeScheme blk) = MockPerasVotingCommitteeSchemeVote (MockPerasVote blk)

newtype VotingCommittee crypto (MockPerasVotingCommitteeScheme blk) Source #

Instance details

newtype VotingCommittee crypto (MockPerasVotingCommitteeScheme blk) = MockPerasVotingCommittee {

weightDistr ∷ NonEmpty (PoolId, VoteWeight)

}

newtype VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk) Source #

Instance details

newtype VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk) = MissingSeatIndex PerasSeatIndex

newtype VotingCommitteeInput crypto (MockPerasVotingCommitteeScheme blk) Source #

Instance details

newtype VotingCommitteeInput crypto (MockPerasVotingCommitteeScheme blk) = MockPerasVotingCommitteeInput (NonEmpty (PoolId, LedgerStake))

type Rep (MockPerasVotingCommitteeScheme blk) Source #

Instance details

type Rep (MockPerasVotingCommitteeScheme blk) = D1 ('MetaData "MockPerasVotingCommitteeScheme" "Ouroboros.Consensus.Peras.Crypto.Mock" "ouroboros-consensus-4.0.0.0-inplace" 'False) (V1 ∷ Type → Type)

type Rep (Cert crypto (MockPerasVotingCommitteeScheme blk)) Source #

Instance details

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

type Rep (EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk)) Source #

Instance details

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

type Rep (Vote crypto (MockPerasVotingCommitteeScheme blk)) Source #

Instance details

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

type Rep (VotingCommittee crypto (MockPerasVotingCommitteeScheme blk)) Source #

Instance details

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

type Rep (VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk)) Source #

Instance details

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

type Rep (VotingCommitteeInput crypto (MockPerasVotingCommitteeScheme blk)) Source #

Instance details

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

data MockPerasCrypto blk Source #

A mock crypto scheme for Peras

Instances

Instances details

Eq (MockPerasCrypto blk) Source #

Instance details

Methods

(==) ∷ MockPerasCrypto blk → MockPerasCrypto blk → Bool #

(/=) ∷ MockPerasCrypto blk → MockPerasCrypto blk → Bool #

Generic (MockPerasCrypto blk) Source #

Instance details

Associated Types

type Rep (MockPerasCrypto blk)
Instance details Defined in Ouroboros.Consensus.Peras.Crypto.Mock type Rep (MockPerasCrypto blk) = D1 ('MetaData "MockPerasCrypto" "Ouroboros.Consensus.Peras.Crypto.Mock" "ouroboros-consensus-4.0.0.0-inplace" 'False) (V1 ∷ Type → Type)

Methods

from ∷ MockPerasCrypto blk → Rep (MockPerasCrypto blk) x #

to ∷ Rep (MockPerasCrypto blk) x → MockPerasCrypto blk #

Show (MockPerasCrypto blk) Source #

Instance details

Methods

showsPrec ∷ Int → MockPerasCrypto blk → ShowS #

show ∷ MockPerasCrypto blk → String #

showList ∷ [MockPerasCrypto blk] → ShowS #

NoThunks (MockPerasCrypto blk) Source #

Instance details

Methods

noThunks ∷ Context → MockPerasCrypto blk → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → MockPerasCrypto blk → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (MockPerasCrypto blk) → String Source #

CryptoSupportsAggregateVoteSigning (MockPerasCrypto blk) Source #

Instance details

Associated Types

type AggregateVoteVerificationKey (MockPerasCrypto blk)
Instance details Defined in Ouroboros.Consensus.Peras.Crypto.Mock type AggregateVoteVerificationKey (MockPerasCrypto blk) = ()
type AggregateVoteSignature (MockPerasCrypto blk)
Instance details Defined in Ouroboros.Consensus.Peras.Crypto.Mock type AggregateVoteSignature (MockPerasCrypto blk) = ()

Methods

aggregateVoteVerificationKeys ∷ Proxy (MockPerasCrypto blk) → NE [VoteVerificationKey (MockPerasCrypto blk)] → Either String (AggregateVoteVerificationKey (MockPerasCrypto blk)) Source #

aggregateVoteSignatures ∷ Proxy (MockPerasCrypto blk) → NE [VoteSignature (MockPerasCrypto blk)] → Either String (AggregateVoteSignature (MockPerasCrypto blk)) Source #

verifyAggregateVoteSignature ∷ Proxy (MockPerasCrypto blk) → AggregateVoteVerificationKey (MockPerasCrypto blk) → ElectionId (MockPerasCrypto blk) → VoteCandidate (MockPerasCrypto blk) → AggregateVoteSignature (MockPerasCrypto blk) → Either String () Source #

CryptoSupportsVoteSigning (MockPerasCrypto blk) Source #

Instance details

Associated Types

type VoteSigningKey (MockPerasCrypto blk)
Instance details Defined in Ouroboros.Consensus.Peras.Crypto.Mock type VoteSigningKey (MockPerasCrypto blk) = ()
type VoteVerificationKey (MockPerasCrypto blk)
Instance details Defined in Ouroboros.Consensus.Peras.Crypto.Mock type VoteVerificationKey (MockPerasCrypto blk) = ()
data VoteSignature (MockPerasCrypto blk)
Instance details Defined in Ouroboros.Consensus.Peras.Crypto.Mock data VoteSignature (MockPerasCrypto blk) = MockVoteSignature

Methods

getVoteSigningKey ∷ Proxy (MockPerasCrypto blk) → PrivateKey (MockPerasCrypto blk) → VoteSigningKey (MockPerasCrypto blk) Source #

getVoteVerificationKey ∷ Proxy (MockPerasCrypto blk) → PublicKey (MockPerasCrypto blk) → VoteVerificationKey (MockPerasCrypto blk) Source #

signVote ∷ VoteSigningKey (MockPerasCrypto blk) → ElectionId (MockPerasCrypto blk) → VoteCandidate (MockPerasCrypto blk) → VoteSignature (MockPerasCrypto blk) Source #

verifyVoteSignature ∷ VoteVerificationKey (MockPerasCrypto blk) → ElectionId (MockPerasCrypto blk) → VoteCandidate (MockPerasCrypto blk) → VoteSignature (MockPerasCrypto blk) → Either String () Source #

PerasCertCompatibleWithVotingCommittee (MockPerasCert blk) (MockPerasCrypto blk) (MockPerasVotingCommitteeScheme blk) Source #

Instance details

Methods

toPerasCert ∷ Cert (MockPerasCrypto blk) (MockPerasVotingCommitteeScheme blk) → Either PerasConversionError (MockPerasCert blk) Source #

fromPerasCert ∷ MockPerasCert blk → Either PerasConversionError (Cert (MockPerasCrypto blk) (MockPerasVotingCommitteeScheme blk)) Source #

PerasVoteCompatibleWithVotingCommittee (MockPerasVote blk) (MockPerasCrypto blk) (MockPerasVotingCommitteeScheme blk) Source #

Instance details

Methods

toPerasVote ∷ Vote (MockPerasCrypto blk) (MockPerasVotingCommitteeScheme blk) → Either PerasConversionError (MockPerasVote blk) Source #

fromPerasVote ∷ MockPerasVote blk → Either PerasConversionError (Vote (MockPerasCrypto blk) (MockPerasVotingCommitteeScheme blk)) Source #

type Rep (MockPerasCrypto blk) Source #

Instance details

type Rep (MockPerasCrypto blk) = D1 ('MetaData "MockPerasCrypto" "Ouroboros.Consensus.Peras.Crypto.Mock" "ouroboros-consensus-4.0.0.0-inplace" 'False) (V1 ∷ Type → Type)

type AggregateVoteSignature (MockPerasCrypto blk) Source #

Instance details

type AggregateVoteSignature (MockPerasCrypto blk) = ()

type AggregateVoteVerificationKey (MockPerasCrypto blk) Source #

Instance details

type AggregateVoteVerificationKey (MockPerasCrypto blk) = ()

type ElectionId (MockPerasCrypto blk) Source #

Instance details

type ElectionId (MockPerasCrypto blk) = PerasRoundNo

type PrivateKey (MockPerasCrypto blk) Source #

Instance details

type PrivateKey (MockPerasCrypto blk) = ()

type PublicKey (MockPerasCrypto blk) Source #

Instance details

type PublicKey (MockPerasCrypto blk) = ()

type VoteCandidate (MockPerasCrypto blk) Source #

Instance details

type VoteCandidate (MockPerasCrypto blk) = Point blk

data VoteSignature (MockPerasCrypto blk) Source #

Instance details

data VoteSignature (MockPerasCrypto blk) = MockVoteSignature

type VoteSigningKey (MockPerasCrypto blk) Source #

Instance details

type VoteSigningKey (MockPerasCrypto blk) = ()

type VoteVerificationKey (MockPerasCrypto blk) Source #

Instance details

type VoteVerificationKey (MockPerasCrypto blk) = ()

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

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

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

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

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

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

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

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

Methods

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

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

Eq (VotingCommittee crypto (MockPerasVotingCommitteeScheme blk)) Source #

Instance details

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

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

Associated Types

type Rep (VotingCommittee crypto WFALS)

Instance details

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

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

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

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

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

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

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

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 {

extWFAStakeDistr ∷ !(ExtWFAStakeDistr (PublicKey crypto))
candidateSeats ∷ !(Map PoolId SeatIndex)
numActiveVoters ∷ !NumPoolsWithPositiveStake
totalActiveStake ∷ !TotalStake

}

data VotingCommittee crypto WFALS Source #

Instance details

data VotingCommittee crypto WFALS = WFALSVotingCommittee {

extWFAStakeDistr ∷ !(ExtWFAStakeDistr (PublicKey crypto))
candidateSeats ∷ !(Map PoolId SeatIndex)
persistentCommitteeSize ∷ !PersistentCommitteeSize
nonPersistentCommitteeSize ∷ !NonPersistentCommitteeSize
totalPersistentStake ∷ !TotalPersistentStake
totalNonPersistentStake ∷ !TotalNonPersistentStake
epochNonce ∷ !Nonce

}

newtype VotingCommittee crypto (MockPerasVotingCommitteeScheme blk) Source #

Instance details

newtype VotingCommittee crypto (MockPerasVotingCommitteeScheme blk) = MockPerasVotingCommittee {

weightDistr ∷ NonEmpty (PoolId, VoteWeight)

}

newtype VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme Source #

Instance details

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 {

getOneEraPerasVotingCommittee ∷ NS WrapPerasVotingCommittee xs

}

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

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

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

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

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

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

Methods

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

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

Eq (VotingCommitteeInput crypto (MockPerasVotingCommitteeScheme blk)) Source #

Instance details

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

Associated Types

type Rep (VotingCommitteeInput crypto WFALS)

Instance details

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

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

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

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

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

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

data VotingCommitteeInput crypto WFALS = WFALSVotingCommitteeInput !Nonce !TargetCommitteeSize !(ExtWFAStakeDistr (PublicKey crypto))

newtype VotingCommitteeInput crypto (MockPerasVotingCommitteeScheme blk) Source #

Instance details

newtype VotingCommitteeInput crypto (MockPerasVotingCommitteeScheme blk) = MockPerasVotingCommitteeInput (NonEmpty (PoolId, LedgerStake))

newtype VotingCommitteeInput (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme Source #

Instance details

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

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

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

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

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

Methods

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

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

Eq (VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk)) Source #

Instance details

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

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

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

Associated Types

type Rep (VotingCommitteeError crypto WFALS)

Instance details

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

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

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

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

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

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

= WFAError WFAError
| MissingPoolId PoolId
| MissingSeatIndex SeatIndex
| PoolHasNoStake SeatIndex
| InvalidVoteSignature String
| InvalidCertSignature String
| CryptoError String

data VotingCommitteeError crypto WFALS Source #

Instance details

newtype VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk) Source #

Instance details

newtype VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk) = MissingSeatIndex PerasSeatIndex

newtype VotingCommitteeError (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme Source #

Instance details

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

type Rep (VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk)) Source #

Instance details

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

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

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

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

Associated Types

type Rep (EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk))

Instance details

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

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

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

data EligibilityWitness crypto WFALS

= WFALSPersistentMember !SeatIndex !LedgerStake
| WFALSNonPersistentMember !SeatIndex !LedgerStake !(VRFOutput crypto) !(NonZero LocalSortitionNumSeats)

data EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk) Source #

Instance details

data EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk) = MockPerasVotingCommitteeSchemeMember !PerasSeatIndex !VoteWeight

newtype EligibilityWitness (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme Source #

Instance details

newtype EligibilityWitness (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme = VoidPerasEligibilityWitness Void

type Rep (EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk)) Source #

Instance details

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

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

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

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

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

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

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

data Vote crypto WFALS

= WFALSPersistentVote !SeatIndex !(ElectionId crypto) !(VoteCandidate crypto) !(VoteSignature crypto)
| WFALSNonPersistentVote !SeatIndex !(ElectionId crypto) !(VoteCandidate crypto) !(VRFOutput crypto) !(VoteSignature crypto)

newtype Vote crypto (MockPerasVotingCommitteeScheme blk) Source #

Instance details

newtype Vote crypto (MockPerasVotingCommitteeScheme blk) = MockPerasVotingCommitteeSchemeVote (MockPerasVote blk)

newtype Vote (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme Source #

Instance details

newtype Vote (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme = VoidPerasVote' {

unCommitteeVote ∷ VoidPerasVote blk

}

type Rep (Vote crypto (MockPerasVotingCommitteeScheme blk)) Source #

Instance details

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

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

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

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