Moduleouroboros-consensus-4.2.1.0
Ouroboros.Consensus.HardFork.Combinator.Protocol.LedgerView
- 2 types
- 3 values
- Packageouroboros-consensus-4.2.1.0
- Exports9
- LicenceApache-2.0
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))