:: a typeCtrl KGHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12
Moduleouroboros-consensus-4.2.1.0
Generic (ExtLedgerCfg blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Extended(ConsensusProtocol (BlockProtocol blk), NoThunks (BlockConfig blk), NoThunks (CodecConfig blk), NoThunks (LedgerConfig blk), NoThunks (StorageConfig blk), NoThunks (HeaderHash blk)) => NoThunks (ExtLedgerCfg blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Extendedtype Rep (ExtLedgerCfg blk) = D1 ('MetaData "ExtLedgerCfg"
"Ouroboros.Consensus.Ledger.Extended"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'True) (C1 ('MetaCons "ExtLedgerCfg"
'PrefixI 'True) (S1 ('MetaSel ('Just "getExtLedgerCfg"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TopLevelConfig blk))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.ExtendedExtLedgerStateledgerState :: !LedgerState blk mkheaderState :: !HeaderState blk(NoThunks (TxIn blk), NoThunks (TxOut blk), HasLedgerTables LedgerState blk) => HasLedgerTables ExtLedgerState blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Extended(GetBlockKeySets blk, LedgerSupportsProtocol blk) => ApplyBlock ExtLedgerState blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.ExtendedCanUpgradeLedgerTables LedgerState blk => CanUpgradeLedgerTables ExtLedgerState blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.ExtendedLedgerSupportsProtocol blk => IsLedger ExtLedgerState blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.ExtendedSerializeTablesWithHint LedgerState blk => SerializeTablesWithHint ExtLedgerState blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.ExtendedLedgerTablesAreTrivial LedgerState blk => LedgerTablesAreTrivial ExtLedgerState blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Extended(txout ~ TxOut blk, IndexedMemPack LedgerState blk txout) => IndexedMemPack ExtLedgerState blk txoutDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.ExtendedIsLedger LedgerState blk => GetTip (ExtLedgerState blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.ExtendedCanStowLedgerTables (LedgerState blk) => CanStowLedgerTables (ExtLedgerState blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Extended(EqMK mk, LedgerSupportsProtocol blk) => Eq (ExtLedgerState blk mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Extended(ShowMK mk, LedgerSupportsProtocol blk) => Show (ExtLedgerState blk mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.ExtendedGeneric (ExtLedgerState blk mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Extended(NoThunksMK mk, LedgerSupportsProtocol blk) => NoThunks (ExtLedgerState blk mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Extended(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(NFData (HeaderHash blk), NoThunks (HeaderHash blk), Typeable (HeaderHash blk), Show (HeaderHash blk), Ord (HeaderHash blk), Eq (HeaderHash blk)) => StandardHash (ExtLedgerState blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.ExtendedIsLedger LedgerState blk => GetTip (Ticked ExtLedgerState blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.ExtendedInject (Flip ExtLedgerState mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.NaryIsomorphic (Flip ExtLedgerState mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unarytype Rep (ExtLedgerState blk mk) = D1 ('MetaData "ExtLedgerState"
"Ouroboros.Consensus.Ledger.Extended"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'False) (C1 ('MetaCons "ExtLedgerState"
'PrefixI 'True) (S1 ('MetaSel ('Just "ledgerState"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LedgerState blk mk)) :*: S1 ('MetaSel ('Just "headerState"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HeaderState blk))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Extendedtype HeaderHash (ExtLedgerState blk) = HeaderHash (LedgerState blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Extendeddata Ticked ExtLedgerStateTickedExtLedgerStatetickedLedgerState :: Ticked LedgerState blk mkledgerView :: LedgerView (BlockProtocol blk)tickedHeaderState :: Ticked (HeaderState blk)type LedgerCfg ExtLedgerState blk = ExtLedgerCfg blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Extendedtype LedgerErr ExtLedgerState blk = ExtValidationError blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.ExtendedLedgerSupportsProtocol blk => Eq (ExtValidationError blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.ExtendedLedgerSupportsProtocol blk => Show (ExtValidationError blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.ExtendedGeneric (ExtValidationError blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.ExtendedLedgerSupportsProtocol blk => NoThunks (ExtValidationError blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Extendedtype Rep (ExtValidationError blk) = D1 ('MetaData "ExtValidationError"
"Ouroboros.Consensus.Ledger.Extended"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'False) (C1 ('MetaCons "ExtValidationErrorLedger"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LedgerErr LedgerState blk))) :+: C1 ('MetaCons "ExtValidationErrorHeader"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HeaderError blk))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.ExtendedLedgerTablesgetLedgerTables :: mk (TxIn blk) (TxOut blk)Eq (mk (TxIn blk) (TxOut blk)) => Eq (LedgerTables blk mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.BasicsShow (mk (TxIn blk) (TxOut blk)) => Show (LedgerTables blk mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.BasicsGeneric (LedgerTables blk mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Basics(forall k v. LedgerTableConstraints' blk k v => Semigroup (mk k v), LedgerTableConstraints blk) => Semigroup (LedgerTables blk mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Combinators · orphan(forall k v. LedgerTableConstraints' l k v => Monoid (mk k v), LedgerTableConstraints l) => Monoid (LedgerTables l mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Combinators · orphanNoThunks (mk (TxIn blk) (TxOut blk)) => NoThunks (LedgerTables blk mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Basicstype Rep (LedgerTables blk mk) = D1 ('MetaData "LedgerTables"
"Ouroboros.Consensus.Ledger.Tables.Basics"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'True) (C1 ('MetaCons "LedgerTables"
'PrefixI 'True) (S1 ('MetaSel ('Just "getLedgerTables"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (mk (TxIn blk) (TxOut blk)))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.BasicsShow (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) xsdata Ticked LedgerState (DualBlock m a)TickedDualLedgerStatetickedDualLedgerStateMain :: Ticked LedgerState m mktickedDualLedgerStateAux :: Ticked LedgerState a ValuesMKtickedDualLedgerStateBridge :: BridgeLedger m atickedDualLedgerStateAuxOrig :: LedgerState a ValuesMKdata 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.TickeduntickedHeaderStateTip :: WithOrigin (AnnTip blk)tickedHeaderStateChainDep :: Ticked (ChainDepState (BlockProtocol blk))tickedLedgerState :: Ticked LedgerState blk mkledgerView :: LedgerView (BlockProtocol blk)tickedHeaderState :: Ticked (HeaderState blk)