ouroboros-consensus:cardano
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.Shelley.Ledger.SupportsProtocol

Description

This module contains SupportsProtocol instances tying the ledger and protocol together. Since these instances reference both ledger concerns and protocol concerns, it is the one class where we cannot provide a generic instance for ShelleyBlock.

Orphan instances

(ShelleyCompatible (Praos crypto) era, EraForecast era, PraosCrypto crypto) ⇒ LedgerSupportsProtocol (ShelleyBlock (Praos crypto) era) Source # 
Instance details

Methods

protocolLedgerView ∷ ∀ (mk ∷ MapKind). LedgerConfig (ShelleyBlock (Praos crypto) era) → Ticked LedgerState (ShelleyBlock (Praos crypto) era) mk → LedgerView (BlockProtocol (ShelleyBlock (Praos crypto) era)) Source #

ledgerViewForecastAt ∷ ∀ (mk ∷ MapKind). HasCallStack ⇒ LedgerConfig (ShelleyBlock (Praos crypto) era) → LedgerState (ShelleyBlock (Praos crypto) era) mk → Forecast (LedgerView (BlockProtocol (ShelleyBlock (Praos crypto) era))) Source #

(ShelleyCompatible (TPraos crypto) era, ShelleyEraForecast era, PraosCrypto crypto) ⇒ LedgerSupportsProtocol (ShelleyBlock (TPraos crypto) era) Source # 
Instance details

Methods

protocolLedgerView ∷ ∀ (mk ∷ MapKind). LedgerConfig (ShelleyBlock (TPraos crypto) era) → Ticked LedgerState (ShelleyBlock (TPraos crypto) era) mk → LedgerView (BlockProtocol (ShelleyBlock (TPraos crypto) era)) Source #

ledgerViewForecastAt ∷ ∀ (mk ∷ MapKind). HasCallStack ⇒ LedgerConfig (ShelleyBlock (TPraos crypto) era) → LedgerState (ShelleyBlock (TPraos crypto) era) mk → Forecast (LedgerView (BlockProtocol (ShelleyBlock (TPraos crypto) era))) Source #