Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.Shelley.Node.Peras

Contents

Orphan instances

Description

Peras support for Shelley.

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

HasSizeForBlockBodyInclusion (IgnoringOverflow ByteSize32) (OneEraPerasCert xs) ⇒ HasSizeForBlockBodyInclusion AlonzoMeasure (OneEraPerasCert xs) Source #

Instance details

Methods

getSizeForBlockBodyInclusion ∷ OneEraPerasCert xs → AlonzoMeasure Source #

HasSizeForBlockBodyInclusion (IgnoringOverflow ByteSize32) (PerasCert blk) ⇒ HasSizeForBlockBodyInclusion AlonzoMeasure (PerasCert blk) Source #

Instance details

Methods

getSizeForBlockBodyInclusion ∷ PerasCert blk → AlonzoMeasure Source #

Typeable blk ⇒ HasSizeForBlockBodyInclusion (IgnoringOverflow ByteSize32) (PerasCert blk) Source #

Instance details

Methods

getSizeForBlockBodyInclusion ∷ PerasCert blk → IgnoringOverflow ByteSize32 Source #

(Typeable proto, TxLimits (ShelleyBlock proto AllegraEra)) ⇒ BlockSupportsPeras (ShelleyBlock proto AllegraEra) Source #

Instance details

Associated Types

