| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ouroboros.Consensus.HardFork.Combinator.Ledger
Synopsis
- data HardForkEnvelopeErr xs
- data HardForkLedgerError xs
-
data
HardForkLedgerUpdate
xs
- = HardForkUpdateInEra ( OneEraLedgerUpdate xs)
- | HardForkUpdateTransitionConfirmed ( EraIndex xs) ( EraIndex xs) EpochNo
- | HardForkUpdateTransitionDone ( EraIndex xs) ( EraIndex xs) EpochNo
- | HardForkUpdateTransitionRolledBack ( EraIndex xs) ( EraIndex xs)
-
data
HardForkLedgerWarning
xs
- = HardForkWarningInEra ( OneEraLedgerWarning xs)
- | HardForkWarningTransitionMismatch ( EraIndex xs) EraParams EpochNo
- | HardForkWarningTransitionInFinalEra ( EraIndex xs) EpochNo
- | HardForkWarningTransitionUnconfirmed ( EraIndex xs)
- | HardForkWarningTransitionReconfirmed ( EraIndex xs) ( EraIndex xs) EpochNo EpochNo
- data family Ticked st :: Type
-
data
AnnForecast
state view blk =
AnnForecast
{
- annForecast :: Forecast (view blk)
- annForecastState :: state blk
- annForecastTip :: WithOrigin SlotNo
- annForecastEnd :: Maybe Bound
- mkHardForkForecast :: forall state view xs. SListI xs => InPairs ( TranslateForecast state view) xs -> HardForkState ( AnnForecast state view) xs -> Forecast ( HardForkLedgerView_ view xs)
Documentation
data HardForkEnvelopeErr xs Source #
Constructors
| HardForkEnvelopeErrFromEra ( OneEraEnvelopeErr xs) |
Validation error from one of the eras |
| HardForkEnvelopeErrWrongEra ( MismatchEraInfo xs) |
We tried to apply a block from the wrong era |
Instances
data HardForkLedgerError xs Source #
Constructors
| HardForkLedgerErrorFromEra ( OneEraLedgerError xs) |
Validation error from one of the eras |
| HardForkLedgerErrorWrongEra ( MismatchEraInfo xs) |
We tried to apply a block from the wrong era |
Instances
data HardForkLedgerUpdate xs Source #
Constructors
| HardForkUpdateInEra ( OneEraLedgerUpdate xs) | |
| HardForkUpdateTransitionConfirmed ( EraIndex xs) ( EraIndex xs) EpochNo |
Hard fork transition got confirmed |
| HardForkUpdateTransitionDone ( EraIndex xs) ( EraIndex xs) EpochNo |
Hard fork transition happened
We record the
|
| HardForkUpdateTransitionRolledBack ( EraIndex xs) ( EraIndex xs) |
The hard fork transition rolled back |
Instances
| CanHardFork xs => Eq ( HardForkLedgerUpdate xs) Source # | |
|
Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods (==) :: HardForkLedgerUpdate xs -> HardForkLedgerUpdate xs -> Bool Source # (/=) :: HardForkLedgerUpdate xs -> HardForkLedgerUpdate xs -> Bool Source # |
|
| CanHardFork xs => Show ( HardForkLedgerUpdate xs) Source # | |
|
|
|
| CanHardFork xs => Condense ( HardForkLedgerUpdate xs) Source # | |
|
Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods condense :: HardForkLedgerUpdate xs -> String Source # |
|
data HardForkLedgerWarning xs Source #
Constructors
| HardForkWarningInEra ( OneEraLedgerWarning xs) |
Warning from the underlying era |
| HardForkWarningTransitionMismatch ( EraIndex xs) EraParams EpochNo |
The transition to the next era does not match the
The
|
| HardForkWarningTransitionInFinalEra ( EraIndex xs) EpochNo |
Transition in the final era The final era should never confirm any transitions. For clarity, we also record the index of that final era. |
| HardForkWarningTransitionUnconfirmed ( EraIndex xs) |
An already-confirmed transition got un-confirmed |
| HardForkWarningTransitionReconfirmed ( EraIndex xs) ( EraIndex xs) EpochNo EpochNo |
An already-confirmed transition got changed
We record the indices of the era we are transitioning from and to,
as well as the old and new
|
Instances
| CanHardFork xs => Eq ( HardForkLedgerWarning xs) Source # | |
|
Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods (==) :: HardForkLedgerWarning xs -> HardForkLedgerWarning xs -> Bool Source # (/=) :: HardForkLedgerWarning xs -> HardForkLedgerWarning xs -> Bool Source # |
|
| CanHardFork xs => Show ( HardForkLedgerWarning xs) Source # | |
|
|
|
Type family instances
data family Ticked st :: Type Source #
" Ticked " piece of state (
LedgerState
,
LedgerView
,
ChainIndepState
)
Ticking refers to the passage of time (the ticking of the clock). When a piece of state is marked as ticked, it means that time-related changes have been applied to the state (or forecast).
Some examples of time related changes:
- Scheduled delegations might have been applied in Byron
- New leader schedule computed for Shelley
- Transition from Byron to Shelley activated in the hard fork combinator.
- Nonces switched out at the start of a new epoch.
Instances
Low-level API (exported for the benefit of testing)
data AnnForecast state view blk Source #
Forecast annotated with details about the ledger it was derived from
Constructors
| AnnForecast | |
|
Fields
|
|
mkHardForkForecast :: forall state view xs. SListI xs => InPairs ( TranslateForecast state view) xs -> HardForkState ( AnnForecast state view) xs -> Forecast ( HardForkLedgerView_ view xs) Source #
Change a telescope of a forecast into a forecast of a telescope