ouroboros-consensus-shelley-0.4.0.0: Shelley ledger integration in the Ouroboros consensus layer
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.Shelley.Eras

Synopsis

Eras based on the Shelley ledger

data AllegraEra c #

Instances

Instances details
Crypto c ⇒ Era (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Era

Associated Types

type EraCrypto (AllegraEra c) #

type PreviousEra (AllegraEra c) = (r ∷ Type)

type ProtVerLow (AllegraEra c) ∷ Nat

type ProtVerHigh (AllegraEra c) ∷ Nat

Crypto c ⇒ GetLedgerView (AllegraEra c) 
Instance details

Defined in Cardano.Protocol.TPraos.API

Methods

currentLedgerView ∷ NewEpochState (AllegraEra c) → LedgerView (EraCrypto (AllegraEra c))

futureLedgerViewMonadError (FutureLedgerViewError (AllegraEra c)) m ⇒ Globals → NewEpochState (AllegraEra c) → SlotNo → m (LedgerView (EraCrypto (AllegraEra c)))

(PraosCrypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ShelleyBasedEra (AllegraEra c) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

Methods

shelleyBasedEraName ∷ proxy (AllegraEra c) → Text Source #

applyShelleyBasedTx ∷ Globals → LedgerEnv (AllegraEra c) → LedgerState (AllegraEra c) → WhetherToIntervene → Tx (AllegraEra c) → Except (ApplyTxError (AllegraEra c)) (LedgerState (AllegraEra c), Validated (Tx (AllegraEra c))) Source #

ShelleyBasedEra (AllegraEra c) ⇒ TranslateEra (AllegraEra c) WrapTx 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

Associated Types

type TranslationError (AllegraEra c) WrapTx

Methods

translateEra ∷ TranslationContext (AllegraEra c) → WrapTx (PreviousEra (AllegraEra c)) → Except (TranslationError (AllegraEra c) WrapTx) (WrapTx (AllegraEra c))

(PraosCrypto c, Signable (DSIGN c) (Hash (HASH c) EraIndependentTxBody)) ⇒ ShelleyCompatible (TPraos c) (AllegraEra c) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.HFEras

ShelleyCompatible p (AllegraEra c) ⇒ TxLimits (ShelleyBlock p (AllegraEra c)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Associated Types

type TxMeasure (ShelleyBlock p (AllegraEra c)) Source #

type EraRule "BBODY" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "BBODY" (AllegraEra c) = ShelleyBBODY (AllegraEra c)
type EraRule "DELEG" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "DELEG" (AllegraEra c) = ShelleyDELEG (AllegraEra c)
type EraRule "DELEGS" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "DELEGS" (AllegraEra c) = ShelleyDELEGS (AllegraEra c)
type EraRule "DELPL" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "DELPL" (AllegraEra c) = ShelleyDELPL (AllegraEra c)
type EraRule "EPOCH" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "EPOCH" (AllegraEra c) = ShelleyEPOCH (AllegraEra c)
type EraRule "LEDGER" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "LEDGER" (AllegraEra c) = ShelleyLEDGER (AllegraEra c)
type EraRule "LEDGERS" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "LEDGERS" (AllegraEra c) = ShelleyLEDGERS (AllegraEra c)
type EraRule "MIR" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "MIR" (AllegraEra c) = ShelleyMIR (AllegraEra c)
type EraRule "NEWEPOCH" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "NEWEPOCH" (AllegraEra c) = ShelleyNEWEPOCH (AllegraEra c)
type EraRule "NEWPP" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "NEWPP" (AllegraEra c) = ShelleyNEWPP (AllegraEra c)
type EraRule "POOL" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "POOL" (AllegraEra c) = ShelleyPOOL (AllegraEra c)
type EraRule "POOLREAP" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "POOLREAP" (AllegraEra c) = ShelleyPOOLREAP (AllegraEra c)
type EraRule "PPUP" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "PPUP" (AllegraEra c) = ShelleyPPUP (AllegraEra c)
type EraRule "RUPD" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "RUPD" (AllegraEra c) = ShelleyRUPD (AllegraEra c)
type EraRule "SNAP" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "SNAP" (AllegraEra c) = ShelleySNAP (AllegraEra c)
type EraRule "TICK" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "TICK" (AllegraEra c) = ShelleyTICK (AllegraEra c)
type EraRule "TICKF" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "TICKF" (AllegraEra c) = ShelleyTICKF (AllegraEra c)
type EraRule "UPEC" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "UPEC" (AllegraEra c) = ShelleyUPEC (AllegraEra c)
type EraRule "UTXO" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "UTXO" (AllegraEra c) = AllegraUTXO (AllegraEra c)
type EraRule "UTXOW" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "UTXOW" (AllegraEra c) = AllegraUTXOW (AllegraEra c)
type PParamsHKD f (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.PParams

type PParamsHKD f (AllegraEra c) = ShelleyPParams f (AllegraEra c)
type SomeScript 'PhaseOne (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

type SomeScript 'PhaseOne (AllegraEra c) = Timelock (AllegraEra c)
type DowngradePParams f (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.PParams

type DowngradePParams f (AllegraEra c) = ()
type UpgradePParams f (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.PParams

type UpgradePParams f (AllegraEra c) = ()
type EraCrypto (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraCrypto (AllegraEra c) = c
type TxSeq (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.TxSeq

type TxSeq (AllegraEra c) = ShelleyTxSeq (AllegraEra c)
type Tx (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

type Tx (AllegraEra c) = ShelleyTx (AllegraEra c)
type AdditionalGenesisConfig (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra

type AdditionalGenesisConfig (AllegraEra c) = ()
type TranslationContext (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type TranslationContext (AllegraEra c) = ()
type PreviousEra (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type PreviousEra (AllegraEra c) = ShelleyEra c
type Value (AllegraEra _1) 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type Value (AllegraEra _1) = Coin
type TxBody (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

type TxBody (AllegraEra c) = AllegraTxBody (AllegraEra c)
type TxOut (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.TxOut

type TxOut (AllegraEra c) = ShelleyTxOut (AllegraEra c)
type TxWits (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.TxWits

type TxWits (AllegraEra c) = ShelleyTxWits (AllegraEra c)
type TxAuxData (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

type TxAuxData (AllegraEra c) = AllegraTxAuxData (AllegraEra c)
type ProtVerLow (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type ProtVerLow (AllegraEra c) = 3
type Script (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

type Script (AllegraEra c) = Timelock (AllegraEra c)
type ProtVerHigh (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type ProtVerHigh (AllegraEra c) = ProtVerLow (AllegraEra c)
type GovernanceState (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.PParams

type GovernanceState (AllegraEra c) = ShelleyPPUPState (AllegraEra c)
type ScriptsNeeded (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.UTxO

type ScriptsNeeded (AllegraEra c) = ShelleyScriptsNeeded (AllegraEra c)
type TranslationError (AllegraEra c) WrapTx 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

type TranslationError (AllegraEra c) WrapTx = TranslationError (AllegraEra c) ShelleyTx
type TranslationError (AllegraEra c) Update 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) Update = Void
type TranslationError (AllegraEra c) ShelleyTxWits 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) ShelleyTxWits = DecoderError
type TranslationError (AllegraEra c) EpochState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) EpochState = Void
type TranslationError (AllegraEra c) LedgerState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) LedgerState = Void
type TranslationError (AllegraEra c) UTxOState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) UTxOState = Void
type TranslationError (AllegraEra c) UTxO 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) UTxO = Void
type TranslationError (AllegraEra c) ShelleyTxOut 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) ShelleyTxOut = Void
type TranslationError (AllegraEra c) ShelleyPPUPState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) ShelleyPPUPState = Void
type TranslationError (AllegraEra c) ProposedPPUpdates 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) ProposedPPUpdates = Void
type TranslationError (AllegraEra c) PParamsUpdate 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) PParamsUpdate = Void
type TranslationError (AllegraEra c) PParams 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) PParams = Void
type TranslationError (AllegraEra c) ShelleyTx 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) ShelleyTx = DecoderError
type TranslationError (AllegraEra c) NewEpochState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) NewEpochState = Void
type TxMeasure (ShelleyBlock p (AllegraEra c)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

data AlonzoEra c #

Instances

Instances details
Crypto c ⇒ Era (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

Associated Types

type EraCrypto (AlonzoEra c) #

type PreviousEra (AlonzoEra c) = (r ∷ Type)

type ProtVerLow (AlonzoEra c) ∷ Nat

type ProtVerHigh (AlonzoEra c) ∷ Nat

Crypto c ⇒ AlonzoEraTx (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

isValidTxL ∷ Lens' (Tx (AlonzoEra c)) IsValid

(EraScript (AlonzoEra c), Crypto c) ⇒ AlonzoEraTxWits (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

datsTxWitsL ∷ Lens' (TxWits (AlonzoEra c)) (TxDats (AlonzoEra c))

rdmrsTxWitsL ∷ Lens' (TxWits (AlonzoEra c)) (Redeemers (AlonzoEra c))

Crypto c ⇒ GetLedgerView (AlonzoEra c) 
Instance details

Defined in Cardano.Protocol.TPraos.API

Methods

currentLedgerView ∷ NewEpochState (AlonzoEra c) → LedgerView (EraCrypto (AlonzoEra c))

futureLedgerViewMonadError (FutureLedgerViewError (AlonzoEra c)) m ⇒ Globals → NewEpochState (AlonzoEra c) → SlotNo → m (LedgerView (EraCrypto (AlonzoEra c)))

(PraosCrypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ShelleyBasedEra (AlonzoEra c) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

Methods

shelleyBasedEraName ∷ proxy (AlonzoEra c) → Text Source #

applyShelleyBasedTx ∷ Globals → LedgerEnv (AlonzoEra c) → LedgerState (AlonzoEra c) → WhetherToIntervene → Tx (AlonzoEra c) → Except (ApplyTxError (AlonzoEra c)) (LedgerState (AlonzoEra c), Validated (Tx (AlonzoEra c))) Source #

ShelleyBasedEra (AlonzoEra c) ⇒ TranslateEra (AlonzoEra c) WrapTx 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

Associated Types

type TranslationError (AlonzoEra c) WrapTx

Methods

translateEra ∷ TranslationContext (AlonzoEra c) → WrapTx (PreviousEra (AlonzoEra c)) → Except (TranslationError (AlonzoEra c) WrapTx) (WrapTx (AlonzoEra c))

Crypto c ⇒ TranslateEra (AlonzoEra c) Tx 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

Associated Types

type TranslationError (AlonzoEra c) Tx

Methods

translateEra ∷ TranslationContext (AlonzoEra c) → Tx (PreviousEra (AlonzoEra c)) → Except (TranslationError (AlonzoEra c) Tx) (Tx (AlonzoEra c))

(PraosCrypto c, Signable (DSIGN c) (Hash (HASH c) EraIndependentTxBody)) ⇒ ShelleyCompatible (TPraos c) (AlonzoEra c) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.HFEras

ShelleyCompatible p (AlonzoEra c) ⇒ TxLimits (ShelleyBlock p (AlonzoEra c)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Associated Types

type TxMeasure (ShelleyBlock p (AlonzoEra c)) Source #

type EraRule "BBODY" (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "BBODY" (AlonzoEra c) = AlonzoBBODY (AlonzoEra c)
type EraRule "DELEG" (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "DELEG" (AlonzoEra c) = ShelleyDELEG (AlonzoEra c)
type EraRule "DELEGS" (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "DELEGS" (AlonzoEra c) = ShelleyDELEGS (AlonzoEra c)
type EraRule "DELPL" (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "DELPL" (AlonzoEra c) = ShelleyDELPL (AlonzoEra c)
type EraRule "EPOCH" (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "EPOCH" (AlonzoEra c) = ShelleyEPOCH (AlonzoEra c)
type EraRule "LEDGER" (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "LEDGER" (AlonzoEra c) = AlonzoLEDGER (AlonzoEra c)
type EraRule "LEDGERS" (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "LEDGERS" (AlonzoEra c) = ShelleyLEDGERS (AlonzoEra c)
type EraRule "MIR" (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "MIR" (AlonzoEra c) = ShelleyMIR (AlonzoEra c)
type EraRule "NEWEPOCH" (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "NEWEPOCH" (AlonzoEra c) = ShelleyNEWEPOCH (AlonzoEra c)
type EraRule "NEWPP" (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "NEWPP" (AlonzoEra c) = ShelleyNEWPP (AlonzoEra c)
type EraRule "POOL" (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "POOL" (AlonzoEra c) = ShelleyPOOL (AlonzoEra c)
type EraRule "POOLREAP" (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "POOLREAP" (AlonzoEra c) = ShelleyPOOLREAP (AlonzoEra c)
type EraRule "PPUP" (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "PPUP" (AlonzoEra c) = ShelleyPPUP (AlonzoEra c)
type EraRule "RUPD" (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "RUPD" (AlonzoEra c) = ShelleyRUPD (AlonzoEra c)
type EraRule "SNAP" (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "SNAP" (AlonzoEra c) = ShelleySNAP (AlonzoEra c)
type EraRule "TICK" (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "TICK" (AlonzoEra c) = ShelleyTICK (AlonzoEra c)
type EraRule "TICKF" (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "TICKF" (AlonzoEra c) = ShelleyTICKF (AlonzoEra c)
type EraRule "UPEC" (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "UPEC" (AlonzoEra c) = ShelleyUPEC (AlonzoEra c)
type EraRule "UTXO" (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "UTXO" (AlonzoEra c) = AlonzoUTXO (AlonzoEra c)
type EraRule "UTXOS" (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "UTXOS" (AlonzoEra c) = AlonzoUTXOS (AlonzoEra c)
type EraRule "UTXOW" (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "UTXOW" (AlonzoEra c) = AlonzoUTXOW (AlonzoEra c)
type PParamsHKD f (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

type PParamsHKD f (AlonzoEra c) = AlonzoPParams f (AlonzoEra c)
type SomeScript 'PhaseOne (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type SomeScript 'PhaseOne (AlonzoEra c) = Timelock (AlonzoEra c)
type SomeScript 'PhaseTwo (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type SomeScript 'PhaseTwo (AlonzoEra c) = (Language, ShortByteString)
type DowngradePParams f (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

type DowngradePParams f (AlonzoEra c) = DowngradeAlonzoPParams f
type UpgradePParams f (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

type UpgradePParams f (AlonzoEra c) = UpgradeAlonzoPParams f
type EraCrypto (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraCrypto (AlonzoEra c) = c
type TxSeq (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxSeq

type TxSeq (AlonzoEra c) = AlonzoTxSeq (AlonzoEra c)
type Tx (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

type Tx (AlonzoEra c) = AlonzoTx (AlonzoEra c)
type AdditionalGenesisConfig (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo

type AdditionalGenesisConfig (AlonzoEra c) = AlonzoGenesis
type TranslationContext (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationContext (AlonzoEra c) = AlonzoGenesis
type PreviousEra (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type PreviousEra (AlonzoEra c) = MaryEra c
type Value (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type Value (AlonzoEra c) = MaryValue c
type TxBody (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

type TxBody (AlonzoEra c) = AlonzoTxBody (AlonzoEra c)
type TxOut (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

type TxOut (AlonzoEra c) = AlonzoTxOut (AlonzoEra c)
type TxWits (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type TxWits (AlonzoEra c) = AlonzoTxWits (AlonzoEra c)
type TxAuxData (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

type TxAuxData (AlonzoEra c) = AlonzoTxAuxData (AlonzoEra c)
type ProtVerLow (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type ProtVerLow (AlonzoEra c) = 5
type Script (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Script (AlonzoEra c) = AlonzoScript (AlonzoEra c)
type ProtVerHigh (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type ProtVerHigh (AlonzoEra c) = 6
type GovernanceState (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

type GovernanceState (AlonzoEra c) = ShelleyPPUPState (AlonzoEra c)
type ScriptsNeeded (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.UTxO

type ScriptsNeeded (AlonzoEra c) = AlonzoScriptsNeeded (AlonzoEra c)
type TranslationError (AlonzoEra c) WrapTx 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

type TranslationError (AlonzoEra c) WrapTx = TranslationError (AlonzoEra c) Tx
type TranslationError (AlonzoEra c) ProposedPPUpdates 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError (AlonzoEra c) ProposedPPUpdates = Void
type TranslationError (AlonzoEra c) ShelleyPPUPState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError (AlonzoEra c) ShelleyPPUPState = Void
type TranslationError (AlonzoEra c) UTxO 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError (AlonzoEra c) UTxO = Void
type TranslationError (AlonzoEra c) UTxOState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError (AlonzoEra c) UTxOState = Void
type TranslationError (AlonzoEra c) LedgerState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError (AlonzoEra c) LedgerState = Void
type TranslationError (AlonzoEra c) EpochState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError (AlonzoEra c) EpochState = Void
type TranslationError (AlonzoEra c) PParams 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError (AlonzoEra c) PParams = Void
type TranslationError (AlonzoEra c) NewEpochState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError (AlonzoEra c) NewEpochState = Void
type TranslationError (AlonzoEra c) Tx 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError (AlonzoEra c) Tx = DecoderError
type TxMeasure (ShelleyBlock p (AlonzoEra c)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

data BabbageEra c #

Instances

Instances details
Crypto c ⇒ Era (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Era

Associated Types

type EraCrypto (BabbageEra c) #

type PreviousEra (BabbageEra c) = (r ∷ Type)

type ProtVerLow (BabbageEra c) ∷ Nat

type ProtVerHigh (BabbageEra c) ∷ Nat

Crypto c ⇒ GetLedgerView (BabbageEra c) 
Instance details

Defined in Cardano.Protocol.TPraos.API

Methods

currentLedgerView ∷ NewEpochState (BabbageEra c) → LedgerView (EraCrypto (BabbageEra c))

futureLedgerViewMonadError (FutureLedgerViewError (BabbageEra c)) m ⇒ Globals → NewEpochState (BabbageEra c) → SlotNo → m (LedgerView (EraCrypto (BabbageEra c)))

PraosCrypto c ⇒ ShelleyBasedEra (BabbageEra c) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

Methods

shelleyBasedEraName ∷ proxy (BabbageEra c) → Text Source #

applyShelleyBasedTx ∷ Globals → LedgerEnv (BabbageEra c) → LedgerState (BabbageEra c) → WhetherToIntervene → Tx (BabbageEra c) → Except (ApplyTxError (BabbageEra c)) (LedgerState (BabbageEra c), Validated (Tx (BabbageEra c))) Source #

ShelleyBasedEra (BabbageEra c) ⇒ TranslateEra (BabbageEra c) WrapTx 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

Associated Types

type TranslationError (BabbageEra c) WrapTx

Methods

translateEra ∷ TranslationContext (BabbageEra c) → WrapTx (PreviousEra (BabbageEra c)) → Except (TranslationError (BabbageEra c) WrapTx) (WrapTx (BabbageEra c))

Crypto c ⇒ TranslateEra (BabbageEra c) Tx 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

Associated Types

type TranslationError (BabbageEra c) Tx

Methods

translateEra ∷ TranslationContext (BabbageEra c) → Tx (PreviousEra (BabbageEra c)) → Except (TranslationError (BabbageEra c) Tx) (Tx (BabbageEra c))

PraosCrypto c ⇒ ShelleyCompatible (Praos c) (BabbageEra c) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.HFEras

(PraosCrypto c, PraosCrypto c) ⇒ ShelleyCompatible (TPraos c) (BabbageEra c) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.HFEras

ShelleyCompatible p (BabbageEra c) ⇒ TxLimits (ShelleyBlock p (BabbageEra c)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Associated Types

type TxMeasure (ShelleyBlock p (BabbageEra c)) Source #

type EraRule "BBODY" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "BBODY" (BabbageEra c) = AlonzoBBODY (BabbageEra c)
type EraRule "DELEG" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "DELEG" (BabbageEra c) = ShelleyDELEG (BabbageEra c)
type EraRule "DELEGS" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "DELEGS" (BabbageEra c) = ShelleyDELEGS (BabbageEra c)
type EraRule "DELPL" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "DELPL" (BabbageEra c) = ShelleyDELPL (BabbageEra c)
type EraRule "EPOCH" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "EPOCH" (BabbageEra c) = ShelleyEPOCH (BabbageEra c)
type EraRule "LEDGER" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "LEDGER" (BabbageEra c) = BabbageLEDGER (BabbageEra c)
type EraRule "LEDGERS" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "LEDGERS" (BabbageEra c) = ShelleyLEDGERS (BabbageEra c)
type EraRule "MIR" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "MIR" (BabbageEra c) = ShelleyMIR (BabbageEra c)
type EraRule "NEWEPOCH" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "NEWEPOCH" (BabbageEra c) = ShelleyNEWEPOCH (BabbageEra c)
type EraRule "NEWPP" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "NEWPP" (BabbageEra c) = ShelleyNEWPP (BabbageEra c)
type EraRule "POOL" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "POOL" (BabbageEra c) = ShelleyPOOL (BabbageEra c)
type EraRule "POOLREAP" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "POOLREAP" (BabbageEra c) = ShelleyPOOLREAP (BabbageEra c)
type EraRule "PPUP" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "PPUP" (BabbageEra c) = ShelleyPPUP (BabbageEra c)
type EraRule "RUPD" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "RUPD" (BabbageEra c) = ShelleyRUPD (BabbageEra c)
type EraRule "SNAP" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "SNAP" (BabbageEra c) = ShelleySNAP (BabbageEra c)
type EraRule "TICK" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "TICK" (BabbageEra c) = ShelleyTICK (BabbageEra c)
type EraRule "TICKF" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "TICKF" (BabbageEra c) = ShelleyTICKF (BabbageEra c)
type EraRule "UPEC" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "UPEC" (BabbageEra c) = ShelleyUPEC (BabbageEra c)
type EraRule "UTXO" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "UTXO" (BabbageEra c) = BabbageUTXO (BabbageEra c)
type EraRule "UTXOS" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "UTXOS" (BabbageEra c) = BabbageUTXOS (BabbageEra c)
type EraRule "UTXOW" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "UTXOW" (BabbageEra c) = BabbageUTXOW (BabbageEra c)
type PParamsHKD f (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

type PParamsHKD f (BabbageEra c) = BabbagePParams f (BabbageEra c)
type SomeScript 'PhaseOne (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

type SomeScript 'PhaseOne (BabbageEra c) = Timelock (BabbageEra c)
type SomeScript 'PhaseTwo (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

type SomeScript 'PhaseTwo (BabbageEra c) = (Language, ShortByteString)
type DowngradePParams f (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

type DowngradePParams f (BabbageEra c) = DowngradeBabbagePParams f
type UpgradePParams f (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

type UpgradePParams f (BabbageEra c) = ()
type EraCrypto (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraCrypto (BabbageEra c) = c
type TxSeq (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Tx

type TxSeq (BabbageEra c) = AlonzoTxSeq (BabbageEra c)
type Tx (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Tx

type Tx (BabbageEra c) = AlonzoTx (BabbageEra c)
type AdditionalGenesisConfig (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage

type AdditionalGenesisConfig (BabbageEra c) = AlonzoGenesis
type TranslationContext (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationContext (BabbageEra c) = ()
type PreviousEra (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type PreviousEra (BabbageEra c) = AlonzoEra c
type Value (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type Value (BabbageEra c) = MaryValue c
type TxBody (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

type TxBody (BabbageEra c) = BabbageTxBody (BabbageEra c)
type TxOut (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

type TxOut (BabbageEra c) = BabbageTxOut (BabbageEra c)
type TxWits (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.TxWits

type TxWits (BabbageEra c) = AlonzoTxWits (BabbageEra c)
type TxAuxData (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

type TxAuxData (BabbageEra c) = AlonzoTxAuxData (BabbageEra c)
type ProtVerLow (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type ProtVerLow (BabbageEra c) = 7
type Script (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

type Script (BabbageEra c) = AlonzoScript (BabbageEra c)
type ProtVerHigh (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type ProtVerHigh (BabbageEra c) = 8
type GovernanceState (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

type GovernanceState (BabbageEra c) = ShelleyPPUPState (BabbageEra c)
type ScriptsNeeded (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.UTxO

type ScriptsNeeded (BabbageEra c) = AlonzoScriptsNeeded (BabbageEra c)
type TranslationError (BabbageEra c) WrapTx 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

type TranslationError (BabbageEra c) WrapTx = TranslationError (BabbageEra c) Tx
type TranslationError (BabbageEra c) ProposedPPUpdates 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError (BabbageEra c) ProposedPPUpdates = Void
type TranslationError (BabbageEra c) ShelleyPPUPState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError (BabbageEra c) ShelleyPPUPState = Void
type TranslationError (BabbageEra c) UTxO 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError (BabbageEra c) UTxO = Void
type TranslationError (BabbageEra c) UTxOState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError (BabbageEra c) UTxOState = Void
type TranslationError (BabbageEra c) LedgerState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError (BabbageEra c) LedgerState = Void
type TranslationError (BabbageEra c) EpochState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError (BabbageEra c) EpochState = Void
type TranslationError (BabbageEra c) PParams 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError (BabbageEra c) PParams = Void
type TranslationError (BabbageEra c) NewEpochState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError (BabbageEra c) NewEpochState = Void
type TranslationError (BabbageEra c) Tx 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError (BabbageEra c) Tx = DecoderError
type TxMeasure (ShelleyBlock p (BabbageEra c)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

data ConwayEra c #

Instances

Instances details
Crypto c ⇒ Era (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

Associated Types

type EraCrypto (ConwayEra c) #

type PreviousEra (ConwayEra c) = (r ∷ Type)

type ProtVerLow (ConwayEra c) ∷ Nat

type ProtVerHigh (ConwayEra c) ∷ Nat

Crypto c ⇒ GetLedgerView (ConwayEra c) 
Instance details

Defined in Cardano.Protocol.TPraos.API

Methods

currentLedgerView ∷ NewEpochState (ConwayEra c) → LedgerView (EraCrypto (ConwayEra c))

futureLedgerViewMonadError (FutureLedgerViewError (ConwayEra c)) m ⇒ Globals → NewEpochState (ConwayEra c) → SlotNo → m (LedgerView (EraCrypto (ConwayEra c)))

PraosCrypto c ⇒ ShelleyBasedEra (ConwayEra c) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

Methods

shelleyBasedEraName ∷ proxy (ConwayEra c) → Text Source #

applyShelleyBasedTx ∷ Globals → LedgerEnv (ConwayEra c) → LedgerState (ConwayEra c) → WhetherToIntervene → Tx (ConwayEra c) → Except (ApplyTxError (ConwayEra c)) (LedgerState (ConwayEra c), Validated (Tx (ConwayEra c))) Source #

ShelleyBasedEra (ConwayEra c) ⇒ TranslateEra (ConwayEra c) WrapTx 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

Associated Types

type TranslationError (ConwayEra c) WrapTx

Methods

translateEra ∷ TranslationContext (ConwayEra c) → WrapTx (PreviousEra (ConwayEra c)) → Except (TranslationError (ConwayEra c) WrapTx) (WrapTx (ConwayEra c))

Crypto c ⇒ TranslateEra (ConwayEra c) Tx 
Instance details

Defined in Cardano.Ledger.Conway.Translation

Associated Types

type TranslationError (ConwayEra c) Tx

Methods

translateEra ∷ TranslationContext (ConwayEra c) → Tx (PreviousEra (ConwayEra c)) → Except (TranslationError (ConwayEra c) Tx) (Tx (ConwayEra c))

PraosCrypto c ⇒ ShelleyCompatible (Praos c) (ConwayEra c) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.HFEras

(PraosCrypto c, PraosCrypto c) ⇒ ShelleyCompatible (TPraos c) (ConwayEra c) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.HFEras

ShelleyCompatible p (ConwayEra c) ⇒ TxLimits (ShelleyBlock p (ConwayEra c)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Associated Types

type TxMeasure (ShelleyBlock p (ConwayEra c)) Source #

type EraRule "BBODY" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "BBODY" (ConwayEra c) = AlonzoBBODY (ConwayEra c)
type EraRule "DELEG" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "DELEG" (ConwayEra c) = ShelleyDELEG (ConwayEra c)
type EraRule "DELEGS" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "DELEGS" (ConwayEra c) = ShelleyDELEGS (ConwayEra c)
type EraRule "DELPL" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "DELPL" (ConwayEra c) = ShelleyDELPL (ConwayEra c)
type EraRule "ENACTMENT" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "ENACTMENT" (ConwayEra c) = ConwayENACTMENT (ConwayEra c)
type EraRule "EPOCH" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "EPOCH" (ConwayEra c) = ConwayEPOCH (ConwayEra c)
type EraRule "LEDGER" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "LEDGER" (ConwayEra c) = ConwayLEDGER (ConwayEra c)
type EraRule "LEDGERS" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "LEDGERS" (ConwayEra c) = ShelleyLEDGERS (ConwayEra c)
type EraRule "MIR" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "MIR" (ConwayEra c) = ShelleyMIR (ConwayEra c)
type EraRule "NEWEPOCH" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "NEWEPOCH" (ConwayEra c) = ConwayNEWEPOCH (ConwayEra c)
type EraRule "NEWPP" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "NEWPP" (ConwayEra c) = ShelleyNEWPP (ConwayEra c)
type EraRule "POOL" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "POOL" (ConwayEra c) = ShelleyPOOL (ConwayEra c)
type EraRule "POOLREAP" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "POOLREAP" (ConwayEra c) = ShelleyPOOLREAP (ConwayEra c)
type EraRule "RUPD" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "RUPD" (ConwayEra c) = ShelleyRUPD (ConwayEra c)
type EraRule "SNAP" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "SNAP" (ConwayEra c) = ShelleySNAP (ConwayEra c)
type EraRule "TALLY" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "TALLY" (ConwayEra c) = ConwayTALLY (ConwayEra c)
type EraRule "TICK" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "TICK" (ConwayEra c) = ShelleyTICK (ConwayEra c)
type EraRule "TICKF" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "TICKF" (ConwayEra c) = ConwayTICKF (ConwayEra c)
type EraRule "TICKF" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "TICKF" (ConwayEra c) = ConwayTICKF (ConwayEra c)
type EraRule "UTXO" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "UTXO" (ConwayEra c) = BabbageUTXO (ConwayEra c)
type EraRule "UTXOS" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "UTXOS" (ConwayEra c) = ConwayUTXOS (ConwayEra c)
type EraRule "UTXOW" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "UTXOW" (ConwayEra c) = BabbageUTXOW (ConwayEra c)
type PParamsHKD f (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.PParams

type PParamsHKD f (ConwayEra c) = BabbagePParams f (ConwayEra c)
type SomeScript 'PhaseOne (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

type SomeScript 'PhaseOne (ConwayEra c) = Timelock (ConwayEra c)
type SomeScript 'PhaseTwo (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

type SomeScript 'PhaseTwo (ConwayEra c) = (Language, ShortByteString)
type DowngradePParams f (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.PParams

type DowngradePParams f (ConwayEra c) = ()
type UpgradePParams f (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.PParams

type UpgradePParams f (ConwayEra c) = ()
type EraCrypto (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraCrypto (ConwayEra c) = c
type TxSeq (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Tx

type TxSeq (ConwayEra c) = AlonzoTxSeq (ConwayEra c)
type Tx (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Tx

type Tx (ConwayEra c) = AlonzoTx (ConwayEra c)
type AdditionalGenesisConfig (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway

type AdditionalGenesisConfig (ConwayEra c) = ConwayGenesis c
type TranslationContext (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Translation

type TranslationContext (ConwayEra c) = GenDelegs c
type PreviousEra (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

type PreviousEra (ConwayEra c) = BabbageEra c
type Value (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

type Value (ConwayEra c) = MaryValue c
type TxBody (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

type TxBody (ConwayEra c) = ConwayTxBody (ConwayEra c)
type TxOut (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.TxOut

type TxOut (ConwayEra c) = BabbageTxOut (ConwayEra c)
type TxWits (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.TxWits

type TxWits (ConwayEra c) = AlonzoTxWits (ConwayEra c)
type TxAuxData (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

type TxAuxData (ConwayEra c) = AlonzoTxAuxData (ConwayEra c)
type ProtVerLow (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

type ProtVerLow (ConwayEra c) = 9
type Script (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

type Script (ConwayEra c) = AlonzoScript (ConwayEra c)
type ProtVerHigh (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

type ProtVerHigh (ConwayEra c) = ProtVerLow (ConwayEra c)
type GovernanceState (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Governance

type GovernanceState (ConwayEra c) = ConwayTallyState (ConwayEra c)
type ScriptsNeeded (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.UTxO

type ScriptsNeeded (ConwayEra c) = AlonzoScriptsNeeded (ConwayEra c)
type TranslationError (ConwayEra c) WrapTx 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

type TranslationError (ConwayEra c) WrapTx = TranslationError (ConwayEra c) Tx
type TranslationError (ConwayEra c) ProposedPPUpdates 
Instance details

Defined in Cardano.Ledger.Conway.Translation

type TranslationError (ConwayEra c) ProposedPPUpdates = Void
type TranslationError (ConwayEra c) UTxO 
Instance details

Defined in Cardano.Ledger.Conway.Translation

type TranslationError (ConwayEra c) UTxO = Void
type TranslationError (ConwayEra c) UTxOState 
Instance details

Defined in Cardano.Ledger.Conway.Translation

type TranslationError (ConwayEra c) UTxOState = Void
type TranslationError (ConwayEra c) LedgerState 
Instance details

Defined in Cardano.Ledger.Conway.Translation

type TranslationError (ConwayEra c) LedgerState = Void
type TranslationError (ConwayEra c) EpochState 
Instance details

Defined in Cardano.Ledger.Conway.Translation

type TranslationError (ConwayEra c) EpochState = Void
type TranslationError (ConwayEra c) PParams 
Instance details

Defined in Cardano.Ledger.Conway.Translation

type TranslationError (ConwayEra c) PParams = Void
type TranslationError (ConwayEra c) NewEpochState 
Instance details

Defined in Cardano.Ledger.Conway.Translation

type TranslationError (ConwayEra c) NewEpochState = Void
type TranslationError (ConwayEra c) Tx 
Instance details

Defined in Cardano.Ledger.Conway.Translation

type TranslationError (ConwayEra c) Tx = DecoderError
type TxMeasure (ShelleyBlock p (ConwayEra c)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

data MaryEra era #

Instances

Instances details
Crypto c ⇒ Era (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.Era

Associated Types

type EraCrypto (MaryEra c) #

type PreviousEra (MaryEra c) = (r ∷ Type)

type ProtVerLow (MaryEra c) ∷ Nat

type ProtVerHigh (MaryEra c) ∷ Nat

Crypto c ⇒ GetLedgerView (MaryEra c) 
Instance details

Defined in Cardano.Protocol.TPraos.API

Methods

currentLedgerView ∷ NewEpochState (MaryEra c) → LedgerView (EraCrypto (MaryEra c))

futureLedgerViewMonadError (FutureLedgerViewError (MaryEra c)) m ⇒ Globals → NewEpochState (MaryEra c) → SlotNo → m (LedgerView (EraCrypto (MaryEra c)))

(PraosCrypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ShelleyBasedEra (MaryEra c) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

Methods

shelleyBasedEraName ∷ proxy (MaryEra c) → Text Source #

applyShelleyBasedTx ∷ Globals → LedgerEnv (MaryEra c) → LedgerState (MaryEra c) → WhetherToIntervene → Tx (MaryEra c) → Except (ApplyTxError (MaryEra c)) (LedgerState (MaryEra c), Validated (Tx (MaryEra c))) Source #

ShelleyBasedEra (MaryEra c) ⇒ TranslateEra (MaryEra c) WrapTx 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

Associated Types

type TranslationError (MaryEra c) WrapTx

Methods

translateEra ∷ TranslationContext (MaryEra c) → WrapTx (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) WrapTx) (WrapTx (MaryEra c))

(PraosCrypto c, Signable (DSIGN c) (Hash (HASH c) EraIndependentTxBody)) ⇒ ShelleyCompatible (TPraos c) (MaryEra c) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.HFEras

ShelleyCompatible p (MaryEra c) ⇒ TxLimits (ShelleyBlock p (MaryEra c)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Associated Types

type TxMeasure (ShelleyBlock p (MaryEra c)) Source #

type EraRule "BBODY" (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "BBODY" (MaryEra c) = ShelleyBBODY (MaryEra c)
type EraRule "DELEG" (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "DELEG" (MaryEra c) = ShelleyDELEG (MaryEra c)
type EraRule "DELEGS" (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "DELEGS" (MaryEra c) = ShelleyDELEGS (MaryEra c)
type EraRule "DELPL" (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "DELPL" (MaryEra c) = ShelleyDELPL (MaryEra c)
type EraRule "EPOCH" (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "EPOCH" (MaryEra c) = ShelleyEPOCH (MaryEra c)
type EraRule "LEDGER" (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "LEDGER" (MaryEra c) = ShelleyLEDGER (MaryEra c)
type EraRule "LEDGERS" (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "LEDGERS" (MaryEra c) = ShelleyLEDGERS (MaryEra c)
type EraRule "MIR" (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "MIR" (MaryEra c) = ShelleyMIR (MaryEra c)
type EraRule "NEWEPOCH" (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "NEWEPOCH" (MaryEra c) = ShelleyNEWEPOCH (MaryEra c)
type EraRule "NEWPP" (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "NEWPP" (MaryEra c) = ShelleyNEWPP (MaryEra c)
type EraRule "POOL" (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "POOL" (MaryEra c) = ShelleyPOOL (MaryEra c)
type EraRule "POOLREAP" (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "POOLREAP" (MaryEra c) = ShelleyPOOLREAP (MaryEra c)
type EraRule "PPUP" (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "PPUP" (MaryEra c) = ShelleyPPUP (MaryEra c)
type EraRule "RUPD" (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "RUPD" (MaryEra c) = ShelleyRUPD (MaryEra c)
type EraRule "SNAP" (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "SNAP" (MaryEra c) = ShelleySNAP (MaryEra c)
type EraRule "TICK" (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "TICK" (MaryEra c) = ShelleyTICK (MaryEra c)
type EraRule "TICKF" (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "TICKF" (MaryEra c) = ShelleyTICKF (MaryEra c)
type EraRule "UPEC" (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "UPEC" (MaryEra c) = ShelleyUPEC (MaryEra c)
type EraRule "UTXO" (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "UTXO" (MaryEra c) = AllegraUTXO (MaryEra c)
type EraRule "UTXOW" (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "UTXOW" (MaryEra c) = AllegraUTXOW (MaryEra c)
type PParamsHKD f (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.PParams

type PParamsHKD f (MaryEra c) = ShelleyPParams f (MaryEra c)
type SomeScript 'PhaseOne (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.Scripts

type SomeScript 'PhaseOne (MaryEra c) = Timelock (MaryEra c)
type DowngradePParams f (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.PParams

type DowngradePParams f (MaryEra c) = ()
type UpgradePParams f (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.PParams

type UpgradePParams f (MaryEra c) = ()
type EraCrypto (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraCrypto (MaryEra c) = c
type TxSeq (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.TxSeq

type TxSeq (MaryEra c) = ShelleyTxSeq (MaryEra c)
type Tx (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.Tx

type Tx (MaryEra c) = ShelleyTx (MaryEra c)
type AdditionalGenesisConfig (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary

type AdditionalGenesisConfig (MaryEra c) = ()
type TranslationContext (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.Era

type TranslationContext (MaryEra c) = ()
type PreviousEra (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.Era

type PreviousEra (MaryEra c) = AllegraEra c
type Value (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.Era

type Value (MaryEra c) = MaryValue c
type TxBody (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

type TxBody (MaryEra c) = MaryTxBody (MaryEra c)
type TxOut (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.TxOut

type TxOut (MaryEra c) = ShelleyTxOut (MaryEra c)
type TxWits (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.TxWits

type TxWits (MaryEra c) = ShelleyTxWits (MaryEra c)
type TxAuxData (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.TxAuxData

type TxAuxData (MaryEra c) = AllegraTxAuxData (MaryEra c)
type ProtVerLow (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.Era

type ProtVerLow (MaryEra c) = 4
type Script (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.Scripts

type Script (MaryEra c) = Timelock (MaryEra c)
type ProtVerHigh (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.Era

type ProtVerHigh (MaryEra c) = ProtVerLow (MaryEra c)
type GovernanceState (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.PParams

type GovernanceState (MaryEra c) = ShelleyPPUPState (MaryEra c)
type ScriptsNeeded (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.UTxO

type ScriptsNeeded (MaryEra c) = ShelleyScriptsNeeded (MaryEra c)
type TranslationError (MaryEra c) WrapTx 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

type TranslationError (MaryEra c) WrapTx = TranslationError (MaryEra c) ShelleyTx
type TranslationError (MaryEra c) AllegraTxAuxData 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) AllegraTxAuxData = Void
type TranslationError (MaryEra c) Timelock 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) Timelock = Void
type TranslationError (MaryEra c) Update 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) Update = Void
type TranslationError (MaryEra c) ShelleyTxWits 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) ShelleyTxWits = DecoderError
type TranslationError (MaryEra c) UTxO 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) UTxO = Void
type TranslationError (MaryEra c) ShelleyTxOut 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) ShelleyTxOut = Void
type TranslationError (MaryEra c) UTxOState 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) UTxOState = Void
type TranslationError (MaryEra c) ShelleyPPUPState 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) ShelleyPPUPState = Void
type TranslationError (MaryEra c) ProposedPPUpdates 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) ProposedPPUpdates = Void
type TranslationError (MaryEra c) LedgerState 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) LedgerState = Void
type TranslationError (MaryEra c) EpochState 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) EpochState = Void
type TranslationError (MaryEra c) PParamsUpdate 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) PParamsUpdate = Void
type TranslationError (MaryEra c) PParams 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) PParams = Void
type TranslationError (MaryEra c) ShelleyTx 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) ShelleyTx = DecoderError
type TranslationError (MaryEra c) NewEpochState 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) NewEpochState = Void
type TxMeasure (ShelleyBlock p (MaryEra c)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

data ShelleyEra c #

Instances

Instances details
(Crypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ApplyBlock (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.API.Validation

Methods

applyTickOpts ∷ ∀ (ep ∷ EventPolicy). ApplySTSOpts ep → Globals → NewEpochState (ShelleyEra c) → SlotNo → EventReturnType ep (EraRule "TICK" (ShelleyEra c)) (NewEpochState (ShelleyEra c))

applyBlockOpts ∷ ∀ (ep ∷ EventPolicy) m. (EventReturnTypeRep ep, MonadError (BlockTransitionError (ShelleyEra c)) m) ⇒ ApplySTSOpts ep → Globals → NewEpochState (ShelleyEra c) → Block (BHeaderView (EraCrypto (ShelleyEra c))) (ShelleyEra c) → m (EventReturnType ep (EraRule "BBODY" (ShelleyEra c)) (NewEpochState (ShelleyEra c)))

reapplyBlock ∷ Globals → NewEpochState (ShelleyEra c) → Block (BHeaderView (EraCrypto (ShelleyEra c))) (ShelleyEra c) → NewEpochState (ShelleyEra c)

(EraPParams (ShelleyEra c), DSignable c (Hash c EraIndependentTxBody)) ⇒ ApplyTx (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.API.Mempool

Methods

applyTxMonadError (ApplyTxError (ShelleyEra c)) m ⇒ Globals → MempoolEnv (ShelleyEra c) → MempoolState (ShelleyEra c) → Tx (ShelleyEra c) → m (MempoolState (ShelleyEra c), Validated (Tx (ShelleyEra c)))

reapplyTxMonadError (ApplyTxError (ShelleyEra c)) m ⇒ Globals → MempoolEnv (ShelleyEra c) → MempoolState (ShelleyEra c) → Validated (Tx (ShelleyEra c)) → m (MempoolState (ShelleyEra c))

Crypto c ⇒ CanStartFromGenesis (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.API.Genesis

Associated Types

type AdditionalGenesisConfig (ShelleyEra c)

Methods

fromShelleyPParams ∷ AdditionalGenesisConfig (ShelleyEra c) → PParams (ShelleyEra (EraCrypto (ShelleyEra c))) → PParams (ShelleyEra c)

initialStateShelleyGenesis (EraCrypto (ShelleyEra c)) → AdditionalGenesisConfig (ShelleyEra c) → NewEpochState (ShelleyEra c)

Crypto c ⇒ Era (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Era

Associated Types

type EraCrypto (ShelleyEra c) #

type PreviousEra (ShelleyEra c) = (r ∷ Type)

type ProtVerLow (ShelleyEra c) ∷ Nat

type ProtVerHigh (ShelleyEra c) ∷ Nat

Crypto c ⇒ EraGovernance (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

Associated Types

type GovernanceState (ShelleyEra c) = (r ∷ Type)

Methods

emptyGovernanceState ∷ GovernanceState (ShelleyEra c)

getProposedPPUpdates ∷ GovernanceState (ShelleyEra c) → Maybe (ProposedPPUpdates (ShelleyEra c))

Crypto c ⇒ GetLedgerView (ShelleyEra c) 
Instance details

Defined in Cardano.Protocol.TPraos.API

Methods

currentLedgerView ∷ NewEpochState (ShelleyEra c) → LedgerView (EraCrypto (ShelleyEra c))

futureLedgerViewMonadError (FutureLedgerViewError (ShelleyEra c)) m ⇒ Globals → NewEpochState (ShelleyEra c) → SlotNo → m (LedgerView (EraCrypto (ShelleyEra c)))

(PraosCrypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ShelleyBasedEra (ShelleyEra c) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

Methods

shelleyBasedEraName ∷ proxy (ShelleyEra c) → Text Source #

applyShelleyBasedTx ∷ Globals → LedgerEnv (ShelleyEra c) → LedgerState (ShelleyEra c) → WhetherToIntervene → Tx (ShelleyEra c) → Except (ApplyTxError (ShelleyEra c)) (LedgerState (ShelleyEra c), Validated (Tx (ShelleyEra c))) Source #

(PraosCrypto c, Signable (DSIGN c) (Hash (HASH c) EraIndependentTxBody)) ⇒ ShelleyCompatible (TPraos c) (ShelleyEra c) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.HFEras

ShelleyCompatible p (ShelleyEra c) ⇒ TxLimits (ShelleyBlock p (ShelleyEra c)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Associated Types

type TxMeasure (ShelleyBlock p (ShelleyEra c)) Source #

type EraRule "BBODY" (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "BBODY" (ShelleyEra c) = ShelleyBBODY (ShelleyEra c)
type EraRule "DELEG" (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "DELEG" (ShelleyEra c) = ShelleyDELEG (ShelleyEra c)
type EraRule "DELEGS" (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "DELEGS" (ShelleyEra c) = ShelleyDELEGS (ShelleyEra c)
type EraRule "DELPL" (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "DELPL" (ShelleyEra c) = ShelleyDELPL (ShelleyEra c)
type EraRule "EPOCH" (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "EPOCH" (ShelleyEra c) = ShelleyEPOCH (ShelleyEra c)
type EraRule "LEDGER" (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "LEDGER" (ShelleyEra c) = ShelleyLEDGER (ShelleyEra c)
type EraRule "LEDGERS" (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "LEDGERS" (ShelleyEra c) = ShelleyLEDGERS (ShelleyEra c)
type EraRule "MIR" (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "MIR" (ShelleyEra c) = ShelleyMIR (ShelleyEra c)
type EraRule "NEWEPOCH" (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "NEWEPOCH" (ShelleyEra c) = ShelleyNEWEPOCH (ShelleyEra c)
type EraRule "NEWPP" (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "NEWPP" (ShelleyEra c) = ShelleyNEWPP (ShelleyEra c)
type EraRule "POOL" (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "POOL" (ShelleyEra c) = ShelleyPOOL (ShelleyEra c)
type EraRule "POOLREAP" (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "POOLREAP" (ShelleyEra c) = ShelleyPOOLREAP (ShelleyEra c)
type EraRule "PPUP" (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "PPUP" (ShelleyEra c) = ShelleyPPUP (ShelleyEra c)
type EraRule "RUPD" (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "RUPD" (ShelleyEra c) = ShelleyRUPD (ShelleyEra c)
type EraRule "SNAP" (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "SNAP" (ShelleyEra c) = ShelleySNAP (ShelleyEra c)
type EraRule "TICK" (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "TICK" (ShelleyEra c) = ShelleyTICK (ShelleyEra c)
type EraRule "TICKF" (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "TICKF" (ShelleyEra c) = ShelleyTICKF (ShelleyEra c)
type EraRule "UPEC" (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "UPEC" (ShelleyEra c) = ShelleyUPEC (ShelleyEra c)
type EraRule "UTXO" (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "UTXO" (ShelleyEra c) = ShelleyUTXO (ShelleyEra c)
type EraRule "UTXOW" (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "UTXOW" (ShelleyEra c) = ShelleyUTXOW (ShelleyEra c)
type PParamsHKD f (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

type PParamsHKD f (ShelleyEra c) = ShelleyPParams f (ShelleyEra c)
type SomeScript 'PhaseOne (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Scripts

type SomeScript 'PhaseOne (ShelleyEra c) = MultiSig (ShelleyEra c)
type DowngradePParams f (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

type DowngradePParams f (ShelleyEra c) = Void
type UpgradePParams f (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

type UpgradePParams f (ShelleyEra c) = Void
type EraCrypto (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraCrypto (ShelleyEra c) = c
type TxSeq (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.BlockChain

type TxSeq (ShelleyEra c) = ShelleyTxSeq (ShelleyEra c)
type Tx (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

type Tx (ShelleyEra c) = ShelleyTx (ShelleyEra c)
type AdditionalGenesisConfig (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.API.Genesis

type AdditionalGenesisConfig (ShelleyEra c) = ()
type TranslationContext (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Translation

type TranslationContext (ShelleyEra c) = FromByronTranslationContext c
type PreviousEra (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type PreviousEra (ShelleyEra c) = ByronEra c
type Value (ShelleyEra _c) 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type Value (ShelleyEra _c) = Coin
type TxBody (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type TxBody (ShelleyEra c) = ShelleyTxBody (ShelleyEra c)
type TxOut (ShelleyEra crypto) 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

type TxOut (ShelleyEra crypto) = ShelleyTxOut (ShelleyEra crypto)
type TxWits (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.TxWits

type TxWits (ShelleyEra c) = ShelleyTxWits (ShelleyEra c)
type TxAuxData (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

type TxAuxData (ShelleyEra c) = ShelleyTxAuxData (ShelleyEra c)
type ProtVerLow (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type ProtVerLow (ShelleyEra c) = 2
type Script (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Scripts

type Script (ShelleyEra c) = MultiSig (ShelleyEra c)
type ProtVerHigh (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type ProtVerHigh (ShelleyEra c) = ProtVerLow (ShelleyEra c)
type GovernanceState (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

type GovernanceState (ShelleyEra c) = ShelleyPPUPState (ShelleyEra c)
type ScriptsNeeded (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.UTxO

type ScriptsNeeded (ShelleyEra c) = ShelleyScriptsNeeded (ShelleyEra c)
type TxMeasure (ShelleyBlock p (ShelleyEra c)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Eras instantiated with standard crypto

type StandardAllegra = AllegraEra StandardCrypto Source #

The Allegra era with standard crypto

type StandardAlonzo = AlonzoEra StandardCrypto Source #

The Alonzo era with standard crypto

type StandardBabbage = BabbageEra StandardCrypto Source #

The Babbage era with standard crypto

type StandardConway = ConwayEra StandardCrypto Source #

The Conway era with standard crypto

type StandardMary = MaryEra StandardCrypto Source #

The Mary era with standard crypto

type StandardShelley = ShelleyEra StandardCrypto Source #

The Shelley era with standard crypto

Shelley-based era

class (EraSegWits era, EraGovernance era, ApplyTx era, ApplyBlock era, CanStartFromGenesis era, GetLedgerView era, NoThunks (StashedAVVMAddresses era), EncCBOR (StashedAVVMAddresses era), DecCBOR (StashedAVVMAddresses era), Show (StashedAVVMAddresses era), Eq (StashedAVVMAddresses era), DecCBOR (PredicateFailure (EraRule "LEDGER" era)), EncCBOR (PredicateFailure (EraRule "LEDGER" era)), DecCBOR (PredicateFailure (EraRule "DELEGS" era)), EncCBOR (PredicateFailure (EraRule "DELEGS" era)), DecCBOR (PredicateFailure (EraRule "UTXOW" era)), EncCBOR (PredicateFailure (EraRule "UTXOW" era)), DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody), NoThunks (PredicateFailure (EraRule "BBODY" era)), NoThunks (TranslationContext era)) ⇒ ShelleyBasedEra era where Source #

Consensus often needs some more functionality than the ledger currently provides.

Either the functionality shouldn't or can't live in the ledger, in which case it can be part and remain part of ShelleyBasedEra. Or, the functionality should live in the ledger, but hasn't yet been added to the ledger, or it hasn't yet been propagated to this repository, in which case it can be added to this class until that is the case.

If this class becomes redundant, We can move it to ledger and re-export it from here.

TODO Currently we include some constraints on the update state which are needed to determine the hard fork point. In the future this should be replaced with an appropriate API - see https://github.com/input-output-hk/ouroboros-network/issues/2890

Methods

shelleyBasedEraName ∷ proxy era → Text Source #

Return the name of the Shelley-based era, e.g., Shelley, Allegra, etc.

applyShelleyBasedTx ∷ Globals → LedgerEnv era → LedgerState era → WhetherToIntervene → Tx era → Except (ApplyTxError era) (LedgerState era, Validated (Tx era)) Source #

Instances

Instances details
(PraosCrypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ShelleyBasedEra (AllegraEra c) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

Methods

shelleyBasedEraName ∷ proxy (AllegraEra c) → Text Source #

applyShelleyBasedTx ∷ Globals → LedgerEnv (AllegraEra c) → LedgerState (AllegraEra c) → WhetherToIntervene → Tx (AllegraEra c) → Except (ApplyTxError (AllegraEra c)) (LedgerState (AllegraEra c), Validated (Tx (AllegraEra c))) Source #

(PraosCrypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ShelleyBasedEra (ShelleyEra c) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

Methods

shelleyBasedEraName ∷ proxy (ShelleyEra c) → Text Source #

applyShelleyBasedTx ∷ Globals → LedgerEnv (ShelleyEra c) → LedgerState (ShelleyEra c) → WhetherToIntervene → Tx (ShelleyEra c) → Except (ApplyTxError (ShelleyEra c)) (LedgerState (ShelleyEra c), Validated (Tx (ShelleyEra c))) Source #

(PraosCrypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ShelleyBasedEra (AlonzoEra c) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

Methods

shelleyBasedEraName ∷ proxy (AlonzoEra c) → Text Source #

applyShelleyBasedTx ∷ Globals → LedgerEnv (AlonzoEra c) → LedgerState (AlonzoEra c) → WhetherToIntervene → Tx (AlonzoEra c) → Except (ApplyTxError (AlonzoEra c)) (LedgerState (AlonzoEra c), Validated (Tx (AlonzoEra c))) Source #

(PraosCrypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ShelleyBasedEra (MaryEra c) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

Methods

shelleyBasedEraName ∷ proxy (MaryEra c) → Text Source #

applyShelleyBasedTx ∷ Globals → LedgerEnv (MaryEra c) → LedgerState (MaryEra c) → WhetherToIntervene → Tx (MaryEra c) → Except (ApplyTxError (MaryEra c)) (LedgerState (MaryEra c), Validated (Tx (MaryEra c))) Source #

PraosCrypto c ⇒ ShelleyBasedEra (BabbageEra c) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

Methods

shelleyBasedEraName ∷ proxy (BabbageEra c) → Text Source #

applyShelleyBasedTx ∷ Globals → LedgerEnv (BabbageEra c) → LedgerState (BabbageEra c) → WhetherToIntervene → Tx (BabbageEra c) → Except (ApplyTxError (BabbageEra c)) (LedgerState (BabbageEra c), Validated (Tx (BabbageEra c))) Source #

PraosCrypto c ⇒ ShelleyBasedEra (ConwayEra c) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

Methods

shelleyBasedEraName ∷ proxy (ConwayEra c) → Text Source #

applyShelleyBasedTx ∷ Globals → LedgerEnv (ConwayEra c) → LedgerState (ConwayEra c) → WhetherToIntervene → Tx (ConwayEra c) → Except (ApplyTxError (ConwayEra c)) (LedgerState (ConwayEra c), Validated (Tx (ConwayEra c))) Source #

newtype WrapTx era Source #

Wrapper for partially applying the Tx type family

For generality, Consensus uses that type family as eg the index of TranslateEra. We thus need to partially apply it.

cardano-ledger-specs also declares such a newtype, but currently it's only defined in the Alonzo translation module, which seems somewhat inappropriate to use for previous eras. Also, we use a Wrap prefix in Consensus. Hence this minor mediating definition. TODO I'm not even fully persuading myself with this justification.

Constructors

WrapTx 

Fields

Instances

Instances details
ShelleyBasedEra (AllegraEra c) ⇒ TranslateEra (AllegraEra c) WrapTx Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

Associated Types

type TranslationError (AllegraEra c) WrapTx

Methods

translateEra ∷ TranslationContext (AllegraEra c) → WrapTx (PreviousEra (AllegraEra c)) → Except (TranslationError (AllegraEra c) WrapTx) (WrapTx (AllegraEra c))

ShelleyBasedEra (AlonzoEra c) ⇒ TranslateEra (AlonzoEra c) WrapTx Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

Associated Types

type TranslationError (AlonzoEra c) WrapTx

Methods

translateEra ∷ TranslationContext (AlonzoEra c) → WrapTx (PreviousEra (AlonzoEra c)) → Except (TranslationError (AlonzoEra c) WrapTx) (WrapTx (AlonzoEra c))

ShelleyBasedEra (MaryEra c) ⇒ TranslateEra (MaryEra c) WrapTx Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

Associated Types

type TranslationError (MaryEra c) WrapTx

Methods

translateEra ∷ TranslationContext (MaryEra c) → WrapTx (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) WrapTx) (WrapTx (MaryEra c))

ShelleyBasedEra (BabbageEra c) ⇒ TranslateEra (BabbageEra c) WrapTx Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

Associated Types

type TranslationError (BabbageEra c) WrapTx

Methods

translateEra ∷ TranslationContext (BabbageEra c) → WrapTx (PreviousEra (BabbageEra c)) → Except (TranslationError (BabbageEra c) WrapTx) (WrapTx (BabbageEra c))

ShelleyBasedEra (ConwayEra c) ⇒ TranslateEra (ConwayEra c) WrapTx Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

Associated Types

type TranslationError (ConwayEra c) WrapTx

Methods

translateEra ∷ TranslationContext (ConwayEra c) → WrapTx (PreviousEra (ConwayEra c)) → Except (TranslationError (ConwayEra c) WrapTx) (WrapTx (ConwayEra c))

type TranslationError (AllegraEra c) WrapTx Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

type TranslationError (AllegraEra c) WrapTx = TranslationError (AllegraEra c) ShelleyTx
type TranslationError (AlonzoEra c) WrapTx Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

type TranslationError (AlonzoEra c) WrapTx = TranslationError (AlonzoEra c) Tx
type TranslationError (MaryEra c) WrapTx Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

type TranslationError (MaryEra c) WrapTx = TranslationError (MaryEra c) ShelleyTx
type TranslationError (BabbageEra c) WrapTx Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

type TranslationError (BabbageEra c) WrapTx = TranslationError (BabbageEra c) Tx
type TranslationError (ConwayEra c) WrapTx Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

type TranslationError (ConwayEra c) WrapTx = TranslationError (ConwayEra c) Tx

Type synonyms for convenience

type family EraCrypto era #

Instances

Instances details
type EraCrypto (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraCrypto (AllegraEra c) = c
type EraCrypto (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraCrypto (ShelleyEra c) = c
type EraCrypto (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraCrypto (AlonzoEra c) = c
type EraCrypto (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraCrypto (MaryEra c) = c
type EraCrypto (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraCrypto (BabbageEra c) = c
type EraCrypto (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraCrypto (ConwayEra c) = c
type EraCrypto (ByronEra c) 
Instance details

Defined in Cardano.Ledger.Core.Era

type EraCrypto (ByronEra c) = c

Re-exports

data StandardCrypto #

Instances

Instances details
PraosCrypto StandardCrypto 
Instance details

Defined in Ouroboros.Consensus.Protocol.Praos

PraosCrypto StandardCrypto 
Instance details

Defined in Cardano.Protocol.TPraos.API

Crypto StandardCrypto 
Instance details

Defined in Cardano.Ledger.Crypto

Associated Types

type HASH StandardCrypto

type ADDRHASH StandardCrypto

type DSIGN StandardCrypto

type KES StandardCrypto

type VRF StandardCrypto

type ADDRHASH StandardCrypto 
Instance details

Defined in Cardano.Ledger.Crypto

type ADDRHASH StandardCrypto = Blake2b_224
type DSIGN StandardCrypto 
Instance details

Defined in Cardano.Ledger.Crypto

type DSIGN StandardCrypto = Ed25519DSIGN
type HASH StandardCrypto 
Instance details

Defined in Cardano.Ledger.Crypto

type HASH StandardCrypto = Blake2b_256
type KES StandardCrypto 
Instance details

Defined in Cardano.Ledger.Crypto

type KES StandardCrypto = Sum6KES Ed25519DSIGN Blake2b_256
type VRF StandardCrypto 
Instance details

Defined in Cardano.Ledger.Crypto

type VRF StandardCrypto = PraosVRF

Exceptions