ouroboros-consensus-cardano-0.21.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 ⇒ 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.Internal

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.Internal

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

Defined in Cardano.Ledger.Allegra.TxBody.Internal

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 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 ⇒ 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.Internal

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.12.0.0-5de0b72eb2089a3a7b6c0de7224ec8211410171cb087ad5bd3307bc0a44aa5a4" '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.Internal

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

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

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.Internal

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 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 ⇒ 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.Internal

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.10.1.0-c3cdab402c8f067af4d57a025f50d1b4144829a541ec705037c3aabc58347719" '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.Internal

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

Defined in Cardano.Ledger.Babbage.TxBody.Internal

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 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 "MEMPOOL" ConwayMempoolPredFailure (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Mempool

Methods

injectFailure ∷ ConwayMempoolPredFailure (ConwayEra c) → EraRuleFailure "MEMPOOL" (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 ⇒ 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 ∷ ProtVer → 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.Internal

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

futureLedgerView ∷ MonadError (FutureLedgerViewError (ConwayEra c)) m ⇒ Globals → NewEpochState (ConwayEra c) → SlotNo → m (LedgerView (EraCrypto (ConwayEra 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 (ConwayEra c) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

Methods

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

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

Crypto c ⇒ TranslateEra (ConwayEra c) Tx 
Instance details

Defined in Cardano.Ledger.Conway.Translation

Associated Types

type TranslationError (ConwayEra c) Tx Source #

Methods

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

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

Defined in Ouroboros.Consensus.Shelley.Eras

Associated Types

type TranslationError (ConwayEra c) WrapTx Source #

Methods

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

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

Defined in Ouroboros.Consensus.Shelley.HFEras

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

Defined in Ouroboros.Consensus.Shelley.HFEras

Crypto c ⇒ ToJSON (ConwayPParams Identity (ConwayEra c)) 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

toJSON ∷ ConwayPParams Identity (ConwayEra c) → Value Source #

toEncoding ∷ ConwayPParams Identity (ConwayEra c) → Encoding Source #

toJSONList ∷ [ConwayPParams Identity (ConwayEra c)] → Value Source #

toEncodingList ∷ [ConwayPParams Identity (ConwayEra c)] → Encoding Source #

omitField ∷ ConwayPParams Identity (ConwayEra c) → Bool Source #

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

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Associated Types

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

Methods

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

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

type PlutusPurpose f (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

type PlutusPurpose f (ConwayEra c) = ConwayPlutusPurpose f (ConwayEra c)
type EraRule "BBODY" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "BBODY" (ConwayEra c) = ConwayBBODY (ConwayEra c)
type EraRule "CERT" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "CERT" (ConwayEra c) = ConwayCERT (ConwayEra c)
type EraRule "CERTS" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "CERTS" (ConwayEra c) = ConwayCERTS (ConwayEra c)
type EraRule "DELEG" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

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

Defined in Cardano.Ledger.Conway.Era

type EraRule "DELEGS" (ConwayEra c) = VoidEraRule "DELEGS" (ConwayEra c)
type EraRule "ENACT" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "ENACT" (ConwayEra c) = ConwayENACT (ConwayEra c)
type EraRule "EPOCH" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

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

Defined in Cardano.Ledger.Conway.Era

type EraRule "GOV" (ConwayEra c) = ConwayGOV (ConwayEra c)
type EraRule "GOVCERT" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "GOVCERT" (ConwayEra c) = ConwayGOVCERT (ConwayEra c)
type EraRule "HARDFORK" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "HARDFORK" (ConwayEra c) = ConwayHARDFORK (ConwayEra c)
type EraRule "LEDGER" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

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

Defined in Cardano.Ledger.Conway.Era

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

Defined in Cardano.Ledger.Conway.Era

type EraRule "MEMPOOL" (ConwayEra c) = ConwayMEMPOOL (ConwayEra c)
type EraRule "MIR" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

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

Defined in Cardano.Ledger.Conway.Era

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

Defined in Cardano.Ledger.Conway.Era

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

Defined in Cardano.Ledger.Conway.Era

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

Defined in Cardano.Ledger.Conway.Era

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

Defined in Cardano.Ledger.Conway.Era

type EraRule "PPUP" (ConwayEra c) = VoidEraRule "PPUP" (ConwayEra c)
type EraRule "RATIFY" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "RATIFY" (ConwayEra c) = ConwayRATIFY (ConwayEra c)
type EraRule "RUPD" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

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

Defined in Cardano.Ledger.Conway.Era

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

Defined in Cardano.Ledger.Conway.Era

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

Defined in Cardano.Ledger.Conway.Era

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

Defined in Cardano.Ledger.Conway.Era

type EraRule "UPEC" (ConwayEra c) = VoidEraRule "UPEC" (ConwayEra c)
type EraRule "UTXO" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

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

Defined in Cardano.Ledger.Conway.Era

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

Defined in Cardano.Ledger.Conway.Era

type EraRule "UTXOW" (ConwayEra c) = ConwayUTXOW (ConwayEra c)
type EraRuleEvent "BBODY" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

type EraRuleEvent "BBODY" (ConwayEra c) = AlonzoBbodyEvent (ConwayEra c)
type EraRuleEvent "CERT" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

type EraRuleEvent "CERT" (ConwayEra c) = ConwayCertEvent (ConwayEra c)
type EraRuleEvent "CERTS" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

type EraRuleEvent "CERTS" (ConwayEra c) = ConwayCertsEvent (ConwayEra c)
type EraRuleEvent "DELEG" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

type EraRuleEvent "DELEG" (ConwayEra c) = VoidEraRule "DELEG" (ConwayEra c)
type EraRuleEvent "DELEGS" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRuleEvent "DELEGS" (ConwayEra c) = VoidEraRule "DELEGS" (ConwayEra c)
type EraRuleEvent "ENACT" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Enact

type EraRuleEvent "ENACT" (ConwayEra c) = VoidEraRule "ENACT" (ConwayEra c)
type EraRuleEvent "EPOCH" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Epoch

type EraRuleEvent "EPOCH" (ConwayEra c) = ConwayEpochEvent (ConwayEra c)
type EraRuleEvent "GOV" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

type EraRuleEvent "GOV" (ConwayEra c) = ConwayGovEvent (ConwayEra c)
type EraRuleEvent "GOVCERT" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

type EraRuleEvent "GOVCERT" (ConwayEra c) = VoidEraRule "GOVCERT" (ConwayEra c)
type EraRuleEvent "HARDFORK" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.HardFork

type EraRuleEvent "HARDFORK" (ConwayEra c) = ConwayHardForkEvent (ConwayEra c)
type EraRuleEvent "LEDGER" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

type EraRuleEvent "LEDGER" (ConwayEra c) = ConwayLedgerEvent (ConwayEra c)
type EraRuleEvent "LEDGERS" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

type EraRuleEvent "LEDGERS" (ConwayEra c) = ShelleyLedgersEvent (ConwayEra c)
type EraRuleEvent "MEMPOOL" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Mempool

type EraRuleEvent "MEMPOOL" (ConwayEra c) = ConwayMempoolEvent (ConwayEra c)
type EraRuleEvent "MIR" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRuleEvent "MIR" (ConwayEra c) = VoidEraRule "MIR" (ConwayEra c)
type EraRuleEvent "NEWEPOCH" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

type EraRuleEvent "NEWEPOCH" (ConwayEra c) = ConwayNewEpochEvent (ConwayEra c)
type EraRuleEvent "NEWPP" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRuleEvent "NEWPP" (ConwayEra c) = VoidEraRule "NEWPP" (ConwayEra c)
type EraRuleEvent "POOL" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Pool

type EraRuleEvent "POOL" (ConwayEra c) = PoolEvent (ConwayEra c)
type EraRuleEvent "PPUP" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRuleEvent "PPUP" (ConwayEra c) = VoidEraRule "PPUP" (ConwayEra c)
type EraRuleEvent "TICK" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules

type EraRuleEvent "TICK" (ConwayEra c) = ShelleyTickEvent (ConwayEra c)
type EraRuleEvent "UPEC" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRuleEvent "UPEC" (ConwayEra c) = VoidEraRule "UPEC" (ConwayEra c)
type EraRuleEvent "UTXO" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxo

type EraRuleEvent "UTXO" (ConwayEra c) = AlonzoUtxoEvent (ConwayEra c)
type EraRuleEvent "UTXOS" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

type EraRuleEvent "UTXOS" (ConwayEra c) = ConwayUtxosEvent (ConwayEra c)
type EraRuleEvent "UTXOW" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

type EraRuleEvent "UTXOW" (ConwayEra c) = AlonzoUtxowEvent (ConwayEra c)
type EraRuleFailure "BBODY" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

type EraRuleFailure "BBODY" (ConwayEra c) = ConwayBbodyPredFailure (ConwayEra c)
type EraRuleFailure "CERT" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

type EraRuleFailure "CERT" (ConwayEra c) = ConwayCertPredFailure (ConwayEra c)
type EraRuleFailure "CERTS" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

type EraRuleFailure "CERTS" (ConwayEra c) = ConwayCertsPredFailure (ConwayEra c)
type EraRuleFailure "DELEG" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

type EraRuleFailure "DELEG" (ConwayEra c) = ConwayDelegPredFailure (ConwayEra c)
type EraRuleFailure "DELEGS" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRuleFailure "DELEGS" (ConwayEra c) = VoidEraRule "DELEGS" (ConwayEra c)
type EraRuleFailure "GOV" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

type EraRuleFailure "GOV" (ConwayEra c) = ConwayGovPredFailure (ConwayEra c)
type EraRuleFailure "GOVCERT" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

type EraRuleFailure "GOVCERT" (ConwayEra c) = ConwayGovCertPredFailure (ConwayEra c)
type EraRuleFailure "LEDGER" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

type EraRuleFailure "LEDGER" (ConwayEra c) = ConwayLedgerPredFailure (ConwayEra c)
type EraRuleFailure "LEDGERS" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

type EraRuleFailure "LEDGERS" (ConwayEra c) = ShelleyLedgersPredFailure (ConwayEra c)
type EraRuleFailure "MEMPOOL" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Mempool

type EraRuleFailure "MEMPOOL" (ConwayEra c) = ConwayMempoolPredFailure (ConwayEra c)
type EraRuleFailure "MIR" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRuleFailure "MIR" (ConwayEra c) = VoidEraRule "MIR" (ConwayEra c)
type EraRuleFailure "NEWPP" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRuleFailure "NEWPP" (ConwayEra c) = VoidEraRule "NEWPP" (ConwayEra c)
type EraRuleFailure "POOL" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Pool

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

Defined in Cardano.Ledger.Conway.Era

type EraRuleFailure "PPUP" (ConwayEra c) = VoidEraRule "PPUP" (ConwayEra c)
type EraRuleFailure "UPEC" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRuleFailure "UPEC" (ConwayEra c) = VoidEraRule "UPEC" (ConwayEra c)
type EraRuleFailure "UTXO" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxo

type EraRuleFailure "UTXO" (ConwayEra c) = ConwayUtxoPredFailure (ConwayEra c)
type EraRuleFailure "UTXOS" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

type EraRuleFailure "UTXOS" (ConwayEra c) = ConwayUtxosPredFailure (ConwayEra c)
type EraRuleFailure "UTXOW" (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

type EraRuleFailure "UTXOW" (ConwayEra c) = ConwayUtxowPredFailure (ConwayEra c)
type DowngradePParams f (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.PParams

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

Defined in Cardano.Ledger.Conway.PParams

type PParamsHKD f (ConwayEra c) = ConwayPParams f (ConwayEra c)
type UpgradePParams f (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.PParams

type UpgradePParams f (ConwayEra c) = UpgradeConwayPParams f
type Rep (PlutusScript (ConwayEra c)) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

type Rep (PlutusScript (ConwayEra c)) = D1 ('MetaData "PlutusScript" "Cardano.Ledger.Conway.Scripts" "cardano-ledger-conway-1.18.1.0-f9f5de741efbf3285e79b7c5565d609627f22071a456b1ee7d6029fc8eff9a72" 'False) (C1 ('MetaCons "ConwayPlutusV1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV1))) :+: (C1 ('MetaCons "ConwayPlutusV2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV2))) :+: C1 ('MetaCons "ConwayPlutusV3" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV3)))))
type Rep (TransitionConfig (ConwayEra c)) 
Instance details

Defined in Cardano.Ledger.Conway.Transition

type Rep (TransitionConfig (ConwayEra c)) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Conway.Transition" "cardano-ledger-conway-1.18.1.0-f9f5de741efbf3285e79b7c5565d609627f22071a456b1ee7d6029fc8eff9a72" 'False) (C1 ('MetaCons "ConwayTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "ctcConwayGenesis") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ConwayGenesis c)) :*: S1 ('MetaSel ('Just "ctcBabbageTransitionConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TransitionConfig (BabbageEra c)))))
type ContextError (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.TxInfo

type ContextError (ConwayEra c) = ConwayContextError (ConwayEra c)
data PlutusScript (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

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

Defined in Cardano.Ledger.Conway.Scripts

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

Defined in Cardano.Ledger.Conway.Scripts

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

Defined in Cardano.Ledger.Conway.Tx

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

Defined in Cardano.Ledger.Conway.TxAuxData

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

Defined in Cardano.Ledger.Conway.TxBody.Internal

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

Defined in Cardano.Ledger.Conway.TxBody.Internal

type TxBodyUpgradeError (ConwayEra c) = ConwayTxBodyUpgradeError c
type TxOut (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.TxOut

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

Defined in Cardano.Ledger.Conway.Tx

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

Defined in Cardano.Ledger.Conway.Tx

type TxUpgradeError (ConwayEra c) = TxBodyUpgradeError (ConwayEra c)
type TxWits (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.TxWits

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

Defined in Cardano.Ledger.Conway.Era

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

Defined in Cardano.Ledger.Conway.Era

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

Defined in Cardano.Ledger.Conway.Era

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

Defined in Cardano.Ledger.Conway.Era

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

Defined in Cardano.Ledger.Conway.Era

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

Defined in Cardano.Ledger.Conway.Translation

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

Defined in Cardano.Ledger.Conway.TxCert

type TxCert (ConwayEra c) = ConwayTxCert (ConwayEra c)
type TxCertUpgradeError (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

type TxCertUpgradeError (ConwayEra c) = ConwayTxCertUpgradeError
type Genesis (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Genesis

type Genesis (ConwayEra c) = ConwayGenesis c
type ScriptsNeeded (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.UTxO

type ScriptsNeeded (ConwayEra c) = AlonzoScriptsNeeded (ConwayEra c)
type GovState (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Governance

type GovState (ConwayEra c) = ConwayGovState (ConwayEra c)
data TransitionConfig (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.Transition

data TransitionConfig (ConwayEra c) = ConwayTransitionConfig {}
type HardForkTxMeasure (CardanoEras c) Source # 
Instance details

Defined in Ouroboros.Consensus.Cardano.CanHardFork

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

Defined in Cardano.Ledger.Conway.Translation

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

Defined in Cardano.Ledger.Conway.Translation

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

Defined in Cardano.Ledger.Conway.Translation

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

Defined in Cardano.Ledger.Conway.Translation

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

Defined in Cardano.Ledger.Conway.Translation

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

Defined in Cardano.Ledger.Conway.Translation

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

Defined in Cardano.Ledger.Conway.Translation

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

Defined in Cardano.Ledger.Conway.Translation

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

Defined in Cardano.Ledger.Conway.Translation

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

Defined in Cardano.Ledger.Conway.Translation

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

Defined in Cardano.Ledger.Conway.Translation

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

Defined in Cardano.Ledger.Conway.Translation

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

Defined in Cardano.Ledger.Conway.Translation

type TranslationError (ConwayEra c) UTxOState = Void
type TranslationError (ConwayEra c) WrapTx Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

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

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

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

data MaryEra era Source #

Instances

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

Defined in Cardano.Ledger.Mary.Era

Associated Types

type EraCrypto (MaryEra c) Source #

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

type ProtVerLow (MaryEra c) ∷ Nat Source #

type ProtVerHigh (MaryEra c) ∷ Nat Source #

Methods

eraName ∷ String Source #

Crypto c ⇒ EraGenesis (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.Era

Associated Types

type Genesis (MaryEra c) Source #

Crypto c ⇒ MaryEraTxBody (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody.Internal

Methods

mintTxBodyL ∷ Lens' (TxBody (MaryEra c)) (MultiAsset (EraCrypto (MaryEra c))) Source #

mintValueTxBodyF ∷ SimpleGetter (TxBody (MaryEra c)) (Value (MaryEra c)) Source #

mintedTxBodyF ∷ SimpleGetter (TxBody (MaryEra c)) (Set (PolicyID (EraCrypto (MaryEra c)))) Source #

Crypto c ⇒ GetLedgerView (MaryEra c) 
Instance details

Defined in Cardano.Protocol.TPraos.API

Methods

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

futureLedgerView ∷ MonadError (FutureLedgerViewError (MaryEra c)) m ⇒ Globals → NewEpochState (MaryEra c) → SlotNo → m (LedgerView (EraCrypto (MaryEra 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 (MaryEra c) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

Methods

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

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

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

Defined in Ouroboros.Consensus.Shelley.Eras

Associated Types

type TranslationError (MaryEra c) WrapTx Source #

Methods

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

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

Defined in Ouroboros.Consensus.Shelley.HFEras

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

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Associated Types

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

Methods

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

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

type EraRule "BBODY" (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.Era

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

Defined in Cardano.Ledger.Mary.Era

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

Defined in Cardano.Ledger.Mary.Era

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

Defined in Cardano.Ledger.Mary.Era

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

Defined in Cardano.Ledger.Mary.Era

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

Defined in Cardano.Ledger.Mary.Era

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

Defined in Cardano.Ledger.Mary.Era

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

Defined in Cardano.Ledger.Mary.Era

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

Defined in Cardano.Ledger.Mary.Era

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

Defined in Cardano.Ledger.Mary.Era

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

Defined in Cardano.Ledger.Mary.Era

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

Defined in Cardano.Ledger.Mary.Era

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

Defined in Cardano.Ledger.Mary.Era

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

Defined in Cardano.Ledger.Mary.Era

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

Defined in Cardano.Ledger.Mary.Era

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

Defined in Cardano.Ledger.Mary.Era

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

Defined in Cardano.Ledger.Mary.Era

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

Defined in Cardano.Ledger.Mary.Era

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

Defined in Cardano.Ledger.Mary.Era

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

Defined in Cardano.Ledger.Mary.Era

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

Defined in Cardano.Ledger.Mary.Rules.Ledger

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

Defined in Cardano.Ledger.Mary.Rules

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

Defined in Cardano.Ledger.Mary.Rules.Bbody

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

Defined in Cardano.Ledger.Mary.Rules.Deleg

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

Defined in Cardano.Ledger.Mary.Rules.Delegs

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

Defined in Cardano.Ledger.Mary.Rules.Delpl

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

Defined in Cardano.Ledger.Mary.Rules.Ledger

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

Defined in Cardano.Ledger.Mary.Rules.Ledgers

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

Defined in Cardano.Ledger.Mary.Rules.Pool

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

Defined in Cardano.Ledger.Mary.Rules.Ppup

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

Defined in Cardano.Ledger.Mary.Rules.Utxo

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

Defined in Cardano.Ledger.Mary.Rules.Utxow

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

Defined in Cardano.Ledger.Mary.PParams

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

Defined in Cardano.Ledger.Mary.PParams

type PParamsHKD f (MaryEra c) = ShelleyPParams f (MaryEra c)
type UpgradePParams f (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.PParams

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

Defined in Cardano.Ledger.Mary.Scripts

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

Defined in Cardano.Ledger.Mary.Scripts

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

Defined in Cardano.Ledger.Mary.Tx

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

Defined in Cardano.Ledger.Mary.TxAuxData

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

Defined in Cardano.Ledger.Mary.TxBody.Internal

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

Defined in Cardano.Ledger.Mary.TxBody.Internal

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

Defined in Cardano.Ledger.Mary.TxOut

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

Defined in Cardano.Ledger.Mary.TxSeq

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

Defined in Cardano.Ledger.Mary.Tx

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

Defined in Cardano.Ledger.Mary.TxWits

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

Defined in Cardano.Ledger.Mary.Era

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

Defined in Cardano.Ledger.Mary.Era

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

Defined in Cardano.Ledger.Mary.Era

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

Defined in Cardano.Ledger.Mary.Era

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

Defined in Cardano.Ledger.Mary.Era

type ProtVerLow (MaryEra c) = 4
type TranslationContext (MaryEra c)

No context is needed to translate from Allegra to Mary.

Instance details

Defined in Cardano.Ledger.Mary.Era

type TranslationContext (MaryEra c) = NoGenesis (MaryEra c)
type TxCert (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.TxCert

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

Defined in Cardano.Ledger.Mary.TxCert

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

Defined in Cardano.Ledger.Mary.Era

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

Defined in Cardano.Ledger.Mary.UTxO

type ScriptsNeeded (MaryEra c) = ShelleyScriptsNeeded (MaryEra c)
type GovState (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.PParams

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

Defined in Cardano.Ledger.Mary.Transition

newtype TransitionConfig (MaryEra c) = MaryTransitionConfig {}
type HardForkTxMeasure (CardanoEras c) Source # 
Instance details

Defined in Ouroboros.Consensus.Cardano.CanHardFork

type HardForkTxMeasure (CardanoEras c) = ConwayMeasure
type TranslationError (MaryEra c) Timelock 
Instance details

Defined in Cardano.Ledger.Mary.Translation

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

Defined in Cardano.Ledger.Mary.Translation

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

Defined in Cardano.Ledger.Mary.Translation

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

Defined in Cardano.Ledger.Mary.Translation

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

Defined in Cardano.Ledger.Mary.Translation

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

Defined in Cardano.Ledger.Mary.Translation

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

Defined in Cardano.Ledger.Mary.Translation

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

Defined in Cardano.Ledger.Mary.Translation

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

Defined in Cardano.Ledger.Mary.Translation

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

Defined in Cardano.Ledger.Mary.Translation

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

Defined in Cardano.Ledger.Mary.Translation

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

Defined in Cardano.Ledger.Mary.Translation

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

Defined in Cardano.Ledger.Mary.Translation

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

Defined in Cardano.Ledger.Mary.Translation

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

Defined in Cardano.Ledger.Mary.Translation

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

Defined in Cardano.Ledger.Mary.Translation

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

Defined in Cardano.Ledger.Mary.Translation

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

Defined in Cardano.Ledger.Mary.Translation

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

Defined in Cardano.Ledger.Mary.Translation

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

Defined in Cardano.Ledger.Mary.Translation

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

Defined in Cardano.Ledger.Mary.Translation

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

Defined in Ouroboros.Consensus.Shelley.Eras

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

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

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

data ShelleyEra c Source #

Instances

Instances details
InjectRuleFailure "BBODY" ShelleyBbodyPredFailure (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

Methods

injectFailure ∷ ShelleyBbodyPredFailure (ShelleyEra c) → EraRuleFailure "BBODY" (ShelleyEra c) Source #

InjectRuleFailure "DELEG" ShelleyDelegPredFailure (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

Methods

injectFailure ∷ ShelleyDelegPredFailure (ShelleyEra c) → EraRuleFailure "DELEG" (ShelleyEra c) Source #

InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

Methods

injectFailure ∷ ShelleyDelegsPredFailure (ShelleyEra c) → EraRuleFailure "DELEGS" (ShelleyEra c) Source #

InjectRuleFailure "DELPL" ShelleyDelplPredFailure (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

Methods

injectFailure ∷ ShelleyDelplPredFailure (ShelleyEra c) → EraRuleFailure "DELPL" (ShelleyEra c) Source #

InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

Methods

injectFailure ∷ ShelleyLedgerPredFailure (ShelleyEra c) → EraRuleFailure "LEDGER" (ShelleyEra c) Source #

InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

Methods

injectFailure ∷ ShelleyLedgersPredFailure (ShelleyEra c) → EraRuleFailure "LEDGERS" (ShelleyEra c) Source #

InjectRuleFailure "POOL" ShelleyPoolPredFailure (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

Methods

injectFailure ∷ ShelleyPoolPredFailure (ShelleyEra c) → EraRuleFailure "POOL" (ShelleyEra c) Source #

InjectRuleFailure "PPUP" ShelleyPpupPredFailure (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

Methods

injectFailure ∷ ShelleyPpupPredFailure (ShelleyEra c) → EraRuleFailure "PPUP" (ShelleyEra c) Source #

InjectRuleFailure "UTXO" ShelleyUtxoPredFailure (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

Methods

injectFailure ∷ ShelleyUtxoPredFailure (ShelleyEra c) → EraRuleFailure "UTXO" (ShelleyEra c) Source #

InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

Methods

injectFailure ∷ ShelleyUtxowPredFailure (ShelleyEra c) → EraRuleFailure "UTXOW" (ShelleyEra c) Source #

Crypto c ⇒ FromJSON (TransitionConfig (ShelleyEra c)) 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

Methods

parseJSON ∷ Value → Parser (TransitionConfig (ShelleyEra c)) Source #

parseJSONList ∷ Value → Parser [TransitionConfig (ShelleyEra c)] Source #

omittedField ∷ Maybe (TransitionConfig (ShelleyEra c)) Source #

Crypto c ⇒ ToJSON (TransitionConfig (ShelleyEra c)) 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

Methods

toJSON ∷ TransitionConfig (ShelleyEra c) → Value Source #

toEncoding ∷ TransitionConfig (ShelleyEra c) → Encoding Source #

toJSONList ∷ [TransitionConfig (ShelleyEra c)] → Value Source #

toEncodingList ∷ [TransitionConfig (ShelleyEra c)] → Encoding Source #

omitField ∷ TransitionConfig (ShelleyEra c) → Bool Source #

Generic (TransitionConfig (ShelleyEra c)) 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

Associated Types

type Rep (TransitionConfig (ShelleyEra c)) ∷ Type → Type #

Methods

from ∷ TransitionConfig (ShelleyEra c) → Rep (TransitionConfig (ShelleyEra c)) x #

to ∷ Rep (TransitionConfig (ShelleyEra c)) x → TransitionConfig (ShelleyEra c) #

Crypto c ⇒ Show (TransitionConfig (ShelleyEra c)) 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

Methods

showsPrec ∷ Int → TransitionConfig (ShelleyEra c) → ShowS #

show ∷ TransitionConfig (ShelleyEra c) → String #

showList ∷ [TransitionConfig (ShelleyEra c)] → ShowS #

Crypto c ⇒ Era (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Era

Associated Types

type EraCrypto (ShelleyEra c) Source #

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

type ProtVerLow (ShelleyEra c) ∷ Nat Source #

type ProtVerHigh (ShelleyEra c) ∷ Nat Source #

Methods

eraName ∷ String Source #

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

Defined in Cardano.Ledger.Shelley.API.Mempool

Methods

applyTxOpts ∷ ∀ (ep ∷ EventPolicy) m. (MonadError (ApplyTxError (ShelleyEra c)) m, EventReturnTypeRep ep) ⇒ ApplySTSOpts ep → Globals → MempoolEnv (ShelleyEra c) → MempoolState (ShelleyEra c) → Tx (ShelleyEra c) → m (EventReturnType ep (EraRule "LEDGER" (ShelleyEra c)) (MempoolState (ShelleyEra c), Validated (Tx (ShelleyEra c)))) Source #

reapplyTx ∷ MonadError (ApplyTxError (ShelleyEra c)) m ⇒ Globals → MempoolEnv (ShelleyEra c) → MempoolState (ShelleyEra c) → Validated (Tx (ShelleyEra c)) → m (MempoolState (ShelleyEra c)) Source #

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

Defined in Cardano.Ledger.Shelley.API.Validation

Methods

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

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

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

Crypto c ⇒ EraGov (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

Associated Types

type GovState (ShelleyEra c) = (r ∷ Type) Source #

Methods

emptyGovState ∷ GovState (ShelleyEra c) Source #

getProposedPPUpdates ∷ GovState (ShelleyEra c) → Maybe (ProposedPPUpdates (ShelleyEra c)) Source #

curPParamsGovStateL ∷ Lens' (GovState (ShelleyEra c)) (PParams (ShelleyEra c)) Source #

prevPParamsGovStateL ∷ Lens' (GovState (ShelleyEra c)) (PParams (ShelleyEra c)) Source #

futurePParamsGovStateL ∷ Lens' (GovState (ShelleyEra c)) (FuturePParams (ShelleyEra c)) Source #

obligationGovState ∷ GovState (ShelleyEra c) → Obligations Source #

Crypto c ⇒ ShelleyEraScript (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Scripts

Methods

mkRequireSignature ∷ KeyHash 'Witness (EraCrypto (ShelleyEra c)) → NativeScript (ShelleyEra c) Source #

getRequireSignature ∷ NativeScript (ShelleyEra c) → Maybe (KeyHash 'Witness (EraCrypto (ShelleyEra c))) Source #

mkRequireAllOf ∷ StrictSeq (NativeScript (ShelleyEra c)) → NativeScript (ShelleyEra c) Source #

getRequireAllOf ∷ NativeScript (ShelleyEra c) → Maybe (StrictSeq (NativeScript (ShelleyEra c))) Source #

mkRequireAnyOf ∷ StrictSeq (NativeScript (ShelleyEra c)) → NativeScript (ShelleyEra c) Source #

getRequireAnyOf ∷ NativeScript (ShelleyEra c) → Maybe (StrictSeq (NativeScript (ShelleyEra c))) Source #

mkRequireMOf ∷ Int → StrictSeq (NativeScript (ShelleyEra c)) → NativeScript (ShelleyEra c) Source #

getRequireMOf ∷ NativeScript (ShelleyEra c) → Maybe (Int, StrictSeq (NativeScript (ShelleyEra c))) Source #

Crypto c ⇒ EraTransition (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

Associated Types

data TransitionConfig (ShelleyEra c) Source #

Methods

mkTransitionConfig ∷ TranslationContext (ShelleyEra c) → TransitionConfig (PreviousEra (ShelleyEra c)) → TransitionConfig (ShelleyEra c) Source #

injectIntoTestState ∷ TransitionConfig (ShelleyEra c) → NewEpochState (ShelleyEra c) → NewEpochState (ShelleyEra c) Source #

tcPreviousEraConfigL ∷ Lens' (TransitionConfig (ShelleyEra c)) (TransitionConfig (PreviousEra (ShelleyEra c))) Source #

tcTranslationContextL ∷ Lens' (TransitionConfig (ShelleyEra c)) (TranslationContext (ShelleyEra c)) Source #

tcShelleyGenesisL ∷ Lens' (TransitionConfig (ShelleyEra c)) (ShelleyGenesis (EraCrypto (ShelleyEra c))) Source #

tcInitialPParamsG ∷ SimpleGetter (TransitionConfig (ShelleyEra c)) (PParams (ShelleyEra c)) Source #

Crypto c ⇒ ShelleyEraTxBody (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

ttlTxBodyL ∷ Lens' (TxBody (ShelleyEra c)) SlotNo Source #

updateTxBodyL ∷ Lens' (TxBody (ShelleyEra c)) (StrictMaybe (Update (ShelleyEra c))) Source #

Crypto c ⇒ ShelleyEraTxCert (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

mkRegTxCert ∷ StakeCredential (EraCrypto (ShelleyEra c)) → TxCert (ShelleyEra c) Source #

getRegTxCert ∷ TxCert (ShelleyEra c) → Maybe (StakeCredential (EraCrypto (ShelleyEra c))) Source #

mkUnRegTxCert ∷ StakeCredential (EraCrypto (ShelleyEra c)) → TxCert (ShelleyEra c) Source #

getUnRegTxCert ∷ TxCert (ShelleyEra c) → Maybe (StakeCredential (EraCrypto (ShelleyEra c))) Source #

mkDelegStakeTxCert ∷ StakeCredential (EraCrypto (ShelleyEra c)) → KeyHash 'StakePool (EraCrypto (ShelleyEra c)) → TxCert (ShelleyEra c) Source #

getDelegStakeTxCert ∷ TxCert (ShelleyEra c) → Maybe (StakeCredential (EraCrypto (ShelleyEra c)), KeyHash 'StakePool (EraCrypto (ShelleyEra c))) Source #

mkGenesisDelegTxCert ∷ GenesisDelegCert (EraCrypto (ShelleyEra c)) → TxCert (ShelleyEra c) Source #

getGenesisDelegTxCert ∷ TxCert (ShelleyEra c) → Maybe (GenesisDelegCert (EraCrypto (ShelleyEra c))) Source #

mkMirTxCert ∷ MIRCert (EraCrypto (ShelleyEra c)) → TxCert (ShelleyEra c) Source #

getMirTxCert ∷ TxCert (ShelleyEra c) → Maybe (MIRCert (EraCrypto (ShelleyEra c))) Source #

Crypto c ⇒ GetLedgerView (ShelleyEra c) 
Instance details

Defined in Cardano.Protocol.TPraos.API

Methods

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

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

Crypto c ⇒ Eq (TransitionConfig (ShelleyEra c)) 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

Methods

(==) ∷ TransitionConfig (ShelleyEra c) → TransitionConfig (ShelleyEra c) → Bool #

(/=) ∷ TransitionConfig (ShelleyEra c) → TransitionConfig (ShelleyEra c) → Bool #

Crypto c ⇒ NoThunks (TransitionConfig (ShelleyEra c)) 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

Methods

noThunks ∷ Context → TransitionConfig (ShelleyEra c) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TransitionConfig (ShelleyEra c) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TransitionConfig (ShelleyEra 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 (ShelleyEra c) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

Methods

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

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

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

Defined in Ouroboros.Consensus.Shelley.HFEras

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

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Associated Types

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

Methods

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

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

type EraRule "BBODY" (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Era

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

Defined in Cardano.Ledger.Shelley.Era

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

Defined in Cardano.Ledger.Shelley.Era

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

Defined in Cardano.Ledger.Shelley.Era

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

Defined in Cardano.Ledger.Shelley.Era

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

Defined in Cardano.Ledger.Shelley.Era

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

Defined in Cardano.Ledger.Shelley.Era

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

Defined in Cardano.Ledger.Shelley.Era

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

Defined in Cardano.Ledger.Shelley.Era

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

Defined in Cardano.Ledger.Shelley.Era

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

Defined in Cardano.Ledger.Shelley.Era

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

Defined in Cardano.Ledger.Shelley.Era

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

Defined in Cardano.Ledger.Shelley.Era

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

Defined in Cardano.Ledger.Shelley.Era

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

Defined in Cardano.Ledger.Shelley.Era

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

Defined in Cardano.Ledger.Shelley.Era

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

Defined in Cardano.Ledger.Shelley.Era

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

Defined in Cardano.Ledger.Shelley.Era

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

Defined in Cardano.Ledger.Shelley.Era

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

Defined in Cardano.Ledger.Shelley.Era

type EraRule "UTXOW" (ShelleyEra c) = ShelleyUTXOW (ShelleyEra c)
type EraRuleEvent "LEDGER" (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type EraRuleEvent "LEDGER" (ShelleyEra c) = ShelleyLedgerEvent (ShelleyEra c)
type EraRuleEvent "LEDGERS" (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type EraRuleEvent "LEDGERS" (ShelleyEra c) = ShelleyLedgersEvent (ShelleyEra c)
type EraRuleEvent "NEWEPOCH" (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type EraRuleEvent "NEWEPOCH" (ShelleyEra c) = ShelleyNewEpochEvent (ShelleyEra c)
type EraRuleEvent "POOLREAP" (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type EraRuleEvent "POOLREAP" (ShelleyEra c) = ShelleyPoolreapEvent (ShelleyEra c)
type EraRuleEvent "TICK" (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

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

Defined in Cardano.Ledger.Shelley.Rules.Bbody

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

Defined in Cardano.Ledger.Shelley.Rules.Deleg

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

Defined in Cardano.Ledger.Shelley.Rules.Delegs

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

Defined in Cardano.Ledger.Shelley.Rules.Delpl

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

Defined in Cardano.Ledger.Shelley.Rules.Ledger

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

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

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

Defined in Cardano.Ledger.Shelley.Rules.Pool

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

Defined in Cardano.Ledger.Shelley.Rules.Ppup

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

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type EraRuleFailure "UTXO" (ShelleyEra c) = ShelleyUtxoPredFailure (ShelleyEra c)
type EraRuleFailure "UTXOW" (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

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

Defined in Cardano.Ledger.Shelley.PParams

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

Defined in Cardano.Ledger.Shelley.PParams

type PParamsHKD f (ShelleyEra c) = ShelleyPParams f (ShelleyEra c)
type UpgradePParams f (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

type UpgradePParams f (ShelleyEra c) = Void
type Rep (TransitionConfig (ShelleyEra c)) 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

type Rep (TransitionConfig (ShelleyEra c)) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Shelley.Transition" "cardano-ledger-shelley-1.15.0.0-8e76d3f15613ef2f8ec72a045b254cd65709ac37e9ad00b45e5c75674eab432d" 'True) (C1 ('MetaCons "ShelleyTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "stcShelleyGenesis") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyGenesis c))))
type NativeScript (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Scripts

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

Defined in Cardano.Ledger.Shelley.Scripts

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

Defined in Cardano.Ledger.Shelley.Tx.Internal

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

Defined in Cardano.Ledger.Shelley.TxAuxData

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

Defined in Cardano.Ledger.Shelley.TxBody

type TxBody (ShelleyEra c) = ShelleyTxBody (ShelleyEra c)
type TxBodyUpgradeError (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type TxBodyUpgradeError (ShelleyEra c) = Void
type TxOut (ShelleyEra crypto) 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

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

Defined in Cardano.Ledger.Shelley.BlockChain

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

Defined in Cardano.Ledger.Shelley.Tx.Internal

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

Defined in Cardano.Ledger.Shelley.TxWits

type TxWits (ShelleyEra c) = ShelleyTxWits (ShelleyEra c)
type Value (ShelleyEra _c) 
Instance details

Defined in Cardano.Ledger.Shelley.Era

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

Defined in Cardano.Ledger.Shelley.Era

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

Defined in Cardano.Ledger.Shelley.Era

type PreviousEra (ShelleyEra c) = ByronEra c
type ProtVerHigh (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Era

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

Defined in Cardano.Ledger.Shelley.Era

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

Defined in Cardano.Ledger.Shelley.Translation

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

Defined in Cardano.Ledger.Shelley.TxCert

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

Defined in Cardano.Ledger.Shelley.TxCert

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

Defined in Cardano.Ledger.Shelley.Genesis

type Genesis (ShelleyEra c) = ShelleyGenesis c
type ScriptsNeeded (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.UTxO

type ScriptsNeeded (ShelleyEra c) = ShelleyScriptsNeeded (ShelleyEra c)
type GovState (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

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

Defined in Cardano.Ledger.Shelley.Transition

newtype TransitionConfig (ShelleyEra c) = ShelleyTransitionConfig {}
type HardForkTxMeasure (CardanoEras c) Source # 
Instance details

Defined in Ouroboros.Consensus.Cardano.CanHardFork

type HardForkTxMeasure (CardanoEras c) = ConwayMeasure
type TxMeasure (ShelleyBlock p (ShelleyEra c)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

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

Eras instantiated with standard crypto

type StandardAllegra = AllegraEra StandardCrypto Source #

The Allegra era with standard crypto

type StandardAlonzo = AlonzoEra StandardCrypto Source #

The Alonzo era with standard crypto

type StandardBabbage = BabbageEra StandardCrypto Source #

The Babbage era with standard crypto

type StandardConway = ConwayEra StandardCrypto Source #

The Conway era with standard crypto

type StandardMary = MaryEra StandardCrypto Source #

The Mary era with standard crypto

type StandardShelley = ShelleyEra StandardCrypto Source #

The Shelley era with standard crypto

Shelley-based era

data ConwayEraGovDict era where Source #

Constructors

ConwayEraGovDict ∷ ConwayEraGov era ⇒ ConwayEraGovDict era 

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

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

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

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

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

Methods

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

getConwayEraGovDict ∷ proxy era → Maybe (ConwayEraGovDict era) Source #

Whether the era has an instance of ConwayEraGov

Instances

Instances details
(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 #

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

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 #

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

Defined in Ouroboros.Consensus.Shelley.Eras

Methods

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

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

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

Defined in Ouroboros.Consensus.Shelley.Eras

Methods

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

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

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

Defined in Ouroboros.Consensus.Shelley.Eras

Methods

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

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

newtype WrapTx era Source #

Wrapper for partially applying the Tx type family

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

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

Constructors

WrapTx 

Fields

Instances

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

Defined in Ouroboros.Consensus.Shelley.Eras

Associated Types

type TranslationError (AllegraEra c) WrapTx Source #

Methods

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

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 #

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

Defined in Ouroboros.Consensus.Shelley.Eras

Associated Types

type TranslationError (ConwayEra c) WrapTx Source #

Methods

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

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

Defined in Ouroboros.Consensus.Shelley.Eras

Associated Types

type TranslationError (MaryEra c) WrapTx Source #

Methods

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

type TranslationError (AllegraEra c) WrapTx Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

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

Defined in Ouroboros.Consensus.Shelley.Eras

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

Defined in Ouroboros.Consensus.Shelley.Eras

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

Defined in Ouroboros.Consensus.Shelley.Eras

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

Defined in Ouroboros.Consensus.Shelley.Eras

type TranslationError (MaryEra c) WrapTx = TranslationError (MaryEra c) ShelleyTx

Type synonyms for convenience

type family EraCrypto era Source #

Instances

Instances details
type EraCrypto (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.Era

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

Defined in Cardano.Ledger.Alonzo.Era

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

Defined in Cardano.Ledger.Babbage.Era

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

Defined in Cardano.Ledger.Conway.Era

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

Defined in Cardano.Ledger.Core.Era

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

Defined in Cardano.Ledger.Mary.Era

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

Defined in Cardano.Ledger.Shelley.Era

type EraCrypto (ShelleyEra c) = c

Convenience functions

isBeforeConway ∷ ∀ era. Era era ⇒ Proxy era → Bool Source #

Re-exports

data StandardCrypto Source #

The same crypto used on the net

Instances

Instances details
Crypto StandardCrypto 
Instance details

Defined in Cardano.Ledger.Crypto

Associated Types

type HASH StandardCrypto Source #

type ADDRHASH StandardCrypto Source #

type DSIGN StandardCrypto Source #

type KES StandardCrypto Source #

type VRF StandardCrypto Source #

PraosCrypto StandardCrypto 
Instance details

Defined in Cardano.Protocol.TPraos.API

PraosCrypto StandardCrypto 
Instance details

Defined in Ouroboros.Consensus.Protocol.Praos

type ADDRHASH StandardCrypto 
Instance details

Defined in Cardano.Ledger.Crypto

type ADDRHASH StandardCrypto = Blake2b_224
type DSIGN StandardCrypto 
Instance details

Defined in Cardano.Ledger.Crypto

type DSIGN StandardCrypto = Ed25519DSIGN
type HASH StandardCrypto 
Instance details

Defined in Cardano.Ledger.Crypto

type HASH StandardCrypto = Blake2b_256
type KES StandardCrypto 
Instance details

Defined in Cardano.Ledger.Crypto

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

Defined in Cardano.Ledger.Crypto

type VRF StandardCrypto = PraosVRF