| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ouroboros.Consensus.HardFork.Combinator.Protocol
Synopsis
- type HardForkCanBeLeader xs = SomeErasCanBeLeader xs
- type HardForkChainDepState xs = HardForkState WrapChainDepState xs
- type HardForkIsLeader xs = OneEraIsLeader xs
- data HardForkValidationErr xs
- type HardForkLedgerView = HardForkLedgerView_ WrapLedgerView
-
data
HardForkLedgerView_
f xs =
HardForkLedgerView
{
- hardForkLedgerViewTransition :: ! TransitionInfo
- hardForkLedgerViewPerEra :: !( HardForkState f xs)
- data family Ticked st :: Type
Re-exports to keep
State
an internal module
type HardForkCanBeLeader xs = SomeErasCanBeLeader xs Source #
We have one or more
BlockForging
s, and thus
CanBeLeader
proofs, for
each era in which we can forge blocks.
type HardForkChainDepState xs = HardForkState WrapChainDepState xs Source #
type HardForkIsLeader xs = OneEraIsLeader xs Source #
We are a leader if we have a proof from one of the eras
data HardForkValidationErr xs Source #
Constructors
| HardForkValidationErrFromEra ( OneEraValidationErr xs) |
Validation error from one of the eras |
| HardForkValidationErrWrongEra ( MismatchEraInfo xs) |
We tried to apply a block from the wrong era |
Instances
Re-exports to keep
LedgerView
an internal module
data HardForkLedgerView_ f xs Source #
Constructors
| HardForkLedgerView | |
|
Fields
|
|
Instances
| ( SListI xs, Show ( Ticked a)) => Show ( Ticked ( HardForkLedgerView_ ( K a :: Type -> Type ) xs)) Source # | |
| ( SListI xs, Show a) => Show ( HardForkLedgerView_ ( K a :: Type -> Type ) xs) Source # | |
| CanHardFork xs => Show ( HardForkLedgerView_ WrapLedgerView xs) Source # | |
|
Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol.LedgerView Methods showsPrec :: Int -> HardForkLedgerView_ WrapLedgerView xs -> ShowS Source # show :: HardForkLedgerView_ WrapLedgerView xs -> String Source # showList :: [ HardForkLedgerView_ WrapLedgerView xs] -> ShowS Source # |
|
| data Ticked ( HardForkLedgerView_ f xs) Source # | |
|
Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol.LedgerView |
|
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.