Moduleouroboros-consensus-4.2.1.0
Ouroboros.Consensus.HardFork.Combinator.Protocol
Synopsis
- type HardForkCanBeLeader
- type HardForkChainDepState
- type HardForkIsLeader
- newtype HardForkTiebreakerView
- data HardForkValidationErr
- type HardForkLedgerView
- data HardForkLedgerView_
- data family Ticked
- constructor TickedHardForkChainDepState
- value tickedHardForkChainDepStateEpochInfo
- value tickedHardForkChainDepStatePerEra
- constructor TickedHeaderState
- value tickedHeaderStateChainDep
- value untickedHeaderStateTip
- constructor TickedTrivial
- constructor WrapTickedChainDepState
- value unwrapTickedChainDepState
- Packageouroboros-consensus-4.2.1.0
- Exports17
- LicenceApache-2.0
Constructors
Instances7Eq, Ord, Show, NoThunks, ChainOrder, ChainOrderConfig, …
CanHardFork xs => Eq (HardForkTiebreakerView xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.ProtocolCanHardFork xs => Ord (HardForkTiebreakerView xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.ProtocolCanHardFork xs => Show (HardForkTiebreakerView xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.ProtocolCanHardFork xs => NoThunks (HardForkTiebreakerView xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.ProtocolCanHardFork xs => ChainOrder (HardForkTiebreakerView xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Protocoltype ChainOrderConfig (HardForkTiebreakerView xs) = PerEraChainOrderConfig xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Protocoltype ReasonForSwitch (HardForkTiebreakerView xs) = OneEraReasonForSwitch xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Protocol
Constructors
Instances5Eq, Show, Generic, NoThunks, Rep
CanHardFork xs => Eq (HardForkValidationErr xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.ProtocolCanHardFork xs => Show (HardForkValidationErr xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.ProtocolGeneric (HardForkValidationErr xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.ProtocolCanHardFork xs => NoThunks (HardForkValidationErr xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Protocoltype Rep (HardForkValidationErr xs) = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Protocol"HardForkValidationErr"
"Ouroboros.Consensus.HardFork.Combinator.Protocol"
"ouroboros-consensus-4.2.1.0-89mGcUlIDtl9Zis3MBCDdC"
'False) (C1 ('MetaCons"HardForkValidationErrFromEra"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraValidationErr xs))) :+: C1 ('MetaCons"HardForkValidationErrWrongEra"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MismatchEraInfo xs))))
Constructors
Instances2Show
CanHardFork xs => Show (HardForkLedgerView_ WrapLedgerView xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Protocol.LedgerView(SListI xs, Show a) => Show (HardForkLedgerView_ (K a) xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Protocol.LedgerView
Instances19HasLedgerTables, GetTip, Show, NoThunks, HeaderHash, Ticked, …
Show (Ticked ())Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ticked(NoThunks (TxIn blk), NoThunks (TxOut blk), HasLedgerTables (Ticked LedgerState) blk) => HasLedgerTables (Ticked ExtLedgerState) blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Extended(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) => HasLedgerTables (Ticked LedgerState) (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan(Bridge m a, HasLedgerTables (Ticked LedgerState) m) => HasLedgerTables (Ticked LedgerState) (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.DualCanHardFork xs => GetTip (Ticked LedgerState (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphanIsLedger LedgerState blk => GetTip (Ticked ExtLedgerState blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.ExtendedBridge m a => GetTip (Ticked LedgerState (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.DualNoThunks (Ticked LedgerState (DualBlock m a) mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.DualShow (Ticked (f a)) => Show ((:.:) Ticked f a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TickedNoThunks (Ticked (f a)) => NoThunks ((:.:) Ticked f a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Tickedtype HeaderHash (Ticked l blk) = HeaderHash (l blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Tickeddata Ticked LedgerState (HardForkBlock xs)TickedHardForkLedgerStatetickedHardForkLedgerStateTransition :: !TransitionInfotickedHardForkLedgerStatePerEra :: !HardForkState (FlipTickedLedgerState mk) xs
data Ticked LedgerState (DualBlock m a)TickedDualLedgerStatetickedDualLedgerStateMain :: Ticked LedgerState m mktickedDualLedgerStateAux :: Ticked LedgerState a ValuesMKtickedDualLedgerStateBridge :: BridgeLedger m atickedDualLedgerStateAuxOrig :: LedgerState a ValuesMK
data Ticked ExtLedgerStateTickedExtLedgerStatetickedLedgerState :: Ticked LedgerState blk mkledgerView :: LedgerView (BlockProtocol blk)tickedHeaderState :: Ticked (HeaderState blk)
data Ticked (HardForkChainDepState xs)TickedHardForkChainDepStatetickedHardForkChainDepStatePerEra :: HardForkState (Ticked :.: WrapChainDepState) xstickedHardForkChainDepStateEpochInfo :: EpochInfo (Except PastHorizonException)
data Ticked (HeaderState blk)TickedHeaderStateuntickedHeaderStateTip :: WithOrigin (AnnTip blk)tickedHeaderStateChainDep :: Ticked (ChainDepState (BlockProtocol blk))
data Ticked (PBftState c)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT · orphandata Ticked (WrapChainDepState blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappersdata Ticked ()Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ticked
Fields
untickedHeaderStateTip :: WithOrigin (AnnTip blk)tickedHeaderStateChainDep :: Ticked (ChainDepState (BlockProtocol blk))
Fields
Orphan instances
2 instancesCanHardFork xs => BlockSupportsProtocol (HardForkBlock xs)CanHardFork xs => ConsensusProtocol (HardForkProtocol xs)