| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ouroboros.Consensus.Cardano.ShelleyBased
Synopsis
- overShelleyBasedLedgerState ∷ ∀ c. (PraosCrypto c, PraosCrypto c) ⇒ (∀ era proto. (EraCrypto era ~ c, ShelleyCompatible proto era) ⇒ LedgerState (ShelleyBlock proto era) → LedgerState (ShelleyBlock proto era)) → LedgerState (CardanoBlock c) → LedgerState (CardanoBlock c)
Documentation
overShelleyBasedLedgerState ∷ ∀ c. (PraosCrypto c, PraosCrypto c) ⇒ (∀ era proto. (EraCrypto era ~ c, ShelleyCompatible proto era) ⇒ LedgerState (ShelleyBlock proto era) → LedgerState (ShelleyBlock proto era)) → LedgerState (CardanoBlock c) → LedgerState (CardanoBlock c) Source #
When the given ledger state corresponds to a Shelley-based era, apply the given function to it.