Safe Haskell	None
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 ∷ [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 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 OneEraSelectView (xs ∷ [Type]) = OneEraSelectView {
- getOneEraSelectView ∷ NS WrapSelectView 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
}
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 ⇒ 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 #

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 ⇒ 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 ∷ [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 ⇒ 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 ∷ [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 ⇒ 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 ∷ [Type]) 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 ∷ [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 ⇒ 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 ∷ [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 ⇒ 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 ∷ [Type]) 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 ∷ [Type]) 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 ∷ [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 ⇒ 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 ∷ [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 ⇒ 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 ∷ [Type]) 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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

type Rep EraMismatch = D1 ('MetaData "EraMismatch" "Ouroboros.Consensus.HardFork.Combinator.AcrossEras" "ouroboros-consensus-0.26.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 #

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.26.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 ⇒ 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 ∷ ∀ (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 #