Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.Peras.Void

Description

Helpers to derive BlockSupportsPeras for block types without Peras support.

Synopsis

newtype VoidPerasVote blk = VoidPerasVote {
- unVoidPerasVote ∷ Void
}
newtype VoidPerasCert blk = VoidPerasCert {
- unVoidPerasCert ∷ Void
}
newtype VoidPerasError blk = VoidPerasError {
- unVoidPerasError ∷ Void
}
data VoidPerasCrypto blk
data VoidPerasVotingCommitteeScheme
absurdVoidPerasVotingCommitteeError ∷ VotingCommitteeError (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → a
absurdVoidPerasCert ∷ Cert (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → a

Documentation

newtype VoidPerasVote blk Source #

Imposible Peras vote for blk.

NOTE: the phantom blk is used to keep the PerasVote type family injective.

Constructors

VoidPerasVote
Fields unVoidPerasVote ∷ Void

Instances

Instances details

ShowProxy (VoidPerasVote blk ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.Peras.Void Methods showProxy ∷ Proxy (VoidPerasVote blk) → String #
Eq (VoidPerasVote blk) Source #
Instance details Defined in Ouroboros.Consensus.Peras.Void Methods (==) ∷ VoidPerasVote blk → VoidPerasVote blk → Bool # (/=) ∷ VoidPerasVote blk → VoidPerasVote blk → Bool #
Show (VoidPerasVote blk) Source #
Instance details Defined in Ouroboros.Consensus.Peras.Void Methods showsPrec ∷ Int → VoidPerasVote blk → ShowS # show ∷ VoidPerasVote blk → String # showList ∷ [VoidPerasVote blk] → ShowS #
NoThunks (VoidPerasVote blk) Source #
Instance details Defined in Ouroboros.Consensus.Peras.Void Methods noThunks ∷ Context → VoidPerasVote blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VoidPerasVote blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VoidPerasVote blk) → String Source #
IsPerasVote (VoidPerasVote blk) blk Source #
Instance details Defined in Ouroboros.Consensus.Peras.Void Methods getPerasVoteRound ∷ VoidPerasVote blk → PerasRoundNo Source # getPerasVoteBlock ∷ VoidPerasVote blk → BoostedBlock (VoidPerasVote blk) Source # getPerasVoteSeatIndex ∷ VoidPerasVote blk → PerasSeatIndex Source # getPerasVotePoint ∷ VoidPerasVote blk → Point blk Source #
PerasVoteCompatibleWithVotingCommittee (VoidPerasVote blk) (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme Source #
Instance details Defined in Ouroboros.Consensus.Peras.Void Methods toPerasVote ∷ Vote (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → Either PerasConversionError (VoidPerasVote blk) Source # fromPerasVote ∷ VoidPerasVote blk → Either PerasConversionError (Vote (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) Source #
type BoostedBlock (VoidPerasVote blk) Source #
Instance details Defined in Ouroboros.Consensus.Peras.Void type BoostedBlock (VoidPerasVote blk) = Point blk

newtype VoidPerasCert blk Source #

Imposible Peras certificate for blk.

NOTE: the phantom blk is used to keep the PerasCert type family injective.

Constructors

VoidPerasCert
Fields unVoidPerasCert ∷ Void

Instances

Instances details

ShowProxy (VoidPerasCert blk ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.Peras.Void Methods showProxy ∷ Proxy (VoidPerasCert blk) → String #
Eq (VoidPerasCert blk) Source #
Instance details Defined in Ouroboros.Consensus.Peras.Void Methods (==) ∷ VoidPerasCert blk → VoidPerasCert blk → Bool # (/=) ∷ VoidPerasCert blk → VoidPerasCert blk → Bool #
Show (VoidPerasCert blk) Source #
Instance details Defined in Ouroboros.Consensus.Peras.Void Methods showsPrec ∷ Int → VoidPerasCert blk → ShowS # show ∷ VoidPerasCert blk → String # showList ∷ [VoidPerasCert blk] → ShowS #
NoThunks (VoidPerasCert blk) Source #
Instance details Defined in Ouroboros.Consensus.Peras.Void Methods noThunks ∷ Context → VoidPerasCert blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VoidPerasCert blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VoidPerasCert blk) → String Source #
IsPerasCert (VoidPerasCert blk) blk Source #
Instance details Defined in Ouroboros.Consensus.Peras.Void Methods getPerasCertRound ∷ VoidPerasCert blk → PerasRoundNo Source # getPerasCertBlock ∷ VoidPerasCert blk → BoostedBlock (VoidPerasCert blk) Source # getPerasCertPoint ∷ VoidPerasCert blk → Point blk Source #
PerasCertCompatibleWithVotingCommittee (VoidPerasCert blk) (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme Source #
Instance details Defined in Ouroboros.Consensus.Peras.Void Methods toPerasCert ∷ Cert (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → Either PerasConversionError (VoidPerasCert blk) Source # fromPerasCert ∷ VoidPerasCert blk → Either PerasConversionError (Cert (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) Source #
type BoostedBlock (VoidPerasCert blk) Source #
Instance details Defined in Ouroboros.Consensus.Peras.Void type BoostedBlock (VoidPerasCert blk) = Point blk

newtype VoidPerasError blk Source #

Void Peras error for blk.

NOTE: the phantom blk is used to keep the PerasError type family injective.

Constructors

VoidPerasError
Fields unVoidPerasError ∷ Void

Instances

Instances details

ShowProxy (VoidPerasError blk ∷ Type) Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Void

Methods

showProxy ∷ Proxy (VoidPerasError blk) → String #

Eq (VoidPerasError blk) Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Void

Methods

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

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

Typeable blk ⇒ Exception (VoidPerasError blk) Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Void

Methods

toException ∷ VoidPerasError blk → SomeException #

fromException ∷ SomeException → Maybe (VoidPerasError blk) #

displayException ∷ VoidPerasError blk → String #

backtraceDesired ∷ VoidPerasError blk → Bool #

Generic (VoidPerasError blk) Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Void

Associated Types

type Rep (VoidPerasError blk)
Instance details Defined in Ouroboros.Consensus.Peras.Void type Rep (VoidPerasError blk) = Rep Void

Methods

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

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

Show (VoidPerasError blk) Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Void

Methods

showsPrec ∷ Int → VoidPerasError blk → ShowS #

show ∷ VoidPerasError blk → String #

showList ∷ [VoidPerasError blk] → ShowS #

NoThunks (VoidPerasError blk) Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Void

Methods

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

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

showTypeOf ∷ Proxy (VoidPerasError blk) → String Source #

IsPerasError (VoidPerasError blk) blk Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

injectVotingCommitteeError ∷ PerasVotingCommitteeError blk → VoidPerasError blk Source #

injectConversionError ∷ PerasConversionError → VoidPerasError blk Source #

injectQuorumNotReachedError ∷ VoteWeight → VoidPerasError blk Source #

type Rep (VoidPerasError blk) Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Void

type Rep (VoidPerasError blk) = Rep Void

data VoidPerasCrypto blk Source #

Instances

Instances details

Eq (VoidPerasCrypto blk) Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Void

Methods

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

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

Generic (VoidPerasCrypto blk) Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Void

Associated Types

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

Methods

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

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

Show (VoidPerasCrypto blk) Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Void

Methods

showsPrec ∷ Int → VoidPerasCrypto blk → ShowS #

show ∷ VoidPerasCrypto blk → String #

showList ∷ [VoidPerasCrypto blk] → ShowS #

NoThunks (VoidPerasCrypto blk) Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Void

Methods

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

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

showTypeOf ∷ Proxy (VoidPerasCrypto blk) → String Source #

CryptoSupportsVoteSigning (VoidPerasCrypto blk) Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Void

Associated Types

type VoteSigningKey (VoidPerasCrypto blk)
Instance details Defined in Ouroboros.Consensus.Peras.Void type VoteSigningKey (VoidPerasCrypto blk) = ()
type VoteVerificationKey (VoidPerasCrypto blk)
Instance details Defined in Ouroboros.Consensus.Peras.Void type VoteVerificationKey (VoidPerasCrypto blk) = Void
data VoteSignature (VoidPerasCrypto blk)
Instance details Defined in Ouroboros.Consensus.Peras.Void data VoteSignature (VoidPerasCrypto blk) = VoidVoteSignature ()

Methods

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

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

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

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

CryptoSupportsVotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Void

Associated Types

newtype VotingCommitteeInput (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme
Instance details Defined in Ouroboros.Consensus.Peras.Void newtype VotingCommitteeInput (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme = VoidPerasVotingCommitteeInput Void
newtype VotingCommitteeError (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme
Instance details Defined in Ouroboros.Consensus.Peras.Void newtype VotingCommitteeError (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme = VoidPerasVotingCommitteeError Void
newtype EligibilityWitness (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme
Instance details Defined in Ouroboros.Consensus.Peras.Void newtype EligibilityWitness (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme = VoidPerasEligibilityWitness Void
newtype Vote (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme
Instance details Defined in Ouroboros.Consensus.Peras.Void newtype Vote (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme = VoidPerasVote' { unCommitteeVote ∷ VoidPerasVote blk }
newtype Cert (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme
Instance details Defined in Ouroboros.Consensus.Peras.Void newtype Cert (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme = VoidPerasCert' { unCommitteeCert ∷ VoidPerasCert blk }

Methods

voteTarget ∷ Vote (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → (ElectionId (VoidPerasCrypto blk), VoteCandidate (VoidPerasCrypto blk)) Source #

compareVotesById ∷ Vote (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → Vote (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → Ordering Source #

mkVotingCommittee ∷ VotingCommitteeInput (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → Either (VotingCommitteeError (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) (VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) Source #

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

forgeVote ∷ EligibilityWitness (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → PrivateKey (VoidPerasCrypto blk) → ElectionId (VoidPerasCrypto blk) → VoteCandidate (VoidPerasCrypto blk) → Vote (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme Source #

verifyVote ∷ VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → Vote (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → Either (VotingCommitteeError (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) (EligibilityWitness (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) Source #

eligiblePartyVoteWeight ∷ VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → EligibilityWitness (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → VoteWeight Source #

forgeCert ∷ UniqueVotesWithSameTarget (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → Either (VotingCommitteeError (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) (Cert (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) Source #

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

PerasCertCompatibleWithVotingCommittee (VoidPerasCert blk) (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Void

Methods

toPerasCert ∷ Cert (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → Either PerasConversionError (VoidPerasCert blk) Source #

fromPerasCert ∷ VoidPerasCert blk → Either PerasConversionError (Cert (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) Source #

PerasVoteCompatibleWithVotingCommittee (VoidPerasVote blk) (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Void

Methods

toPerasVote ∷ Vote (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → Either PerasConversionError (VoidPerasVote blk) Source #

fromPerasVote ∷ VoidPerasVote blk → Either PerasConversionError (Vote (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) 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 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 #

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 #

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 #

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 #

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 #

type Rep (VoidPerasCrypto blk) Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Void

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

type ElectionId (VoidPerasCrypto blk) Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Void

type ElectionId (VoidPerasCrypto blk) = PerasRoundNo

type PrivateKey (VoidPerasCrypto blk) Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Void

type PrivateKey (VoidPerasCrypto blk) = ()

type PublicKey (VoidPerasCrypto blk) Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Void

type PublicKey (VoidPerasCrypto blk) = Void

type VoteCandidate (VoidPerasCrypto blk) Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Void

type VoteCandidate (VoidPerasCrypto blk) = Point blk

data VoteSignature (VoidPerasCrypto blk) Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Void

data VoteSignature (VoidPerasCrypto blk) = VoidVoteSignature ()

type VoteSigningKey (VoidPerasCrypto blk) Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Void

type VoteSigningKey (VoidPerasCrypto blk) = ()

type VoteVerificationKey (VoidPerasCrypto blk) Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Void

type VoteVerificationKey (VoidPerasCrypto blk) = Void

newtype Cert (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Void

newtype Cert (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme = VoidPerasCert' {

unCommitteeCert ∷ VoidPerasCert blk

}

newtype EligibilityWitness (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Void

newtype EligibilityWitness (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme = VoidPerasEligibilityWitness Void

newtype Vote (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Void

newtype Vote (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme = VoidPerasVote' {

unCommitteeVote ∷ VoidPerasVote blk

}

newtype VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Void

newtype VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme = VoidPerasVotingCommittee Void

newtype VotingCommitteeError (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Void

newtype VotingCommitteeError (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme = VoidPerasVotingCommitteeError Void

newtype VotingCommitteeInput (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Void

newtype VotingCommitteeInput (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme = VoidPerasVotingCommitteeInput Void

type Rep (VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Void

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

data VoidPerasVotingCommitteeScheme Source #

Void Peras committee for blk.

Instances

Instances details

Eq VoidPerasVotingCommitteeScheme Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Void

Methods

(==) ∷ VoidPerasVotingCommitteeScheme → VoidPerasVotingCommitteeScheme → Bool #

(/=) ∷ VoidPerasVotingCommitteeScheme → VoidPerasVotingCommitteeScheme → Bool #

Generic VoidPerasVotingCommitteeScheme Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Void

Associated Types

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

Methods

from ∷ VoidPerasVotingCommitteeScheme → Rep VoidPerasVotingCommitteeScheme x #

to ∷ Rep VoidPerasVotingCommitteeScheme x → VoidPerasVotingCommitteeScheme #

Show VoidPerasVotingCommitteeScheme Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Void

Methods

showsPrec ∷ Int → VoidPerasVotingCommitteeScheme → ShowS #

show ∷ VoidPerasVotingCommitteeScheme → String #

showList ∷ [VoidPerasVotingCommitteeScheme] → ShowS #

NoThunks VoidPerasVotingCommitteeScheme Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Void

Methods

noThunks ∷ Context → VoidPerasVotingCommitteeScheme → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → VoidPerasVotingCommitteeScheme → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy VoidPerasVotingCommitteeScheme → String Source #

CryptoSupportsVotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Void

Associated Types

newtype VotingCommitteeInput (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme
Instance details Defined in Ouroboros.Consensus.Peras.Void newtype VotingCommitteeInput (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme = VoidPerasVotingCommitteeInput Void
newtype VotingCommitteeError (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme
Instance details Defined in Ouroboros.Consensus.Peras.Void newtype VotingCommitteeError (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme = VoidPerasVotingCommitteeError Void
newtype EligibilityWitness (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme
Instance details Defined in Ouroboros.Consensus.Peras.Void newtype EligibilityWitness (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme = VoidPerasEligibilityWitness Void
newtype Vote (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme
Instance details Defined in Ouroboros.Consensus.Peras.Void newtype Vote (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme = VoidPerasVote' { unCommitteeVote ∷ VoidPerasVote blk }
newtype Cert (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme
Instance details Defined in Ouroboros.Consensus.Peras.Void newtype Cert (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme = VoidPerasCert' { unCommitteeCert ∷ VoidPerasCert blk }

Methods

voteTarget ∷ Vote (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → (ElectionId (VoidPerasCrypto blk), VoteCandidate (VoidPerasCrypto blk)) Source #

compareVotesById ∷ Vote (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → Vote (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → Ordering Source #

mkVotingCommittee ∷ VotingCommitteeInput (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → Either (VotingCommitteeError (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) (VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) Source #

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

forgeVote ∷ EligibilityWitness (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → PrivateKey (VoidPerasCrypto blk) → ElectionId (VoidPerasCrypto blk) → VoteCandidate (VoidPerasCrypto blk) → Vote (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme Source #

verifyVote ∷ VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → Vote (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → Either (VotingCommitteeError (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) (EligibilityWitness (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) Source #

eligiblePartyVoteWeight ∷ VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → EligibilityWitness (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → VoteWeight Source #

forgeCert ∷ UniqueVotesWithSameTarget (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → Either (VotingCommitteeError (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) (Cert (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) Source #

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

PerasCertCompatibleWithVotingCommittee (VoidPerasCert blk) (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Void

Methods

toPerasCert ∷ Cert (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → Either PerasConversionError (VoidPerasCert blk) Source #

fromPerasCert ∷ VoidPerasCert blk → Either PerasConversionError (Cert (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) Source #

PerasVoteCompatibleWithVotingCommittee (VoidPerasVote blk) (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Void

Methods

toPerasVote ∷ Vote (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → Either PerasConversionError (VoidPerasVote blk) Source #

fromPerasVote ∷ VoidPerasVote blk → Either PerasConversionError (Vote (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) 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 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 #

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 #

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 #

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 #

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 #

type Rep VoidPerasVotingCommitteeScheme Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Void

type Rep VoidPerasVotingCommitteeScheme = D1 ('MetaData "VoidPerasVotingCommitteeScheme" "Ouroboros.Consensus.Peras.Void" "ouroboros-consensus-4.0.0.0-inplace" 'False) (V1 ∷ Type → Type)

newtype Cert (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Void

newtype Cert (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme = VoidPerasCert' {