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
{
- getOneEraGenTxId :: NS WrapGenTxId xs
- newtype OneEraHash (xs :: [k]) = OneEraHash { }
-
newtype
OneEraHeader
xs =
OneEraHeader
{
- getOneEraHeader :: NS Header xs
-
newtype
OneEraIsLeader
xs =
OneEraIsLeader
{
- getOneEraIsLeader :: NS WrapIsLeader xs
- newtype OneEraLedgerError xs = OneEraLedgerError { }
- newtype OneEraLedgerEvent xs = OneEraLedgerEvent { }
- newtype OneEraLedgerUpdate xs = OneEraLedgerUpdate { }
- newtype OneEraLedgerWarning xs = OneEraLedgerWarning { }
- newtype OneEraSelectView xs = OneEraSelectView { }
-
newtype
OneEraTipInfo
xs =
OneEraTipInfo
{
- getOneEraTipInfo :: NS WrapTipInfo xs
- newtype OneEraValidateView xs = OneEraValidateView { }
- newtype OneEraValidatedGenTx xs = OneEraValidatedGenTx { }
- newtype OneEraValidationErr xs = OneEraValidationErr { }
-
data
EraMismatch
=
EraMismatch
{
- ledgerEraName :: ! Text
- otherEraName :: ! Text
- newtype MismatchEraInfo xs = MismatchEraInfo { }
- mismatchFutureEra :: SListI xs => MismatchEraInfo (x ': xs) -> NS SingleEraInfo xs
- mismatchOneEra :: MismatchEraInfo '[b] -> Void
- mkEraMismatch :: SListI xs => MismatchEraInfo xs -> EraMismatch
- getSameValue :: forall 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 # | |
newtype PerEraCodecConfig xs Source #
Constructors
PerEraCodecConfig | |
Fields |
Instances
CanHardFork xs => NoThunks ( PerEraCodecConfig xs) Source # | |
newtype PerEraConsensusConfig xs Source #
Constructors
PerEraConsensusConfig | |
Fields |
Instances
CanHardFork xs => NoThunks ( PerEraConsensusConfig xs) Source # | |
newtype PerEraLedgerConfig xs Source #
Constructors
PerEraLedgerConfig | |
Fields |
Instances
CanHardFork xs => NoThunks ( PerEraLedgerConfig xs) Source # | |
newtype PerEraStorageConfig xs Source #
Constructors
PerEraStorageConfig | |
Fields |
Instances
CanHardFork xs => NoThunks ( PerEraStorageConfig xs) Source # | |
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 # | |
newtype OneEraForgeStateInfo xs Source #
Constructors
OneEraForgeStateInfo | |
Fields |
Instances
CanHardFork xs => Show ( OneEraForgeStateInfo xs) Source # | |
newtype OneEraForgeStateUpdateError xs Source #
Constructors
OneEraForgeStateUpdateError | |
Fields |
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 # | |
newtype OneEraGenTxId xs Source #
Constructors
OneEraGenTxId | |
Fields
|
Instances
CanHardFork xs => Eq ( OneEraGenTxId xs) Source # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods (==) :: OneEraGenTxId xs -> OneEraGenTxId xs -> Bool Source # (/=) :: OneEraGenTxId xs -> OneEraGenTxId xs -> Bool Source # |
|
CanHardFork xs => Ord ( OneEraGenTxId xs) Source # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods compare :: OneEraGenTxId xs -> OneEraGenTxId xs -> Ordering Source # (<) :: OneEraGenTxId xs -> OneEraGenTxId xs -> Bool Source # (<=) :: OneEraGenTxId xs -> OneEraGenTxId xs -> Bool Source # (>) :: OneEraGenTxId xs -> OneEraGenTxId xs -> Bool Source # (>=) :: OneEraGenTxId xs -> OneEraGenTxId xs -> Bool Source # max :: OneEraGenTxId xs -> OneEraGenTxId xs -> OneEraGenTxId xs Source # min :: OneEraGenTxId xs -> OneEraGenTxId xs -> OneEraGenTxId xs Source # |
|
CanHardFork xs => Show ( OneEraGenTxId xs) Source # | |
CanHardFork xs => NoThunks ( OneEraGenTxId xs) 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 |
Instances
newtype OneEraHeader xs Source #
Constructors
OneEraHeader | |
Fields
|
Instances
CanHardFork xs => Show ( OneEraHeader xs) Source # | |
CanHardFork xs => NoThunks ( OneEraHeader xs) Source # | |
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 # | |
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 # | |
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 # | |
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 # | |
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 # | |
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 # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods from :: EraMismatch -> Rep EraMismatch x Source # to :: Rep EraMismatch x -> 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.1-DT4Cvwf63DZKctsEvaJqCU" '
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 # | |
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 :: forall xs a. ( IsNonEmpty xs, Eq a, SListI xs, HasCallStack ) => NP ( K a) xs -> a Source #
oneEraBlockHeader :: CanHardFork xs => OneEraBlock xs -> OneEraHeader xs Source #