Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Contents

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

Synopsis

newtype PerEraConsensusConfig xs = PerEraConsensusConfig {
- getPerEraConsensusConfig :: NP WrapPartialConsensusConfig xs
}
newtype PerEraBlockConfig xs = PerEraBlockConfig {
- getPerEraBlockConfig :: NP BlockConfig xs
}
newtype PerEraChainSelConfig xs = PerEraChainSelConfig {
- getPerEraChainSelConfig :: NP WrapChainSelConfig xs
}
newtype PerEraCodecConfig xs = PerEraCodecConfig {
- getPerEraCodecConfig :: NP CodecConfig xs
}
newtype PerEraLedgerConfig xs = PerEraLedgerConfig {
- getPerEraLedgerConfig :: NP WrapPartialLedgerConfig xs
}
newtype PerEraStorageConfig xs = PerEraStorageConfig {
- getPerEraStorageConfig :: NP StorageConfig xs
}
newtype OneEraApplyTxErr xs = OneEraApplyTxErr {
- getOneEraApplyTxErr :: NS WrapApplyTxErr xs
}
newtype OneEraBlock xs = OneEraBlock {
- getOneEraBlock :: NS I xs
}
newtype OneEraCanBeLeader xs = OneEraCanBeLeader {
- getOneEraCanBeLeader :: NS WrapCanBeLeader 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 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 OneEraValidationErr xs = OneEraValidationErr {
- getOneEraValidationErr :: NS WrapValidationErr xs
}
newtype MismatchEraInfo xs = MismatchEraInfo {
- getMismatchEraInfo :: Mismatch SingleEraInfo LedgerEraInfo xs
}
mismatchOneEra :: MismatchEraInfo '[b] -> Void
mismatchFutureEra :: SListI xs => MismatchEraInfo (x ': xs) -> NS SingleEraInfo xs
data EraMismatch = EraMismatch {
- ledgerEraName :: !Text
- otherEraName :: !Text
}
mkEraMismatch :: SListI xs => MismatchEraInfo xs -> EraMismatch
oneEraBlockHeader :: CanHardFork xs => OneEraBlock xs -> OneEraHeader xs
getSameValue :: forall xs a. (IsNonEmpty xs, Eq a, SListI xs, HasCallStack) => NP (K a) xs -> a

Value for each era

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

Constructors

PerEraChainSelConfig
Fields getPerEraChainSelConfig :: NP WrapChainSelConfig xs

Instances

Instances details

CanHardFork xs => Eq (PerEraChainSelConfig xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods (==) :: PerEraChainSelConfig xs -> PerEraChainSelConfig xs -> Bool # (/=) :: PerEraChainSelConfig xs -> PerEraChainSelConfig xs -> Bool #
CanHardFork xs => Show (PerEraChainSelConfig xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec :: Int -> PerEraChainSelConfig xs -> ShowS # show :: PerEraChainSelConfig xs -> String # showList :: [PerEraChainSelConfig xs] -> ShowS #
CanHardFork xs => NoThunks (PerEraChainSelConfig xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks :: Context -> PerEraChainSelConfig xs -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> PerEraChainSelConfig xs -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (PerEraChainSelConfig 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 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 #

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 # (/=) :: OneEraApplyTxErr xs -> OneEraApplyTxErr xs -> Bool #
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 #

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

Constructors

OneEraCanBeLeader
Fields getOneEraCanBeLeader :: NS WrapCanBeLeader xs

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 => 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 => 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 => 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 => 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 => 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 => 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 # (/=) :: OneEraGenTxId xs -> OneEraGenTxId xs -> Bool #
CanHardFork xs => Ord (OneEraGenTxId xs) Source #
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 => 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 => 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 # (/=) :: 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 #
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 #
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 # 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 => 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 => 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 => 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 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 # (/=) :: OneEraLedgerUpdate xs -> OneEraLedgerUpdate xs -> Bool #
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 #

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 # (/=) :: OneEraLedgerWarning xs -> OneEraLedgerWarning xs -> Bool #
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 #

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 #

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 # (/=) :: OneEraTipInfo xs -> OneEraTipInfo xs -> Bool #
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 => 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 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 # (/=) :: OneEraValidationErr xs -> OneEraValidationErr xs -> Bool #
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 => 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

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 => Eq (MismatchEraInfo xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods (==) :: MismatchEraInfo xs -> MismatchEraInfo xs -> Bool # (/=) :: MismatchEraInfo xs -> MismatchEraInfo xs -> Bool #
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 #
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 #

mismatchOneEra :: MismatchEraInfo '[b] -> Void Source #

mismatchFutureEra :: SListI xs => MismatchEraInfo (x ': xs) -> NS SingleEraInfo xs Source #

A mismatch _must_ involve a future era

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 # (/=) :: EraMismatch -> EraMismatch -> Bool #
Show EraMismatch Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec :: Int -> EraMismatch -> ShowS # show :: EraMismatch -> String # showList :: [EraMismatch] -> ShowS #
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 #
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.0-GfJNvFcM6lj2s5utKAUPEp" 'False) (C1 ('MetaCons "EraMismatch" 'PrefixI 'True) (S1 ('MetaSel ('Just "ledgerEraName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "otherEraName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)))

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

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

getSameValue :: forall xs a. (IsNonEmpty xs, Eq a, SListI xs, HasCallStack) => NP (K a) xs -> a Source #