Safe Haskell	Safe-Inferred
Language	Haskell2010

Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Contents

Value for each era
Values for some eras
Value for one era
Value for two different eras
Utility

Synopsis

newtype PerEraBlockConfig xs = PerEraBlockConfig {
- getPerEraBlockConfig ∷ NP BlockConfig xs
}
newtype PerEraChainOrderConfig xs = PerEraChainOrderConfig {
- getPerEraChainOrderConfig ∷ NP WrapChainOrderConfig xs
}
newtype PerEraCodecConfig xs = PerEraCodecConfig {
- getPerEraCodecConfig ∷ NP CodecConfig xs
}
newtype PerEraConsensusConfig xs = PerEraConsensusConfig {
- getPerEraConsensusConfig ∷ NP WrapPartialConsensusConfig xs
}
newtype PerEraLedgerConfig xs = PerEraLedgerConfig {
- getPerEraLedgerConfig ∷ NP WrapPartialLedgerConfig xs
}
newtype PerEraProtocolParams xs = PerEraProtocolParams {
- getPerEraProtocolParams ∷ NP ProtocolParams xs
}
newtype PerEraStorageConfig xs = PerEraStorageConfig {
- getPerEraStorageConfig ∷ NP StorageConfig xs
}
newtype SomeErasCanBeLeader xs = SomeErasCanBeLeader {
- getSomeErasCanBeLeader ∷ NonEmptyOptNP WrapCanBeLeader xs
}
newtype OneEraApplyTxErr xs = OneEraApplyTxErr {
- getOneEraApplyTxErr ∷ NS WrapApplyTxErr xs
}
newtype OneEraBlock xs = OneEraBlock {
- getOneEraBlock ∷ NS I xs
}
newtype OneEraCannotForge xs = OneEraCannotForge {
- getOneEraCannotForge ∷ NS WrapCannotForge xs
}
newtype OneEraEnvelopeErr xs = OneEraEnvelopeErr {
- getOneEraEnvelopeErr ∷ NS WrapEnvelopeErr xs
}
newtype OneEraForgeStateInfo xs = OneEraForgeStateInfo {
- getOneEraForgeStateInfo ∷ NS WrapForgeStateInfo xs
}
newtype OneEraForgeStateUpdateError xs = OneEraForgeStateUpdateError {
- getOneEraForgeStateUpdateError ∷ NS WrapForgeStateUpdateError xs
}
newtype OneEraGenTx xs = OneEraGenTx {
- getOneEraGenTx ∷ NS GenTx xs
}
newtype OneEraGenTxId xs = OneEraGenTxId {
- getOneEraGenTxId ∷ NS WrapGenTxId xs
}
newtype OneEraHash (xs ∷ [k]) = OneEraHash {
- getOneEraHash ∷ ShortByteString
}
newtype OneEraHeader xs = OneEraHeader {
- getOneEraHeader ∷ NS Header xs
}
newtype OneEraIsLeader xs = OneEraIsLeader {
- getOneEraIsLeader ∷ NS WrapIsLeader xs
}
newtype OneEraLedgerError xs = OneEraLedgerError {
- getOneEraLedgerError ∷ NS WrapLedgerErr xs
}
newtype OneEraLedgerEvent xs = OneEraLedgerEvent {
- getOneEraLedgerEvent ∷ NS WrapLedgerEvent xs
}
newtype OneEraLedgerUpdate xs = OneEraLedgerUpdate {
- getOneEraLedgerUpdate ∷ NS WrapLedgerUpdate xs
}
newtype OneEraLedgerWarning xs = OneEraLedgerWarning {
- getOneEraLedgerWarning ∷ NS WrapLedgerWarning xs
}
newtype OneEraSelectView xs = OneEraSelectView {
- getOneEraSelectView ∷ NS WrapSelectView xs
}
newtype OneEraTentativeHeaderState xs = OneEraTentativeHeaderState {
- getOneEraTentativeHeaderState ∷ NS WrapTentativeHeaderState xs
}
newtype OneEraTentativeHeaderView xs = OneEraTentativeHeaderView {
- getOneEraTentativeHeaderView ∷ NS WrapTentativeHeaderView xs
}
newtype OneEraTipInfo xs = OneEraTipInfo {
- getOneEraTipInfo ∷ NS WrapTipInfo xs
}
newtype OneEraValidateView xs = OneEraValidateView {
- getOneEraValidateView ∷ NS WrapValidateView xs
}
newtype OneEraValidatedGenTx xs = OneEraValidatedGenTx {
- getOneEraValidatedGenTx ∷ NS WrapValidatedGenTx xs
}
newtype OneEraValidationErr xs = OneEraValidationErr {
- getOneEraValidationErr ∷ NS WrapValidationErr xs
}
data EraMismatch = EraMismatch {
- ledgerEraName ∷ !Text
- otherEraName ∷ !Text
}
newtype MismatchEraInfo xs = MismatchEraInfo {
- getMismatchEraInfo ∷ Mismatch SingleEraInfo LedgerEraInfo xs
}
mismatchFutureEra ∷ SListI xs ⇒ MismatchEraInfo (x ': xs) → NS SingleEraInfo xs
mismatchOneEra ∷ MismatchEraInfo '[b] → Void
mkEraMismatch ∷ SListI xs ⇒ MismatchEraInfo xs → EraMismatch
getSameValue ∷ ∀ xs a. (IsNonEmpty xs, Eq a, SListI xs, HasCallStack) ⇒ NP (K a) xs → a
oneEraBlockHeader ∷ CanHardFork xs ⇒ OneEraBlock xs → OneEraHeader xs

Value for each era

newtype PerEraBlockConfig xs 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 Source #

Constructors

PerEraChainOrderConfig
Fields getPerEraChainOrderConfig ∷ NP WrapChainOrderConfig xs

newtype PerEraCodecConfig xs 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 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 Source #

Constructors

PerEraLedgerConfig
Fields getPerEraLedgerConfig ∷ NP WrapPartialLedgerConfig xs

Instances

Instances details

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 #

newtype PerEraProtocolParams xs Source #

Constructors

PerEraProtocolParams
Fields getPerEraProtocolParams ∷ NP ProtocolParams xs

newtype PerEraStorageConfig xs 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 #

Values for some eras

newtype SomeErasCanBeLeader xs Source #

Constructors

SomeErasCanBeLeader
Fields getSomeErasCanBeLeader ∷ NonEmptyOptNP WrapCanBeLeader xs

Value for one era

newtype OneEraApplyTxErr xs Source #

Constructors

OneEraApplyTxErr
Fields getOneEraApplyTxErr ∷ NS WrapApplyTxErr xs

Instances

Instances details

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

newtype OneEraBlock xs 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 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 Source #

Constructors

OneEraEnvelopeErr
Fields getOneEraEnvelopeErr ∷ NS WrapEnvelopeErr xs

Instances

Instances details

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 ⇒ 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 ⇒ 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 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 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 Source #

Constructors

OneEraGenTx
Fields getOneEraGenTx ∷ NS GenTx xs

Instances

Instances details

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 ⇒ 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 ⇒ 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 Source #

Constructors

OneEraGenTxId
Fields getOneEraGenTxId ∷ NS WrapGenTxId xs

Instances

Instances details

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 ⇒ Eq (OneEraGenTxId xs) Source #	This instance compares the underlying raw hash (`toRawTxIdHash`) of the `TxId`. Note that this means that transactions in different eras can have equal `TxId`s. This should only be the case when the transaction format is backwards compatible from one era to the next.
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 ⇒ 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

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

Constructors

OneEraIsLeader
Fields getOneEraIsLeader ∷ NS WrapIsLeader xs

newtype OneEraLedgerError xs Source #

Constructors

OneEraLedgerError
Fields getOneEraLedgerError ∷ NS WrapLedgerErr xs

Instances

Instances details

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 ⇒ 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 ⇒ 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 Source #

Constructors

OneEraLedgerEvent
Fields getOneEraLedgerEvent ∷ NS WrapLedgerEvent xs

newtype OneEraLedgerUpdate xs Source #

Constructors

OneEraLedgerUpdate
Fields getOneEraLedgerUpdate ∷ NS WrapLedgerUpdate xs

Instances

Instances details

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

newtype OneEraLedgerWarning xs Source #

Constructors

OneEraLedgerWarning
Fields getOneEraLedgerWarning ∷ NS WrapLedgerWarning xs

Instances

Instances details

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

newtype OneEraSelectView xs Source #

Constructors

OneEraSelectView
Fields getOneEraSelectView ∷ NS WrapSelectView xs

Instances

Instances details

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

newtype OneEraTentativeHeaderState xs 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 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 Source #

Constructors

OneEraTipInfo
Fields getOneEraTipInfo ∷ NS WrapTipInfo xs

Instances

Instances details

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 ⇒ 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 ⇒ 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 Source #

Constructors

OneEraValidateView
Fields getOneEraValidateView ∷ NS WrapValidateView xs

newtype OneEraValidatedGenTx xs Source #

Constructors

OneEraValidatedGenTx
Fields getOneEraValidatedGenTx ∷ NS WrapValidatedGenTx xs

Instances

Instances details

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 ⇒ 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 ⇒ 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 Source #

Constructors

OneEraValidationErr
Fields getOneEraValidationErr ∷ NS WrapValidationErr xs

Instances

Instances details

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

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

Generic EraMismatch Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Associated Types type Rep EraMismatch ∷ Type → Type # 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 #
Eq EraMismatch Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods (==) ∷ EraMismatch → EraMismatch → Bool # (/=) ∷ EraMismatch → EraMismatch → Bool #
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-0.18.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 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 ⇒ 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 #
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 #
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 ∷ SListI xs ⇒ MismatchEraInfo (x ': xs) → NS SingleEraInfo xs Source #

A mismatch _must_ involve a future era

mismatchOneEra ∷ MismatchEraInfo '[b] → Void Source #

mkEraMismatch ∷ 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 ∷ ∀ xs a. (IsNonEmpty xs, Eq a, SListI xs, HasCallStack) ⇒ NP (K a) xs → a Source #

oneEraBlockHeader ∷ CanHardFork xs ⇒ OneEraBlock xs → OneEraHeader xs Source #