Moduleouroboros-consensus-4.2.1.0
Ouroboros.Consensus.HardFork.Combinator.Ledger
- 7 types
- 3 classes
- 10 values
- Packageouroboros-consensus-4.2.1.0
- Exports25
- LicenceApache-2.0
Constructors
AnnForecastannForecast :: Forecast (view blk)annForecastState :: state blk EmptyMKannForecastTip :: WithOrigin SlotNoannForecastEnd :: Maybe Bound
Constructors
Instances1Isomorphic
Isomorphic (FlipTickedLedgerState mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary
Constructors
Instances5Eq, Show, Generic, NoThunks, Rep
CanHardFork xs => Eq (HardForkEnvelopeErr xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.LedgerCanHardFork xs => Show (HardForkEnvelopeErr xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.LedgerGeneric (HardForkEnvelopeErr xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.LedgerCanHardFork xs => NoThunks (HardForkEnvelopeErr xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledgertype Rep (HardForkEnvelopeErr xs) = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger"HardForkEnvelopeErr"
"Ouroboros.Consensus.HardFork.Combinator.Ledger"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'False) (C1 ('MetaCons"HardForkEnvelopeErrFromEra"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraEnvelopeErr xs))) :+: C1 ('MetaCons"HardForkEnvelopeErrWrongEra"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MismatchEraInfo xs))))
Constructors
Instances5Eq, Show, Generic, NoThunks, Rep
CanHardFork xs => Eq (HardForkLedgerError xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.LedgerCanHardFork xs => Show (HardForkLedgerError xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.LedgerGeneric (HardForkLedgerError xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.LedgerCanHardFork xs => NoThunks (HardForkLedgerError xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledgertype Rep (HardForkLedgerError xs) = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger"HardForkLedgerError"
"Ouroboros.Consensus.HardFork.Combinator.Ledger"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'False) (C1 ('MetaCons"HardForkLedgerErrorFromEra"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraLedgerError xs))) :+: C1 ('MetaCons"HardForkLedgerErrorWrongEra"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MismatchEraInfo xs))))
Constructors
Instances3Eq, Show, Condense
CanHardFork xs => Eq (HardForkLedgerUpdate xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.LedgerCanHardFork xs => Show (HardForkLedgerUpdate xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.LedgerCanHardFork xs => Condense (HardForkLedgerUpdate xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger
Constructors
Instances2Eq, Show
CanHardFork xs => Eq (HardForkLedgerWarning xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.LedgerCanHardFork xs => Show (HardForkLedgerWarning xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger
class
class (Show (CanonicalTxIn xs), Ord (CanonicalTxIn xs), NoThunks (CanonicalTxIn xs), MemPack (CanonicalTxIn xs)) => HasCanonicalTxIn (xs :: [Type]) whereAssociated types
data family CanonicalTxIn (xs :: [Type])
Methods
injectCanonicalTxIn :: Index xs x -> TxIn x -> CanonicalTxIn xsejectCanonicalTxIn :: Index xs x -> CanonicalTxIn xs -> TxIn x
class
class (Show (HardForkTxOut xs), Eq (HardForkTxOut xs), NoThunks (HardForkTxOut xs), IndexedMemPack LedgerState (HardForkBlock xs) (HardForkTxOut xs), SerializeTablesWithHint LedgerState (HardForkBlock xs)) => HasHardForkTxOut (xs :: [Type]) whereAssociated types
type family HardForkTxOut (xs :: [Type])
Methods
injectHardForkTxOut :: Index xs x -> TxOut x -> HardForkTxOut xsejectHardForkTxOut :: Index xs x -> HardForkTxOut xs -> TxOut xtxOutEjections :: NP (K (NS WrapTxOut xs) -.-> WrapTxOut) xstxOutTranslations :: Tails (Fn2 WrapTxOut) xs
Instances1MemPackTxOut
MemPack (TxOut x) => MemPackTxOut xDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger
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
15 instances(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) => HasLedgerTables LedgerState (HardForkBlock xs)(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) => ApplyBlock LedgerState (HardForkBlock xs)(CanHardFork xs, HasHardForkTxOut xs) => CanUpgradeLedgerTables LedgerState (HardForkBlock xs)CanHardFork xs => IsLedger LedgerState (HardForkBlock xs)(All MemPackTxOut xs, Typeable xs) => MemPack (DefaultHardForkTxOut xs)All SingleEraBlock xs => HasHardForkHistory (HardForkBlock xs)CanHardFork xs => GetTip (LedgerState (HardForkBlock xs))(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) => LedgerSupportsProtocol (HardForkBlock xs)CanHardFork xs => InspectLedger (HardForkBlock xs)All (Compose CanStowLedgerTables LedgerState) xs => CanStowLedgerTables (LedgerState (HardForkBlock xs))(HasCanonicalTxIn xs, HasHardForkTxOut xs, CanHardFork xs) => GetBlockKeySets (HardForkBlock xs)ApplyBlock LedgerState (HardForkBlock xs) => UpdateLedger (HardForkBlock xs)CanHardFork xs => ValidateEnvelope (HardForkBlock xs)(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) => HasLedgerTables (Ticked LedgerState) (HardForkBlock xs)CanHardFork xs => GetTip (Ticked LedgerState (HardForkBlock xs))