type PerasVote (ShelleyBlock proto AllegraEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Peras type PerasVote (ShelleyBlock proto AllegraEra) = VoidPerasVote (ShelleyBlock proto AllegraEra)
type PerasCert (ShelleyBlock proto AllegraEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Peras type PerasCert (ShelleyBlock proto AllegraEra) = VoidPerasCert (ShelleyBlock proto AllegraEra)
type PerasError (ShelleyBlock proto AllegraEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Peras type PerasError (ShelleyBlock proto AllegraEra) = VoidPerasError (ShelleyBlock proto AllegraEra)
type PerasCrypto (ShelleyBlock proto AllegraEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Peras type PerasCrypto (ShelleyBlock proto AllegraEra) = VoidPerasCrypto (ShelleyBlock proto AllegraEra)
type PerasVotingCommitteeScheme (ShelleyBlock proto AllegraEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Peras type PerasVotingCommitteeScheme (ShelleyBlock proto AllegraEra) = VoidPerasVotingCommitteeScheme

Methods

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

verifyPerasVote ∷ PerasEpochContext (ShelleyBlock proto AllegraEra) → PerasVote (ShelleyBlock proto AllegraEra) → Either (PerasError (ShelleyBlock proto AllegraEra)) (ValidatedPerasVote (ShelleyBlock proto AllegraEra)) Source #

forgePerasCert ∷ PerasEpochContext (ShelleyBlock proto AllegraEra) → PerasVoteCollectionWithQuorum (ShelleyBlock proto AllegraEra) → Either (PerasError (ShelleyBlock proto AllegraEra)) (ValidatedPerasCert (ShelleyBlock proto AllegraEra)) Source #

verifyPerasCert ∷ PerasEpochContext (ShelleyBlock proto AllegraEra) → PerasCert (ShelleyBlock proto AllegraEra) → Either (PerasError (ShelleyBlock proto AllegraEra)) (ValidatedPerasCert (ShelleyBlock proto AllegraEra)) Source #

getPerasCertInBlock ∷ ShelleyBlock proto AllegraEra → Either (PerasError (ShelleyBlock proto AllegraEra)) (Maybe (PerasCert (ShelleyBlock proto AllegraEra))) Source #

(Typeable proto, TxLimits (ShelleyBlock proto AlonzoEra)) ⇒ BlockSupportsPeras (ShelleyBlock proto AlonzoEra) Source #

Instance details

Associated Types

type PerasVote (ShelleyBlock proto AlonzoEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Peras type PerasVote (ShelleyBlock proto AlonzoEra) = VoidPerasVote (ShelleyBlock proto AlonzoEra)
type PerasCert (ShelleyBlock proto AlonzoEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Peras type PerasCert (ShelleyBlock proto AlonzoEra) = VoidPerasCert (ShelleyBlock proto AlonzoEra)
type PerasError (ShelleyBlock proto AlonzoEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Peras type PerasError (ShelleyBlock proto AlonzoEra) = VoidPerasError (ShelleyBlock proto AlonzoEra)
type PerasCrypto (ShelleyBlock proto AlonzoEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Peras type PerasCrypto (ShelleyBlock proto AlonzoEra) = VoidPerasCrypto (ShelleyBlock proto AlonzoEra)
type PerasVotingCommitteeScheme (ShelleyBlock proto AlonzoEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Peras type PerasVotingCommitteeScheme (ShelleyBlock proto AlonzoEra) = VoidPerasVotingCommitteeScheme

Methods

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

verifyPerasVote ∷ PerasEpochContext (ShelleyBlock proto AlonzoEra) → PerasVote (ShelleyBlock proto AlonzoEra) → Either (PerasError (ShelleyBlock proto AlonzoEra)) (ValidatedPerasVote (ShelleyBlock proto AlonzoEra)) Source #

forgePerasCert ∷ PerasEpochContext (ShelleyBlock proto AlonzoEra) → PerasVoteCollectionWithQuorum (ShelleyBlock proto AlonzoEra) → Either (PerasError (ShelleyBlock proto AlonzoEra)) (ValidatedPerasCert (ShelleyBlock proto AlonzoEra)) Source #

verifyPerasCert ∷ PerasEpochContext (ShelleyBlock proto AlonzoEra) → PerasCert (ShelleyBlock proto AlonzoEra) → Either (PerasError (ShelleyBlock proto AlonzoEra)) (ValidatedPerasCert (ShelleyBlock proto AlonzoEra)) Source #

getPerasCertInBlock ∷ ShelleyBlock proto AlonzoEra → Either (PerasError (ShelleyBlock proto AlonzoEra)) (Maybe (PerasCert (ShelleyBlock proto AlonzoEra))) Source #

(Typeable proto, TxLimits (ShelleyBlock proto BabbageEra)) ⇒ BlockSupportsPeras (ShelleyBlock proto BabbageEra) Source #

Instance details

Associated Types

type PerasVote (ShelleyBlock proto BabbageEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Peras type PerasVote (ShelleyBlock proto BabbageEra) = VoidPerasVote (ShelleyBlock proto BabbageEra)
type PerasCert (ShelleyBlock proto BabbageEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Peras type PerasCert (ShelleyBlock proto BabbageEra) = VoidPerasCert (ShelleyBlock proto BabbageEra)
type PerasError (ShelleyBlock proto BabbageEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Peras type PerasError (ShelleyBlock proto BabbageEra) = VoidPerasError (ShelleyBlock proto BabbageEra)
type PerasCrypto (ShelleyBlock proto BabbageEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Peras type PerasCrypto (ShelleyBlock proto BabbageEra) = VoidPerasCrypto (ShelleyBlock proto BabbageEra)
type PerasVotingCommitteeScheme (ShelleyBlock proto BabbageEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Peras type PerasVotingCommitteeScheme (ShelleyBlock proto BabbageEra) = VoidPerasVotingCommitteeScheme

Methods

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

verifyPerasVote ∷ PerasEpochContext (ShelleyBlock proto BabbageEra) → PerasVote (ShelleyBlock proto BabbageEra) → Either (PerasError (ShelleyBlock proto BabbageEra)) (ValidatedPerasVote (ShelleyBlock proto BabbageEra)) Source #

forgePerasCert ∷ PerasEpochContext (ShelleyBlock proto BabbageEra) → PerasVoteCollectionWithQuorum (ShelleyBlock proto BabbageEra) → Either (PerasError (ShelleyBlock proto BabbageEra)) (ValidatedPerasCert (ShelleyBlock proto BabbageEra)) Source #

verifyPerasCert ∷ PerasEpochContext (ShelleyBlock proto BabbageEra) → PerasCert (ShelleyBlock proto BabbageEra) → Either (PerasError (ShelleyBlock proto BabbageEra)) (ValidatedPerasCert (ShelleyBlock proto BabbageEra)) Source #

getPerasCertInBlock ∷ ShelleyBlock proto BabbageEra → Either (PerasError (ShelleyBlock proto BabbageEra)) (Maybe (PerasCert (ShelleyBlock proto BabbageEra))) Source #

(Typeable proto, TxLimits (ShelleyBlock proto ConwayEra)) ⇒ BlockSupportsPeras (ShelleyBlock proto ConwayEra) Source #

Instance details

Associated Types

type PerasVote (ShelleyBlock proto ConwayEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Peras type PerasVote (ShelleyBlock proto ConwayEra) = VoidPerasVote (ShelleyBlock proto ConwayEra)
type PerasCert (ShelleyBlock proto ConwayEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Peras type PerasCert (ShelleyBlock proto ConwayEra) = VoidPerasCert (ShelleyBlock proto ConwayEra)
type PerasError (ShelleyBlock proto ConwayEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Peras type PerasError (ShelleyBlock proto ConwayEra) = VoidPerasError (ShelleyBlock proto ConwayEra)
type PerasCrypto (ShelleyBlock proto ConwayEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Peras type PerasCrypto (ShelleyBlock proto ConwayEra) = VoidPerasCrypto (ShelleyBlock proto ConwayEra)
type PerasVotingCommitteeScheme (ShelleyBlock proto ConwayEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Peras type PerasVotingCommitteeScheme (ShelleyBlock proto ConwayEra) = VoidPerasVotingCommitteeScheme

Methods

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

verifyPerasVote ∷ PerasEpochContext (ShelleyBlock proto ConwayEra) → PerasVote (ShelleyBlock proto ConwayEra) → Either (PerasError (ShelleyBlock proto ConwayEra)) (ValidatedPerasVote (ShelleyBlock proto ConwayEra)) Source #

forgePerasCert ∷ PerasEpochContext (ShelleyBlock proto ConwayEra) → PerasVoteCollectionWithQuorum (ShelleyBlock proto ConwayEra) → Either (PerasError (ShelleyBlock proto ConwayEra)) (ValidatedPerasCert (ShelleyBlock proto ConwayEra)) Source #

verifyPerasCert ∷ PerasEpochContext (ShelleyBlock proto ConwayEra) → PerasCert (ShelleyBlock proto ConwayEra) → Either (PerasError (ShelleyBlock proto ConwayEra)) (ValidatedPerasCert (ShelleyBlock proto ConwayEra)) Source #

getPerasCertInBlock ∷ ShelleyBlock proto ConwayEra → Either (PerasError (ShelleyBlock proto ConwayEra)) (Maybe (PerasCert (ShelleyBlock proto ConwayEra))) Source #

(Typeable proto, TxLimits (ShelleyBlock proto DijkstraEra)) ⇒ BlockSupportsPeras (ShelleyBlock proto DijkstraEra) Source #

Instance details

Associated Types

type PerasVote (ShelleyBlock proto DijkstraEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Peras type PerasVote (ShelleyBlock proto DijkstraEra) = PerasVote (ShelleyBlock proto DijkstraEra)
type PerasCert (ShelleyBlock proto DijkstraEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Peras type PerasCert (ShelleyBlock proto DijkstraEra) = PerasCert (ShelleyBlock proto DijkstraEra)
type PerasError (ShelleyBlock proto DijkstraEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Peras type PerasError (ShelleyBlock proto DijkstraEra) = PerasError (ShelleyBlock proto DijkstraEra)
type PerasCrypto (ShelleyBlock proto DijkstraEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Peras type PerasCrypto (ShelleyBlock proto DijkstraEra) = PerasBLSCrypto
type PerasVotingCommitteeScheme (ShelleyBlock proto DijkstraEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Peras type PerasVotingCommitteeScheme (ShelleyBlock proto DijkstraEra) = PerasVotingCommitteeScheme

Methods

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

verifyPerasVote ∷ PerasEpochContext (ShelleyBlock proto DijkstraEra) → PerasVote (ShelleyBlock proto DijkstraEra) → Either (PerasError (ShelleyBlock proto DijkstraEra)) (ValidatedPerasVote (ShelleyBlock proto DijkstraEra)) Source #

forgePerasCert ∷ PerasEpochContext (ShelleyBlock proto DijkstraEra) → PerasVoteCollectionWithQuorum (ShelleyBlock proto DijkstraEra) → Either (PerasError (ShelleyBlock proto DijkstraEra)) (ValidatedPerasCert (ShelleyBlock proto DijkstraEra)) Source #

verifyPerasCert ∷ PerasEpochContext (ShelleyBlock proto DijkstraEra) → PerasCert (ShelleyBlock proto DijkstraEra) → Either (PerasError (ShelleyBlock proto DijkstraEra)) (ValidatedPerasCert (ShelleyBlock proto DijkstraEra)) Source #

getPerasCertInBlock ∷ ShelleyBlock proto DijkstraEra → Either (PerasError (ShelleyBlock proto DijkstraEra)) (Maybe (PerasCert (ShelleyBlock proto DijkstraEra))) Source #

(Typeable proto, TxLimits (ShelleyBlock proto MaryEra)) ⇒ BlockSupportsPeras (ShelleyBlock proto MaryEra) Source #

Instance details

Associated Types

type PerasVote (ShelleyBlock proto MaryEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Peras type PerasVote (ShelleyBlock proto MaryEra) = VoidPerasVote (ShelleyBlock proto MaryEra)
type PerasCert (ShelleyBlock proto MaryEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Peras type PerasCert (ShelleyBlock proto MaryEra) = VoidPerasCert (ShelleyBlock proto MaryEra)
type PerasError (ShelleyBlock proto MaryEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Peras type PerasError (ShelleyBlock proto MaryEra) = VoidPerasError (ShelleyBlock proto MaryEra)
type PerasCrypto (ShelleyBlock proto MaryEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Peras type PerasCrypto (ShelleyBlock proto MaryEra) = VoidPerasCrypto (ShelleyBlock proto MaryEra)
type PerasVotingCommitteeScheme (ShelleyBlock proto MaryEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Peras type PerasVotingCommitteeScheme (ShelleyBlock proto MaryEra) = VoidPerasVotingCommitteeScheme

Methods

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

verifyPerasVote ∷ PerasEpochContext (ShelleyBlock proto MaryEra) → PerasVote (ShelleyBlock proto MaryEra) → Either (PerasError (ShelleyBlock proto MaryEra)) (ValidatedPerasVote (ShelleyBlock proto MaryEra)) Source #

forgePerasCert ∷ PerasEpochContext (ShelleyBlock proto MaryEra) → PerasVoteCollectionWithQuorum (ShelleyBlock proto MaryEra) → Either (PerasError (ShelleyBlock proto MaryEra)) (ValidatedPerasCert (ShelleyBlock proto MaryEra)) Source #

verifyPerasCert ∷ PerasEpochContext (ShelleyBlock proto MaryEra) → PerasCert (ShelleyBlock proto MaryEra) → Either (PerasError (ShelleyBlock proto MaryEra)) (ValidatedPerasCert (ShelleyBlock proto MaryEra)) Source #

getPerasCertInBlock ∷ ShelleyBlock proto MaryEra → Either (PerasError (ShelleyBlock proto MaryEra)) (Maybe (PerasCert (ShelleyBlock proto MaryEra))) Source #

(Typeable proto, TxLimits (ShelleyBlock proto ShelleyEra)) ⇒ BlockSupportsPeras (ShelleyBlock proto ShelleyEra) Source #

Instance details

Associated Types

type PerasVote (ShelleyBlock proto ShelleyEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Peras type PerasVote (ShelleyBlock proto ShelleyEra) = VoidPerasVote (ShelleyBlock proto ShelleyEra)
type PerasCert (ShelleyBlock proto ShelleyEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Peras type PerasCert (ShelleyBlock proto ShelleyEra) = VoidPerasCert (ShelleyBlock proto ShelleyEra)
type PerasError (ShelleyBlock proto ShelleyEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Peras type PerasError (ShelleyBlock proto ShelleyEra) = VoidPerasError (ShelleyBlock proto ShelleyEra)
type PerasCrypto (ShelleyBlock proto ShelleyEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Peras type PerasCrypto (ShelleyBlock proto ShelleyEra) = VoidPerasCrypto (ShelleyBlock proto ShelleyEra)
type PerasVotingCommitteeScheme (ShelleyBlock proto ShelleyEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Peras type PerasVotingCommitteeScheme (ShelleyBlock proto ShelleyEra) = VoidPerasVotingCommitteeScheme

Methods

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

verifyPerasVote ∷ PerasEpochContext (ShelleyBlock proto ShelleyEra) → PerasVote (ShelleyBlock proto ShelleyEra) → Either (PerasError (ShelleyBlock proto ShelleyEra)) (ValidatedPerasVote (ShelleyBlock proto ShelleyEra)) Source #

forgePerasCert ∷ PerasEpochContext (ShelleyBlock proto ShelleyEra) → PerasVoteCollectionWithQuorum (ShelleyBlock proto ShelleyEra) → Either (PerasError (ShelleyBlock proto ShelleyEra)) (ValidatedPerasCert (ShelleyBlock proto ShelleyEra)) Source #

verifyPerasCert ∷ PerasEpochContext (ShelleyBlock proto ShelleyEra) → PerasCert (ShelleyBlock proto ShelleyEra) → Either (PerasError (ShelleyBlock proto ShelleyEra)) (ValidatedPerasCert (ShelleyBlock proto ShelleyEra)) Source #

getPerasCertInBlock ∷ ShelleyBlock proto ShelleyEra → Either (PerasError (ShelleyBlock proto ShelleyEra)) (Maybe (PerasCert (ShelleyBlock proto ShelleyEra))) Source #

(Typeable proto, ChainDepStateSupportsPeras (ChainDepState proto), ChainDepStateSupportsPeras (Ticked (ChainDepState proto))) ⇒ StateSupportsPerasEpochContext (ShelleyBlock proto AllegraEra) Source #

Instance details

Associated Types

type MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto AllegraEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Peras type MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto AllegraEra) = EpochToPerasRoundInfo

Methods

fromMaybeEraIndexedEpochToPerasRoundInfo ∷ proxy (ShelleyBlock proto AllegraEra) → MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto AllegraEra) → EpochToPerasRoundInfo Source #

toMaybeEraIndexedEpochToPerasRoundInfo ∷ All (Top ∷ Type → Constraint) (HardForkIndices (ShelleyBlock proto AllegraEra)) ⇒ proxy (ShelleyBlock proto AllegraEra) → EraIndexed (HardForkIndices (ShelleyBlock proto AllegraEra)) EpochToPerasRoundInfo → MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto AllegraEra) Source #

mkBoundedPerasEpochContext ∷ (LedgerStateSupportsPeras ledgerState, ChainDepStateSupportsPeras chainDepState) ⇒ MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto AllegraEra) → ledgerState EmptyMK → chainDepState → Either (PerasError (ShelleyBlock proto AllegraEra)) (BoundedPerasEpochContext (ShelleyBlock proto AllegraEra)) Source #

(Typeable proto, ChainDepStateSupportsPeras (ChainDepState proto), ChainDepStateSupportsPeras (Ticked (ChainDepState proto))) ⇒ StateSupportsPerasEpochContext (ShelleyBlock proto AlonzoEra) Source #

Instance details

Associated Types

type MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto AlonzoEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Peras type MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto AlonzoEra) = EpochToPerasRoundInfo

Methods

fromMaybeEraIndexedEpochToPerasRoundInfo ∷ proxy (ShelleyBlock proto AlonzoEra) → MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto AlonzoEra) → EpochToPerasRoundInfo Source #

toMaybeEraIndexedEpochToPerasRoundInfo ∷ All (Top ∷ Type → Constraint) (HardForkIndices (ShelleyBlock proto AlonzoEra)) ⇒ proxy (ShelleyBlock proto AlonzoEra) → EraIndexed (HardForkIndices (ShelleyBlock proto AlonzoEra)) EpochToPerasRoundInfo → MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto AlonzoEra) Source #

mkBoundedPerasEpochContext ∷ (LedgerStateSupportsPeras ledgerState, ChainDepStateSupportsPeras chainDepState) ⇒ MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto AlonzoEra) → ledgerState EmptyMK → chainDepState → Either (PerasError (ShelleyBlock proto AlonzoEra)) (BoundedPerasEpochContext (ShelleyBlock proto AlonzoEra)) Source #

(Typeable proto, ChainDepStateSupportsPeras (ChainDepState proto), ChainDepStateSupportsPeras (Ticked (ChainDepState proto))) ⇒ StateSupportsPerasEpochContext (ShelleyBlock proto BabbageEra) Source #

Instance details

Associated Types

type MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto BabbageEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Peras type MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto BabbageEra) = EpochToPerasRoundInfo

Methods

fromMaybeEraIndexedEpochToPerasRoundInfo ∷ proxy (ShelleyBlock proto BabbageEra) → MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto BabbageEra) → EpochToPerasRoundInfo Source #

toMaybeEraIndexedEpochToPerasRoundInfo ∷ All (Top ∷ Type → Constraint) (HardForkIndices (ShelleyBlock proto BabbageEra)) ⇒ proxy (ShelleyBlock proto BabbageEra) → EraIndexed (HardForkIndices (ShelleyBlock proto BabbageEra)) EpochToPerasRoundInfo → MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto BabbageEra) Source #

mkBoundedPerasEpochContext ∷ (LedgerStateSupportsPeras ledgerState, ChainDepStateSupportsPeras chainDepState) ⇒ MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto BabbageEra) → ledgerState EmptyMK → chainDepState → Either (PerasError (ShelleyBlock proto BabbageEra)) (BoundedPerasEpochContext (ShelleyBlock proto BabbageEra)) Source #

(Typeable proto, ChainDepStateSupportsPeras (ChainDepState proto), ChainDepStateSupportsPeras (Ticked (ChainDepState proto))) ⇒ StateSupportsPerasEpochContext (ShelleyBlock proto ConwayEra) Source #

Instance details

Associated Types

type MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto ConwayEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Peras type MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto ConwayEra) = EpochToPerasRoundInfo

Methods

fromMaybeEraIndexedEpochToPerasRoundInfo ∷ proxy (ShelleyBlock proto ConwayEra) → MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto ConwayEra) → EpochToPerasRoundInfo Source #

toMaybeEraIndexedEpochToPerasRoundInfo ∷ All (Top ∷ Type → Constraint) (HardForkIndices (ShelleyBlock proto ConwayEra)) ⇒ proxy (ShelleyBlock proto ConwayEra) → EraIndexed (HardForkIndices (ShelleyBlock proto ConwayEra)) EpochToPerasRoundInfo → MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto ConwayEra) Source #

mkBoundedPerasEpochContext ∷ (LedgerStateSupportsPeras ledgerState, ChainDepStateSupportsPeras chainDepState) ⇒ MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto ConwayEra) → ledgerState EmptyMK → chainDepState → Either (PerasError (ShelleyBlock proto ConwayEra)) (BoundedPerasEpochContext (ShelleyBlock proto ConwayEra)) Source #

(Typeable proto, ChainDepStateSupportsPeras (ChainDepState proto), ChainDepStateSupportsPeras (Ticked (ChainDepState proto))) ⇒ StateSupportsPerasEpochContext (ShelleyBlock proto DijkstraEra) Source #

Instance details

Associated Types

type MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto DijkstraEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Peras type MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto DijkstraEra) = EpochToPerasRoundInfo

Methods

fromMaybeEraIndexedEpochToPerasRoundInfo ∷ proxy (ShelleyBlock proto DijkstraEra) → MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto DijkstraEra) → EpochToPerasRoundInfo Source #

toMaybeEraIndexedEpochToPerasRoundInfo ∷ All (Top ∷ Type → Constraint) (HardForkIndices (ShelleyBlock proto DijkstraEra)) ⇒ proxy (ShelleyBlock proto DijkstraEra) → EraIndexed (HardForkIndices (ShelleyBlock proto DijkstraEra)) EpochToPerasRoundInfo → MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto DijkstraEra) Source #

mkBoundedPerasEpochContext ∷ (LedgerStateSupportsPeras ledgerState, ChainDepStateSupportsPeras chainDepState) ⇒ MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto DijkstraEra) → ledgerState EmptyMK → chainDepState → Either (PerasError (ShelleyBlock proto DijkstraEra)) (BoundedPerasEpochContext (ShelleyBlock proto DijkstraEra)) Source #

(Typeable proto, ChainDepStateSupportsPeras (ChainDepState proto), ChainDepStateSupportsPeras (Ticked (ChainDepState proto))) ⇒ StateSupportsPerasEpochContext (ShelleyBlock proto MaryEra) Source #

Instance details

Associated Types

type MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto MaryEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Peras type MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto MaryEra) = EpochToPerasRoundInfo

Methods

fromMaybeEraIndexedEpochToPerasRoundInfo ∷ proxy (ShelleyBlock proto MaryEra) → MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto MaryEra) → EpochToPerasRoundInfo Source #

toMaybeEraIndexedEpochToPerasRoundInfo ∷ All (Top ∷ Type → Constraint) (HardForkIndices (ShelleyBlock proto MaryEra)) ⇒ proxy (ShelleyBlock proto MaryEra) → EraIndexed (HardForkIndices (ShelleyBlock proto MaryEra)) EpochToPerasRoundInfo → MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto MaryEra) Source #

mkBoundedPerasEpochContext ∷ (LedgerStateSupportsPeras ledgerState, ChainDepStateSupportsPeras chainDepState) ⇒ MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto MaryEra) → ledgerState EmptyMK → chainDepState → Either (PerasError (ShelleyBlock proto MaryEra)) (BoundedPerasEpochContext (ShelleyBlock proto MaryEra)) Source #

(Typeable proto, ChainDepStateSupportsPeras (ChainDepState proto), ChainDepStateSupportsPeras (Ticked (ChainDepState proto))) ⇒ StateSupportsPerasEpochContext (ShelleyBlock proto ShelleyEra) Source #

Instance details

Associated Types

type MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto ShelleyEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Peras type MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto ShelleyEra) = EpochToPerasRoundInfo

Methods

fromMaybeEraIndexedEpochToPerasRoundInfo ∷ proxy (ShelleyBlock proto ShelleyEra) → MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto ShelleyEra) → EpochToPerasRoundInfo Source #

toMaybeEraIndexedEpochToPerasRoundInfo ∷ All (Top ∷ Type → Constraint) (HardForkIndices (ShelleyBlock proto ShelleyEra)) ⇒ proxy (ShelleyBlock proto ShelleyEra) → EraIndexed (HardForkIndices (ShelleyBlock proto ShelleyEra)) EpochToPerasRoundInfo → MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto ShelleyEra) Source #

mkBoundedPerasEpochContext ∷ (LedgerStateSupportsPeras ledgerState, ChainDepStateSupportsPeras chainDepState) ⇒ MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto ShelleyEra) → ledgerState EmptyMK → chainDepState → Either (PerasError (ShelleyBlock proto ShelleyEra)) (BoundedPerasEpochContext (ShelleyBlock proto ShelleyEra)) Source #