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 = PerEraBlockConfig {
- getPerEraBlockConfig :: NP BlockConfig 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 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 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 :: 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 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 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 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 => Eq ( OneEraApplyTxErr xs) Source #
Instance details 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 #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec :: Int -> OneEraApplyTxErr xs -> ShowS Source # show :: OneEraApplyTxErr xs -> String Source # showList :: [ OneEraApplyTxErr xs] -> ShowS Source #

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 Source # show :: OneEraBlock xs -> String Source # showList :: [ OneEraBlock xs] -> ShowS Source #

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 Source # show :: OneEraCannotForge xs -> String Source # showList :: [ OneEraCannotForge xs] -> ShowS Source #

newtype OneEraEnvelopeErr xs 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 Source # (/=) :: OneEraEnvelopeErr xs -> OneEraEnvelopeErr xs -> Bool Source #
CanHardFork xs => Show ( OneEraEnvelopeErr xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec :: Int -> OneEraEnvelopeErr xs -> ShowS Source # show :: OneEraEnvelopeErr xs -> String Source # showList :: [ OneEraEnvelopeErr xs] -> ShowS Source #
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 Source # show :: OneEraForgeStateInfo xs -> String Source # showList :: [ OneEraForgeStateInfo xs] -> ShowS Source #

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 Source # show :: OneEraForgeStateUpdateError xs -> String Source # showList :: [ OneEraForgeStateUpdateError xs] -> ShowS Source #

newtype OneEraGenTx xs 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 Source # (/=) :: OneEraGenTx xs -> OneEraGenTx xs -> Bool Source #
CanHardFork xs => Show ( OneEraGenTx xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec :: Int -> OneEraGenTx xs -> ShowS Source # show :: OneEraGenTx xs -> String Source # showList :: [ OneEraGenTx xs] -> ShowS Source #
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 => Eq ( OneEraGenTxId xs) Source #
Instance details 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 #
Instance details 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 #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec :: Int -> OneEraGenTxId xs -> ShowS Source # show :: OneEraGenTxId xs -> String Source # showList :: [ OneEraGenTxId xs] -> ShowS Source #
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

Eq ( OneEraHash xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods (==) :: OneEraHash xs -> OneEraHash xs -> Bool Source # (/=) :: OneEraHash xs -> OneEraHash xs -> Bool Source #
Ord ( OneEraHash xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods compare :: OneEraHash xs -> OneEraHash xs -> Ordering Source # (<) :: OneEraHash xs -> OneEraHash xs -> Bool Source # (<=) :: OneEraHash xs -> OneEraHash xs -> Bool Source # (>) :: OneEraHash xs -> OneEraHash xs -> Bool Source # (>=) :: OneEraHash xs -> OneEraHash xs -> Bool Source # max :: OneEraHash xs -> OneEraHash xs -> OneEraHash xs Source # min :: OneEraHash xs -> OneEraHash xs -> OneEraHash xs Source #
Show ( OneEraHash xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec :: Int -> OneEraHash xs -> ShowS Source # show :: OneEraHash xs -> String Source # showList :: [ OneEraHash xs] -> ShowS Source #
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 #
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 #
Condense ( OneEraHash xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods condense :: OneEraHash xs -> String 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 Source # show :: OneEraHeader xs -> String Source # showList :: [ OneEraHeader xs] -> ShowS Source #
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 => Eq ( OneEraLedgerError xs) Source #
Instance details 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 #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec :: Int -> OneEraLedgerError xs -> ShowS Source # show :: OneEraLedgerError xs -> String Source # showList :: [ OneEraLedgerError xs] -> ShowS Source #
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 => Eq ( OneEraLedgerUpdate xs) Source #
Instance details 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 #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec :: Int -> OneEraLedgerUpdate xs -> ShowS Source # show :: OneEraLedgerUpdate xs -> String Source # showList :: [ OneEraLedgerUpdate xs] -> ShowS Source #

newtype OneEraLedgerWarning xs 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 Source # (/=) :: OneEraLedgerWarning xs -> OneEraLedgerWarning xs -> Bool Source #
CanHardFork xs => Show ( OneEraLedgerWarning xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec :: Int -> OneEraLedgerWarning xs -> ShowS Source # show :: OneEraLedgerWarning xs -> String Source # showList :: [ OneEraLedgerWarning xs] -> ShowS Source #

newtype OneEraSelectView xs Source #

Constructors

OneEraSelectView
Fields getOneEraSelectView :: NS WrapSelectView xs

Instances

Instances details

CanHardFork xs => Eq ( OneEraSelectView xs) Source #
Instance details 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 #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec :: Int -> OneEraSelectView xs -> ShowS Source # show :: OneEraSelectView xs -> String Source # showList :: [ OneEraSelectView xs] -> ShowS Source #
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 OneEraTipInfo xs 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 Source # (/=) :: OneEraTipInfo xs -> OneEraTipInfo xs -> Bool Source #
CanHardFork xs => Show ( OneEraTipInfo xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec :: Int -> OneEraTipInfo xs -> ShowS Source # show :: OneEraTipInfo xs -> String Source # showList :: [ OneEraTipInfo xs] -> ShowS Source #
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 => Eq ( OneEraValidatedGenTx xs) Source #
Instance details 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 #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec :: Int -> OneEraValidatedGenTx xs -> ShowS Source # show :: OneEraValidatedGenTx xs -> String Source # showList :: [ OneEraValidatedGenTx xs] -> ShowS Source #
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 => Eq ( OneEraValidationErr xs) Source #
Instance details 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 #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec :: Int -> OneEraValidationErr xs -> ShowS Source # show :: OneEraValidationErr xs -> String Source # showList :: [ OneEraValidationErr xs] -> ShowS Source #
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

Eq EraMismatch Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods (==) :: EraMismatch -> EraMismatch -> Bool Source # (/=) :: EraMismatch -> EraMismatch -> Bool Source #
Show EraMismatch Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec :: Int -> EraMismatch -> ShowS Source # show :: EraMismatch -> String Source # showList :: [ EraMismatch ] -> ShowS Source #
Generic EraMismatch Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Associated Types type Rep EraMismatch :: Type -> Type Source # Methods from :: EraMismatch -> Rep EraMismatch x Source # to :: Rep EraMismatch x -> EraMismatch Source #
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.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 getMismatchEraInfo :: Mismatch SingleEraInfo LedgerEraInfo xs Era mismatch We have an era mismatch between the era of a block header tx/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 Source # (/=) :: MismatchEraInfo xs -> MismatchEraInfo xs -> Bool Source #
All SingleEraBlock xs => Show ( MismatchEraInfo xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec :: Int -> MismatchEraInfo xs -> ShowS Source # show :: MismatchEraInfo xs -> String Source # showList :: [ MismatchEraInfo xs] -> ShowS Source #
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 :: forall xs a. ( IsNonEmpty xs, Eq a, SListI xs, HasCallStack ) => NP ( K a) xs -> a Source #

oneEraBlockHeader :: CanHardFork xs => OneEraBlock xs -> OneEraHeader xs Source #