ouroboros-consensus-cardano-0.1.0.0: The instantation of the Ouroboros consensus layer used by Cardano
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.Cardano.ShelleyBased

Synopsis

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.