Safe Haskell | None |
---|---|
Language | Haskell2010 |
Ouroboros.Consensus.ByronSpec.Ledger.Ledger
Synopsis
- newtype ByronSpecLedgerError = ByronSpecLedgerError {
- unByronSpecLedgerError ∷ [PredicateFailure CHAIN]
- initByronSpecLedgerState ∷ ByronSpecGenesis → LedgerState ByronSpecBlock
- data family LedgerState blk
- data family Ticked st
Documentation
newtype ByronSpecLedgerError Source #
Constructors
ByronSpecLedgerError | |
Fields
|
Instances
Eq ByronSpecLedgerError Source # | |
Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger Methods (==) ∷ ByronSpecLedgerError → ByronSpecLedgerError → Bool Source # (/=) ∷ ByronSpecLedgerError → ByronSpecLedgerError → Bool Source # | |
Show ByronSpecLedgerError Source # | |
Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger | |
NoThunks ByronSpecLedgerError Source # | |
Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger Methods noThunks ∷ Context → ByronSpecLedgerError → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → ByronSpecLedgerError → IO (Maybe ThunkInfo) # |
Type family instances
data family LedgerState blk Source #
Ledger state associated with a block
Instances
data family Ticked st 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.