Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Contents

Value for each era
Values for some eras
Value for one era
Serialisation of n-ary sums
Value for two different eras
Utility
Orphan instances

Synopsis

newtype PerEraBlockConfig (xs ∷ [Type]) = PerEraBlockConfig {
- getPerEraBlockConfig ∷ NP BlockConfig xs
}
newtype PerEraChainOrderConfig (xs ∷ [Type]) = PerEraChainOrderConfig {
- getPerEraChainOrderConfig ∷ NP WrapChainOrderConfig xs
}
newtype PerEraCodecConfig (xs ∷ [Type]) = PerEraCodecConfig {
- getPerEraCodecConfig ∷ NP CodecConfig xs
}
newtype PerEraConsensusConfig (xs ∷ [Type]) = PerEraConsensusConfig {
- getPerEraConsensusConfig ∷ NP WrapPartialConsensusConfig xs
}
newtype PerEraLedgerConfig (xs ∷ [Type]) = PerEraLedgerConfig {
- getPerEraLedgerConfig ∷ NP WrapPartialLedgerConfig xs
}
newtype PerEraStorageConfig (xs ∷ [Type]) = PerEraStorageConfig {
- getPerEraStorageConfig ∷ NP StorageConfig xs
}
newtype PerEraPerasPrivateKey (xs ∷ [Type]) = PerEraPerasPrivateKey {
- getPerEraPerasPrivateKey ∷ NP WrapPerasPrivateKey xs
}
newtype SomeErasCanBeLeader (xs ∷ [Type]) = SomeErasCanBeLeader {
- getSomeErasCanBeLeader ∷ NonEmptyOptNP WrapCanBeLeader xs
}
newtype OneEraApplyTxErr (xs ∷ [Type]) = OneEraApplyTxErr {
- getOneEraApplyTxErr ∷ NS WrapApplyTxErr xs
}
newtype OneEraBlock (xs ∷ [Type]) = OneEraBlock {
- getOneEraBlock ∷ NS I xs
}
newtype OneEraCannotForge (xs ∷ [Type]) = OneEraCannotForge {
- getOneEraCannotForge ∷ NS WrapCannotForge xs
}
newtype OneEraEnvelopeErr (xs ∷ [Type]) = OneEraEnvelopeErr {
- getOneEraEnvelopeErr ∷ NS WrapEnvelopeErr xs
}
newtype OneEraForgeStateInfo (xs ∷ [Type]) = OneEraForgeStateInfo {
- getOneEraForgeStateInfo ∷ NS WrapForgeStateInfo xs
}
newtype OneEraForgeStateUpdateError (xs ∷ [Type]) = OneEraForgeStateUpdateError {
- getOneEraForgeStateUpdateError ∷ NS WrapForgeStateUpdateError xs
}
newtype OneEraGenTx (xs ∷ [Type]) = OneEraGenTx {
- getOneEraGenTx ∷ NS GenTx xs
}
newtype OneEraGenTxId (xs ∷ [Type]) = OneEraGenTxId {
- getOneEraGenTxId ∷ NS WrapGenTxId xs
}
newtype OneEraHash (xs ∷ [k]) = OneEraHash {
- getOneEraHash ∷ ShortByteString
}
newtype OneEraHeader (xs ∷ [Type]) = OneEraHeader {
- getOneEraHeader ∷ NS Header xs
}
newtype OneEraIsLeader (xs ∷ [Type]) = OneEraIsLeader {
- getOneEraIsLeader ∷ NS WrapIsLeader xs
}
newtype OneEraLedgerError (xs ∷ [Type]) = OneEraLedgerError {
- getOneEraLedgerError ∷ NS WrapLedgerErr xs
}
newtype OneEraLedgerEvent (xs ∷ [Type]) = OneEraLedgerEvent {
- getOneEraLedgerEvent ∷ NS WrapLedgerEvent xs
}
newtype OneEraLedgerUpdate (xs ∷ [Type]) = OneEraLedgerUpdate {
- getOneEraLedgerUpdate ∷ NS WrapLedgerUpdate xs
}
newtype OneEraLedgerWarning (xs ∷ [Type]) = OneEraLedgerWarning {
- getOneEraLedgerWarning ∷ NS WrapLedgerWarning xs
}
newtype OneEraReasonForSwitch (xs ∷ [Type]) = OneEraReasonForSwitch {
- getOneEraReasonForSwitch ∷ NS WrapReasonForSwitch xs
}
newtype OneEraTiebreakerView (xs ∷ [Type]) = OneEraTiebreakerView {
- getOneEraTiebreakerView ∷ NS WrapTiebreakerView xs
}
newtype OneEraTentativeHeaderState (xs ∷ [Type]) = OneEraTentativeHeaderState {
- getOneEraTentativeHeaderState ∷ NS WrapTentativeHeaderState xs
}
newtype OneEraTentativeHeaderView (xs ∷ [Type]) = OneEraTentativeHeaderView {
- getOneEraTentativeHeaderView ∷ NS WrapTentativeHeaderView xs
}
newtype OneEraTipInfo (xs ∷ [Type]) = OneEraTipInfo {
- getOneEraTipInfo ∷ NS WrapTipInfo xs
}
newtype OneEraValidateView (xs ∷ [Type]) = OneEraValidateView {
- getOneEraValidateView ∷ NS WrapValidateView xs
}
newtype OneEraValidatedGenTx (xs ∷ [Type]) = OneEraValidatedGenTx {
- getOneEraValidatedGenTx ∷ NS WrapValidatedGenTx xs
}
newtype OneEraValidationErr (xs ∷ [Type]) = OneEraValidationErr {
- getOneEraValidationErr ∷ NS WrapValidationErr xs
}
newtype OneEraPerasVote (xs ∷ [Type]) = OneEraPerasVote {
- getOneEraPerasVote ∷ NS WrapPerasVote xs
}
newtype OneEraPerasCert (xs ∷ [Type]) = OneEraPerasCert {
- getOneEraPerasCert ∷ NS WrapPerasCert xs
}
newtype OneEraPerasError (xs ∷ [Type]) = OneEraPerasError {
- getOneEraPerasError ∷ NS WrapPerasError xs
}
data HardForkPerasError (xs ∷ [Type])
- = HardForkPerasErrorEraMismatch
- | HardForkPerasErrorOneEraPerasError (OneEraPerasError xs)
- | HardForkPerasErrorConversionError
- | HardForkPerasErrorQuorumNotReachedError
- | HardForkPerasErrorCommitteeError
newtype OneEraPerasCrypto (xs ∷ [Type]) = OneEraPerasCrypto {
- getOneEraPerasCrypto ∷ NS WrapPerasCrypto xs
}
newtype OneEraPerasVotingCommitteeScheme (xs ∷ [Type]) = OneEraPerasVotingCommitteeScheme {
- getOneEraPerasVotingCommitteeScheme ∷ NS WrapPerasVotingCommitteeScheme xs
}
data family VotingCommittee crypto committee
decodeNS ∷ ∀ {k} (xs ∷ [k]) (f ∷ k → Type) s. SListI xs ⇒ NP (Decoder s :.: f) xs → Decoder s (NS f xs)
encodeNS ∷ ∀ {k} (xs ∷ [k]) (f ∷ k → Type). SListI xs ⇒ NP (f -.-> (K Encoding ∷ k → Type)) xs → NS f xs → Encoding
data EraMismatch = EraMismatch {
- ledgerEraName ∷ !Text
- otherEraName ∷ !Text
}
newtype MismatchEraInfo (xs ∷ [Type]) = MismatchEraInfo {
- getMismatchEraInfo ∷ Mismatch SingleEraInfo LedgerEraInfo xs
}
mismatchFutureEra ∷ ∀ (xs ∷ [Type]) x. SListI xs ⇒ MismatchEraInfo (x ': xs) → NS SingleEraInfo xs
mismatchOneEra ∷ MismatchEraInfo '[b] → Void
mkEraMismatch ∷ ∀ (xs ∷ [Type]). SListI xs ⇒ MismatchEraInfo xs → EraMismatch
getSameValue ∷ ∀ {k} (xs ∷ [k]) a. (IsNonEmpty xs, Eq a, SListI xs, HasCallStack) ⇒ NP (K a ∷ k → Type) xs → a
oneEraBlockHeader ∷ ∀ (xs ∷ [Type]). CanHardFork xs ⇒ OneEraBlock xs → OneEraHeader xs

Value for each era

newtype PerEraBlockConfig (xs ∷ [Type]) Source #

Constructors

PerEraBlockConfig
Fields getPerEraBlockConfig ∷ NP BlockConfig xs

Instances

Instances details

CanHardFork xs ⇒ NoThunks (PerEraBlockConfig xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → PerEraBlockConfig xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PerEraBlockConfig xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PerEraBlockConfig xs) → String Source #

newtype PerEraChainOrderConfig (xs ∷ [Type]) Source #

Constructors

PerEraChainOrderConfig
Fields getPerEraChainOrderConfig ∷ NP WrapChainOrderConfig xs

newtype PerEraCodecConfig (xs ∷ [Type]) Source #

Constructors

PerEraCodecConfig
Fields getPerEraCodecConfig ∷ NP CodecConfig xs

Instances

Instances details

CanHardFork xs ⇒ NoThunks (PerEraCodecConfig xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → PerEraCodecConfig xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PerEraCodecConfig xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PerEraCodecConfig xs) → String Source #

newtype PerEraConsensusConfig (xs ∷ [Type]) Source #

Constructors

PerEraConsensusConfig
Fields getPerEraConsensusConfig ∷ NP WrapPartialConsensusConfig xs

Instances

Instances details

CanHardFork xs ⇒ NoThunks (PerEraConsensusConfig xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → PerEraConsensusConfig xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PerEraConsensusConfig xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PerEraConsensusConfig xs) → String Source #

newtype PerEraLedgerConfig (xs ∷ [Type]) Source #

Constructors

PerEraLedgerConfig
Fields getPerEraLedgerConfig ∷ NP WrapPartialLedgerConfig xs

Instances

Instances details

CanHardFork xs ⇒ Show (PerEraLedgerConfig xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec ∷ Int → PerEraLedgerConfig xs → ShowS # show ∷ PerEraLedgerConfig xs → String # showList ∷ [PerEraLedgerConfig xs] → ShowS #
CanHardFork xs ⇒ NoThunks (PerEraLedgerConfig xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → PerEraLedgerConfig xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PerEraLedgerConfig xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PerEraLedgerConfig xs) → String Source #
SerialiseHFC xs ⇒ SerialiseNodeToClient (HardForkBlock xs) (PerEraLedgerConfig xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient Methods encodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → PerEraLedgerConfig xs → Encoding Source # decodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → ∀ s. Decoder s (PerEraLedgerConfig xs) Source #

newtype PerEraStorageConfig (xs ∷ [Type]) Source #

Constructors

PerEraStorageConfig
Fields getPerEraStorageConfig ∷ NP StorageConfig xs

Instances

Instances details

CanHardFork xs ⇒ NoThunks (PerEraStorageConfig xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → PerEraStorageConfig xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PerEraStorageConfig xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PerEraStorageConfig xs) → String Source #

newtype PerEraPerasPrivateKey (xs ∷ [Type]) Source #

Constructors

PerEraPerasPrivateKey
Fields getPerEraPerasPrivateKey ∷ NP WrapPerasPrivateKey xs

Values for some eras

newtype SomeErasCanBeLeader (xs ∷ [Type]) Source #

Constructors

SomeErasCanBeLeader
Fields getSomeErasCanBeLeader ∷ NonEmptyOptNP WrapCanBeLeader xs

Value for one era

newtype OneEraApplyTxErr (xs ∷ [Type]) Source #

Constructors

OneEraApplyTxErr
Fields getOneEraApplyTxErr ∷ NS WrapApplyTxErr xs

Instances

Instances details

CanHardFork xs ⇒ Eq (OneEraApplyTxErr xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods (==) ∷ OneEraApplyTxErr xs → OneEraApplyTxErr xs → Bool # (/=) ∷ OneEraApplyTxErr xs → OneEraApplyTxErr xs → Bool #
CanHardFork xs ⇒ Show (OneEraApplyTxErr xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec ∷ Int → OneEraApplyTxErr xs → ShowS # show ∷ OneEraApplyTxErr xs → String # showList ∷ [OneEraApplyTxErr xs] → ShowS #

newtype OneEraBlock (xs ∷ [Type]) Source #

Constructors

OneEraBlock
Fields getOneEraBlock ∷ NS I xs

Instances

Instances details

CanHardFork xs ⇒ Show (OneEraBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec ∷ Int → OneEraBlock xs → ShowS # show ∷ OneEraBlock xs → String # showList ∷ [OneEraBlock xs] → ShowS #

newtype OneEraCannotForge (xs ∷ [Type]) Source #

Constructors

OneEraCannotForge
Fields getOneEraCannotForge ∷ NS WrapCannotForge xs

Instances

Instances details

CanHardFork xs ⇒ Show (OneEraCannotForge xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec ∷ Int → OneEraCannotForge xs → ShowS # show ∷ OneEraCannotForge xs → String # showList ∷ [OneEraCannotForge xs] → ShowS #

newtype OneEraEnvelopeErr (xs ∷ [Type]) Source #

Constructors

OneEraEnvelopeErr
Fields getOneEraEnvelopeErr ∷ NS WrapEnvelopeErr xs

Instances

Instances details

CanHardFork xs ⇒ Eq (OneEraEnvelopeErr xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods (==) ∷ OneEraEnvelopeErr xs → OneEraEnvelopeErr xs → Bool # (/=) ∷ OneEraEnvelopeErr xs → OneEraEnvelopeErr xs → Bool #
CanHardFork xs ⇒ Show (OneEraEnvelopeErr xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec ∷ Int → OneEraEnvelopeErr xs → ShowS # show ∷ OneEraEnvelopeErr xs → String # showList ∷ [OneEraEnvelopeErr xs] → ShowS #
CanHardFork xs ⇒ NoThunks (OneEraEnvelopeErr xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → OneEraEnvelopeErr xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → OneEraEnvelopeErr xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (OneEraEnvelopeErr xs) → String Source #

newtype OneEraForgeStateInfo (xs ∷ [Type]) Source #

Constructors

OneEraForgeStateInfo
Fields getOneEraForgeStateInfo ∷ NS WrapForgeStateInfo xs

Instances

Instances details

CanHardFork xs ⇒ Show (OneEraForgeStateInfo xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec ∷ Int → OneEraForgeStateInfo xs → ShowS # show ∷ OneEraForgeStateInfo xs → String # showList ∷ [OneEraForgeStateInfo xs] → ShowS #

newtype OneEraForgeStateUpdateError (xs ∷ [Type]) Source #

Constructors

OneEraForgeStateUpdateError
Fields getOneEraForgeStateUpdateError ∷ NS WrapForgeStateUpdateError xs

Instances

Instances details

CanHardFork xs ⇒ Show (OneEraForgeStateUpdateError xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec ∷ Int → OneEraForgeStateUpdateError xs → ShowS # show ∷ OneEraForgeStateUpdateError xs → String # showList ∷ [OneEraForgeStateUpdateError xs] → ShowS #

newtype OneEraGenTx (xs ∷ [Type]) Source #

Constructors

OneEraGenTx
Fields getOneEraGenTx ∷ NS GenTx xs

Instances

Instances details

CanHardFork xs ⇒ Eq (OneEraGenTx xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods (==) ∷ OneEraGenTx xs → OneEraGenTx xs → Bool # (/=) ∷ OneEraGenTx xs → OneEraGenTx xs → Bool #
CanHardFork xs ⇒ Show (OneEraGenTx xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec ∷ Int → OneEraGenTx xs → ShowS # show ∷ OneEraGenTx xs → String # showList ∷ [OneEraGenTx xs] → ShowS #
CanHardFork xs ⇒ NoThunks (OneEraGenTx xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → OneEraGenTx xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → OneEraGenTx xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (OneEraGenTx xs) → String Source #

newtype OneEraGenTxId (xs ∷ [Type]) Source #

Constructors

OneEraGenTxId
Fields getOneEraGenTxId ∷ NS WrapGenTxId xs

Instances

Instances details

CanHardFork xs ⇒ Eq (OneEraGenTxId xs) Source #	Compare `OneEraGenTxId`s by their transaction id, ignoring the era. Two transactions in different eras can therefore have equal `TxId`s. This should only happen when the transaction format is backwards compatible from one era to the next. The comparison itself lives in the `CanHardFork` instance for `xs`, as `hardForkEqGenTxId`/`hardForkCompareGenTxId`. The Cardano instance implements them without allocating; other instances use `rawHashNS`.
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods (==) ∷ OneEraGenTxId xs → OneEraGenTxId xs → Bool # (/=) ∷ OneEraGenTxId xs → OneEraGenTxId xs → Bool #
CanHardFork xs ⇒ Ord (OneEraGenTxId xs) Source #	See the corresponding `Eq` instance.
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods compare ∷ OneEraGenTxId xs → OneEraGenTxId xs → Ordering # (<) ∷ OneEraGenTxId xs → OneEraGenTxId xs → Bool # (<=) ∷ OneEraGenTxId xs → OneEraGenTxId xs → Bool # (>) ∷ OneEraGenTxId xs → OneEraGenTxId xs → Bool # (>=) ∷ OneEraGenTxId xs → OneEraGenTxId xs → Bool # max ∷ OneEraGenTxId xs → OneEraGenTxId xs → OneEraGenTxId xs # min ∷ OneEraGenTxId xs → OneEraGenTxId xs → OneEraGenTxId xs #
CanHardFork xs ⇒ Show (OneEraGenTxId xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec ∷ Int → OneEraGenTxId xs → ShowS # show ∷ OneEraGenTxId xs → String # showList ∷ [OneEraGenTxId xs] → ShowS #
CanHardFork xs ⇒ NoThunks (OneEraGenTxId xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → OneEraGenTxId xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → OneEraGenTxId xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (OneEraGenTxId xs) → String Source #

newtype OneEraHash (xs ∷ [k]) Source #

The hash for an era

This type is special: we don't use an NS here, because the hash by itself should not allow us to differentiate between eras. If it did, the size of the hash would necessarily have to increase, and that leads to trouble. So, the type parameter xs here is merely a phantom one, and we just store the underlying raw hash.

Constructors

OneEraHash
Fields getOneEraHash ∷ ShortByteString

Instances

Instances details

(Typeable k, Typeable xs) ⇒ FromCBOR (OneEraHash xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods fromCBOR ∷ Decoder s (OneEraHash xs) Source # label ∷ Proxy (OneEraHash xs) → Text Source #
(Typeable k, Typeable xs) ⇒ ToCBOR (OneEraHash xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods toCBOR ∷ OneEraHash xs → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (OneEraHash xs) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [OneEraHash xs] → Size Source #
NFData (OneEraHash xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods rnf ∷ OneEraHash xs → () #
Eq (OneEraHash xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods (==) ∷ OneEraHash xs → OneEraHash xs → Bool # (/=) ∷ OneEraHash xs → OneEraHash xs → Bool #
Ord (OneEraHash xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods compare ∷ OneEraHash xs → OneEraHash xs → Ordering # (<) ∷ OneEraHash xs → OneEraHash xs → Bool # (<=) ∷ OneEraHash xs → OneEraHash xs → Bool # (>) ∷ OneEraHash xs → OneEraHash xs → Bool # (>=) ∷ OneEraHash xs → OneEraHash xs → Bool # max ∷ OneEraHash xs → OneEraHash xs → OneEraHash xs # min ∷ OneEraHash xs → OneEraHash xs → OneEraHash xs #
Show (OneEraHash xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec ∷ Int → OneEraHash xs → ShowS # show ∷ OneEraHash xs → String # showList ∷ [OneEraHash xs] → ShowS #
NoThunks (OneEraHash xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → OneEraHash xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → OneEraHash xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (OneEraHash xs) → String Source #
Condense (OneEraHash xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods condense ∷ OneEraHash xs → String Source #
Serialise (OneEraHash xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods encode ∷ OneEraHash xs → Encoding Source # decode ∷ Decoder s (OneEraHash xs) Source # encodeList ∷ [OneEraHash xs] → Encoding Source # decodeList ∷ Decoder s [OneEraHash xs] Source #

newtype OneEraHeader (xs ∷ [Type]) Source #

Constructors

OneEraHeader
Fields getOneEraHeader ∷ NS Header xs

Instances

Instances details

CanHardFork xs ⇒ Show (OneEraHeader xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec ∷ Int → OneEraHeader xs → ShowS # show ∷ OneEraHeader xs → String # showList ∷ [OneEraHeader xs] → ShowS #
CanHardFork xs ⇒ NoThunks (OneEraHeader xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → OneEraHeader xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → OneEraHeader xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (OneEraHeader xs) → String Source #

newtype OneEraIsLeader (xs ∷ [Type]) Source #

Constructors

OneEraIsLeader
Fields getOneEraIsLeader ∷ NS WrapIsLeader xs

newtype OneEraLedgerError (xs ∷ [Type]) Source #

Constructors

OneEraLedgerError
Fields getOneEraLedgerError ∷ NS WrapLedgerErr xs

Instances

Instances details

CanHardFork xs ⇒ Eq (OneEraLedgerError xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods (==) ∷ OneEraLedgerError xs → OneEraLedgerError xs → Bool # (/=) ∷ OneEraLedgerError xs → OneEraLedgerError xs → Bool #
CanHardFork xs ⇒ Show (OneEraLedgerError xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec ∷ Int → OneEraLedgerError xs → ShowS # show ∷ OneEraLedgerError xs → String # showList ∷ [OneEraLedgerError xs] → ShowS #
CanHardFork xs ⇒ NoThunks (OneEraLedgerError xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → OneEraLedgerError xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → OneEraLedgerError xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (OneEraLedgerError xs) → String Source #

newtype OneEraLedgerEvent (xs ∷ [Type]) Source #

Constructors

OneEraLedgerEvent
Fields getOneEraLedgerEvent ∷ NS WrapLedgerEvent xs

newtype OneEraLedgerUpdate (xs ∷ [Type]) Source #

Constructors

OneEraLedgerUpdate
Fields getOneEraLedgerUpdate ∷ NS WrapLedgerUpdate xs

Instances

Instances details

CanHardFork xs ⇒ Eq (OneEraLedgerUpdate xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods (==) ∷ OneEraLedgerUpdate xs → OneEraLedgerUpdate xs → Bool # (/=) ∷ OneEraLedgerUpdate xs → OneEraLedgerUpdate xs → Bool #
CanHardFork xs ⇒ Show (OneEraLedgerUpdate xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec ∷ Int → OneEraLedgerUpdate xs → ShowS # show ∷ OneEraLedgerUpdate xs → String # showList ∷ [OneEraLedgerUpdate xs] → ShowS #

newtype OneEraLedgerWarning (xs ∷ [Type]) Source #

Constructors

OneEraLedgerWarning
Fields getOneEraLedgerWarning ∷ NS WrapLedgerWarning xs

Instances

Instances details

CanHardFork xs ⇒ Eq (OneEraLedgerWarning xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods (==) ∷ OneEraLedgerWarning xs → OneEraLedgerWarning xs → Bool # (/=) ∷ OneEraLedgerWarning xs → OneEraLedgerWarning xs → Bool #
CanHardFork xs ⇒ Show (OneEraLedgerWarning xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec ∷ Int → OneEraLedgerWarning xs → ShowS # show ∷ OneEraLedgerWarning xs → String # showList ∷ [OneEraLedgerWarning xs] → ShowS #

newtype OneEraReasonForSwitch (xs ∷ [Type]) Source #

Constructors

OneEraReasonForSwitch
Fields getOneEraReasonForSwitch ∷ NS WrapReasonForSwitch xs

Instances

Instances details

CanHardFork xs ⇒ Show (OneEraReasonForSwitch xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec ∷ Int → OneEraReasonForSwitch xs → ShowS # show ∷ OneEraReasonForSwitch xs → String # showList ∷ [OneEraReasonForSwitch xs] → ShowS #

newtype OneEraTiebreakerView (xs ∷ [Type]) Source #

Constructors

OneEraTiebreakerView
Fields getOneEraTiebreakerView ∷ NS WrapTiebreakerView xs

Instances

Instances details

CanHardFork xs ⇒ Eq (OneEraTiebreakerView xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods (==) ∷ OneEraTiebreakerView xs → OneEraTiebreakerView xs → Bool # (/=) ∷ OneEraTiebreakerView xs → OneEraTiebreakerView xs → Bool #
CanHardFork xs ⇒ Show (OneEraTiebreakerView xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec ∷ Int → OneEraTiebreakerView xs → ShowS # show ∷ OneEraTiebreakerView xs → String # showList ∷ [OneEraTiebreakerView xs] → ShowS #
CanHardFork xs ⇒ NoThunks (OneEraTiebreakerView xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → OneEraTiebreakerView xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → OneEraTiebreakerView xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (OneEraTiebreakerView xs) → String Source #

newtype OneEraTentativeHeaderState (xs ∷ [Type]) Source #

Constructors

OneEraTentativeHeaderState
Fields getOneEraTentativeHeaderState ∷ NS WrapTentativeHeaderState xs

Instances

Instances details

CanHardFork xs ⇒ Show (OneEraTentativeHeaderState xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec ∷ Int → OneEraTentativeHeaderState xs → ShowS # show ∷ OneEraTentativeHeaderState xs → String # showList ∷ [OneEraTentativeHeaderState xs] → ShowS #
CanHardFork xs ⇒ NoThunks (OneEraTentativeHeaderState xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → OneEraTentativeHeaderState xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → OneEraTentativeHeaderState xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (OneEraTentativeHeaderState xs) → String Source #

newtype OneEraTentativeHeaderView (xs ∷ [Type]) Source #

Constructors

OneEraTentativeHeaderView
Fields getOneEraTentativeHeaderView ∷ NS WrapTentativeHeaderView xs

Instances

Instances details

CanHardFork xs ⇒ Show (OneEraTentativeHeaderView xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec ∷ Int → OneEraTentativeHeaderView xs → ShowS # show ∷ OneEraTentativeHeaderView xs → String # showList ∷ [OneEraTentativeHeaderView xs] → ShowS #

newtype OneEraTipInfo (xs ∷ [Type]) Source #

Constructors

OneEraTipInfo
Fields getOneEraTipInfo ∷ NS WrapTipInfo xs

Instances

Instances details

CanHardFork xs ⇒ Eq (OneEraTipInfo xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods (==) ∷ OneEraTipInfo xs → OneEraTipInfo xs → Bool # (/=) ∷ OneEraTipInfo xs → OneEraTipInfo xs → Bool #
CanHardFork xs ⇒ Show (OneEraTipInfo xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec ∷ Int → OneEraTipInfo xs → ShowS # show ∷ OneEraTipInfo xs → String # showList ∷ [OneEraTipInfo xs] → ShowS #
CanHardFork xs ⇒ NoThunks (OneEraTipInfo xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → OneEraTipInfo xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → OneEraTipInfo xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (OneEraTipInfo xs) → String Source #

newtype OneEraValidateView (xs ∷ [Type]) Source #

Constructors

OneEraValidateView
Fields getOneEraValidateView ∷ NS WrapValidateView xs

newtype OneEraValidatedGenTx (xs ∷ [Type]) Source #

Constructors

OneEraValidatedGenTx
Fields getOneEraValidatedGenTx ∷ NS WrapValidatedGenTx xs

Instances

Instances details

CanHardFork xs ⇒ Eq (OneEraValidatedGenTx xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods (==) ∷ OneEraValidatedGenTx xs → OneEraValidatedGenTx xs → Bool # (/=) ∷ OneEraValidatedGenTx xs → OneEraValidatedGenTx xs → Bool #
CanHardFork xs ⇒ Show (OneEraValidatedGenTx xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec ∷ Int → OneEraValidatedGenTx xs → ShowS # show ∷ OneEraValidatedGenTx xs → String # showList ∷ [OneEraValidatedGenTx xs] → ShowS #
CanHardFork xs ⇒ NoThunks (OneEraValidatedGenTx xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → OneEraValidatedGenTx xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → OneEraValidatedGenTx xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (OneEraValidatedGenTx xs) → String Source #

newtype OneEraValidationErr (xs ∷ [Type]) Source #

Constructors

OneEraValidationErr
Fields getOneEraValidationErr ∷ NS WrapValidationErr xs

Instances

Instances details

CanHardFork xs ⇒ Eq (OneEraValidationErr xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods (==) ∷ OneEraValidationErr xs → OneEraValidationErr xs → Bool # (/=) ∷ OneEraValidationErr xs → OneEraValidationErr xs → Bool #
CanHardFork xs ⇒ Show (OneEraValidationErr xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec ∷ Int → OneEraValidationErr xs → ShowS # show ∷ OneEraValidationErr xs → String # showList ∷ [OneEraValidationErr xs] → ShowS #
CanHardFork xs ⇒ NoThunks (OneEraValidationErr xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → OneEraValidationErr xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → OneEraValidationErr xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (OneEraValidationErr xs) → String Source #

newtype OneEraPerasVote (xs ∷ [Type]) Source #

Constructors

OneEraPerasVote
Fields getOneEraPerasVote ∷ NS WrapPerasVote xs

Instances

Instances details

Typeable xs ⇒ ShowProxy (OneEraPerasVote xs ∷ Type) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

showProxy ∷ Proxy (OneEraPerasVote xs) → String #

CanHardFork xs ⇒ Eq (OneEraPerasVote xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

(==) ∷ OneEraPerasVote xs → OneEraPerasVote xs → Bool #

(/=) ∷ OneEraPerasVote xs → OneEraPerasVote xs → Bool #

Generic (OneEraPerasVote xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Associated Types

type Rep (OneEraPerasVote xs)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

type Rep (OneEraPerasVote xs) = D1 ('MetaData "OneEraPerasVote" "Ouroboros.Consensus.HardFork.Combinator.AcrossEras" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "OneEraPerasVote" 'PrefixI 'True) (S1 ('MetaSel ('Just "getOneEraPerasVote") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NS WrapPerasVote xs))))

Methods

from ∷ OneEraPerasVote xs → Rep (OneEraPerasVote xs) x #

to ∷ Rep (OneEraPerasVote xs) x → OneEraPerasVote xs #

CanHardFork xs ⇒ Show (OneEraPerasVote xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

showsPrec ∷ Int → OneEraPerasVote xs → ShowS #

show ∷ OneEraPerasVote xs → String #

showList ∷ [OneEraPerasVote xs] → ShowS #

CanHardFork xs ⇒ NoThunks (OneEraPerasVote xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

noThunks ∷ Context → OneEraPerasVote xs → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → OneEraPerasVote xs → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (OneEraPerasVote xs) → String Source #

type Rep (OneEraPerasVote xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

type Rep (OneEraPerasVote xs) = D1 ('MetaData "OneEraPerasVote" "Ouroboros.Consensus.HardFork.Combinator.AcrossEras" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "OneEraPerasVote" 'PrefixI 'True) (S1 ('MetaSel ('Just "getOneEraPerasVote") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NS WrapPerasVote xs))))

newtype OneEraPerasCert (xs ∷ [Type]) Source #

Constructors

OneEraPerasCert
Fields getOneEraPerasCert ∷ NS WrapPerasCert xs

Instances

Instances details

Typeable xs ⇒ ShowProxy (OneEraPerasCert xs ∷ Type) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

showProxy ∷ Proxy (OneEraPerasCert xs) → String #

CanHardFork xs ⇒ Eq (OneEraPerasCert xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

(==) ∷ OneEraPerasCert xs → OneEraPerasCert xs → Bool #

(/=) ∷ OneEraPerasCert xs → OneEraPerasCert xs → Bool #

Generic (OneEraPerasCert xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Associated Types

type Rep (OneEraPerasCert xs)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

type Rep (OneEraPerasCert xs) = D1 ('MetaData "OneEraPerasCert" "Ouroboros.Consensus.HardFork.Combinator.AcrossEras" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "OneEraPerasCert" 'PrefixI 'True) (S1 ('MetaSel ('Just "getOneEraPerasCert") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NS WrapPerasCert xs))))

Methods

from ∷ OneEraPerasCert xs → Rep (OneEraPerasCert xs) x #

to ∷ Rep (OneEraPerasCert xs) x → OneEraPerasCert xs #

CanHardFork xs ⇒ Show (OneEraPerasCert xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

showsPrec ∷ Int → OneEraPerasCert xs → ShowS #

show ∷ OneEraPerasCert xs → String #

showList ∷ [OneEraPerasCert xs] → ShowS #

CanHardFork xs ⇒ NoThunks (OneEraPerasCert xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

noThunks ∷ Context → OneEraPerasCert xs → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → OneEraPerasCert xs → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (OneEraPerasCert xs) → String Source #

type Rep (OneEraPerasCert xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

type Rep (OneEraPerasCert xs) = D1 ('MetaData "OneEraPerasCert" "Ouroboros.Consensus.HardFork.Combinator.AcrossEras" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "OneEraPerasCert" 'PrefixI 'True) (S1 ('MetaSel ('Just "getOneEraPerasCert") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NS WrapPerasCert xs))))

newtype OneEraPerasError (xs ∷ [Type]) Source #

Constructors

OneEraPerasError
Fields getOneEraPerasError ∷ NS WrapPerasError xs

Instances

Instances details

CanHardFork xs ⇒ Eq (OneEraPerasError xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

(==) ∷ OneEraPerasError xs → OneEraPerasError xs → Bool #

(/=) ∷ OneEraPerasError xs → OneEraPerasError xs → Bool #

CanHardFork xs ⇒ Exception (OneEraPerasError xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

toException ∷ OneEraPerasError xs → SomeException #

fromException ∷ SomeException → Maybe (OneEraPerasError xs) #

displayException ∷ OneEraPerasError xs → String #

backtraceDesired ∷ OneEraPerasError xs → Bool #

Generic (OneEraPerasError xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Associated Types

type Rep (OneEraPerasError xs)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

type Rep (OneEraPerasError xs) = D1 ('MetaData "OneEraPerasError" "Ouroboros.Consensus.HardFork.Combinator.AcrossEras" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "OneEraPerasError" 'PrefixI 'True) (S1 ('MetaSel ('Just "getOneEraPerasError") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NS WrapPerasError xs))))

Methods

from ∷ OneEraPerasError xs → Rep (OneEraPerasError xs) x #

to ∷ Rep (OneEraPerasError xs) x → OneEraPerasError xs #

CanHardFork xs ⇒ Show (OneEraPerasError xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

showsPrec ∷ Int → OneEraPerasError xs → ShowS #

show ∷ OneEraPerasError xs → String #

showList ∷ [OneEraPerasError xs] → ShowS #

CanHardFork xs ⇒ NoThunks (OneEraPerasError xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

noThunks ∷ Context → OneEraPerasError xs → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → OneEraPerasError xs → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (OneEraPerasError xs) → String Source #

type Rep (OneEraPerasError xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

type Rep (OneEraPerasError xs) = D1 ('MetaData "OneEraPerasError" "Ouroboros.Consensus.HardFork.Combinator.AcrossEras" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "OneEraPerasError" 'PrefixI 'True) (S1 ('MetaSel ('Just "getOneEraPerasError") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NS WrapPerasError xs))))

data HardForkPerasError (xs ∷ [Type]) Source #

Constructors

HardForkPerasErrorEraMismatch
HardForkPerasErrorOneEraPerasError (OneEraPerasError xs)
HardForkPerasErrorConversionError	Should never be produced in practice, since we dispatch to a concrete era before calling any fallible operation.
HardForkPerasErrorQuorumNotReachedError	Should never be produced in practice, since we dispatch to a concrete era before calling any fallible operation.
HardForkPerasErrorCommitteeError	Should never be produced in practice, since we dispatch to a concrete era before calling any fallible operation.

Instances

Instances details

Eq (OneEraPerasError xs) ⇒ Eq (HardForkPerasError xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

(==) ∷ HardForkPerasError xs → HardForkPerasError xs → Bool #

(/=) ∷ HardForkPerasError xs → HardForkPerasError xs → Bool #

CanHardFork xs ⇒ Exception (HardForkPerasError xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

toException ∷ HardForkPerasError xs → SomeException #

fromException ∷ SomeException → Maybe (HardForkPerasError xs) #

displayException ∷ HardForkPerasError xs → String #

backtraceDesired ∷ HardForkPerasError xs → Bool #

Generic (HardForkPerasError xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Associated Types

type Rep (HardForkPerasError xs)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

type Rep (HardForkPerasError xs) = D1 ('MetaData "HardForkPerasError" "Ouroboros.Consensus.HardFork.Combinator.AcrossEras" "ouroboros-consensus-4.0.0.0-inplace" 'False) ((C1 ('MetaCons "HardForkPerasErrorEraMismatch" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "HardForkPerasErrorOneEraPerasError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraPerasError xs)))) :+: (C1 ('MetaCons "HardForkPerasErrorConversionError" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "HardForkPerasErrorQuorumNotReachedError" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "HardForkPerasErrorCommitteeError" 'PrefixI 'False) (U1 ∷ Type → Type))))

Methods

from ∷ HardForkPerasError xs → Rep (HardForkPerasError xs) x #

to ∷ Rep (HardForkPerasError xs) x → HardForkPerasError xs #

Show (OneEraPerasError xs) ⇒ Show (HardForkPerasError xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

showsPrec ∷ Int → HardForkPerasError xs → ShowS #

show ∷ HardForkPerasError xs → String #

showList ∷ [HardForkPerasError xs] → ShowS #

NoThunks (OneEraPerasError xs) ⇒ NoThunks (HardForkPerasError xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

noThunks ∷ Context → HardForkPerasError xs → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → HardForkPerasError xs → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (HardForkPerasError xs) → String Source #

type Rep (HardForkPerasError xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

type Rep (HardForkPerasError xs) = D1 ('MetaData "HardForkPerasError" "Ouroboros.Consensus.HardFork.Combinator.AcrossEras" "ouroboros-consensus-4.0.0.0-inplace" 'False) ((C1 ('MetaCons "HardForkPerasErrorEraMismatch" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "HardForkPerasErrorOneEraPerasError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraPerasError xs)))) :+: (C1 ('MetaCons "HardForkPerasErrorConversionError" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "HardForkPerasErrorQuorumNotReachedError" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "HardForkPerasErrorCommitteeError" 'PrefixI 'False) (U1 ∷ Type → Type))))

newtype OneEraPerasCrypto (xs ∷ [Type]) Source #

Constructors

OneEraPerasCrypto
Fields getOneEraPerasCrypto ∷ NS WrapPerasCrypto xs

Instances

Instances details

CanHardFork xs ⇒ Eq (OneEraPerasCrypto xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

(==) ∷ OneEraPerasCrypto xs → OneEraPerasCrypto xs → Bool #

(/=) ∷ OneEraPerasCrypto xs → OneEraPerasCrypto xs → Bool #

Generic (OneEraPerasCrypto xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Associated Types

type Rep (OneEraPerasCrypto xs)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

type Rep (OneEraPerasCrypto xs) = D1 ('MetaData "OneEraPerasCrypto" "Ouroboros.Consensus.HardFork.Combinator.AcrossEras" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "OneEraPerasCrypto" 'PrefixI 'True) (S1 ('MetaSel ('Just "getOneEraPerasCrypto") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NS WrapPerasCrypto xs))))

Methods

from ∷ OneEraPerasCrypto xs → Rep (OneEraPerasCrypto xs) x #

to ∷ Rep (OneEraPerasCrypto xs) x → OneEraPerasCrypto xs #

CanHardFork xs ⇒ Show (OneEraPerasCrypto xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

showsPrec ∷ Int → OneEraPerasCrypto xs → ShowS #

show ∷ OneEraPerasCrypto xs → String #

showList ∷ [OneEraPerasCrypto xs] → ShowS #

CanHardFork xs ⇒ NoThunks (OneEraPerasCrypto xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

noThunks ∷ Context → OneEraPerasCrypto xs → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → OneEraPerasCrypto xs → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (OneEraPerasCrypto xs) → String Source #

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 #

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 #

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 #

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

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 #

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 #

type Rep (OneEraPerasCrypto xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

type Rep (OneEraPerasCrypto xs) = D1 ('MetaData "OneEraPerasCrypto" "Ouroboros.Consensus.HardFork.Combinator.AcrossEras" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "OneEraPerasCrypto" 'PrefixI 'True) (S1 ('MetaSel ('Just "getOneEraPerasCrypto") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NS WrapPerasCrypto xs))))

type PrivateKey (OneEraPerasCrypto xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

type PrivateKey (OneEraPerasCrypto xs) = PerEraPerasPrivateKey xs

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

newtype OneEraPerasVotingCommitteeScheme (xs ∷ [Type]) Source #

Constructors

OneEraPerasVotingCommitteeScheme
Fields getOneEraPerasVotingCommitteeScheme ∷ NS WrapPerasVotingCommitteeScheme xs

Instances

Instances details

CanHardFork xs ⇒ Eq (OneEraPerasVotingCommitteeScheme xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

(==) ∷ OneEraPerasVotingCommitteeScheme xs → OneEraPerasVotingCommitteeScheme xs → Bool #

(/=) ∷ OneEraPerasVotingCommitteeScheme xs → OneEraPerasVotingCommitteeScheme xs → Bool #

Generic (OneEraPerasVotingCommitteeScheme xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Associated Types

type Rep (OneEraPerasVotingCommitteeScheme xs)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

type Rep (OneEraPerasVotingCommitteeScheme xs) = D1 ('MetaData "OneEraPerasVotingCommitteeScheme" "Ouroboros.Consensus.HardFork.Combinator.AcrossEras" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "OneEraPerasVotingCommitteeScheme" 'PrefixI 'True) (S1 ('MetaSel ('Just "getOneEraPerasVotingCommitteeScheme") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NS WrapPerasVotingCommitteeScheme xs))))

Methods

from ∷ OneEraPerasVotingCommitteeScheme xs → Rep (OneEraPerasVotingCommitteeScheme xs) x #

to ∷ Rep (OneEraPerasVotingCommitteeScheme xs) x → OneEraPerasVotingCommitteeScheme xs #

CanHardFork xs ⇒ Show (OneEraPerasVotingCommitteeScheme xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

showsPrec ∷ Int → OneEraPerasVotingCommitteeScheme xs → ShowS #

show ∷ OneEraPerasVotingCommitteeScheme xs → String #

showList ∷ [OneEraPerasVotingCommitteeScheme xs] → ShowS #

CanHardFork xs ⇒ NoThunks (OneEraPerasVotingCommitteeScheme xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

noThunks ∷ Context → OneEraPerasVotingCommitteeScheme xs → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → OneEraPerasVotingCommitteeScheme xs → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (OneEraPerasVotingCommitteeScheme xs) → String Source #

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 #

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 #

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 #

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

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 #

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 #

type Rep (OneEraPerasVotingCommitteeScheme xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

type Rep (OneEraPerasVotingCommitteeScheme xs) = D1 ('MetaData "OneEraPerasVotingCommitteeScheme" "Ouroboros.Consensus.HardFork.Combinator.AcrossEras" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "OneEraPerasVotingCommitteeScheme" 'PrefixI 'True) (S1 ('MetaSel ('Just "getOneEraPerasVotingCommitteeScheme") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NS WrapPerasVotingCommitteeScheme xs))))

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

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

Defined in Ouroboros.Consensus.Peras.Void

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

Defined in Ouroboros.Consensus.Committee.WFALS

Methods

fromCBOR ∷ Decoder s (VotingCommittee crypto WFALS) Source #

label ∷ Proxy (VotingCommittee crypto WFALS) → 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

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 #

(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

Defined in Ouroboros.Consensus.Committee.WFALS

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 #

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

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 #

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

Defined in Ouroboros.Consensus.Committee.WFALS

Methods

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

(/=) ∷ VotingCommittee crypto WFALS → VotingCommittee crypto WFALS → 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

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 #

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

Defined in Ouroboros.Consensus.Committee.WFALS

Associated Types

type Rep (VotingCommittee crypto WFALS)

Instance details

Defined in Ouroboros.Consensus.Committee.WFALS

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 #

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

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 #

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

Defined in Ouroboros.Consensus.Committee.WFALS

Methods

showsPrec ∷ Int → VotingCommittee crypto WFALS → ShowS #

show ∷ VotingCommittee crypto WFALS → String #

showList ∷ [VotingCommittee crypto WFALS] → 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

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 #

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

Defined in Ouroboros.Consensus.Committee.WFALS

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 #

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

Defined in Ouroboros.Consensus.Committee.WFALS

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 (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Void

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

Defined in Ouroboros.Consensus.Peras.Void

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

Defined in Ouroboros.Consensus.Committee.WFALS

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

Serialisation of n-ary sums

decodeNS ∷ ∀ {k} (xs ∷ [k]) (f ∷ k → Type) s. SListI xs ⇒ NP (Decoder s :.: f) xs → Decoder s (NS f xs) Source #

encodeNS ∷ ∀ {k} (xs ∷ [k]) (f ∷ k → Type). SListI xs ⇒ NP (f -.-> (K Encoding ∷ k → Type)) xs → NS f xs → Encoding Source #

Value for two different eras

data EraMismatch Source #

Extra info for errors caused by applying a block, header, transaction, or query from one era to a ledger from a different era.

Constructors

EraMismatch
Fields ledgerEraName ∷ !Text Name of the era of the ledger (Byron or Shelley). otherEraName ∷ !Text Era of the block, header, transaction, or query.

Instances

Instances details

Eq EraMismatch Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

(==) ∷ EraMismatch → EraMismatch → Bool #

(/=) ∷ EraMismatch → EraMismatch → Bool #

Generic EraMismatch Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Associated Types

type Rep EraMismatch

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

type Rep EraMismatch = D1 ('MetaData "EraMismatch" "Ouroboros.Consensus.HardFork.Combinator.AcrossEras" "ouroboros-consensus-4.0.0.0-inplace" 'False) (C1 ('MetaCons "EraMismatch" 'PrefixI 'True) (S1 ('MetaSel ('Just "ledgerEraName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "otherEraName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)))

Methods

from ∷ EraMismatch → Rep EraMismatch x #

to ∷ Rep EraMismatch x → EraMismatch #

Show EraMismatch Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

showsPrec ∷ Int → EraMismatch → ShowS #

show ∷ EraMismatch → String #

showList ∷ [EraMismatch] → ShowS #

type Rep EraMismatch Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

type Rep EraMismatch = D1 ('MetaData "EraMismatch" "Ouroboros.Consensus.HardFork.Combinator.AcrossEras" "ouroboros-consensus-4.0.0.0-inplace" 'False) (C1 ('MetaCons "EraMismatch" 'PrefixI 'True) (S1 ('MetaSel ('Just "ledgerEraName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "otherEraName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)))

newtype MismatchEraInfo (xs ∷ [Type]) Source #

Constructors

MismatchEraInfo
Fields getMismatchEraInfo ∷ Mismatch SingleEraInfo LedgerEraInfo xs Era mismatch We have an era mismatch between the era of a blockheadertx/query and the era of the current ledger.

Instances

Instances details

All SingleEraBlock xs ⇒ Eq (MismatchEraInfo xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods (==) ∷ MismatchEraInfo xs → MismatchEraInfo xs → Bool # (/=) ∷ MismatchEraInfo xs → MismatchEraInfo xs → Bool #
All SingleEraBlock xs ⇒ Show (MismatchEraInfo xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec ∷ Int → MismatchEraInfo xs → ShowS # show ∷ MismatchEraInfo xs → String # showList ∷ [MismatchEraInfo xs] → ShowS #
CanHardFork xs ⇒ NoThunks (MismatchEraInfo xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → MismatchEraInfo xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → MismatchEraInfo xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (MismatchEraInfo xs) → String Source #

mismatchFutureEra ∷ ∀ (xs ∷ [Type]) x. SListI xs ⇒ MismatchEraInfo (x ': xs) → NS SingleEraInfo xs Source #

A mismatch _must_ involve a future era

mismatchOneEra ∷ MismatchEraInfo '[b] → Void Source #

mkEraMismatch ∷ ∀ (xs ∷ [Type]). SListI xs ⇒ MismatchEraInfo xs → EraMismatch Source #

When a transaction or block from a certain era was applied to a ledger from another era, we get a MismatchEraInfo.

Given such a MismatchEraInfo, return the name of the era of the transaction/block and the name of the era of the ledger.

Utility

getSameValue ∷ ∀ {k} (xs ∷ [k]) a. (IsNonEmpty xs, Eq a, SListI xs, HasCallStack) ⇒ NP (K a ∷ k → Type) xs → a Source #

oneEraBlockHeader ∷ ∀ (xs ∷ [Type]). CanHardFork xs ⇒ OneEraBlock xs → OneEraHeader xs Source #

Orphan instances

Show (PartialLedgerConfig xs) ⇒ Show (WrapPartialLedgerConfig xs) Source #
Instance details Methods showsPrec ∷ Int → WrapPartialLedgerConfig xs → ShowS # show ∷ WrapPartialLedgerConfig xs → String # showList ∷ [WrapPartialLedgerConfig xs] → ShowS #
CanHardFork xs ⇒ Show (OneEraReasonForSwitch xs) Source #
Instance details Methods showsPrec ∷ Int → OneEraReasonForSwitch xs → ShowS # show ∷ OneEraReasonForSwitch xs → String # showList ∷ [OneEraReasonForSwitch xs] → ShowS #