ouroboros-consensus-cardano-0.19.0.0: The instantation of the Ouroboros consensus layer used by Cardano
Safe HaskellSafe-Inferred
LanguageHaskell2010

Ouroboros.Consensus.Shelley.Eras

Synopsis

Eras based on the Shelley ledger

data AllegraEra c Source #

The Allegra era

Instances

Instances details
InjectRuleFailure "UTXO" AllegraUtxoPredFailure (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

Crypto c ⇒ FromCBOR (LegacyPParams (AllegraEra c)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Query.PParamsLegacyEncoder

Crypto c ⇒ ToCBOR (LegacyPParams (AllegraEra c)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Query.PParamsLegacyEncoder

Crypto c ⇒ AllegraEraScript (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Crypto c ⇒ AllegraEraTxAuxData (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Crypto c ⇒ AllegraEraTxBody (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Crypto c ⇒ Era (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Era

Associated Types

type EraCrypto (AllegraEra c) Source #

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

type ProtVerLow (AllegraEra c) ∷ Nat Source #

type ProtVerHigh (AllegraEra c) ∷ Nat Source #

Methods

eraNameString Source #

Crypto c ⇒ EraGenesis (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Era

Associated Types

type Genesis (AllegraEra c) Source #

Crypto c ⇒ GetLedgerView (AllegraEra c) 
Instance details

Defined in Cardano.Protocol.TPraos.API

CardanoHardForkConstraints c ⇒ CanHardFork (CardanoEras c) Source # 
Instance details

Defined in Ouroboros.Consensus.Cardano.CanHardFork

Associated Types

type HardForkTxMeasure (CardanoEras c) Source #

CardanoHardForkConstraints c ⇒ CondenseConstraints (CardanoBlock c) Source # 
Instance details

Defined in Ouroboros.Consensus.Cardano.Condense

CardanoHardForkConstraints c ⇒ SerialiseHFC (CardanoEras c) Source #

Important: we need to maintain binary compatibility with Byron blocks, as they are already stored on disk.

We also want to be able to efficiently detect (without having to peek far ahead) whether we're dealing with a Byron or Shelley block, so that we can invoke the right decoder. We plan to have a few more hard forks after Shelley (Goguen, Basho, Voltaire), so we want a future-proof envelope for distinguishing the different block types, i.e., a byte indicating the era.

Byron does not provide such an envelope. However, a Byron block is a CBOR 2-tuple with the first element being a tag (Word: 0 = EBB; 1 = regular block) and the second being the payload. We can easily extend this encoding format with support for Shelley, Goguen, etc.

We encode a CardanoBlock as the same CBOR 2-tuple as a Byron block, but we use the tags after 1 for the hard forks after Byron:

  1. Byron EBB
  2. Byron regular block
  3. Shelley block
  4. Allegra block
  5. Mary block
  6. Goguen block
  7. etc.

For more details, see: https://github.com/IntersectMBO/ouroboros-network/pull/1175#issuecomment-558147194

Instance details

Defined in Ouroboros.Consensus.Cardano.Node

CardanoHardForkConstraints c ⇒ SupportedNetworkProtocolVersion (CardanoBlock c) Source # 
Instance details

Defined in Ouroboros.Consensus.Cardano.Node

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

Defined in Ouroboros.Consensus.Shelley.Eras

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

Defined in Ouroboros.Consensus.Shelley.Eras

Associated Types

type TranslationError (AllegraEra c) WrapTx Source #

(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 "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 "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 "RUPD" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "SNAP" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "TICK" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Era

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 "UTXO" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "UTXOW" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "UTXOW" (AllegraEra c) = AllegraUTXOW (AllegraEra c)
type EraRuleEvent "LEDGER" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledger

type EraRuleEvent "TICK" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules

type EraRuleFailure "BBODY" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Bbody

type EraRuleFailure "DELEG" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Deleg

type EraRuleFailure "DELEGS" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Delegs

type EraRuleFailure "DELPL" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Delpl

type EraRuleFailure "LEDGER" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledger

type EraRuleFailure "LEDGERS" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledgers

type EraRuleFailure "POOL" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Pool

type EraRuleFailure "PPUP" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ppup

type EraRuleFailure "UTXO" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

type EraRuleFailure "UTXOW" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

type DowngradePParams f (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.PParams

type PParamsHKD f (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.PParams

type UpgradePParams f (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.PParams

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

Defined in Cardano.Ledger.Allegra.Scripts

type Script (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

type Tx (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

type TxAuxData (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

type TxBody (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

type TxBodyUpgradeError (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

type TxOut (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.TxOut

type TxSeq (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.TxSeq

type TxUpgradeError (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

type TxWits (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.TxWits

type Value (AllegraEra _1) 
Instance details

Defined in Cardano.Ledger.Allegra.Era

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

Defined in Cardano.Ledger.Allegra.Era

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

Defined in Cardano.Ledger.Allegra.Era

type ProtVerHigh (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type ProtVerLow (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type ProtVerLow (AllegraEra c) = 3
type TranslationContext (AllegraEra c)

No context is needed to translate from Shelley to Allegra.

Instance details

Defined in Cardano.Ledger.Allegra.Era

type TxCert (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.TxCert

type TxCertUpgradeError (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.TxCert

type Genesis (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type ScriptsNeeded (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.UTxO

type AdditionalGenesisConfig (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra

type GovState (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.PParams

newtype TransitionConfig (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Transition

type HardForkTxMeasure (CardanoEras c) Source # 
Instance details

Defined in Ouroboros.Consensus.Cardano.CanHardFork

type TranslationError (AllegraEra c) CertState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) CommitteeState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) DState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) PState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) VState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) PParams 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) PParamsUpdate 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) UTxO 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) FuturePParams 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) ShelleyGovState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) EpochState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) LedgerState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) NewEpochState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) UTxOState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) ProposedPPUpdates 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) Update 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) ShelleyTx 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) ShelleyTxOut 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) ShelleyTxWits 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) WrapTx Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

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

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

data AlonzoEra c Source #

The Alonzo era

Instances

Instances details
InjectRuleFailure "BBODY" AlonzoBbodyPredFailure (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

InjectRuleFailure "UTXO" AlonzoUtxoPredFailure (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

Generic (PlutusScript (AlonzoEra c)) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

type Rep (PlutusScript (AlonzoEra c)) ∷ TypeType #

Show (PlutusScript (AlonzoEra c)) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Crypto c ⇒ FromCBOR (LegacyPParams (AlonzoEra c)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Query.PParamsLegacyEncoder

Crypto c ⇒ ToCBOR (LegacyPParams (AlonzoEra c)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Query.PParamsLegacyEncoder

Crypto c ⇒ AlonzoEraPParams (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Crypto c ⇒ AlonzoEraScript (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

data PlutusScript (AlonzoEra c) Source #

type PlutusPurpose f (AlonzoEra c) = (r ∷ Type) Source #

Methods

eraMaxLanguageLanguage Source #

toPlutusScriptScript (AlonzoEra c) → Maybe (PlutusScript (AlonzoEra c)) Source #

fromPlutusScriptPlutusScript (AlonzoEra c) → Script (AlonzoEra c) Source #

mkPlutusScript ∷ ∀ (l ∷ Language). PlutusLanguage l ⇒ Plutus l → Maybe (PlutusScript (AlonzoEra c)) Source #

withPlutusScriptPlutusScript (AlonzoEra c) → (∀ (l ∷ Language). PlutusLanguage l ⇒ Plutus l → a) → a Source #

hoistPlutusPurpose ∷ (∀ ix it. g ix it → f ix it) → PlutusPurpose g (AlonzoEra c) → PlutusPurpose f (AlonzoEra c) Source #

mkSpendingPurpose ∷ f Word32 (TxIn (EraCrypto (AlonzoEra c))) → PlutusPurpose f (AlonzoEra c) Source #

toSpendingPurposePlutusPurpose f (AlonzoEra c) → Maybe (f Word32 (TxIn (EraCrypto (AlonzoEra c)))) Source #

mkMintingPurpose ∷ f Word32 (PolicyID (EraCrypto (AlonzoEra c))) → PlutusPurpose f (AlonzoEra c) Source #

toMintingPurposePlutusPurpose f (AlonzoEra c) → Maybe (f Word32 (PolicyID (EraCrypto (AlonzoEra c)))) Source #

mkCertifyingPurpose ∷ f Word32 (TxCert (AlonzoEra c)) → PlutusPurpose f (AlonzoEra c) Source #

toCertifyingPurposePlutusPurpose f (AlonzoEra c) → Maybe (f Word32 (TxCert (AlonzoEra c))) Source #

mkRewardingPurpose ∷ f Word32 (RewardAccount (EraCrypto (AlonzoEra c))) → PlutusPurpose f (AlonzoEra c) Source #

toRewardingPurposePlutusPurpose f (AlonzoEra c) → Maybe (f Word32 (RewardAccount (EraCrypto (AlonzoEra c)))) Source #

upgradePlutusPurposeAsIxPlutusPurpose AsIx (PreviousEra (AlonzoEra c)) → PlutusPurpose AsIx (AlonzoEra c) Source #

Crypto c ⇒ AlonzoEraTx (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Crypto c ⇒ AlonzoEraTxAuxData (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Crypto c ⇒ AlonzoEraTxBody (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Crypto c ⇒ AlonzoEraTxOut (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

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

Defined in Cardano.Ledger.Alonzo.TxWits

Crypto c ⇒ AlonzoEraUTxO (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.UTxO

Crypto c ⇒ Era (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

Associated Types

type EraCrypto (AlonzoEra c) Source #

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

type ProtVerLow (AlonzoEra c) ∷ Nat Source #

type ProtVerHigh (AlonzoEra c) ∷ Nat Source #

Methods

eraNameString Source #

SafeToHash (PlutusScript (AlonzoEra c)) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Crypto c ⇒ GetLedgerView (AlonzoEra c) 
Instance details

Defined in Cardano.Protocol.TPraos.API

NFData (PlutusScript (AlonzoEra c)) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

rnfPlutusScript (AlonzoEra c) → () #

Eq (PlutusScript (AlonzoEra c)) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Ord (PlutusScript (AlonzoEra c)) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

NoThunks (PlutusScript (AlonzoEra c)) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

CardanoHardForkConstraints c ⇒ CanHardFork (CardanoEras c) Source # 
Instance details

Defined in Ouroboros.Consensus.Cardano.CanHardFork

Associated Types

type HardForkTxMeasure (CardanoEras c) Source #

CardanoHardForkConstraints c ⇒ CondenseConstraints (CardanoBlock c) Source # 
Instance details

Defined in Ouroboros.Consensus.Cardano.Condense

CardanoHardForkConstraints c ⇒ SerialiseHFC (CardanoEras c) Source #

Important: we need to maintain binary compatibility with Byron blocks, as they are already stored on disk.

We also want to be able to efficiently detect (without having to peek far ahead) whether we're dealing with a Byron or Shelley block, so that we can invoke the right decoder. We plan to have a few more hard forks after Shelley (Goguen, Basho, Voltaire), so we want a future-proof envelope for distinguishing the different block types, i.e., a byte indicating the era.

Byron does not provide such an envelope. However, a Byron block is a CBOR 2-tuple with the first element being a tag (Word: 0 = EBB; 1 = regular block) and the second being the payload. We can easily extend this encoding format with support for Shelley, Goguen, etc.

We encode a CardanoBlock as the same CBOR 2-tuple as a Byron block, but we use the tags after 1 for the hard forks after Byron:

  1. Byron EBB
  2. Byron regular block
  3. Shelley block
  4. Allegra block
  5. Mary block
  6. Goguen block
  7. etc.

For more details, see: https://github.com/IntersectMBO/ouroboros-network/pull/1175#issuecomment-558147194

Instance details

Defined in Ouroboros.Consensus.Cardano.Node

CardanoHardForkConstraints c ⇒ SupportedNetworkProtocolVersion (CardanoBlock c) Source # 
Instance details

Defined in Ouroboros.Consensus.Cardano.Node

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

Defined in Ouroboros.Consensus.Shelley.Eras

Crypto c ⇒ TranslateEra (AlonzoEra c) Tx 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

Associated Types

type TranslationError (AlonzoEra c) Tx Source #

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

Defined in Ouroboros.Consensus.Shelley.Eras

Associated Types

type TranslationError (AlonzoEra c) WrapTx Source #

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

Defined in Ouroboros.Consensus.Shelley.HFEras

Crypto c ⇒ ToJSON (AlonzoPParams Identity (AlonzoEra c)) 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Crypto c ⇒ ToJSON (AlonzoPParams StrictMaybe (AlonzoEra c)) 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

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 PlutusPurpose f (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

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 EraRuleEvent "LEDGER" (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules

type EraRuleEvent "PPUP" (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ppup

type EraRuleEvent "TICK" (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules

type EraRuleFailure "BBODY" (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

type EraRuleFailure "DELEG" (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Deleg

type EraRuleFailure "DELEGS" (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Delegs

type EraRuleFailure "DELPL" (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Delpl

type EraRuleFailure "LEDGER" (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

type EraRuleFailure "LEDGERS" (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

type EraRuleFailure "POOL" (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Pool

type EraRuleFailure "PPUP" (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ppup

type EraRuleFailure "UTXO" (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

type EraRuleFailure "UTXOS" (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

type EraRuleFailure "UTXOW" (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

type DowngradePParams f (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

type PParamsHKD f (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

type UpgradePParams f (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

type Rep (PlutusScript (AlonzoEra c)) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Rep (TransitionConfig (AlonzoEra c)) 
Instance details

Defined in Cardano.Ledger.Alonzo.Transition

type Rep (TransitionConfig (AlonzoEra c)) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Alonzo.Transition" "cardano-ledger-alonzo-1.10.2.0-2ce83c13887e4f5ea7b3b33c48faf39dac1aa2e6d839ea86eeff384cb1b8e121" 'False) (C1 ('MetaCons "AlonzoTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "atcAlonzoGenesis") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 AlonzoGenesis) :*: S1 ('MetaSel ('Just "atcMaryTransitionConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TransitionConfig (MaryEra c)))))
type ContextError (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo

newtype PlutusScript (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type NativeScript (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Script (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Tx (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

type TxAuxData (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

type TxBody (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

type TxBodyUpgradeError (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

type TxOut (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

type TxSeq (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxSeq

type TxUpgradeError (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

type TxUpgradeError (AlonzoEra c) = AlonzoTxUpgradeError
type TxWits (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type Value (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraCrypto (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

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

Defined in Cardano.Ledger.Alonzo.Era

type ProtVerHigh (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

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

Defined in Cardano.Ledger.Alonzo.Era

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

Defined in Cardano.Ledger.Alonzo.Translation

type TxCert (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxCert

type TxCertUpgradeError (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxCert

type Genesis (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Genesis

type ScriptsNeeded (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.UTxO

type AdditionalGenesisConfig (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo

type GovState (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

data TransitionConfig (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Transition

type HardForkTxMeasure (CardanoEras c) Source # 
Instance details

Defined in Ouroboros.Consensus.Cardano.CanHardFork

type TranslationError (AlonzoEra c) Tx 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError (AlonzoEra c) CertState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError (AlonzoEra c) CommitteeState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError (AlonzoEra c) DState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError (AlonzoEra c) PState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError (AlonzoEra c) VState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError (AlonzoEra c) PParams 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError (AlonzoEra c) UTxO 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError (AlonzoEra c) FuturePParams 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError (AlonzoEra c) ShelleyGovState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError (AlonzoEra c) EpochState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError (AlonzoEra c) LedgerState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError (AlonzoEra c) NewEpochState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError (AlonzoEra c) UTxOState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError (AlonzoEra c) ProposedPPUpdates 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError (AlonzoEra c) WrapTx Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

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

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

data BabbageEra c Source #

The Babbage era

Instances

Instances details
InjectRuleFailure "UTXO" BabbageUtxoPredFailure (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxo

InjectRuleFailure "UTXOW" BabbageUtxowPredFailure (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

Crypto c ⇒ FromCBOR (LegacyPParams (BabbageEra c)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Query.PParamsLegacyEncoder

Crypto c ⇒ ToCBOR (LegacyPParams (BabbageEra c)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Query.PParamsLegacyEncoder

Crypto c ⇒ BabbageEraPParams (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

Methods

hkdCoinsPerUTxOByteL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f CoinPerByte) Source #

Crypto c ⇒ BabbageEraTxBody (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Crypto c ⇒ BabbageEraTxOut (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Crypto c ⇒ Era (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Era

Associated Types

type EraCrypto (BabbageEra c) Source #

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

type ProtVerLow (BabbageEra c) ∷ Nat Source #

type ProtVerHigh (BabbageEra c) ∷ Nat Source #

Methods

eraNameString Source #

Crypto c ⇒ EraGenesis (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Era

Associated Types

type Genesis (BabbageEra c) Source #

Crypto c ⇒ GetLedgerView (BabbageEra c) 
Instance details

Defined in Cardano.Protocol.TPraos.API

CardanoHardForkConstraints c ⇒ CanHardFork (CardanoEras c) Source # 
Instance details

Defined in Ouroboros.Consensus.Cardano.CanHardFork

Associated Types

type HardForkTxMeasure (CardanoEras c) Source #

CardanoHardForkConstraints c ⇒ CondenseConstraints (CardanoBlock c) Source # 
Instance details

Defined in Ouroboros.Consensus.Cardano.Condense

CardanoHardForkConstraints c ⇒ SerialiseHFC (CardanoEras c) Source #

Important: we need to maintain binary compatibility with Byron blocks, as they are already stored on disk.

We also want to be able to efficiently detect (without having to peek far ahead) whether we're dealing with a Byron or Shelley block, so that we can invoke the right decoder. We plan to have a few more hard forks after Shelley (Goguen, Basho, Voltaire), so we want a future-proof envelope for distinguishing the different block types, i.e., a byte indicating the era.

Byron does not provide such an envelope. However, a Byron block is a CBOR 2-tuple with the first element being a tag (Word: 0 = EBB; 1 = regular block) and the second being the payload. We can easily extend this encoding format with support for Shelley, Goguen, etc.

We encode a CardanoBlock as the same CBOR 2-tuple as a Byron block, but we use the tags after 1 for the hard forks after Byron:

  1. Byron EBB
  2. Byron regular block
  3. Shelley block
  4. Allegra block
  5. Mary block
  6. Goguen block
  7. etc.

For more details, see: https://github.com/IntersectMBO/ouroboros-network/pull/1175#issuecomment-558147194

Instance details

Defined in Ouroboros.Consensus.Cardano.Node

CardanoHardForkConstraints c ⇒ SupportedNetworkProtocolVersion (CardanoBlock c) Source # 
Instance details

Defined in Ouroboros.Consensus.Cardano.Node

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

Defined in Ouroboros.Consensus.Shelley.Eras

Crypto c ⇒ TranslateEra (BabbageEra c) Tx 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

Associated Types

type TranslationError (BabbageEra c) Tx Source #

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

Defined in Ouroboros.Consensus.Shelley.Eras

Associated Types

type TranslationError (BabbageEra c) WrapTx Source #

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 #

We anachronistically use ConwayMeasure in Babbage.

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Associated Types

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

type PlutusPurpose f (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

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 "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 "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 "RUPD" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "SNAP" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "TICK" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Era

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 "UTXO" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Era

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 EraRuleEvent "LEDGER" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Rules

type EraRuleEvent "PPUP" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Rules

type EraRuleEvent "TICK" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Rules

type EraRuleEvent "UTXOS" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxos

type EraRuleFailure "BBODY" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Bbody

type EraRuleFailure "DELEG" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Deleg

type EraRuleFailure "DELEGS" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Delegs

type EraRuleFailure "DELPL" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Delpl

type EraRuleFailure "LEDGER" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

type EraRuleFailure "LEDGERS" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledgers

type EraRuleFailure "POOL" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Pool

type EraRuleFailure "PPUP" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ppup

type EraRuleFailure "UTXO" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxo

type EraRuleFailure "UTXOS" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxos

type EraRuleFailure "UTXOW" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

type DowngradePParams f (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

type PParamsHKD f (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

type UpgradePParams f (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

type UpgradePParams f (BabbageEra c) = ()
type Rep (PlutusScript (BabbageEra c)) 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

type Rep (PlutusScript (BabbageEra c)) = D1 ('MetaData "PlutusScript" "Cardano.Ledger.Babbage.Scripts" "cardano-ledger-babbage-1.9.0.0-1b2de9911fbad84dde1a52da547d0e3f99a081e8c6218abceee218d1e3387e1b" 'False) (C1 ('MetaCons "BabbagePlutusV1" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV1))) :+: C1 ('MetaCons "BabbagePlutusV2" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV2))))
type ContextError (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.TxInfo

data PlutusScript (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

type NativeScript (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

type Script (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

type Tx (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Tx

type TxAuxData (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.TxAuxData

type TxBody (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

type TxBodyUpgradeError (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

type TxOut (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

type TxSeq (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Tx

type TxUpgradeError (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Tx

type TxUpgradeError (BabbageEra c) = BabbageTxUpgradeError
type TxWits (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.TxWits

type Value (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraCrypto (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Era

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

Defined in Cardano.Ledger.Babbage.Era

type ProtVerHigh (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Era

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

Defined in Cardano.Ledger.Babbage.Era

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

Defined in Cardano.Ledger.Babbage.Era

type TxCert (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.TxCert

type TxCertUpgradeError (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.TxCert

type Genesis (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type ScriptsNeeded (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.UTxO

type AdditionalGenesisConfig (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage

type GovState (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

newtype TransitionConfig (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Transition

type HardForkTxMeasure (CardanoEras c) Source # 
Instance details

Defined in Ouroboros.Consensus.Cardano.CanHardFork

type TranslationError (BabbageEra c) Tx 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError (BabbageEra c) CertState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError (BabbageEra c) CommitteeState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError (BabbageEra c) DState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError (BabbageEra c) PState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError (BabbageEra c) VState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError (BabbageEra c) PParams 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError (BabbageEra c) UTxO 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError (BabbageEra c) FuturePParams 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError (BabbageEra c) ShelleyGovState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError (BabbageEra c) EpochState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError (BabbageEra c) LedgerState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError (BabbageEra c) NewEpochState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError (BabbageEra c) UTxOState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError (BabbageEra c) ProposedPPUpdates 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError (BabbageEra c) WrapTx Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

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

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

data ConwayEra c Source #

The Conway era

Instances

Instances details
InjectRuleEvent "UTXOS" ConwayUtxosEvent (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

InjectRuleFailure "BBODY" ConwayBbodyPredFailure (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

InjectRuleFailure "CERT" ConwayCertPredFailure (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

InjectRuleFailure "CERTS" ConwayCertsPredFailure (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

InjectRuleFailure "DELEG" ConwayDelegPredFailure (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

InjectRuleFailure "GOV" ConwayGovPredFailure (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

InjectRuleFailure "GOVCERT" ConwayGovCertPredFailure (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

InjectRuleFailure "LEDGER" ConwayLedgerPredFailure (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

InjectRuleFailure "UTXO" ConwayUtxoPredFailure (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxo

InjectRuleFailure "UTXOS" ConwayUtxosPredFailure (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

InjectRuleFailure "UTXOW" ConwayUtxowPredFailure (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

Crypto c ⇒ FromCBOR (LegacyPParams (ConwayEra c)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Query.PParamsLegacyEncoder

Crypto c ⇒ ToCBOR (LegacyPParams (ConwayEra c)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Query.PParamsLegacyEncoder

Crypto c ⇒ ConwayEraGov (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Governance

Crypto c ⇒ ConwayEraPParams (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Crypto c ⇒ ConwayEraScript (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Crypto c ⇒ ConwayEraTransition (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Transition

Crypto c ⇒ ConwayEraTxBody (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

Crypto c ⇒ ConwayEraTxCert (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

Methods

mkRegDepositTxCertStakeCredential (EraCrypto (ConwayEra c)) → CoinTxCert (ConwayEra c) Source #

getRegDepositTxCertTxCert (ConwayEra c) → Maybe (StakeCredential (EraCrypto (ConwayEra c)), Coin) Source #

mkUnRegDepositTxCertStakeCredential (EraCrypto (ConwayEra c)) → CoinTxCert (ConwayEra c) Source #

getUnRegDepositTxCertTxCert (ConwayEra c) → Maybe (StakeCredential (EraCrypto (ConwayEra c)), Coin) Source #

mkDelegTxCertStakeCredential (EraCrypto (ConwayEra c)) → Delegatee (EraCrypto (ConwayEra c)) → TxCert (ConwayEra c) Source #

getDelegTxCertTxCert (ConwayEra c) → Maybe (StakeCredential (EraCrypto (ConwayEra c)), Delegatee (EraCrypto (ConwayEra c))) Source #

mkRegDepositDelegTxCertStakeCredential (EraCrypto (ConwayEra c)) → Delegatee (EraCrypto (ConwayEra c)) → CoinTxCert (ConwayEra c) Source #

getRegDepositDelegTxCertTxCert (ConwayEra c) → Maybe (StakeCredential (EraCrypto (ConwayEra c)), Delegatee (EraCrypto (ConwayEra c)), Coin) Source #

mkAuthCommitteeHotKeyTxCertCredential 'ColdCommitteeRole (EraCrypto (ConwayEra c)) → Credential 'HotCommitteeRole (EraCrypto (ConwayEra c)) → TxCert (ConwayEra c) Source #

getAuthCommitteeHotKeyTxCertTxCert (ConwayEra c) → Maybe (Credential 'ColdCommitteeRole (EraCrypto (ConwayEra c)), Credential 'HotCommitteeRole (EraCrypto (ConwayEra c))) Source #

mkResignCommitteeColdTxCertCredential 'ColdCommitteeRole (EraCrypto (ConwayEra c)) → StrictMaybe (Anchor (EraCrypto (ConwayEra c))) → TxCert (ConwayEra c) Source #

getResignCommitteeColdTxCertTxCert (ConwayEra c) → Maybe (Credential 'ColdCommitteeRole (EraCrypto (ConwayEra c)), StrictMaybe (Anchor (EraCrypto (ConwayEra c)))) Source #

mkRegDRepTxCertCredential 'DRepRole (EraCrypto (ConwayEra c)) → CoinStrictMaybe (Anchor (EraCrypto (ConwayEra c))) → TxCert (ConwayEra c) Source #

getRegDRepTxCertTxCert (ConwayEra c) → Maybe (Credential 'DRepRole (EraCrypto (ConwayEra c)), Coin, StrictMaybe (Anchor (EraCrypto (ConwayEra c)))) Source #

mkUnRegDRepTxCertCredential 'DRepRole (EraCrypto (ConwayEra c)) → CoinTxCert (ConwayEra c) Source #

getUnRegDRepTxCertTxCert (ConwayEra c) → Maybe (Credential 'DRepRole (EraCrypto (ConwayEra c)), Coin) Source #

mkUpdateDRepTxCertCredential 'DRepRole (EraCrypto (ConwayEra c)) → StrictMaybe (Anchor (EraCrypto (ConwayEra c))) → TxCert (ConwayEra c) Source #

getUpdateDRepTxCertTxCert (ConwayEra c) → Maybe (Credential 'DRepRole (EraCrypto (ConwayEra c)), StrictMaybe (Anchor (EraCrypto (ConwayEra c)))) Source #

Crypto c ⇒ Era (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

Associated Types

type EraCrypto (ConwayEra c) Source #

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

type ProtVerLow (ConwayEra c) ∷ Nat Source #

type ProtVerHigh (ConwayEra c) ∷ Nat Source #

Methods

eraNameString Source #

Crypto c ⇒ GetLedgerView (ConwayEra c) 
Instance details

Defined in Cardano.Protocol.TPraos.API