Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.HardFork.Combinator.AcrossEras

32 types
5 values

Packageouroboros-consensus-4.2.1.0
Exports37
LicenceApache-2.0

valuegetSameValue

:: (IsNonEmpty xs, Eq a, SListI xs, HasCallStack)
=> NP (K a) xs
-> a

valuemismatchFutureEra

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

valuemismatchOneEra :: MismatchEraInfo '[b] -> Void

valuemkEraMismatch :: SListI xs => MismatchEraInfo xs -> EraMismatch

valueoneEraBlockHeader :: CanHardFork xs => OneEraBlock xs -> OneEraHeader xs

datadata EraMismatch

Constructors

EraMismatch
- ledgerEraName :: !Text
- otherEraName :: !Text

Instances4Eq, Show, Generic, Rep

Eq EraMismatchDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
Show EraMismatchDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
Generic EraMismatchDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
type Rep EraMismatch = D1 ('MetaData "EraMismatch" "Ouroboros.Consensus.HardFork.Combinator.AcrossEras" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "EraMismatch" 'PrefixI 'True) (S1 ('MetaSel ('Just "ledgerEraName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "otherEraName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras

newtypenewtype MismatchEraInfo (xs :: [Type])

Constructors

MismatchEraInfo
- getMismatchEraInfo :: Mismatch SingleEraInfo LedgerEraInfo xs

Instances3Eq, Show, NoThunks

All SingleEraBlock xs => Eq (MismatchEraInfo xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
All SingleEraBlock xs => Show (MismatchEraInfo xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
CanHardFork xs => NoThunks (MismatchEraInfo xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras

newtypenewtype OneEraApplyTxErr (xs :: [Type])

Constructors

OneEraApplyTxErr
- getOneEraApplyTxErr :: NS WrapApplyTxErr xs

Instances2Eq, Show

CanHardFork xs => Eq (OneEraApplyTxErr xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
CanHardFork xs => Show (OneEraApplyTxErr xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras

newtypenewtype OneEraBlock (xs :: [Type])

Constructors

OneEraBlock
- getOneEraBlock :: NS I xs

Instances1Show

CanHardFork xs => Show (OneEraBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras

newtypenewtype OneEraCannotForge (xs :: [Type])

Constructors

OneEraCannotForge
- getOneEraCannotForge :: NS WrapCannotForge xs

Instances1Show

CanHardFork xs => Show (OneEraCannotForge xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras

newtypenewtype OneEraEnvelopeErr (xs :: [Type])

Constructors

OneEraEnvelopeErr
- getOneEraEnvelopeErr :: NS WrapEnvelopeErr xs

Instances3Eq, Show, NoThunks

CanHardFork xs => Eq (OneEraEnvelopeErr xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
CanHardFork xs => Show (OneEraEnvelopeErr xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
CanHardFork xs => NoThunks (OneEraEnvelopeErr xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras

newtypenewtype OneEraForgeStateInfo (xs :: [Type])

Constructors

OneEraForgeStateInfo
- getOneEraForgeStateInfo :: NS WrapForgeStateInfo xs

Instances1Show

CanHardFork xs => Show (OneEraForgeStateInfo xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras

newtypenewtype OneEraForgeStateUpdateError (xs :: [Type])

Constructors

OneEraForgeStateUpdateError
- getOneEraForgeStateUpdateError :: NS WrapForgeStateUpdateError xs

Instances1Show

CanHardFork xs => Show (OneEraForgeStateUpdateError xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras

newtypenewtype OneEraGenTx (xs :: [Type])

Constructors

OneEraGenTx
- getOneEraGenTx :: NS GenTx xs

Instances3Eq, Show, NoThunks

CanHardFork xs => Eq (OneEraGenTx xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
CanHardFork xs => Show (OneEraGenTx xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
CanHardFork xs => NoThunks (OneEraGenTx xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras

newtypenewtype OneEraGenTxId (xs :: [Type])

Constructors

OneEraGenTxId
- getOneEraGenTxId :: NS WrapGenTxId xs

Instances4Eq, Ord, Show, NoThunks

CanHardFork xs => Eq (OneEraGenTxId xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
CanHardFork xs => Ord (OneEraGenTxId xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
CanHardFork xs => Show (OneEraGenTxId xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
CanHardFork xs => NoThunks (OneEraGenTxId xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras

newtypenewtype OneEraHash (xs :: [k])

Constructors

OneEraHash
- getOneEraHash :: ShortByteString

Instances9Eq, Ord, Show, NFData, Serialise, NoThunks, …

Eq (OneEraHash xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
Ord (OneEraHash xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
Show (OneEraHash xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
NFData (OneEraHash xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
Serialise (OneEraHash xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
NoThunks (OneEraHash xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
(Typeable k, Typeable xs) => FromCBOR (OneEraHash xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
(Typeable k, Typeable xs) => ToCBOR (OneEraHash xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
Condense (OneEraHash xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras

newtypenewtype OneEraHeader (xs :: [Type])

Constructors

OneEraHeader
- getOneEraHeader :: NS Header xs

Instances2Show, NoThunks

CanHardFork xs => Show (OneEraHeader xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
CanHardFork xs => NoThunks (OneEraHeader xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras

newtypenewtype OneEraIsLeader (xs :: [Type])

Constructors

OneEraIsLeader
- getOneEraIsLeader :: NS WrapIsLeader xs

newtypenewtype OneEraLedgerError (xs :: [Type])

Constructors

OneEraLedgerError
- getOneEraLedgerError :: NS WrapLedgerErr xs

Instances3Eq, Show, NoThunks

CanHardFork xs => Eq (OneEraLedgerError xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
CanHardFork xs => Show (OneEraLedgerError xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
CanHardFork xs => NoThunks (OneEraLedgerError xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras

newtypenewtype OneEraLedgerEvent (xs :: [Type])

Constructors

OneEraLedgerEvent
- getOneEraLedgerEvent :: NS WrapLedgerEvent xs

newtypenewtype OneEraLedgerUpdate (xs :: [Type])

Constructors

OneEraLedgerUpdate
- getOneEraLedgerUpdate :: NS WrapLedgerUpdate xs

Instances2Eq, Show

CanHardFork xs => Eq (OneEraLedgerUpdate xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
CanHardFork xs => Show (OneEraLedgerUpdate xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras

newtypenewtype OneEraLedgerWarning (xs :: [Type])

Constructors

OneEraLedgerWarning
- getOneEraLedgerWarning :: NS WrapLedgerWarning xs

Instances2Eq, Show

CanHardFork xs => Eq (OneEraLedgerWarning xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
CanHardFork xs => Show (OneEraLedgerWarning xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras

newtypenewtype OneEraTentativeHeaderState (xs :: [Type])

Constructors

OneEraTentativeHeaderState
- getOneEraTentativeHeaderState :: NS WrapTentativeHeaderState xs

Instances2Show, NoThunks

CanHardFork xs => Show (OneEraTentativeHeaderState xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
CanHardFork xs => NoThunks (OneEraTentativeHeaderState xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras

newtypenewtype OneEraTentativeHeaderView (xs :: [Type])

Constructors

OneEraTentativeHeaderView
- getOneEraTentativeHeaderView :: NS WrapTentativeHeaderView xs

Instances1Show

CanHardFork xs => Show (OneEraTentativeHeaderView xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras

newtypenewtype OneEraTiebreakerView (xs :: [Type])

Constructors

OneEraTiebreakerView
- getOneEraTiebreakerView :: NS WrapTiebreakerView xs

Instances3Eq, Show, NoThunks

CanHardFork xs => Eq (OneEraTiebreakerView xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
CanHardFork xs => Show (OneEraTiebreakerView xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
CanHardFork xs => NoThunks (OneEraTiebreakerView xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras

newtypenewtype OneEraTipInfo (xs :: [Type])

Constructors

OneEraTipInfo
- getOneEraTipInfo :: NS WrapTipInfo xs

Instances3Eq, Show, NoThunks

CanHardFork xs => Eq (OneEraTipInfo xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
CanHardFork xs => Show (OneEraTipInfo xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
CanHardFork xs => NoThunks (OneEraTipInfo xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras

newtypenewtype OneEraValidateView (xs :: [Type])

Constructors

OneEraValidateView
- getOneEraValidateView :: NS WrapValidateView xs

newtypenewtype OneEraValidatedGenTx (xs :: [Type])

Constructors

OneEraValidatedGenTx
- getOneEraValidatedGenTx :: NS WrapValidatedGenTx xs

Instances3Eq, Show, NoThunks

CanHardFork xs => Eq (OneEraValidatedGenTx xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
CanHardFork xs => Show (OneEraValidatedGenTx xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
CanHardFork xs => NoThunks (OneEraValidatedGenTx xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras

newtypenewtype OneEraValidationErr (xs :: [Type])

Constructors

OneEraValidationErr
- getOneEraValidationErr :: NS WrapValidationErr xs

Instances3Eq, Show, NoThunks

CanHardFork xs => Eq (OneEraValidationErr xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
CanHardFork xs => Show (OneEraValidationErr xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
CanHardFork xs => NoThunks (OneEraValidationErr xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras

newtypenewtype PerEraBlockConfig (xs :: [Type])

Constructors

PerEraBlockConfig
- getPerEraBlockConfig :: NP BlockConfig xs

Instances1NoThunks

CanHardFork xs => NoThunks (PerEraBlockConfig xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras

newtypenewtype PerEraChainOrderConfig (xs :: [Type])

Constructors

PerEraChainOrderConfig
- getPerEraChainOrderConfig :: NP WrapChainOrderConfig xs

newtypenewtype PerEraCodecConfig (xs :: [Type])

Constructors

PerEraCodecConfig
- getPerEraCodecConfig :: NP CodecConfig xs

Instances1NoThunks

CanHardFork xs => NoThunks (PerEraCodecConfig xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras

newtypenewtype PerEraConsensusConfig (xs :: [Type])

Constructors

PerEraConsensusConfig
- getPerEraConsensusConfig :: NP WrapPartialConsensusConfig xs

Instances1NoThunks

CanHardFork xs => NoThunks (PerEraConsensusConfig xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras

newtypenewtype PerEraLedgerConfig (xs :: [Type])

Constructors

PerEraLedgerConfig
- getPerEraLedgerConfig :: NP WrapPartialLedgerConfig xs

Instances3Show, NoThunks, SerialiseNodeToClient

CanHardFork xs => Show (PerEraLedgerConfig xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
CanHardFork xs => NoThunks (PerEraLedgerConfig xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
SerialiseHFC xs => SerialiseNodeToClient (HardForkBlock xs) (PerEraLedgerConfig xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient · orphan

newtypenewtype PerEraStorageConfig (xs :: [Type])

Constructors

PerEraStorageConfig
- getPerEraStorageConfig :: NP StorageConfig xs

Instances1NoThunks

CanHardFork xs => NoThunks (PerEraStorageConfig xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras

newtypenewtype SomeErasCanBeLeader (xs :: [Type])

Constructors

SomeErasCanBeLeader
- getSomeErasCanBeLeader :: NonEmptyOptNP WrapCanBeLeader xs

newtypenewtype OneEraReasonForSwitch (xs :: [Type])

Constructors

OneEraReasonForSwitch
- getOneEraReasonForSwitch :: NS WrapReasonForSwitch xs

Instances1Show

CanHardFork xs => Show (OneEraReasonForSwitch xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras · orphan

Orphan instances

2 instances

Show (PartialLedgerConfig xs) => Show (WrapPartialLedgerConfig xs)
CanHardFork xs => Show (OneEraReasonForSwitch xs)