ouroboros-consensus:cardano
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.Byron.Node.Peras

Description

Empty Peras support for Byron.

NOTE: this module exists solely because the orphan module Serialisation needs some of these instances, but defining them there would be too confusing.

Orphan instances

BlockSupportsPeras ByronBlock Source # 
Instance details

Associated Types

type PerasVote ByronBlock 
Instance details

Defined in Ouroboros.Consensus.Byron.Node.Peras

type PerasVote ByronBlock = VoidPerasVote ByronBlock
type PerasCert ByronBlock 
Instance details

Defined in Ouroboros.Consensus.Byron.Node.Peras

type PerasCert ByronBlock = VoidPerasCert ByronBlock
type PerasError ByronBlock 
Instance details

Defined in Ouroboros.Consensus.Byron.Node.Peras

type PerasError ByronBlock = VoidPerasError ByronBlock
type PerasCrypto ByronBlock 
Instance details

Defined in Ouroboros.Consensus.Byron.Node.Peras

type PerasCrypto ByronBlock = VoidPerasCrypto ByronBlock
type PerasVotingCommitteeScheme ByronBlock 
Instance details

Defined in Ouroboros.Consensus.Byron.Node.Peras

type PerasVotingCommitteeScheme ByronBlock = VoidPerasVotingCommitteeScheme

Methods

forgePerasVoteIfEligible ∷ PerasEpochContext ByronBlock → PoolId → PrivateKey (PerasCrypto ByronBlock) → PerasRoundNo → Point ByronBlock → Either (PerasError ByronBlock) (Maybe (ValidatedPerasVote ByronBlock)) Source #

verifyPerasVote ∷ PerasEpochContext ByronBlock → PerasVote ByronBlock → Either (PerasError ByronBlock) (ValidatedPerasVote ByronBlock) Source #

forgePerasCert ∷ PerasEpochContext ByronBlock → PerasVoteCollectionWithQuorum ByronBlock → Either (PerasError ByronBlock) (ValidatedPerasCert ByronBlock) Source #

verifyPerasCert ∷ PerasEpochContext ByronBlock → PerasCert ByronBlock → Either (PerasError ByronBlock) (ValidatedPerasCert ByronBlock) Source #

getPerasCertInBlock ∷ ByronBlock → Either (PerasError ByronBlock) (Maybe (PerasCert ByronBlock)) Source #