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

Ouroboros.Consensus.Shelley.Ledger.Inspect

Documentation

data ShelleyLedgerUpdate era Source #

Constructors

ShelleyUpdatedPParams !(StrictMaybe (PParams era)) !EpochNo 

Instances

Instances details
Show (PParams era) ⇒ Show (ShelleyLedgerUpdate era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Inspect

Methods

showsPrec ∷ Int → ShelleyLedgerUpdate era → ShowS #

show ∷ ShelleyLedgerUpdate era → String #

showList ∷ [ShelleyLedgerUpdate era] → ShowS #

Eq (PParams era) ⇒ Eq (ShelleyLedgerUpdate era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Inspect

Methods

(==) ∷ ShelleyLedgerUpdate era → ShelleyLedgerUpdate era → Bool #

(/=) ∷ ShelleyLedgerUpdate era → ShelleyLedgerUpdate era → Bool #

Show (PParams era) ⇒ Condense (ShelleyLedgerUpdate era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Inspect

Methods

condense ∷ ShelleyLedgerUpdate era → String Source #

pparamsUpdate ∷ ∀ era proto (mk ∷ MapKind). ShelleyBasedEra era ⇒ LedgerState (ShelleyBlock proto era) mk → ShelleyLedgerUpdate era Source #

Orphan instances

ShelleyBasedEra era ⇒ InspectLedger (ShelleyBlock proto era) Source # 
Instance details

Associated Types

type LedgerWarning (ShelleyBlock proto era) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Inspect

type LedgerWarning (ShelleyBlock proto era) = Void
type LedgerUpdate (ShelleyBlock proto era) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Inspect

type LedgerUpdate (ShelleyBlock proto era) = ShelleyLedgerUpdate era

Methods

inspectLedger ∷ ∀ (mk1 ∷ MapKind) (mk2 ∷ MapKind). TopLevelConfig (ShelleyBlock proto era) → LedgerState (ShelleyBlock proto era) mk1 → LedgerState (ShelleyBlock proto era) mk2 → [LedgerEvent (ShelleyBlock proto era)] Source #