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

Methods

injectFailure ∷ AllegraUtxoPredFailure (AllegraEra c) → EraRuleFailure "UTXO" (AllegraEra c) Source #

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

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

Methods

fromCBOR ∷ Decoder s (LegacyPParams (AllegraEra c)) Source #

label ∷ Proxy (LegacyPParams (AllegraEra c)) → Text Source #

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

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

Methods

toCBOR ∷ LegacyPParams (AllegraEra c) → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (LegacyPParams (AllegraEra c)) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [LegacyPParams (AllegraEra c)] → Size Source #

Crypto c ⇒ AllegraEraScript (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

mkTimeStart ∷ SlotNo → NativeScript (AllegraEra c) Source #

getTimeStart ∷ NativeScript (AllegraEra c) → Maybe SlotNo Source #

mkTimeExpire ∷ SlotNo → NativeScript (AllegraEra c) Source #

getTimeExpire ∷ NativeScript (AllegraEra c) → Maybe SlotNo Source #

Crypto c ⇒ AllegraEraTxAuxData (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Methods

timelockScriptsTxAuxDataL ∷ Lens' (TxAuxData (AllegraEra c)) (StrictSeq (Timelock (AllegraEra c))) Source #

Crypto c ⇒ AllegraEraTxBody (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

vldtTxBodyL ∷ Lens' (TxBody (AllegraEra c)) ValidityInterval Source #

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

eraName ∷ String 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

Methods

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

futureLedgerView ∷ MonadError (FutureLedgerViewError (AllegraEra c)) m ⇒ Globals → NewEpochState (AllegraEra c) → SlotNo → m (LedgerView (EraCrypto (AllegraEra c))) Source #

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

Defined in Ouroboros.Consensus.Cardano.CanHardFork

Associated Types

type HardForkTxMeasure (CardanoEras c) Source #

Methods

hardForkEraTranslation ∷ EraTranslation (CardanoEras c) Source #

hardForkChainSel ∷ Tails AcrossEraSelection (CardanoEras c) Source #

hardForkInjectTxs ∷ InPairs (RequiringBoth WrapLedgerConfig (Product2 InjectTx InjectValidatedTx)) (CardanoEras c) Source #

hardForkInjTxMeasure ∷ NS WrapTxMeasure (CardanoEras c) → 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

Methods

encodeDiskHfcBlock ∷ CodecConfig (HardForkBlock (CardanoEras c)) → HardForkBlock (CardanoEras c) → Encoding Source #

decodeDiskHfcBlock ∷ CodecConfig (HardForkBlock (CardanoEras c)) → ∀ s. Decoder s (ByteString → HardForkBlock (CardanoEras c)) Source #

reconstructHfcPrefixLen ∷ proxy (Header (HardForkBlock (CardanoEras c))) → PrefixLen Source #

reconstructHfcNestedCtxt ∷ proxy (Header (HardForkBlock (CardanoEras c))) → ShortByteString → SizeInBytes → SomeSecond (NestedCtxt Header) (HardForkBlock (CardanoEras c)) Source #

getHfcBinaryBlockInfo ∷ HardForkBlock (CardanoEras c) → BinaryBlockInfo Source #

estimateHfcBlockSize ∷ Header (HardForkBlock (CardanoEras c)) → SizeInBytes Source #

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

Defined in Ouroboros.Consensus.Cardano.Node

Methods

supportedNodeToNodeVersions ∷ Proxy (CardanoBlock c) → Map NodeToNodeVersion (BlockNodeToNodeVersion (CardanoBlock c)) Source #

supportedNodeToClientVersions ∷ Proxy (CardanoBlock c) → Map NodeToClientVersion (BlockNodeToClientVersion (CardanoBlock c)) Source #

latestReleasedNodeVersion ∷ Proxy (CardanoBlock c) → (Maybe NodeToNodeVersion, Maybe NodeToClientVersion) Source #

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

Defined in Ouroboros.Consensus.Shelley.Eras

Methods

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

getConwayEraGovDict ∷ proxy (AllegraEra c) → Maybe (ConwayEraGovDict (AllegraEra c)) Source #

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

Defined in Ouroboros.Consensus.Shelley.Eras

Associated Types

type TranslationError (AllegraEra c) WrapTx Source #

Methods

translateEra ∷ TranslationContext (AllegraEra c) → WrapTx (PreviousEra (AllegraEra c)) → Except (TranslationError (AllegraEra c) WrapTx) (WrapTx (AllegraEra c)) 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 #

Methods

txMeasure ∷ LedgerConfig (ShelleyBlock p (AllegraEra c)) → TickedLedgerState (ShelleyBlock p (AllegraEra c)) → GenTx (ShelleyBlock p (AllegraEra c)) → Except (ApplyTxErr (ShelleyBlock p (AllegraEra c))) (TxMeasure (ShelleyBlock p (AllegraEra c))) Source #

blockCapacityTxMeasure ∷ LedgerConfig (ShelleyBlock p (AllegraEra c)) → TickedLedgerState (ShelleyBlock p (AllegraEra c)) → 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 EraRuleEvent "LEDGER" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledger

type EraRuleEvent "LEDGER" (AllegraEra c) = ShelleyLedgerEvent (AllegraEra c)
type EraRuleEvent "TICK" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules

type EraRuleEvent "TICK" (AllegraEra c) = ShelleyTickEvent (AllegraEra c)
type EraRuleFailure "BBODY" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Bbody

type EraRuleFailure "BBODY" (AllegraEra c) = ShelleyBbodyPredFailure (AllegraEra c)
type EraRuleFailure "DELEG" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Deleg

type EraRuleFailure "DELEG" (AllegraEra c) = ShelleyDelegPredFailure (AllegraEra c)
type EraRuleFailure "DELEGS" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Delegs

type EraRuleFailure "DELEGS" (AllegraEra c) = ShelleyDelegsPredFailure (AllegraEra c)
type EraRuleFailure "DELPL" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Delpl

type EraRuleFailure "DELPL" (AllegraEra c) = ShelleyDelplPredFailure (AllegraEra c)
type EraRuleFailure "LEDGER" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledger

type EraRuleFailure "LEDGER" (AllegraEra c) = ShelleyLedgerPredFailure (AllegraEra c)
type EraRuleFailure "LEDGERS" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledgers

type EraRuleFailure "LEDGERS" (AllegraEra c) = ShelleyLedgersPredFailure (AllegraEra c)
type EraRuleFailure "POOL" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Pool

type EraRuleFailure "POOL" (AllegraEra c) = ShelleyPoolPredFailure (AllegraEra c)
type EraRuleFailure "PPUP" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ppup

type EraRuleFailure "PPUP" (AllegraEra c) = ShelleyPpupPredFailure (AllegraEra c)
type EraRuleFailure "UTXO" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

type EraRuleFailure "UTXO" (AllegraEra c) = AllegraUtxoPredFailure (AllegraEra c)
type EraRuleFailure "UTXOW" (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

type EraRuleFailure "UTXOW" (AllegraEra c) = ShelleyUtxowPredFailure (AllegraEra c)
type DowngradePParams f (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.PParams

type DowngradePParams f (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 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 NativeScript (AllegraEra c) = Timelock (AllegraEra c)
type Script (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

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

Defined in Cardano.Ledger.Allegra.Tx

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

Defined in Cardano.Ledger.Allegra.TxAuxData

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

Defined in Cardano.Ledger.Allegra.TxBody

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

Defined in Cardano.Ledger.Allegra.TxBody

type TxBodyUpgradeError (AllegraEra c) = Void
type TxOut (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.TxOut

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

Defined in Cardano.Ledger.Allegra.TxSeq

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

Defined in Cardano.Ledger.Allegra.Tx

type TxUpgradeError (AllegraEra c) = Void
type TxWits (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.TxWits

type TxWits (AllegraEra c) = ShelleyTxWits (AllegraEra c)
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 PreviousEra (AllegraEra c) = ShelleyEra c
type ProtVerHigh (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type ProtVerHigh (AllegraEra c) = ProtVerLow (AllegraEra c)
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 TranslationContext (AllegraEra c) = NoGenesis (AllegraEra c)
type TxCert (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.TxCert

type TxCert (AllegraEra c) = ShelleyTxCert (AllegraEra c)
type TxCertUpgradeError (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.TxCert

type TxCertUpgradeError (AllegraEra c) = Void
type Genesis (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type Genesis (AllegraEra c) = NoGenesis (AllegraEra c)
type ScriptsNeeded (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.UTxO

type ScriptsNeeded (AllegraEra c) = ShelleyScriptsNeeded (AllegraEra c)
type AdditionalGenesisConfig (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra

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

Defined in Cardano.Ledger.Allegra.PParams

type GovState (AllegraEra c) = ShelleyGovState (AllegraEra c)
newtype TransitionConfig (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Transition

newtype TransitionConfig (AllegraEra c) = AllegraTransitionConfig {}
type HardForkTxMeasure (CardanoEras c) Source # 
Instance details

Defined in Ouroboros.Consensus.Cardano.CanHardFork

type HardForkTxMeasure (CardanoEras c) = ConwayMeasure
type TranslationError (AllegraEra c) CertState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) CertState = Void
type TranslationError (AllegraEra c) CommitteeState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) CommitteeState = Void
type TranslationError (AllegraEra c) DState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) DState = Void
type TranslationError (AllegraEra c) PState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) PState = Void
type TranslationError (AllegraEra c) VState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

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

Defined in Cardano.Ledger.Allegra.Translation

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

Defined in Cardano.Ledger.Allegra.Translation

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

Defined in Cardano.Ledger.Allegra.Translation

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

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) FuturePParams = Void
type TranslationError (AllegraEra c) ShelleyGovState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) ShelleyGovState = Void
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) NewEpochState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

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

Defined in Cardano.Ledger.Allegra.Translation

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

Defined in Cardano.Ledger.Allegra.Translation

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

Defined in Cardano.Ledger.Allegra.Translation

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

Defined in Cardano.Ledger.Allegra.Translation

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

Defined in Cardano.Ledger.Allegra.Translation

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

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) ShelleyTxWits = DecoderError
type TranslationError (AllegraEra c) WrapTx Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

type TranslationError (AllegraEra c) WrapTx = TranslationError (AllegraEra c) ShelleyTx
type TxMeasure (ShelleyBlock p (AllegraEra c)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type TxMeasure (ShelleyBlock p (AllegraEra c)) = IgnoringOverflow ByteSize32

data AlonzoEra c Source #

The Alonzo era

Instances

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

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

Methods

injectFailure ∷ AlonzoBbodyPredFailure (AlonzoEra c) → EraRuleFailure "BBODY" (AlonzoEra c) Source #

InjectRuleFailure "UTXO" AlonzoUtxoPredFailure (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

Methods

injectFailure ∷ AlonzoUtxoPredFailure (AlonzoEra c) → EraRuleFailure "UTXO" (AlonzoEra c) Source #

InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

injectFailure ∷ AlonzoUtxosPredFailure (AlonzoEra c) → EraRuleFailure "UTXOS" (AlonzoEra c) Source #

InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

Methods

injectFailure ∷ AlonzoUtxowPredFailure (AlonzoEra c) → EraRuleFailure "UTXOW" (AlonzoEra c) Source #

Generic (PlutusScript (AlonzoEra c)) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

type Rep (PlutusScript (AlonzoEra c)) ∷ Type → Type #

Methods

from ∷ PlutusScript (AlonzoEra c) → Rep (PlutusScript (AlonzoEra c)) x #

to ∷ Rep (PlutusScript (AlonzoEra c)) x → PlutusScript (AlonzoEra c) #

Show (PlutusScript (AlonzoEra c)) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

showsPrec ∷ Int → PlutusScript (AlonzoEra c) → ShowS #

show ∷ PlutusScript (AlonzoEra c) → String #

showList ∷ [PlutusScript (AlonzoEra c)] → ShowS #

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

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

Methods

fromCBOR ∷ Decoder s (LegacyPParams (AlonzoEra c)) Source #

label ∷ Proxy (LegacyPParams (AlonzoEra c)) → Text Source #

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

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

Methods

toCBOR ∷ LegacyPParams (AlonzoEra c) → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (LegacyPParams (AlonzoEra c)) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [LegacyPParams (AlonzoEra c)] → Size Source #

Crypto c ⇒ AlonzoEraPParams (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

hkdCoinsPerUTxOWordL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ExactEra AlonzoEra (AlonzoEra c)) ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f CoinPerWord) Source #

hkdCostModelsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f CostModels) Source #

hkdPricesL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f Prices) Source #

hkdMaxTxExUnitsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f ExUnits) Source #

hkdMaxBlockExUnitsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f ExUnits) Source #

hkdMaxValSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f Natural) Source #

hkdCollateralPercentageL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f Natural) Source #

hkdMaxCollateralInputsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AlonzoEra c)) (HKD f Natural) Source #

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

eraMaxLanguage ∷ Language Source #

toPlutusScript ∷ Script (AlonzoEra c) → Maybe (PlutusScript (AlonzoEra c)) Source #

fromPlutusScript ∷ PlutusScript (AlonzoEra c) → Script (AlonzoEra c) Source #

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

withPlutusScript ∷ PlutusScript (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 #

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

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

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

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

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

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

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

upgradePlutusPurposeAsIx ∷ PlutusPurpose AsIx (PreviousEra (AlonzoEra c)) → PlutusPurpose AsIx (AlonzoEra c) Source #

Crypto c ⇒ AlonzoEraTx (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

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

Crypto c ⇒ AlonzoEraTxAuxData (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Methods

plutusScriptsTxAuxDataL ∷ Lens' (TxAuxData (AlonzoEra c)) (Map Language (NonEmpty PlutusBinary)) Source #

Crypto c ⇒ AlonzoEraTxBody (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

collateralInputsTxBodyL ∷ Lens' (TxBody (AlonzoEra c)) (Set (TxIn (EraCrypto (AlonzoEra c)))) Source #

reqSignerHashesTxBodyL ∷ Lens' (TxBody (AlonzoEra c)) (Set (KeyHash 'Witness (EraCrypto (AlonzoEra c)))) Source #

scriptIntegrityHashTxBodyL ∷ Lens' (TxBody (AlonzoEra c)) (StrictMaybe (ScriptIntegrityHash (EraCrypto (AlonzoEra c)))) Source #

networkIdTxBodyL ∷ Lens' (TxBody (AlonzoEra c)) (StrictMaybe Network) Source #

redeemerPointer ∷ TxBody (AlonzoEra c) → PlutusPurpose AsItem (AlonzoEra c) → StrictMaybe (PlutusPurpose AsIx (AlonzoEra c)) Source #

redeemerPointerInverse ∷ TxBody (AlonzoEra c) → PlutusPurpose AsIx (AlonzoEra c) → StrictMaybe (PlutusPurpose AsIxItem (AlonzoEra c)) Source #

Crypto c ⇒ AlonzoEraTxOut (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

dataHashTxOutL ∷ Lens' (TxOut (AlonzoEra c)) (StrictMaybe (DataHash (EraCrypto (AlonzoEra c)))) Source #

datumTxOutF ∷ SimpleGetter (TxOut (AlonzoEra c)) (Datum (AlonzoEra c)) Source #

(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)) Source #

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

Crypto c ⇒ AlonzoEraUTxO (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.UTxO

Methods

getSupplementalDataHashes ∷ UTxO (AlonzoEra c) → TxBody (AlonzoEra c) → Set (DataHash (EraCrypto (AlonzoEra c))) Source #

getSpendingDatum ∷ UTxO (AlonzoEra c) → Tx (AlonzoEra c) → PlutusPurpose AsItem (AlonzoEra c) → Maybe (Data (AlonzoEra c)) Source #

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

eraName ∷ String Source #

SafeToHash (PlutusScript (AlonzoEra c)) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

originalBytes ∷ PlutusScript (AlonzoEra c) → ByteString Source #

originalBytesSize ∷ PlutusScript (AlonzoEra c) → Int Source #

makeHashWithExplicitProxys ∷ HashAlgorithm (HASH c0) ⇒ Proxy c0 → Proxy index → PlutusScript (AlonzoEra c) → SafeHash c0 index Source #

Crypto c ⇒ GetLedgerView (AlonzoEra c) 
Instance details

Defined in Cardano.Protocol.TPraos.API

Methods

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

futureLedgerView ∷ MonadError (FutureLedgerViewError (AlonzoEra c)) m ⇒ Globals → NewEpochState (AlonzoEra c) → SlotNo → m (LedgerView (EraCrypto (AlonzoEra c))) Source #

NFData (PlutusScript (AlonzoEra c)) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

rnf ∷ PlutusScript (AlonzoEra c) → () #

Eq (PlutusScript (AlonzoEra c)) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

(==) ∷ PlutusScript (AlonzoEra c) → PlutusScript (AlonzoEra c) → Bool #

(/=) ∷ PlutusScript (AlonzoEra c) → PlutusScript (AlonzoEra c) → Bool #

Ord (PlutusScript (AlonzoEra c)) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

compare ∷ PlutusScript (AlonzoEra c) → PlutusScript (AlonzoEra c) → Ordering #

(<) ∷ PlutusScript (AlonzoEra c) → PlutusScript (AlonzoEra c) → Bool #

(<=) ∷ PlutusScript (AlonzoEra c) → PlutusScript (AlonzoEra c) → Bool #

(>) ∷ PlutusScript (AlonzoEra c) → PlutusScript (AlonzoEra c) → Bool #

(>=) ∷ PlutusScript (AlonzoEra c) → PlutusScript (AlonzoEra c) → Bool #

max ∷ PlutusScript (AlonzoEra c) → PlutusScript (AlonzoEra c) → PlutusScript (AlonzoEra c) #

min ∷ PlutusScript (AlonzoEra c) → PlutusScript (AlonzoEra c) → PlutusScript (AlonzoEra c) #

NoThunks (PlutusScript (AlonzoEra c)) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

noThunks ∷ Context → PlutusScript (AlonzoEra c) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PlutusScript (AlonzoEra c) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (PlutusScript (AlonzoEra c)) → String Source #

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

Defined in Ouroboros.Consensus.Cardano.CanHardFork

Associated Types

type HardForkTxMeasure (CardanoEras c) Source #

Methods

hardForkEraTranslation ∷ EraTranslation (CardanoEras c) Source #

hardForkChainSel ∷ Tails AcrossEraSelection (CardanoEras c) Source #

hardForkInjectTxs ∷ InPairs (RequiringBoth WrapLedgerConfig (Product2 InjectTx InjectValidatedTx)) (CardanoEras c) Source #

hardForkInjTxMeasure ∷ NS WrapTxMeasure (CardanoEras c) → 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

Methods

encodeDiskHfcBlock ∷ CodecConfig (HardForkBlock (CardanoEras c)) → HardForkBlock (CardanoEras c) → Encoding Source #

decodeDiskHfcBlock ∷ CodecConfig (HardForkBlock (CardanoEras c)) → ∀ s. Decoder s (ByteString → HardForkBlock (CardanoEras c)) Source #

reconstructHfcPrefixLen ∷ proxy (Header (HardForkBlock (CardanoEras c))) → PrefixLen Source #

reconstructHfcNestedCtxt ∷ proxy (Header (HardForkBlock (CardanoEras c))) → ShortByteString → SizeInBytes → SomeSecond (NestedCtxt Header) (HardForkBlock (CardanoEras c)) Source #

getHfcBinaryBlockInfo ∷ HardForkBlock (CardanoEras c) → BinaryBlockInfo Source #

estimateHfcBlockSize ∷ Header (HardForkBlock (CardanoEras c)) → SizeInBytes Source #

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

Defined in Ouroboros.Consensus.Cardano.Node

Methods

supportedNodeToNodeVersions ∷ Proxy (CardanoBlock c) → Map NodeToNodeVersion (BlockNodeToNodeVersion (CardanoBlock c)) Source #

supportedNodeToClientVersions ∷ Proxy (CardanoBlock c) → Map NodeToClientVersion (BlockNodeToClientVersion (CardanoBlock c)) Source #

latestReleasedNodeVersion ∷ Proxy (CardanoBlock c) → (Maybe NodeToNodeVersion, Maybe NodeToClientVersion) Source #

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

Defined in Ouroboros.Consensus.Shelley.Eras

Methods

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

getConwayEraGovDict ∷ proxy (AlonzoEra c) → Maybe (ConwayEraGovDict (AlonzoEra c)) Source #

Crypto c ⇒ TranslateEra (AlonzoEra c) Tx 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

Associated Types

type TranslationError (AlonzoEra c) Tx Source #

Methods

translateEra ∷ TranslationContext (AlonzoEra c) → Tx (PreviousEra (AlonzoEra c)) → Except (TranslationError (AlonzoEra c) Tx) (Tx (AlonzoEra c)) 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 #

Methods

translateEra ∷ TranslationContext (AlonzoEra c) → WrapTx (PreviousEra (AlonzoEra c)) → Except (TranslationError (AlonzoEra c) WrapTx) (WrapTx (AlonzoEra c)) 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

Methods

toJSON ∷ AlonzoPParams Identity (AlonzoEra c) → Value Source #

toEncoding ∷ AlonzoPParams Identity (AlonzoEra c) → Encoding Source #

toJSONList ∷ [AlonzoPParams Identity (AlonzoEra c)] → Value Source #

toEncodingList ∷ [AlonzoPParams Identity (AlonzoEra c)] → Encoding Source #

omitField ∷ AlonzoPParams Identity (AlonzoEra c) → Bool Source #

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

Defined in Cardano.Ledger.Alonzo.PParams

Methods

toJSON ∷ AlonzoPParams StrictMaybe (AlonzoEra c) → Value Source #

toEncoding ∷ AlonzoPParams StrictMaybe (AlonzoEra c) → Encoding Source #

toJSONList ∷ [AlonzoPParams StrictMaybe (AlonzoEra c)] → Value Source #

toEncodingList ∷ [AlonzoPParams StrictMaybe (AlonzoEra c)] → Encoding Source #

omitField ∷ AlonzoPParams StrictMaybe (AlonzoEra c) → Bool Source #

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 #

Methods

txMeasure ∷ LedgerConfig (ShelleyBlock p (AlonzoEra c)) → TickedLedgerState (ShelleyBlock p (AlonzoEra c)) → GenTx (ShelleyBlock p (AlonzoEra c)) → Except (ApplyTxErr (ShelleyBlock p (AlonzoEra c))) (TxMeasure (ShelleyBlock p (AlonzoEra c))) Source #

blockCapacityTxMeasure ∷ LedgerConfig (ShelleyBlock p (AlonzoEra c)) → TickedLedgerState (ShelleyBlock p (AlonzoEra c)) → TxMeasure (ShelleyBlock p (AlonzoEra c)) Source #

type PlutusPurpose f (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type PlutusPurpose f (AlonzoEra c) = AlonzoPlutusPurpose f (AlonzoEra c)
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 "LEDGER" (AlonzoEra c) = ShelleyLedgerEvent (AlonzoEra c)
type EraRuleEvent "PPUP" (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ppup

type EraRuleEvent "PPUP" (AlonzoEra c) = PpupEvent (AlonzoEra c)
type EraRuleEvent "TICK" (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules

type EraRuleEvent "TICK" (AlonzoEra c) = ShelleyTickEvent (AlonzoEra c)
type EraRuleFailure "BBODY" (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

type EraRuleFailure "BBODY" (AlonzoEra c) = AlonzoBbodyPredFailure (AlonzoEra c)
type EraRuleFailure "DELEG" (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Deleg

type EraRuleFailure "DELEG" (AlonzoEra c) = ShelleyDelegPredFailure (AlonzoEra c)
type EraRuleFailure "DELEGS" (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Delegs

type EraRuleFailure "DELEGS" (AlonzoEra c) = ShelleyDelegsPredFailure (AlonzoEra c)
type EraRuleFailure "DELPL" (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Delpl

type EraRuleFailure "DELPL" (AlonzoEra c) = ShelleyDelplPredFailure (AlonzoEra c)
type EraRuleFailure "LEDGER" (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

type EraRuleFailure "LEDGER" (AlonzoEra c) = ShelleyLedgerPredFailure (AlonzoEra c)
type EraRuleFailure "LEDGERS" (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

type EraRuleFailure "LEDGERS" (AlonzoEra c) = ShelleyLedgersPredFailure (AlonzoEra c)
type EraRuleFailure "POOL" (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Pool

type EraRuleFailure "POOL" (AlonzoEra c) = ShelleyPoolPredFailure (AlonzoEra c)
type EraRuleFailure "PPUP" (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ppup

type EraRuleFailure "PPUP" (AlonzoEra c) = ShelleyPpupPredFailure (AlonzoEra c)
type EraRuleFailure "UTXO" (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

type EraRuleFailure "UTXO" (AlonzoEra c) = AlonzoUtxoPredFailure (AlonzoEra c)
type EraRuleFailure "UTXOS" (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

type EraRuleFailure "UTXOS" (AlonzoEra c) = AlonzoUtxosPredFailure (AlonzoEra c)
type EraRuleFailure "UTXOW" (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

type EraRuleFailure "UTXOW" (AlonzoEra c) = AlonzoUtxowPredFailure (AlonzoEra c)
type DowngradePParams f (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

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

Defined in Cardano.Ledger.Alonzo.PParams

type PParamsHKD f (AlonzoEra c) = AlonzoPParams f (AlonzoEra c)
type UpgradePParams f (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

type UpgradePParams f (AlonzoEra c) = UpgradeAlonzoPParams f
type Rep (PlutusScript (AlonzoEra c)) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Rep (PlutusScript (AlonzoEra c)) = Rep (Plutus 'PlutusV1)
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

type ContextError (AlonzoEra c) = AlonzoContextError (AlonzoEra c)
newtype PlutusScript (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

newtype PlutusScript (AlonzoEra c) = AlonzoPlutusV1 (Plutus 'PlutusV1)
type NativeScript (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type NativeScript (AlonzoEra c) = Timelock (AlonzoEra c)
type Script (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

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

Defined in Cardano.Ledger.Alonzo.Tx

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

Defined in Cardano.Ledger.Alonzo.TxAuxData

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

Defined in Cardano.Ledger.Alonzo.TxBody

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

Defined in Cardano.Ledger.Alonzo.TxBody

type TxBodyUpgradeError (AlonzoEra c) = AlonzoTxBodyUpgradeError
type TxOut (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

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

Defined in Cardano.Ledger.Alonzo.TxSeq

type TxSeq (AlonzoEra c) = AlonzoTxSeq (AlonzoEra c)
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 TxWits (AlonzoEra c) = AlonzoTxWits (AlonzoEra c)
type Value (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type Value (AlonzoEra c) = MaryValue c
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 PreviousEra (AlonzoEra c) = MaryEra c
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 TranslationContext (AlonzoEra c) = AlonzoGenesis
type TxCert (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxCert

type TxCert (AlonzoEra c) = ShelleyTxCert (AlonzoEra c)
type TxCertUpgradeError (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxCert

type TxCertUpgradeError (AlonzoEra c) = Void
type Genesis (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Genesis

type Genesis (AlonzoEra c) = AlonzoGenesis
type ScriptsNeeded (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.UTxO

type ScriptsNeeded (AlonzoEra c) = AlonzoScriptsNeeded (AlonzoEra c)
type AdditionalGenesisConfig (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo

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

Defined in Cardano.Ledger.Alonzo.PParams

type GovState (AlonzoEra c) = ShelleyGovState (AlonzoEra c)
data TransitionConfig (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Transition

data TransitionConfig (AlonzoEra c) = AlonzoTransitionConfig {}
type HardForkTxMeasure (CardanoEras c) Source # 
Instance details

Defined in Ouroboros.Consensus.Cardano.CanHardFork

type HardForkTxMeasure (CardanoEras c) = ConwayMeasure
type TranslationError (AlonzoEra c) Tx 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError (AlonzoEra c) Tx = DecoderError
type TranslationError (AlonzoEra c) CertState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError (AlonzoEra c) CertState = Void
type TranslationError (AlonzoEra c) CommitteeState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError (AlonzoEra c) CommitteeState = Void
type TranslationError (AlonzoEra c) DState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError (AlonzoEra c) DState = Void
type TranslationError (AlonzoEra c) PState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError (AlonzoEra c) PState = Void
type TranslationError (AlonzoEra c) VState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

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

Defined in Cardano.Ledger.Alonzo.Translation

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

Defined in Cardano.Ledger.Alonzo.Translation

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

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError (AlonzoEra c) FuturePParams = Void
type TranslationError (AlonzoEra c) ShelleyGovState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

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

Defined in Cardano.Ledger.Alonzo.Translation

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

Defined in Cardano.Ledger.Alonzo.Translation

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

Defined in Cardano.Ledger.Alonzo.Translation

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

Defined in Cardano.Ledger.Alonzo.Translation

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

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError (AlonzoEra c) ProposedPPUpdates = Void
type TranslationError (AlonzoEra c) WrapTx Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

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

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type TxMeasure (ShelleyBlock p (AlonzoEra c)) = AlonzoMeasure

data BabbageEra c Source #

The Babbage era

Instances

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

Defined in Cardano.Ledger.Babbage.Rules.Utxo

Methods

injectFailure ∷ BabbageUtxoPredFailure (BabbageEra c) → EraRuleFailure "UTXO" (BabbageEra c) Source #

InjectRuleFailure "UTXOW" BabbageUtxowPredFailure (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

Methods

injectFailure ∷ BabbageUtxowPredFailure (BabbageEra c) → EraRuleFailure "UTXOW" (BabbageEra c) Source #

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

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

Methods

fromCBOR ∷ Decoder s (LegacyPParams (BabbageEra c)) Source #

label ∷ Proxy (LegacyPParams (BabbageEra c)) → Text Source #

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

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

Methods

toCBOR ∷ LegacyPParams (BabbageEra c) → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (LegacyPParams (BabbageEra c)) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [LegacyPParams (BabbageEra c)] → Size Source #

Crypto c ⇒ BabbageEraPParams (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

Methods

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

Crypto c ⇒ BabbageEraTxBody (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Methods

sizedOutputsTxBodyL ∷ Lens' (TxBody (BabbageEra c)) (StrictSeq (Sized (TxOut (BabbageEra c)))) Source #

referenceInputsTxBodyL ∷ Lens' (TxBody (BabbageEra c)) (Set (TxIn (EraCrypto (BabbageEra c)))) Source #

totalCollateralTxBodyL ∷ Lens' (TxBody (BabbageEra c)) (StrictMaybe Coin) Source #

collateralReturnTxBodyL ∷ Lens' (TxBody (BabbageEra c)) (StrictMaybe (TxOut (BabbageEra c))) Source #

sizedCollateralReturnTxBodyL ∷ Lens' (TxBody (BabbageEra c)) (StrictMaybe (Sized (TxOut (BabbageEra c)))) Source #

allSizedOutputsTxBodyF ∷ SimpleGetter (TxBody (BabbageEra c)) (StrictSeq (Sized (TxOut (BabbageEra c)))) Source #

Crypto c ⇒ BabbageEraTxOut (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Methods

referenceScriptTxOutL ∷ Lens' (TxOut (BabbageEra c)) (StrictMaybe (Script (BabbageEra c))) Source #

dataTxOutL ∷ Lens' (TxOut (BabbageEra c)) (StrictMaybe (Data (BabbageEra c))) Source #

datumTxOutL ∷ Lens' (TxOut (BabbageEra c)) (Datum (BabbageEra c)) Source #

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

eraName ∷ String 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

Methods

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

futureLedgerView ∷ MonadError (FutureLedgerViewError (BabbageEra c)) m ⇒ Globals → NewEpochState (BabbageEra c) → SlotNo → m (LedgerView (EraCrypto (BabbageEra c))) Source #

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

Defined in Ouroboros.Consensus.Cardano.CanHardFork

Associated Types

type HardForkTxMeasure (CardanoEras c) Source #

Methods

hardForkEraTranslation ∷ EraTranslation (CardanoEras c) Source #

hardForkChainSel ∷ Tails AcrossEraSelection (CardanoEras c) Source #

hardForkInjectTxs ∷ InPairs (RequiringBoth WrapLedgerConfig (Product2 InjectTx InjectValidatedTx)) (CardanoEras c) Source #

hardForkInjTxMeasure ∷ NS WrapTxMeasure (CardanoEras c) → 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

Methods

encodeDiskHfcBlock ∷ CodecConfig (HardForkBlock (CardanoEras c)) → HardForkBlock (CardanoEras c) → Encoding Source #

decodeDiskHfcBlock ∷ CodecConfig (HardForkBlock (CardanoEras c)) → ∀ s. Decoder s (ByteString → HardForkBlock (CardanoEras c)) Source #

reconstructHfcPrefixLen ∷ proxy (Header (HardForkBlock (CardanoEras c))) → PrefixLen Source #

reconstructHfcNestedCtxt ∷ proxy (Header (HardForkBlock (CardanoEras c))) → ShortByteString → SizeInBytes → SomeSecond (NestedCtxt Header) (HardForkBlock (CardanoEras c)) Source #

getHfcBinaryBlockInfo ∷ HardForkBlock (CardanoEras c) → BinaryBlockInfo Source #

estimateHfcBlockSize ∷ Header (HardForkBlock (CardanoEras c)) → SizeInBytes Source #

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

Defined in Ouroboros.Consensus.Cardano.Node

Methods

supportedNodeToNodeVersions ∷ Proxy (CardanoBlock c) → Map NodeToNodeVersion (BlockNodeToNodeVersion (CardanoBlock c)) Source #

supportedNodeToClientVersions ∷ Proxy (CardanoBlock c) → Map NodeToClientVersion (BlockNodeToClientVersion (CardanoBlock c)) Source #

latestReleasedNodeVersion ∷ Proxy (CardanoBlock c) → (Maybe NodeToNodeVersion, Maybe NodeToClientVersion) Source #

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

Defined in Ouroboros.Consensus.Shelley.Eras

Methods

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

getConwayEraGovDict ∷ proxy (BabbageEra c) → Maybe (ConwayEraGovDict (BabbageEra c)) Source #

Crypto c ⇒ TranslateEra (BabbageEra c) Tx 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

Associated Types

type TranslationError (BabbageEra c) Tx Source #

Methods

translateEra ∷ TranslationContext (BabbageEra c) → Tx (PreviousEra (BabbageEra c)) → Except (TranslationError (BabbageEra c) Tx) (Tx (BabbageEra c)) 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 #

Methods

translateEra ∷ TranslationContext (BabbageEra c) → WrapTx (PreviousEra (BabbageEra c)) → Except (TranslationError (BabbageEra c) WrapTx) (WrapTx (BabbageEra c)) 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 #

Methods

txMeasure ∷ LedgerConfig (ShelleyBlock p (BabbageEra c)) → TickedLedgerState (ShelleyBlock p (BabbageEra c)) → GenTx (ShelleyBlock p (BabbageEra c)) → Except (ApplyTxErr (ShelleyBlock p (BabbageEra c))) (TxMeasure (ShelleyBlock p (BabbageEra c))) Source #

blockCapacityTxMeasure ∷ LedgerConfig (ShelleyBlock p (BabbageEra c)) → TickedLedgerState (ShelleyBlock p (BabbageEra c)) → TxMeasure (ShelleyBlock p (BabbageEra c)) Source #

type PlutusPurpose f (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

type PlutusPurpose f (BabbageEra c) = AlonzoPlutusPurpose f (BabbageEra c)
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 EraRuleEvent "LEDGER" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Rules

type EraRuleEvent "LEDGER" (BabbageEra c) = ShelleyLedgerEvent (BabbageEra c)
type EraRuleEvent "PPUP" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Rules

type EraRuleEvent "PPUP" (BabbageEra c) = PpupEvent (BabbageEra c)
type EraRuleEvent "TICK" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Rules

type EraRuleEvent "TICK" (BabbageEra c) = ShelleyTickEvent (BabbageEra c)
type EraRuleEvent "UTXOS" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxos

type EraRuleEvent "UTXOS" (BabbageEra c) = AlonzoUtxosEvent (BabbageEra c)
type EraRuleFailure "BBODY" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Bbody

type EraRuleFailure "BBODY" (BabbageEra c) = AlonzoBbodyPredFailure (BabbageEra c)
type EraRuleFailure "DELEG" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Deleg

type EraRuleFailure "DELEG" (BabbageEra c) = ShelleyDelegPredFailure (BabbageEra c)
type EraRuleFailure "DELEGS" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Delegs

type EraRuleFailure "DELEGS" (BabbageEra c) = ShelleyDelegsPredFailure (BabbageEra c)
type EraRuleFailure "DELPL" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Delpl

type EraRuleFailure "DELPL" (BabbageEra c) = ShelleyDelplPredFailure (BabbageEra c)
type EraRuleFailure "LEDGER" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

type EraRuleFailure "LEDGER" (BabbageEra c) = ShelleyLedgerPredFailure (BabbageEra c)
type EraRuleFailure "LEDGERS" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledgers

type EraRuleFailure "LEDGERS" (BabbageEra c) = ShelleyLedgersPredFailure (BabbageEra c)
type EraRuleFailure "POOL" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Pool

type EraRuleFailure "POOL" (BabbageEra c) = ShelleyPoolPredFailure (BabbageEra c)
type EraRuleFailure "PPUP" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ppup

type EraRuleFailure "PPUP" (BabbageEra c) = ShelleyPpupPredFailure (BabbageEra c)
type EraRuleFailure "UTXO" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxo

type EraRuleFailure "UTXO" (BabbageEra c) = BabbageUtxoPredFailure (BabbageEra c)
type EraRuleFailure "UTXOS" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxos

type EraRuleFailure "UTXOS" (BabbageEra c) = AlonzoUtxosPredFailure (BabbageEra c)
type EraRuleFailure "UTXOW" (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

type EraRuleFailure "UTXOW" (BabbageEra c) = BabbageUtxowPredFailure (BabbageEra c)
type DowngradePParams f (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

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

Defined in Cardano.Ledger.Babbage.PParams

type PParamsHKD f (BabbageEra c) = BabbagePParams f (BabbageEra c)
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 ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV1))) :+: C1 ('MetaCons "BabbagePlutusV2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV2))))
type ContextError (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.TxInfo

type ContextError (BabbageEra c) = BabbageContextError (BabbageEra c)
data PlutusScript (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

data PlutusScript (BabbageEra c)
type NativeScript (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

type NativeScript (BabbageEra c) = Timelock (BabbageEra c)
type Script (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

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

Defined in Cardano.Ledger.Babbage.Tx

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

Defined in Cardano.Ledger.Babbage.TxAuxData

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

Defined in Cardano.Ledger.Babbage.TxBody

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

Defined in Cardano.Ledger.Babbage.TxBody

type TxBodyUpgradeError (BabbageEra c) = BabbageTxBodyUpgradeError
type TxOut (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

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

Defined in Cardano.Ledger.Babbage.Tx

type TxSeq (BabbageEra c) = AlonzoTxSeq (BabbageEra c)
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 TxWits (BabbageEra c) = AlonzoTxWits (BabbageEra c)
type Value (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type Value (BabbageEra c) = MaryValue c
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 PreviousEra (BabbageEra c) = AlonzoEra c
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 TranslationContext (BabbageEra c) = NoGenesis (BabbageEra c)
type TxCert (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.TxCert

type TxCert (BabbageEra c) = ShelleyTxCert (BabbageEra c)
type TxCertUpgradeError (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.TxCert

type TxCertUpgradeError (BabbageEra c) = Void
type Genesis (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type Genesis (BabbageEra c) = NoGenesis (BabbageEra c)
type ScriptsNeeded (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.UTxO

type ScriptsNeeded (BabbageEra c) = AlonzoScriptsNeeded (BabbageEra c)
type AdditionalGenesisConfig (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage

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

Defined in Cardano.Ledger.Babbage.PParams

type GovState (BabbageEra c) = ShelleyGovState (BabbageEra c)
newtype TransitionConfig (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Transition

newtype TransitionConfig (BabbageEra c) = BabbageTransitionConfig {}
type HardForkTxMeasure (CardanoEras c) Source # 
Instance details

Defined in Ouroboros.Consensus.Cardano.CanHardFork

type HardForkTxMeasure (CardanoEras c) = ConwayMeasure
type TranslationError (BabbageEra c) Tx 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError (BabbageEra c) Tx = DecoderError
type TranslationError (BabbageEra c) CertState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError (BabbageEra c) CertState = Void
type TranslationError (BabbageEra c) CommitteeState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError (BabbageEra c) CommitteeState = Void
type TranslationError (BabbageEra c) DState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError (BabbageEra c) DState = Void
type TranslationError (BabbageEra c) PState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError (BabbageEra c) PState = Void
type TranslationError (BabbageEra c) VState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

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

Defined in Cardano.Ledger.Babbage.Translation

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

Defined in Cardano.Ledger.Babbage.Translation

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

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError (BabbageEra c) FuturePParams = Void
type TranslationError (BabbageEra c) ShelleyGovState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

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

Defined in Cardano.Ledger.Babbage.Translation

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

Defined in Cardano.Ledger.Babbage.Translation

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

Defined in Cardano.Ledger.Babbage.Translation

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

Defined in Cardano.Ledger.Babbage.Translation

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

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError (BabbageEra c) ProposedPPUpdates = Void
type TranslationError (BabbageEra c) WrapTx Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

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

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type TxMeasure (ShelleyBlock p (BabbageEra c)) = ConwayMeasure

data ConwayEra c Source #

The Conway era

Instances

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

Defined in Cardano.Ledger.Conway.Rules.Utxos

Methods

injectEvent ∷ ConwayUtxosEvent (ConwayEra c) → EraRuleEvent "UTXOS" (ConwayEra c) Source #

InjectRuleFailure "BBODY" ConwayBbodyPredFailure (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

Methods

injectFailure ∷ ConwayBbodyPredFailure (ConwayEra c) → EraRuleFailure "BBODY" (ConwayEra c) Source #

InjectRuleFailure "CERT" ConwayCertPredFailure (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

Methods

injectFailure ∷ ConwayCertPredFailure (ConwayEra c) → EraRuleFailure "CERT" (ConwayEra c) Source #

InjectRuleFailure "CERTS" ConwayCertsPredFailure (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

Methods

injectFailure ∷ ConwayCertsPredFailure (ConwayEra c) → EraRuleFailure "CERTS" (ConwayEra c) Source #

InjectRuleFailure "DELEG" ConwayDelegPredFailure (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

Methods

injectFailure ∷ ConwayDelegPredFailure (ConwayEra c) → EraRuleFailure "DELEG" (ConwayEra c) Source #

InjectRuleFailure "GOV" ConwayGovPredFailure (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

Methods

injectFailure ∷ ConwayGovPredFailure (ConwayEra c) → EraRuleFailure "GOV" (ConwayEra c) Source #

InjectRuleFailure "GOVCERT" ConwayGovCertPredFailure (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

Methods

injectFailure ∷ ConwayGovCertPredFailure (ConwayEra c) → EraRuleFailure "GOVCERT" (ConwayEra c) Source #

InjectRuleFailure "LEDGER" ConwayLedgerPredFailure (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

Methods

injectFailure ∷ ConwayLedgerPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #

InjectRuleFailure "UTXO" ConwayUtxoPredFailure (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxo

Methods

injectFailure ∷ ConwayUtxoPredFailure (ConwayEra c) → EraRuleFailure "UTXO" (ConwayEra c) Source #

InjectRuleFailure "UTXOS" ConwayUtxosPredFailure (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

Methods

injectFailure ∷ ConwayUtxosPredFailure (ConwayEra c) → EraRuleFailure "UTXOS" (ConwayEra c) Source #

InjectRuleFailure "UTXOW" ConwayUtxowPredFailure (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

Methods

injectFailure ∷ ConwayUtxowPredFailure (ConwayEra c) → EraRuleFailure "UTXOW" (ConwayEra c) Source #

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

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

Methods

fromCBOR ∷ Decoder s (LegacyPParams (ConwayEra c)) Source #

label ∷ Proxy (LegacyPParams (ConwayEra c)) → Text Source #

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

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

Methods

toCBOR ∷ LegacyPParams (ConwayEra c) → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (LegacyPParams (ConwayEra c)) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [LegacyPParams (ConwayEra c)] → Size Source #

Crypto c ⇒ ConwayEraGov (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Governance

Methods

constitutionGovStateL ∷ Lens' (GovState (ConwayEra c)) (Constitution (ConwayEra c)) Source #

proposalsGovStateL ∷ Lens' (GovState (ConwayEra c)) (Proposals (ConwayEra c)) Source #

drepPulsingStateGovStateL ∷ Lens' (GovState (ConwayEra c)) (DRepPulsingState (ConwayEra c)) Source #

committeeGovStateL ∷ Lens' (GovState (ConwayEra c)) (StrictMaybe (Committee (ConwayEra c))) Source #

Crypto c ⇒ ConwayEraPParams (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

modifiedPPGroups ∷ PParamsUpdate (ConwayEra c) → Set PPGroups Source #

ppuWellFormed ∷ PParamsUpdate (ConwayEra c) → Bool Source #

hkdPoolVotingThresholdsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f PoolVotingThresholds) Source #

hkdDRepVotingThresholdsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f DRepVotingThresholds) Source #

hkdCommitteeMinSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Natural) Source #

hkdCommitteeMaxTermLengthL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f EpochInterval) Source #

hkdGovActionLifetimeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f EpochInterval) Source #

hkdGovActionDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Coin) Source #

hkdDRepDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Coin) Source #

hkdDRepActivityL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f EpochInterval) Source #

hkdMinFeeRefScriptCostPerByteL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f NonNegativeInterval) Source #

Crypto c ⇒ ConwayEraScript (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

mkVotingPurpose ∷ f Word32 (Voter (EraCrypto (ConwayEra c))) → PlutusPurpose f (ConwayEra c) Source #

toVotingPurpose ∷ PlutusPurpose f (ConwayEra c) → Maybe (f Word32 (Voter (EraCrypto (ConwayEra c)))) Source #

mkProposingPurpose ∷ f Word32 (ProposalProcedure (ConwayEra c)) → PlutusPurpose f (ConwayEra c) Source #

toProposingPurpose ∷ PlutusPurpose f (ConwayEra c) → Maybe (f Word32 (ProposalProcedure (ConwayEra c))) Source #

Crypto c ⇒ ConwayEraTransition (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Transition

Methods

tcDelegsL ∷ Lens' (TransitionConfig (ConwayEra c)) (ListMap (Credential 'Staking (EraCrypto (ConwayEra c))) (Delegatee (EraCrypto (ConwayEra c)))) Source #

tcInitialDRepsL ∷ Lens' (TransitionConfig (ConwayEra c)) (ListMap (Credential 'DRepRole (EraCrypto (ConwayEra c))) (DRepState (EraCrypto (ConwayEra c)))) Source #

tcConwayGenesisL ∷ Lens' (TransitionConfig (ConwayEra c)) (ConwayGenesis (EraCrypto (ConwayEra c))) Source #

Crypto c ⇒ ConwayEraTxBody (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

Methods

currentTreasuryValueTxBodyL ∷ Lens' (TxBody (ConwayEra c)) (StrictMaybe Coin) Source #

votingProceduresTxBodyL ∷ Lens' (TxBody (ConwayEra c)) (VotingProcedures (ConwayEra c)) Source #

proposalProceduresTxBodyL ∷ Lens' (TxBody (ConwayEra c)) (OSet (ProposalProcedure (ConwayEra c))) Source #

treasuryDonationTxBodyL ∷ Lens' (TxBody (ConwayEra c)) Coin Source #

Crypto c ⇒ ConwayEraTxCert (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

Methods

mkRegDepositTxCert ∷ StakeCredential (EraCrypto (ConwayEra c)) → Coin → TxCert (ConwayEra c) Source #

getRegDepositTxCert ∷ TxCert (ConwayEra c) → Maybe (StakeCredential (EraCrypto (ConwayEra c)), Coin) Source #

mkUnRegDepositTxCert ∷ StakeCredential (EraCrypto (ConwayEra c)) → Coin → TxCert (ConwayEra c) Source #

getUnRegDepositTxCert ∷ TxCert (ConwayEra c) → Maybe (StakeCredential (EraCrypto (ConwayEra c)), Coin) Source #

mkDelegTxCert ∷ StakeCredential (EraCrypto (ConwayEra c)) → Delegatee (EraCrypto (ConwayEra c)) → TxCert (ConwayEra c) Source #

getDelegTxCert ∷ TxCert (ConwayEra c) → Maybe (StakeCredential (EraCrypto (ConwayEra c)), Delegatee (EraCrypto (ConwayEra c))) Source #

mkRegDepositDelegTxCert ∷ StakeCredential (EraCrypto (ConwayEra c)) → Delegatee (EraCrypto (ConwayEra c)) → Coin → TxCert (ConwayEra c) Source #

getRegDepositDelegTxCert ∷ TxCert (ConwayEra c) → Maybe (StakeCredential (EraCrypto (ConwayEra c)), Delegatee (EraCrypto (ConwayEra c)), Coin) Source #

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

getAuthCommitteeHotKeyTxCert ∷ TxCert (ConwayEra c) → Maybe (Credential 'ColdCommitteeRole (EraCrypto (ConwayEra c)), Credential 'HotCommitteeRole (EraCrypto (ConwayEra c))) Source #

mkResignCommitteeColdTxCert ∷ Credential 'ColdCommitteeRole (EraCrypto (ConwayEra c)) → StrictMaybe (Anchor (EraCrypto (ConwayEra c))) → TxCert (ConwayEra c) Source #

getResignCommitteeColdTxCert ∷ TxCert (ConwayEra c) → Maybe (Credential 'ColdCommitteeRole (EraCrypto (ConwayEra c)), StrictMaybe (Anchor (EraCrypto (ConwayEra c)))) Source #

mkRegDRepTxCert ∷ Credential 'DRepRole (EraCrypto (ConwayEra c)) → Coin → StrictMaybe (Anchor (EraCrypto (ConwayEra c))) → TxCert (ConwayEra c) Source #

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

mkUnRegDRepTxCert ∷ Credential 'DRepRole (EraCrypto (ConwayEra c)) → Coin → TxCert (ConwayEra c) Source #

getUnRegDRepTxCert ∷ TxCert (ConwayEra c) → Maybe (Credential 'DRepRole (EraCrypto (ConwayEra c)), Coin) Source #

mkUpdateDRepTxCert ∷ Credential 'DRepRole (EraCrypto (ConwayEra c)) → StrictMaybe (Anchor (EraCrypto (ConwayEra c))) → TxCert (ConwayEra c) Source #

getUpdateDRepTxCert ∷ TxCert (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

eraName ∷ String Source #

Crypto c ⇒ GetLedgerView (ConwayEra c) 
Instance details

Defined in Cardano.Protocol.TPraos.API

Methods

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