| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ouroboros.Consensus.HardFork.Combinator.Protocol.LedgerView
Contents
Synopsis
- data HardForkLedgerView_ f xs = HardForkLedgerView {}
- type HardForkLedgerView = HardForkLedgerView_ WrapLedgerView
- data family Ticked st :: Type
Hard fork
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 # show :: HardForkLedgerView_ WrapLedgerView xs -> String # showList :: [HardForkLedgerView_ WrapLedgerView xs] -> ShowS # | |
| data Ticked (HardForkLedgerView_ f 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.