| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ouroboros.Consensus.Cardano.ShelleyBased
Synopsis
- overShelleyBasedLedgerState :: forall c. ( PraosCrypto c, PraosCrypto c) => ( forall era proto. ( EraCrypto era ~ c, ShelleyCompatible proto era) => LedgerState ( ShelleyBlock proto era) -> LedgerState ( ShelleyBlock proto era)) -> LedgerState ( CardanoBlock c) -> LedgerState ( CardanoBlock c)
Documentation
overShelleyBasedLedgerState :: forall c. ( PraosCrypto c, PraosCrypto c) => ( forall 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.