Safe Haskell | None |
---|---|
Language | Haskell2010 |
Ouroboros.Consensus.HardFork.Combinator.AcrossEras
Synopsis
- newtype PerEraBlockConfig xs = PerEraBlockConfig {}
- newtype PerEraCodecConfig xs = PerEraCodecConfig {}
- newtype PerEraConsensusConfig xs = PerEraConsensusConfig {}
- newtype PerEraLedgerConfig xs = PerEraLedgerConfig {}
- newtype PerEraStorageConfig xs = PerEraStorageConfig {}
- newtype SomeErasCanBeLeader xs = SomeErasCanBeLeader {}
- newtype OneEraApplyTxErr xs = OneEraApplyTxErr {}
- newtype OneEraBlock xs = OneEraBlock {
- getOneEraBlock ∷ NS I xs
- newtype OneEraCannotForge xs = OneEraCannotForge {}
- newtype OneEraEnvelopeErr xs = OneEraEnvelopeErr {}
- newtype OneEraForgeStateInfo xs = OneEraForgeStateInfo {}
- newtype OneEraForgeStateUpdateError xs = OneEraForgeStateUpdateError {}
- newtype OneEraGenTx xs = OneEraGenTx {
- getOneEraGenTx ∷ NS GenTx xs
- newtype OneEraGenTxId xs = OneEraGenTxId {}
- newtype OneEraHash (xs ∷ [k]) = OneEraHash {}
- newtype OneEraHeader xs = OneEraHeader {
- getOneEraHeader ∷ NS Header xs
- newtype OneEraIsLeader xs = OneEraIsLeader {}
- newtype OneEraLedgerError xs = OneEraLedgerError {}
- newtype OneEraLedgerEvent xs = OneEraLedgerEvent {}
- newtype OneEraLedgerUpdate xs = OneEraLedgerUpdate {}
- newtype OneEraLedgerWarning xs = OneEraLedgerWarning {}
- newtype OneEraSelectView xs = OneEraSelectView {}
- newtype OneEraTipInfo xs = OneEraTipInfo {}
- newtype OneEraValidateView xs = OneEraValidateView {}
- newtype OneEraValidatedGenTx xs = OneEraValidatedGenTx {}
- newtype OneEraValidationErr xs = OneEraValidationErr {}
- data EraMismatch = EraMismatch {}
- newtype MismatchEraInfo xs = MismatchEraInfo {}
- 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 |
Instances
CanHardFork xs ⇒ NoThunks (PerEraBlockConfig xs) Source # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → PerEraBlockConfig xs → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → PerEraBlockConfig xs → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (PerEraBlockConfig xs) → String # |
newtype PerEraCodecConfig xs Source #
Constructors
PerEraCodecConfig | |
Fields |
Instances
CanHardFork xs ⇒ NoThunks (PerEraCodecConfig xs) Source # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → PerEraCodecConfig xs → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → PerEraCodecConfig xs → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (PerEraCodecConfig xs) → String # |
newtype PerEraConsensusConfig xs Source #
Constructors
PerEraConsensusConfig | |
Fields |
Instances
CanHardFork xs ⇒ NoThunks (PerEraConsensusConfig xs) Source # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → PerEraConsensusConfig xs → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → PerEraConsensusConfig xs → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (PerEraConsensusConfig xs) → String # |
newtype PerEraLedgerConfig xs Source #
Constructors
PerEraLedgerConfig | |
Fields |
Instances
CanHardFork xs ⇒ NoThunks (PerEraLedgerConfig xs) Source # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → PerEraLedgerConfig xs → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → PerEraLedgerConfig xs → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (PerEraLedgerConfig xs) → String # |
newtype PerEraStorageConfig xs Source #
Constructors
PerEraStorageConfig | |
Fields |
Instances
CanHardFork xs ⇒ NoThunks (PerEraStorageConfig xs) Source # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → PerEraStorageConfig xs → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → PerEraStorageConfig xs → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (PerEraStorageConfig xs) → String # |
Values for some eras
newtype SomeErasCanBeLeader xs Source #
Constructors
SomeErasCanBeLeader | |
Fields |
Value for one era
newtype OneEraApplyTxErr xs Source #
Constructors
OneEraApplyTxErr | |
Fields |
Instances
CanHardFork xs ⇒ Eq (OneEraApplyTxErr xs) Source # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods (==) ∷ OneEraApplyTxErr xs → OneEraApplyTxErr xs → Bool Source # (/=) ∷ OneEraApplyTxErr xs → OneEraApplyTxErr xs → Bool Source # | |
CanHardFork xs ⇒ Show (OneEraApplyTxErr xs) Source # | |
newtype OneEraBlock xs Source #
Constructors
OneEraBlock | |
Fields
|
Instances
CanHardFork xs ⇒ Show (OneEraBlock xs) Source # | |
newtype OneEraCannotForge xs Source #
Constructors
OneEraCannotForge | |
Fields |
Instances
CanHardFork xs ⇒ Show (OneEraCannotForge xs) Source # | |
newtype OneEraEnvelopeErr xs Source #
Constructors
OneEraEnvelopeErr | |
Fields |
Instances
CanHardFork xs ⇒ Eq (OneEraEnvelopeErr xs) Source # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods (==) ∷ OneEraEnvelopeErr xs → OneEraEnvelopeErr xs → Bool Source # (/=) ∷ OneEraEnvelopeErr xs → OneEraEnvelopeErr xs → Bool Source # | |
CanHardFork xs ⇒ Show (OneEraEnvelopeErr xs) Source # | |
CanHardFork xs ⇒ NoThunks (OneEraEnvelopeErr xs) Source # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → OneEraEnvelopeErr xs → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → OneEraEnvelopeErr xs → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (OneEraEnvelopeErr xs) → String # |
newtype OneEraForgeStateInfo xs Source #
Constructors
OneEraForgeStateInfo | |
Fields |
Instances
CanHardFork xs ⇒ Show (OneEraForgeStateInfo xs) Source # | |
newtype OneEraForgeStateUpdateError xs Source #
Constructors
OneEraForgeStateUpdateError | |
Instances
CanHardFork xs ⇒ Show (OneEraForgeStateUpdateError xs) Source # | |
newtype OneEraGenTx xs Source #
Constructors
OneEraGenTx | |
Fields
|
Instances
CanHardFork xs ⇒ Eq (OneEraGenTx xs) Source # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods (==) ∷ OneEraGenTx xs → OneEraGenTx xs → Bool Source # (/=) ∷ OneEraGenTx xs → OneEraGenTx xs → Bool Source # | |
CanHardFork xs ⇒ Show (OneEraGenTx xs) Source # | |
CanHardFork xs ⇒ NoThunks (OneEraGenTx xs) Source # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → OneEraGenTx xs → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → OneEraGenTx xs → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (OneEraGenTx xs) → String # |
newtype OneEraGenTxId xs Source #
Constructors
OneEraGenTxId | |
Fields |
Instances
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 |
Instances
newtype OneEraHeader xs Source #
Constructors
OneEraHeader | |
Fields
|
Instances
CanHardFork xs ⇒ Show (OneEraHeader xs) Source # | |
CanHardFork xs ⇒ NoThunks (OneEraHeader xs) Source # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → OneEraHeader xs → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → OneEraHeader xs → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (OneEraHeader xs) → String # |
newtype OneEraIsLeader xs Source #
Constructors
OneEraIsLeader | |
Fields |
newtype OneEraLedgerError xs Source #
Constructors
OneEraLedgerError | |
Fields |
Instances
CanHardFork xs ⇒ Eq (OneEraLedgerError xs) Source # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods (==) ∷ OneEraLedgerError xs → OneEraLedgerError xs → Bool Source # (/=) ∷ OneEraLedgerError xs → OneEraLedgerError xs → Bool Source # | |
CanHardFork xs ⇒ Show (OneEraLedgerError xs) Source # | |
CanHardFork xs ⇒ NoThunks (OneEraLedgerError xs) Source # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → OneEraLedgerError xs → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → OneEraLedgerError xs → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (OneEraLedgerError xs) → String # |
newtype OneEraLedgerEvent xs Source #
Constructors
OneEraLedgerEvent | |
Fields |
newtype OneEraLedgerUpdate xs Source #
Constructors
OneEraLedgerUpdate | |
Fields |
Instances
CanHardFork xs ⇒ Eq (OneEraLedgerUpdate xs) Source # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods (==) ∷ OneEraLedgerUpdate xs → OneEraLedgerUpdate xs → Bool Source # (/=) ∷ OneEraLedgerUpdate xs → OneEraLedgerUpdate xs → Bool Source # | |
CanHardFork xs ⇒ Show (OneEraLedgerUpdate xs) Source # | |
newtype OneEraLedgerWarning xs Source #
Constructors
OneEraLedgerWarning | |
Fields |
Instances
CanHardFork xs ⇒ Eq (OneEraLedgerWarning xs) Source # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods (==) ∷ OneEraLedgerWarning xs → OneEraLedgerWarning xs → Bool Source # (/=) ∷ OneEraLedgerWarning xs → OneEraLedgerWarning xs → Bool Source # | |
CanHardFork xs ⇒ Show (OneEraLedgerWarning xs) Source # | |
newtype OneEraSelectView xs Source #
Constructors
OneEraSelectView | |
Fields |
Instances
CanHardFork xs ⇒ Eq (OneEraSelectView xs) Source # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods (==) ∷ OneEraSelectView xs → OneEraSelectView xs → Bool Source # (/=) ∷ OneEraSelectView xs → OneEraSelectView xs → Bool Source # | |
CanHardFork xs ⇒ Show (OneEraSelectView xs) Source # | |
CanHardFork xs ⇒ NoThunks (OneEraSelectView xs) Source # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → OneEraSelectView xs → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → OneEraSelectView xs → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (OneEraSelectView xs) → String # |
newtype OneEraTipInfo xs Source #
Constructors
OneEraTipInfo | |
Fields |
Instances
CanHardFork xs ⇒ Eq (OneEraTipInfo xs) Source # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods (==) ∷ OneEraTipInfo xs → OneEraTipInfo xs → Bool Source # (/=) ∷ OneEraTipInfo xs → OneEraTipInfo xs → Bool Source # | |
CanHardFork xs ⇒ Show (OneEraTipInfo xs) Source # | |
CanHardFork xs ⇒ NoThunks (OneEraTipInfo xs) Source # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → OneEraTipInfo xs → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → OneEraTipInfo xs → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (OneEraTipInfo xs) → String # |
newtype OneEraValidateView xs Source #
Constructors
OneEraValidateView | |
Fields |
newtype OneEraValidatedGenTx xs Source #
Constructors
OneEraValidatedGenTx | |
Fields |
Instances
CanHardFork xs ⇒ Eq (OneEraValidatedGenTx xs) Source # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods (==) ∷ OneEraValidatedGenTx xs → OneEraValidatedGenTx xs → Bool Source # (/=) ∷ OneEraValidatedGenTx xs → OneEraValidatedGenTx xs → Bool Source # | |
CanHardFork xs ⇒ Show (OneEraValidatedGenTx xs) Source # | |
CanHardFork xs ⇒ NoThunks (OneEraValidatedGenTx xs) Source # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → OneEraValidatedGenTx xs → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → OneEraValidatedGenTx xs → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (OneEraValidatedGenTx xs) → String # |
newtype OneEraValidationErr xs Source #
Constructors
OneEraValidationErr | |
Fields |
Instances
CanHardFork xs ⇒ Eq (OneEraValidationErr xs) Source # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods (==) ∷ OneEraValidationErr xs → OneEraValidationErr xs → Bool Source # (/=) ∷ OneEraValidationErr xs → OneEraValidationErr xs → Bool Source # | |
CanHardFork xs ⇒ Show (OneEraValidationErr xs) Source # | |
CanHardFork xs ⇒ NoThunks (OneEraValidationErr xs) Source # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → OneEraValidationErr xs → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → OneEraValidationErr xs → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (OneEraValidationErr xs) → String # |
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
|
Instances
Eq EraMismatch Source # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods (==) ∷ EraMismatch → EraMismatch → Bool Source # (/=) ∷ EraMismatch → EraMismatch → Bool Source # | |
Show EraMismatch Source # | |
Generic EraMismatch Source # | |
type Rep EraMismatch Source # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras type Rep EraMismatch = D1 ('MetaData "EraMismatch" "Ouroboros.Consensus.HardFork.Combinator.AcrossEras" "ouroboros-consensus-0.1.0.2-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
|
Instances
All SingleEraBlock xs ⇒ Eq (MismatchEraInfo xs) Source # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods (==) ∷ MismatchEraInfo xs → MismatchEraInfo xs → Bool Source # (/=) ∷ MismatchEraInfo xs → MismatchEraInfo xs → Bool Source # | |
All SingleEraBlock xs ⇒ Show (MismatchEraInfo xs) Source # | |
CanHardFork xs ⇒ NoThunks (MismatchEraInfo xs) Source # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → MismatchEraInfo xs → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → MismatchEraInfo xs → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (MismatchEraInfo xs) → String # |
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 #