ouroboros-consensus:unstable-mock-block
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.Mock.Node.Peras

Description

Empty Peras support for the mock block.

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

Orphan instances

(SimpleCrypto c, Typeable ext) ⇒ BlockSupportsPeras (SimpleBlock c ext) Source # 
Instance details

Associated Types

type PerasVote (SimpleBlock c ext) 
Instance details

Defined in Ouroboros.Consensus.Mock.Node.Peras

type PerasVote (SimpleBlock c ext) = VoidPerasVote (SimpleBlock c ext)
type PerasCert (SimpleBlock c ext) 
Instance details

Defined in Ouroboros.Consensus.Mock.Node.Peras

type PerasCert (SimpleBlock c ext) = VoidPerasCert (SimpleBlock c ext)
type PerasError (SimpleBlock c ext) 
Instance details

Defined in Ouroboros.Consensus.Mock.Node.Peras

type PerasError (SimpleBlock c ext) = VoidPerasError (SimpleBlock c ext)
type PerasCrypto (SimpleBlock c ext) 
Instance details

Defined in Ouroboros.Consensus.Mock.Node.Peras

type PerasCrypto (SimpleBlock c ext) = VoidPerasCrypto (SimpleBlock c ext)
type PerasVotingCommitteeScheme (SimpleBlock c ext) 
Instance details

Defined in Ouroboros.Consensus.Mock.Node.Peras

type PerasVotingCommitteeScheme (SimpleBlock c ext) = VoidPerasVotingCommitteeScheme

Methods

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

verifyPerasVote ∷ PerasEpochContext (SimpleBlock c ext) → PerasVote (SimpleBlock c ext) → Either (PerasError (SimpleBlock c ext)) (ValidatedPerasVote (SimpleBlock c ext)) Source #

forgePerasCert ∷ PerasEpochContext (SimpleBlock c ext) → PerasVoteCollectionWithQuorum (SimpleBlock c ext) → Either (PerasError (SimpleBlock c ext)) (ValidatedPerasCert (SimpleBlock c ext)) Source #

verifyPerasCert ∷ PerasEpochContext (SimpleBlock c ext) → PerasCert (SimpleBlock c ext) → Either (PerasError (SimpleBlock c ext)) (ValidatedPerasCert (SimpleBlock c ext)) Source #

getPerasCertInBlock ∷ SimpleBlock c ext → Either (PerasError (SimpleBlock c ext)) (Maybe (PerasCert (SimpleBlock c ext))) Source #

(SimpleCrypto c, Typeable ext, ChainDepStateSupportsPeras (ChainDepState (BlockProtocol (SimpleBlock c ext))), ChainDepStateSupportsPeras (Ticked (ChainDepState (BlockProtocol (SimpleBlock c ext))))) ⇒ StateSupportsPerasEpochContext (SimpleBlock c ext) Source # 
Instance details

Associated Types

type MaybeEraIndexedEpochToPerasRoundInfo (SimpleBlock c ext) 
Instance details

Defined in Ouroboros.Consensus.Mock.Node.Peras

type MaybeEraIndexedEpochToPerasRoundInfo (SimpleBlock c ext) = EpochToPerasRoundInfo

Methods

fromMaybeEraIndexedEpochToPerasRoundInfo ∷ proxy (SimpleBlock c ext) → MaybeEraIndexedEpochToPerasRoundInfo (SimpleBlock c ext) → EpochToPerasRoundInfo Source #

toMaybeEraIndexedEpochToPerasRoundInfo ∷ All (Top ∷ Type → Constraint) (HardForkIndices (SimpleBlock c ext)) ⇒ proxy (SimpleBlock c ext) → EraIndexed (HardForkIndices (SimpleBlock c ext)) EpochToPerasRoundInfo → MaybeEraIndexedEpochToPerasRoundInfo (SimpleBlock c ext) Source #

mkBoundedPerasEpochContext ∷ (LedgerStateSupportsPeras ledgerState, ChainDepStateSupportsPeras chainDepState) ⇒ MaybeEraIndexedEpochToPerasRoundInfo (SimpleBlock c ext) → ledgerState EmptyMK → chainDepState → Either (PerasError (SimpleBlock c ext)) (BoundedPerasEpochContext (SimpleBlock c ext)) Source #