Eras based on the Shelley ledger

EraGenesis AllegraEra

Instance details

Associated Types

type Genesis AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Era type Genesis AllegraEra = NoGenesis AllegraEra

GetLedgerView AllegraEra

Instance details

Methods

currentLedgerView ∷ NewEpochState AllegraEra → LedgerView Source #

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

ShelleyBasedEra AllegraEra Source #

Instance details

Methods

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

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

TranslateEra AllegraEra WrapTx Source #

Instance details

Associated Types

type TranslationError AllegraEra WrapTx
Instance details Defined in Ouroboros.Consensus.Shelley.Eras type TranslationError AllegraEra WrapTx = TranslationError AllegraEra ShelleyTx

Methods

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

InjectRuleFailure "UTXO" AllegraUtxoPredFailure AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

Methods

injectFailure ∷ AllegraUtxoPredFailure AllegraEra → EraRuleFailure "UTXO" AllegraEra Source #

Show (CanonicalTxIn (CardanoEras c)) Source #

Instance details

Methods

showsPrec ∷ Int → CanonicalTxIn (CardanoEras c) → ShowS #

show ∷ CanonicalTxIn (CardanoEras c) → String #

showList ∷ [CanonicalTxIn (CardanoEras c)] → ShowS #

Eq (CanonicalTxIn (CardanoEras c)) Source #

Instance details

Methods

(==) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

(/=) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

Ord (CanonicalTxIn (CardanoEras c)) Source #

Instance details

Methods

compare ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Ordering #

(<) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

(<=) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

(>) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

(>=) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

max ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) #

min ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) #

CardanoHardForkConstraints c ⇒ MemPack (CanonicalTxIn (CardanoEras c)) Source #

Instance details

Methods

packedByteCount ∷ CanonicalTxIn (CardanoEras c) → Int Source #

packM ∷ CanonicalTxIn (CardanoEras c) → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack b (CanonicalTxIn (CardanoEras c)) Source #

NoThunks (CanonicalTxIn (CardanoEras c)) Source #

Instance details

Methods

noThunks ∷ Context → CanonicalTxIn (CardanoEras c) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → CanonicalTxIn (CardanoEras c) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (CanonicalTxIn (CardanoEras c)) → String Source #

CardanoHardForkConstraints c ⇒ CanHardFork (CardanoEras c) Source #

When performing era translations, two eras have special behaviours on the ledger tables:

Byron to Shelley: as Byron has no tables, the whole UTxO set is computed as insertions, note that it uses valuesAsDiffs
Shelley to Allegra: some special addresses (the so called AVVM addresses), were deleted in this transition, which influenced things like the calculation of later rewards. In this transition, we consume the shelleyToAllegraAVVMsToDelete as deletions in the ledger tables.

Instance details

Associated Types

type HardForkTxMeasure (CardanoEras c)
Instance details Defined in Ouroboros.Consensus.Cardano.CanHardFork type HardForkTxMeasure (CardanoEras c) = ConwayMeasure

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

CardanoHardForkConstraints c ⇒ HasCanonicalTxIn (CardanoEras c) Source #

Instance details

Associated Types

newtype CanonicalTxIn (CardanoEras c)
Instance details Defined in Ouroboros.Consensus.Cardano.Ledger newtype CanonicalTxIn (CardanoEras c) = CardanoTxIn { getCardanoTxIn ∷ TxIn }

Methods

injectCanonicalTxIn ∷ Index (CardanoEras c) x → TxIn (LedgerState x) → CanonicalTxIn (CardanoEras c) Source #

ejectCanonicalTxIn ∷ Index (CardanoEras c) x → CanonicalTxIn (CardanoEras c) → TxIn (LedgerState x) Source #

CardanoHardForkConstraints c ⇒ HasHardForkTxOut (CardanoEras c) Source #

Instance details

Associated Types

type HardForkTxOut (CardanoEras c)
Instance details Defined in Ouroboros.Consensus.Cardano.Ledger type HardForkTxOut (CardanoEras c) = CardanoTxOut c

Methods

injectHardForkTxOut ∷ Index (CardanoEras c) x → TxOut (LedgerState x) → HardForkTxOut (CardanoEras c) Source #

ejectHardForkTxOut ∷ Index (CardanoEras c) x → HardForkTxOut (CardanoEras c) → TxOut (LedgerState x) Source #

txOutEjections ∷ NP ((K (NS WrapTxOut (CardanoEras c)) ∷ Type → Type) -.-> WrapTxOut) (CardanoEras c) Source #

txOutTranslations ∷ Tails (Fn2 WrapTxOut) (CardanoEras c) Source #

CardanoHardForkConstraints c ⇒ BlockSupportsHFLedgerQuery (CardanoEras c) Source #

Instance details

Methods

answerBlockQueryHFLookup ∷ (All SingleEraBlock (CardanoEras c), Monad m) ⇒ Index (CardanoEras c) x → ExtLedgerCfg x → BlockQuery x 'QFLookupTables result → ReadOnlyForker' m (HardForkBlock (CardanoEras c)) → m result Source #

answerBlockQueryHFTraverse ∷ (All SingleEraBlock (CardanoEras c), Monad m) ⇒ Index (CardanoEras c) x → ExtLedgerCfg x → BlockQuery x 'QFTraverseTables result → ReadOnlyForker' m (HardForkBlock (CardanoEras c)) → m result Source #

queryLedgerGetTraversingFilter ∷ Index (CardanoEras c) x → BlockQuery x 'QFTraverseTables result → TxOut (LedgerState (HardForkBlock (CardanoEras c))) → Bool Source #

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:

Byron EBB
Byron regular block
Shelley block
Allegra block
Mary block
Goguen block
etc.

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

Instance details

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 ⇒ SerializeTablesWithHint (LedgerState (HardForkBlock (CardanoEras c))) Source #

Instance details

Methods

encodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK) → LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK → Encoding Source #

decodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK) → Decoder s (LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK) Source #

CardanoHardForkConstraints c ⇒ SupportedNetworkProtocolVersion (CardanoBlock c) Source #

Instance details

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 ⇒ ShelleyCompatible (TPraos c) AllegraEra Source #

Instance details

ShelleyCompatible p AllegraEra ⇒ TxLimits (ShelleyBlock p AllegraEra) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Associated Types

type TxMeasure (ShelleyBlock p AllegraEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool type TxMeasure (ShelleyBlock p AllegraEra) = IgnoringOverflow ByteSize32

Methods

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

blockCapacityTxMeasure ∷ ∀ (mk ∷ MapKind). LedgerConfig (ShelleyBlock p AllegraEra) → TickedLedgerState (ShelleyBlock p AllegraEra) mk → TxMeasure (ShelleyBlock p AllegraEra) Source #

CardanoHardForkConstraints c ⇒ IndexedMemPack (LedgerState (HardForkBlock (CardanoEras c)) EmptyMK) (CardanoTxOut c) Source #

Instance details

Methods

indexedPackedByteCount ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → CardanoTxOut c → Int Source #

indexedPackM ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → CardanoTxOut c → Pack s () Source #

indexedUnpackM ∷ Buffer b ⇒ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → Unpack b (CardanoTxOut c) Source #

indexedTypeName ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → String Source #

type CertState AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.CertState

type CertState AllegraEra = ShelleyCertState AllegraEra

type NativeScript AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.Scripts

type NativeScript AllegraEra = Timelock AllegraEra

type Script AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.Scripts

type Script AllegraEra = Timelock AllegraEra

type Tx AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.Tx

type Tx AllegraEra = ShelleyTx AllegraEra

type TxAuxData AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

type TxAuxData AllegraEra = AllegraTxAuxData AllegraEra

type TxBody AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.TxBody.Internal

type TxBody AllegraEra = AllegraTxBody AllegraEra

type TxBodyUpgradeError AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.TxBody.Internal

type TxBodyUpgradeError AllegraEra = Void

type TxOut AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.TxOut

type TxOut AllegraEra = ShelleyTxOut AllegraEra

type TxSeq AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.TxSeq

type TxSeq AllegraEra = ShelleyTxSeq AllegraEra

type TxUpgradeError AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.Tx

type TxUpgradeError AllegraEra = Void

type TxWits AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.TxWits

type TxWits AllegraEra = ShelleyTxWits AllegraEra

type Value AllegraEra

Instance details

type Value AllegraEra = Coin

type PreviousEra AllegraEra

Instance details

type PreviousEra AllegraEra = ShelleyEra

type ProtVerHigh AllegraEra

Instance details

type ProtVerHigh AllegraEra = ProtVerLow AllegraEra

type ProtVerLow AllegraEra

Instance details

type ProtVerLow AllegraEra = 3

type TranslationContext AllegraEra

No context is needed to translate from Shelley to Allegra.

Instance details

type TranslationContext AllegraEra = NoGenesis AllegraEra

type TxCert AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.TxCert

type TxCert AllegraEra = ShelleyTxCert AllegraEra

type TxCertUpgradeError AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.TxCert

type TxCertUpgradeError AllegraEra = Void

type Genesis AllegraEra

Instance details

type Genesis AllegraEra = NoGenesis AllegraEra

type GovState AllegraEra

Instance details

type GovState AllegraEra = ShelleyGovState AllegraEra

type InstantStake AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.State.Stake

type InstantStake AllegraEra = ShelleyInstantStake AllegraEra

type ScriptsNeeded AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.UTxO

type ScriptsNeeded AllegraEra = ShelleyScriptsNeeded AllegraEra

newtype TransitionConfig AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.Transition

newtype TransitionConfig AllegraEra = AllegraTransitionConfig {

atcShelleyTransitionConfig ∷ TransitionConfig ShelleyEra

}

type EraRule "BBODY" AllegraEra

Instance details

type EraRule "BBODY" AllegraEra = ShelleyBBODY AllegraEra

type EraRule "DELEG" AllegraEra

Instance details

type EraRule "DELEG" AllegraEra = ShelleyDELEG AllegraEra

type EraRule "DELEGS" AllegraEra

Instance details

type EraRule "DELEGS" AllegraEra = ShelleyDELEGS AllegraEra

type EraRule "DELPL" AllegraEra

Instance details

type EraRule "DELPL" AllegraEra = ShelleyDELPL AllegraEra

type EraRule "EPOCH" AllegraEra

Instance details

type EraRule "EPOCH" AllegraEra = ShelleyEPOCH AllegraEra

type EraRule "LEDGER" AllegraEra

Instance details

type EraRule "LEDGER" AllegraEra = ShelleyLEDGER AllegraEra

type EraRule "LEDGERS" AllegraEra

Instance details

type EraRule "LEDGERS" AllegraEra = ShelleyLEDGERS AllegraEra

type EraRule "MIR" AllegraEra

Instance details

type EraRule "MIR" AllegraEra = ShelleyMIR AllegraEra

type EraRule "NEWEPOCH" AllegraEra

Instance details

type EraRule "NEWEPOCH" AllegraEra = ShelleyNEWEPOCH AllegraEra

type EraRule "NEWPP" AllegraEra

Instance details

type EraRule "NEWPP" AllegraEra = ShelleyNEWPP AllegraEra

type EraRule "POOL" AllegraEra

Instance details

type EraRule "POOL" AllegraEra = ShelleyPOOL AllegraEra

type EraRule "POOLREAP" AllegraEra

Instance details

type EraRule "POOLREAP" AllegraEra = ShelleyPOOLREAP AllegraEra

type EraRule "PPUP" AllegraEra

Instance details

type EraRule "PPUP" AllegraEra = ShelleyPPUP AllegraEra

type EraRule "RUPD" AllegraEra

Instance details

type EraRule "RUPD" AllegraEra = ShelleyRUPD AllegraEra

type EraRule "SNAP" AllegraEra

Instance details

type EraRule "SNAP" AllegraEra = ShelleySNAP AllegraEra

type EraRule "TICK" AllegraEra

Instance details

type EraRule "TICK" AllegraEra = ShelleyTICK AllegraEra

type EraRule "TICKF" AllegraEra

Instance details

type EraRule "TICKF" AllegraEra = ShelleyTICKF AllegraEra

type EraRule "UPEC" AllegraEra

Instance details

type EraRule "UPEC" AllegraEra = ShelleyUPEC AllegraEra

type EraRule "UTXO" AllegraEra

Instance details

type EraRule "UTXO" AllegraEra = AllegraUTXO AllegraEra

type EraRule "UTXOW" AllegraEra

Instance details

type EraRule "UTXOW" AllegraEra = AllegraUTXOW AllegraEra

type EraRuleEvent "LEDGER" AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledger

type EraRuleEvent "LEDGER" AllegraEra = ShelleyLedgerEvent AllegraEra

type EraRuleEvent "TICK" AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.Rules

type EraRuleEvent "TICK" AllegraEra = ShelleyTickEvent AllegraEra

type EraRuleFailure "BBODY" AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.Rules.Bbody

type EraRuleFailure "BBODY" AllegraEra = ShelleyBbodyPredFailure AllegraEra

type EraRuleFailure "DELEG" AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.Rules.Deleg

type EraRuleFailure "DELEG" AllegraEra = ShelleyDelegPredFailure AllegraEra

type EraRuleFailure "DELEGS" AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.Rules.Delegs

type EraRuleFailure "DELEGS" AllegraEra = ShelleyDelegsPredFailure AllegraEra

type EraRuleFailure "DELPL" AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.Rules.Delpl

type EraRuleFailure "DELPL" AllegraEra = ShelleyDelplPredFailure AllegraEra

type EraRuleFailure "LEDGER" AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledger

type EraRuleFailure "LEDGER" AllegraEra = ShelleyLedgerPredFailure AllegraEra

type EraRuleFailure "LEDGERS" AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledgers

type EraRuleFailure "LEDGERS" AllegraEra = ShelleyLedgersPredFailure AllegraEra

type EraRuleFailure "POOL" AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.Rules.Pool

type EraRuleFailure "POOL" AllegraEra = ShelleyPoolPredFailure AllegraEra

type EraRuleFailure "PPUP" AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ppup

type EraRuleFailure "PPUP" AllegraEra = ShelleyPpupPredFailure AllegraEra

type EraRuleFailure "UTXO" AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

type EraRuleFailure "UTXO" AllegraEra = AllegraUtxoPredFailure AllegraEra

type EraRuleFailure "UTXOW" AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

type EraRuleFailure "UTXOW" AllegraEra = ShelleyUtxowPredFailure AllegraEra

type DowngradePParams f AllegraEra

Instance details

type DowngradePParams f AllegraEra = ()

type PParamsHKD f AllegraEra

Instance details

type PParamsHKD f AllegraEra = ShelleyPParams f AllegraEra

type UpgradePParams f AllegraEra

Instance details

type UpgradePParams f AllegraEra = ()

type TranslationError AllegraEra CommitteeState

Instance details

type TranslationError AllegraEra CommitteeState = Void

type TranslationError AllegraEra DState

Instance details

type TranslationError AllegraEra DState = Void

type TranslationError AllegraEra PState

Instance details

type TranslationError AllegraEra PState = Void

type TranslationError AllegraEra VState

Instance details

type TranslationError AllegraEra VState = Void

type TranslationError AllegraEra PParams

Instance details

type TranslationError AllegraEra PParams = Void

type TranslationError AllegraEra PParamsUpdate

Instance details

type TranslationError AllegraEra PParamsUpdate = Void

type TranslationError AllegraEra FuturePParams

Instance details

type TranslationError AllegraEra FuturePParams = Void

type TranslationError AllegraEra UTxO

Instance details

type TranslationError AllegraEra UTxO = Void

type TranslationError AllegraEra ShelleyCertState

Instance details

type TranslationError AllegraEra ShelleyCertState = Void

type TranslationError AllegraEra ShelleyGovState

Instance details

type TranslationError AllegraEra ShelleyGovState = Void

type TranslationError AllegraEra EpochState

Instance details

type TranslationError AllegraEra EpochState = Void

type TranslationError AllegraEra LedgerState

Instance details

type TranslationError AllegraEra LedgerState = Void

type TranslationError AllegraEra NewEpochState

Instance details

type TranslationError AllegraEra NewEpochState = Void

type TranslationError AllegraEra UTxOState

Instance details

type TranslationError AllegraEra UTxOState = Void

type TranslationError AllegraEra ProposedPPUpdates

Instance details

type TranslationError AllegraEra ProposedPPUpdates = Void

type TranslationError AllegraEra Update

Instance details

type TranslationError AllegraEra Update = Void

type TranslationError AllegraEra ShelleyInstantStake

Instance details

type TranslationError AllegraEra ShelleyInstantStake = Void

type TranslationError AllegraEra ShelleyTx

Instance details

type TranslationError AllegraEra ShelleyTx = DecoderError

type TranslationError AllegraEra ShelleyTxOut

Instance details

type TranslationError AllegraEra ShelleyTxOut = Void

type TranslationError AllegraEra ShelleyTxWits

Instance details

type TranslationError AllegraEra ShelleyTxWits = DecoderError

type TranslationError AllegraEra WrapTx Source #

Instance details

type TranslationError AllegraEra WrapTx = TranslationError AllegraEra ShelleyTx

type HardForkTxMeasure (CardanoEras c) Source #

Instance details

type HardForkTxMeasure (CardanoEras c) = ConwayMeasure

newtype CanonicalTxIn (CardanoEras c) Source #

Instance details

newtype CanonicalTxIn (CardanoEras c) = CardanoTxIn {

getCardanoTxIn ∷ TxIn

}

type HardForkTxOut (CardanoEras c) Source #

Instance details

AlonzoEraPParams AlonzoEra

type HardForkTxOut (CardanoEras c) = CardanoTxOut c

type TxMeasure (ShelleyBlock p AllegraEra) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type TxMeasure (ShelleyBlock p AllegraEra) = IgnoringOverflow ByteSize32

data AlonzoEra Source #

The Alonzo era

Instances

Instances details

Instance details

AlonzoEraScript AlonzoEra

Methods

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

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

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

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

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

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

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

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

Instance details

AlonzoEraTxAuxData AlonzoEra

Associated Types

newtype PlutusScript AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Scripts newtype PlutusScript AlonzoEra = AlonzoPlutusV1 (Plutus 'PlutusV1)
type PlutusPurpose f AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Scripts type PlutusPurpose f AlonzoEra = AlonzoPlutusPurpose f AlonzoEra

Methods

eraMaxLanguage ∷ Language Source #

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

fromPlutusScript ∷ PlutusScript AlonzoEra → Script AlonzoEra Source #

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

withPlutusScript ∷ PlutusScript AlonzoEra → (∀ (l ∷ Language). PlutusLanguage l ⇒ Plutus l → a) → a Source #

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

mkSpendingPurpose ∷ f Word32 TxIn → PlutusPurpose f AlonzoEra Source #

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

mkMintingPurpose ∷ f Word32 PolicyID → PlutusPurpose f AlonzoEra Source #

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

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

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

mkRewardingPurpose ∷ f Word32 RewardAccount → PlutusPurpose f AlonzoEra Source #

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

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

AlonzoEraTx AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

isValidTxL ∷ Lens' (Tx AlonzoEra) IsValid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Methods

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

AlonzoEraTxBody AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

Methods

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

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

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

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

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

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

AlonzoEraTxOut AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

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

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

EraScript AlonzoEra ⇒ AlonzoEraTxWits AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

datsTxWitsL ∷ Lens' (TxWits AlonzoEra) (TxDats AlonzoEra) Source #

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

AlonzoEraUTxO AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.UTxO

Methods

getSupplementalDataHashes ∷ UTxO AlonzoEra → TxBody AlonzoEra → Set DataHash Source #

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

Era AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

Associated Types

type PreviousEra AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type PreviousEra AlonzoEra = MaryEra
type ProtVerLow AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type ProtVerLow AlonzoEra = 5
type ProtVerHigh AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type ProtVerHigh AlonzoEra = 6

Methods

GetLedgerView AlonzoEra

Instance details

Methods

currentLedgerView ∷ NewEpochState AlonzoEra → LedgerView Source #

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

ShelleyBasedEra AlonzoEra Source #

Instance details

Methods

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

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

TranslateEra AlonzoEra Tx

Instance details

Associated Types

type TranslationError AlonzoEra Tx
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra Tx = DecoderError

Methods

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

TranslateEra AlonzoEra WrapTx Source #

Instance details

Associated Types

type TranslationError AlonzoEra WrapTx
Instance details Defined in Ouroboros.Consensus.Shelley.Eras type TranslationError AlonzoEra WrapTx = TranslationError AlonzoEra Tx

Methods

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

InjectRuleFailure "BBODY" AlonzoBbodyPredFailure AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

Methods

injectFailure ∷ AlonzoBbodyPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #

InjectRuleFailure "UTXO" AlonzoUtxoPredFailure AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

Methods

injectFailure ∷ AlonzoUtxoPredFailure AlonzoEra → EraRuleFailure "UTXO" AlonzoEra Source #

InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

injectFailure ∷ AlonzoUtxosPredFailure AlonzoEra → EraRuleFailure "UTXOS" AlonzoEra Source #

InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

Methods

injectFailure ∷ AlonzoUtxowPredFailure AlonzoEra → EraRuleFailure "UTXOW" AlonzoEra Source #

SafeToHash (PlutusScript AlonzoEra)

Instance details

Methods

originalBytes ∷ PlutusScript AlonzoEra → ByteString Source #

originalBytesSize ∷ PlutusScript AlonzoEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → PlutusScript AlonzoEra → SafeHash i Source #

NFData (PlutusScript AlonzoEra)

Instance details

Methods

rnf ∷ PlutusScript AlonzoEra → () #

Generic (PlutusScript AlonzoEra)

Instance details

Associated Types

type Rep (PlutusScript AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts type Rep (PlutusScript AlonzoEra) = Rep (Plutus 'PlutusV1)

Methods

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

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

Show (PlutusScript AlonzoEra)

Instance details

Methods

showsPrec ∷ Int → PlutusScript AlonzoEra → ShowS #

show ∷ PlutusScript AlonzoEra → String #

showList ∷ [PlutusScript AlonzoEra] → ShowS #

Show (CanonicalTxIn (CardanoEras c)) Source #

Instance details

Methods

showsPrec ∷ Int → CanonicalTxIn (CardanoEras c) → ShowS #

show ∷ CanonicalTxIn (CardanoEras c) → String #

showList ∷ [CanonicalTxIn (CardanoEras c)] → ShowS #

Eq (PlutusScript AlonzoEra)

Instance details

Methods

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

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

Eq (CanonicalTxIn (CardanoEras c)) Source #

Instance details

Methods

(==) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

(/=) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

Ord (PlutusScript AlonzoEra)

Instance details

Methods

compare ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Ordering #

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

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

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

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

max ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → PlutusScript AlonzoEra #

min ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → PlutusScript AlonzoEra #

Ord (CanonicalTxIn (CardanoEras c)) Source #

Instance details

Methods

compare ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Ordering #

(<) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

(<=) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

(>) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

(>=) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

max ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) #

min ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) #

MemPack (PlutusScript AlonzoEra)

It might seem that this instance unnecessarily utilizes a zero Tag, but it is needed for forward compatibility with plutus scripts from future eras.

That being said, currently this instance is not used at all, since reference scripts where introduced in Babbage era and MemPack for now is only used for TxOuts

Instance details

Methods

packedByteCount ∷ PlutusScript AlonzoEra → Int Source #

packM ∷ PlutusScript AlonzoEra → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack b (PlutusScript AlonzoEra) Source #

CardanoHardForkConstraints c ⇒ MemPack (CanonicalTxIn (CardanoEras c)) Source #

Instance details

Methods

packedByteCount ∷ CanonicalTxIn (CardanoEras c) → Int Source #

packM ∷ CanonicalTxIn (CardanoEras c) → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack b (CanonicalTxIn (CardanoEras c)) Source #

NoThunks (PlutusScript AlonzoEra)

Instance details

Methods

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

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

showTypeOf ∷ Proxy (PlutusScript AlonzoEra) → String Source #

NoThunks (CanonicalTxIn (CardanoEras c)) Source #

Instance details

Methods

noThunks ∷ Context → CanonicalTxIn (CardanoEras c) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → CanonicalTxIn (CardanoEras c) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (CanonicalTxIn (CardanoEras c)) → String Source #

CardanoHardForkConstraints c ⇒ CanHardFork (CardanoEras c) Source #

When performing era translations, two eras have special behaviours on the ledger tables:

Byron to Shelley: as Byron has no tables, the whole UTxO set is computed as insertions, note that it uses valuesAsDiffs
Shelley to Allegra: some special addresses (the so called AVVM addresses), were deleted in this transition, which influenced things like the calculation of later rewards. In this transition, we consume the shelleyToAllegraAVVMsToDelete as deletions in the ledger tables.

Instance details

Associated Types

type HardForkTxMeasure (CardanoEras c)
Instance details Defined in Ouroboros.Consensus.Cardano.CanHardFork type HardForkTxMeasure (CardanoEras c) = ConwayMeasure

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

CardanoHardForkConstraints c ⇒ HasCanonicalTxIn (CardanoEras c) Source #

Instance details

Associated Types

newtype CanonicalTxIn (CardanoEras c)
Instance details Defined in Ouroboros.Consensus.Cardano.Ledger newtype CanonicalTxIn (CardanoEras c) = CardanoTxIn { getCardanoTxIn ∷ TxIn }

Methods

injectCanonicalTxIn ∷ Index (CardanoEras c) x → TxIn (LedgerState x) → CanonicalTxIn (CardanoEras c) Source #

ejectCanonicalTxIn ∷ Index (CardanoEras c) x → CanonicalTxIn (CardanoEras c) → TxIn (LedgerState x) Source #

CardanoHardForkConstraints c ⇒ HasHardForkTxOut (CardanoEras c) Source #

Instance details

Associated Types

type HardForkTxOut (CardanoEras c)
Instance details Defined in Ouroboros.Consensus.Cardano.Ledger type HardForkTxOut (CardanoEras c) = CardanoTxOut c

Methods

injectHardForkTxOut ∷ Index (CardanoEras c) x → TxOut (LedgerState x) → HardForkTxOut (CardanoEras c) Source #

ejectHardForkTxOut ∷ Index (CardanoEras c) x → HardForkTxOut (CardanoEras c) → TxOut (LedgerState x) Source #

txOutEjections ∷ NP ((K (NS WrapTxOut (CardanoEras c)) ∷ Type → Type) -.-> WrapTxOut) (CardanoEras c) Source #

txOutTranslations ∷ Tails (Fn2 WrapTxOut) (CardanoEras c) Source #

CardanoHardForkConstraints c ⇒ BlockSupportsHFLedgerQuery (CardanoEras c) Source #

Instance details

Methods

answerBlockQueryHFLookup ∷ (All SingleEraBlock (CardanoEras c), Monad m) ⇒ Index (CardanoEras c) x → ExtLedgerCfg x → BlockQuery x 'QFLookupTables result → ReadOnlyForker' m (HardForkBlock (CardanoEras c)) → m result Source #

answerBlockQueryHFTraverse ∷ (All SingleEraBlock (CardanoEras c), Monad m) ⇒ Index (CardanoEras c) x → ExtLedgerCfg x → BlockQuery x 'QFTraverseTables result → ReadOnlyForker' m (HardForkBlock (CardanoEras c)) → m result Source #

queryLedgerGetTraversingFilter ∷ Index (CardanoEras c) x → BlockQuery x 'QFTraverseTables result → TxOut (LedgerState (HardForkBlock (CardanoEras c))) → Bool Source #

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:

Byron EBB
Byron regular block
Shelley block
Allegra block
Mary block
Goguen block
etc.

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

Instance details

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 ⇒ SerializeTablesWithHint (LedgerState (HardForkBlock (CardanoEras c))) Source #

Instance details

Methods

encodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK) → LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK → Encoding Source #

decodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK) → Decoder s (LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK) Source #

CardanoHardForkConstraints c ⇒ SupportedNetworkProtocolVersion (CardanoBlock c) Source #

Instance details

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 ⇒ ShelleyCompatible (TPraos c) AlonzoEra Source #

Instance details

ToJSON (AlonzoPParams StrictMaybe AlonzoEra)

Instance details

Methods

toJSON ∷ AlonzoPParams StrictMaybe AlonzoEra → Value Source #

toEncoding ∷ AlonzoPParams StrictMaybe AlonzoEra → Encoding Source #

toJSONList ∷ [AlonzoPParams StrictMaybe AlonzoEra] → Value Source #

toEncodingList ∷ [AlonzoPParams StrictMaybe AlonzoEra] → Encoding Source #

omitField ∷ AlonzoPParams StrictMaybe AlonzoEra → Bool Source #

ToJSON (AlonzoPParams Identity AlonzoEra)

Instance details

Methods

toJSON ∷ AlonzoPParams Identity AlonzoEra → Value Source #

toEncoding ∷ AlonzoPParams Identity AlonzoEra → Encoding Source #

toJSONList ∷ [AlonzoPParams Identity AlonzoEra] → Value Source #

toEncodingList ∷ [AlonzoPParams Identity AlonzoEra] → Encoding Source #

omitField ∷ AlonzoPParams Identity AlonzoEra → Bool Source #

ShelleyCompatible p AlonzoEra ⇒ TxLimits (ShelleyBlock p AlonzoEra) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Associated Types

type TxMeasure (ShelleyBlock p AlonzoEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool type TxMeasure (ShelleyBlock p AlonzoEra) = AlonzoMeasure

Methods

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

blockCapacityTxMeasure ∷ ∀ (mk ∷ MapKind). LedgerConfig (ShelleyBlock p AlonzoEra) → TickedLedgerState (ShelleyBlock p AlonzoEra) mk → TxMeasure (ShelleyBlock p AlonzoEra) Source #

CardanoHardForkConstraints c ⇒ IndexedMemPack (LedgerState (HardForkBlock (CardanoEras c)) EmptyMK) (CardanoTxOut c) Source #

Instance details

Methods

indexedPackedByteCount ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → CardanoTxOut c → Int Source #

indexedPackM ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → CardanoTxOut c → Pack s () Source #

indexedUnpackM ∷ Buffer b ⇒ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → Unpack b (CardanoTxOut c) Source #

indexedTypeName ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → String Source #

type ContextError AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo

type ContextError AlonzoEra = AlonzoContextError AlonzoEra

newtype TxInfoResult AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo

newtype TxInfoResult AlonzoEra = AlonzoTxInfoResult (Either (ContextError AlonzoEra) (PlutusTxInfo 'PlutusV1))

newtype PlutusScript AlonzoEra

Instance details

newtype PlutusScript AlonzoEra = AlonzoPlutusV1 (Plutus 'PlutusV1)

type CertState AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.CertState

type CertState AlonzoEra = ShelleyCertState AlonzoEra

type NativeScript AlonzoEra

Instance details

type NativeScript AlonzoEra = Timelock AlonzoEra

type Script AlonzoEra

Instance details

type Script AlonzoEra = AlonzoScript AlonzoEra

type Tx AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

type Tx AlonzoEra = AlonzoTx AlonzoEra

type TxAuxData AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

type TxAuxData AlonzoEra = AlonzoTxAuxData AlonzoEra

type TxBody AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

type TxBody AlonzoEra = AlonzoTxBody AlonzoEra

type TxBodyUpgradeError AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

type TxBodyUpgradeError AlonzoEra = AlonzoTxBodyUpgradeError

type TxOut AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

type TxOut AlonzoEra = AlonzoTxOut AlonzoEra

type TxSeq AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.TxSeq.Internal

type TxSeq AlonzoEra = AlonzoTxSeq AlonzoEra

type TxUpgradeError AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

type TxUpgradeError AlonzoEra = AlonzoTxUpgradeError

type TxWits AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type TxWits AlonzoEra = AlonzoTxWits AlonzoEra

type Value AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type Value AlonzoEra = MaryValue

type PreviousEra AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type PreviousEra AlonzoEra = MaryEra

type ProtVerHigh AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type ProtVerHigh AlonzoEra = 6

type ProtVerLow AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type ProtVerLow AlonzoEra = 5

type TranslationContext AlonzoEra

Instance details

type TranslationContext AlonzoEra = AlonzoGenesis

type TxCert AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.TxCert

type TxCert AlonzoEra = ShelleyTxCert AlonzoEra

type TxCertUpgradeError AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.TxCert

type TxCertUpgradeError AlonzoEra = Void

type Genesis AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Genesis

type Genesis AlonzoEra = AlonzoGenesis

type GovState AlonzoEra

Instance details

type GovState AlonzoEra = ShelleyGovState AlonzoEra

type InstantStake AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.State.Stake

type InstantStake AlonzoEra = ShelleyInstantStake AlonzoEra

type ScriptsNeeded AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.UTxO

type ScriptsNeeded AlonzoEra = AlonzoScriptsNeeded AlonzoEra

data TransitionConfig AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Transition

data TransitionConfig AlonzoEra = AlonzoTransitionConfig {

atcAlonzoGenesis ∷ !AlonzoGenesis
atcMaryTransitionConfig ∷ !(TransitionConfig MaryEra)

}

type PlutusPurpose f AlonzoEra

Instance details

type PlutusPurpose f AlonzoEra = AlonzoPlutusPurpose f AlonzoEra

type EraRule "BBODY" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "BBODY" AlonzoEra = AlonzoBBODY AlonzoEra

type EraRule "DELEG" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "DELEG" AlonzoEra = ShelleyDELEG AlonzoEra

type EraRule "DELEGS" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "DELEGS" AlonzoEra = ShelleyDELEGS AlonzoEra

type EraRule "DELPL" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "DELPL" AlonzoEra = ShelleyDELPL AlonzoEra

type EraRule "EPOCH" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "EPOCH" AlonzoEra = ShelleyEPOCH AlonzoEra

type EraRule "LEDGER" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "LEDGER" AlonzoEra = AlonzoLEDGER AlonzoEra

type EraRule "LEDGERS" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "LEDGERS" AlonzoEra = ShelleyLEDGERS AlonzoEra

type EraRule "MIR" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "MIR" AlonzoEra = ShelleyMIR AlonzoEra

type EraRule "NEWEPOCH" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "NEWEPOCH" AlonzoEra = ShelleyNEWEPOCH AlonzoEra

type EraRule "NEWPP" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "NEWPP" AlonzoEra = ShelleyNEWPP AlonzoEra

type EraRule "POOL" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "POOL" AlonzoEra = ShelleyPOOL AlonzoEra

type EraRule "POOLREAP" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "POOLREAP" AlonzoEra = ShelleyPOOLREAP AlonzoEra

type EraRule "PPUP" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "PPUP" AlonzoEra = ShelleyPPUP AlonzoEra

type EraRule "RUPD" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "RUPD" AlonzoEra = ShelleyRUPD AlonzoEra

type EraRule "SNAP" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "SNAP" AlonzoEra = ShelleySNAP AlonzoEra

type EraRule "TICK" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "TICK" AlonzoEra = ShelleyTICK AlonzoEra

type EraRule "TICKF" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "TICKF" AlonzoEra = ShelleyTICKF AlonzoEra

type EraRule "UPEC" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "UPEC" AlonzoEra = ShelleyUPEC AlonzoEra

type EraRule "UTXO" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "UTXO" AlonzoEra = AlonzoUTXO AlonzoEra

type EraRule "UTXOS" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "UTXOS" AlonzoEra = AlonzoUTXOS AlonzoEra

type EraRule "UTXOW" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "UTXOW" AlonzoEra = AlonzoUTXOW AlonzoEra

type EraRuleEvent "LEDGER" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Rules

type EraRuleEvent "LEDGER" AlonzoEra = ShelleyLedgerEvent AlonzoEra

type EraRuleEvent "PPUP" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ppup

type EraRuleEvent "PPUP" AlonzoEra = PpupEvent AlonzoEra

type EraRuleEvent "TICK" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Rules

type EraRuleEvent "TICK" AlonzoEra = ShelleyTickEvent AlonzoEra

type EraRuleFailure "BBODY" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

type EraRuleFailure "BBODY" AlonzoEra = AlonzoBbodyPredFailure AlonzoEra

type EraRuleFailure "DELEG" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Deleg

type EraRuleFailure "DELEG" AlonzoEra = ShelleyDelegPredFailure AlonzoEra

type EraRuleFailure "DELEGS" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Delegs

type EraRuleFailure "DELEGS" AlonzoEra = ShelleyDelegsPredFailure AlonzoEra

type EraRuleFailure "DELPL" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Delpl

type EraRuleFailure "DELPL" AlonzoEra = ShelleyDelplPredFailure AlonzoEra

type EraRuleFailure "LEDGER" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

type EraRuleFailure "LEDGER" AlonzoEra = ShelleyLedgerPredFailure AlonzoEra

type EraRuleFailure "LEDGERS" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

type EraRuleFailure "LEDGERS" AlonzoEra = ShelleyLedgersPredFailure AlonzoEra

type EraRuleFailure "POOL" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Pool

type EraRuleFailure "POOL" AlonzoEra = ShelleyPoolPredFailure AlonzoEra

type EraRuleFailure "PPUP" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ppup

type EraRuleFailure "PPUP" AlonzoEra = ShelleyPpupPredFailure AlonzoEra

type EraRuleFailure "UTXO" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

type EraRuleFailure "UTXO" AlonzoEra = AlonzoUtxoPredFailure AlonzoEra

type EraRuleFailure "UTXOS" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

type EraRuleFailure "UTXOS" AlonzoEra = AlonzoUtxosPredFailure AlonzoEra

type EraRuleFailure "UTXOW" AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

type EraRuleFailure "UTXOW" AlonzoEra = AlonzoUtxowPredFailure AlonzoEra

type DowngradePParams f AlonzoEra

Instance details

type DowngradePParams f AlonzoEra = DowngradeAlonzoPParams f

type PParamsHKD f AlonzoEra

Instance details

type PParamsHKD f AlonzoEra = AlonzoPParams f AlonzoEra

type UpgradePParams f AlonzoEra

Instance details

type UpgradePParams f AlonzoEra = UpgradeAlonzoPParams f

type TranslationError AlonzoEra Tx

Instance details

type TranslationError AlonzoEra Tx = DecoderError

type TranslationError AlonzoEra CommitteeState

Instance details

type TranslationError AlonzoEra CommitteeState = Void

type TranslationError AlonzoEra DState

Instance details

type TranslationError AlonzoEra DState = Void

type TranslationError AlonzoEra PState

Instance details

type TranslationError AlonzoEra PState = Void

type TranslationError AlonzoEra VState

Instance details

type TranslationError AlonzoEra VState = Void

type TranslationError AlonzoEra PParams

Instance details

type TranslationError AlonzoEra PParams = Void

type TranslationError AlonzoEra FuturePParams

Instance details

type TranslationError AlonzoEra FuturePParams = Void

type TranslationError AlonzoEra UTxO

Instance details

type TranslationError AlonzoEra UTxO = Void

type TranslationError AlonzoEra ShelleyCertState

Instance details

type TranslationError AlonzoEra ShelleyCertState = Void

type TranslationError AlonzoEra ShelleyGovState

Instance details

type TranslationError AlonzoEra ShelleyGovState = Void

type TranslationError AlonzoEra EpochState

Instance details

type TranslationError AlonzoEra EpochState = Void

type TranslationError AlonzoEra LedgerState

Instance details

type TranslationError AlonzoEra LedgerState = Void

type TranslationError AlonzoEra NewEpochState

Instance details

type TranslationError AlonzoEra NewEpochState = Void

type TranslationError AlonzoEra UTxOState

Instance details

type TranslationError AlonzoEra UTxOState = Void

type TranslationError AlonzoEra ProposedPPUpdates

Instance details

type TranslationError AlonzoEra ProposedPPUpdates = Void

type TranslationError AlonzoEra ShelleyInstantStake

Instance details

type TranslationError AlonzoEra ShelleyInstantStake = Void

type TranslationError AlonzoEra WrapTx Source #

Instance details

type TranslationError AlonzoEra WrapTx = TranslationError AlonzoEra Tx

type Rep (PlutusScript AlonzoEra)

Instance details

type Rep (PlutusScript AlonzoEra) = Rep (Plutus 'PlutusV1)

type Rep (TransitionConfig AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo.Transition

type Rep (TransitionConfig AlonzoEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Alonzo.Transition" "cardano-ledger-alonzo-1.13.0.0-9ff70a6022825950aa0f3b65288cd2042ac89878164547aeaa83a457d4cf9781" '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))))

type HardForkTxMeasure (CardanoEras c) Source #

Instance details

type HardForkTxMeasure (CardanoEras c) = ConwayMeasure

newtype CanonicalTxIn (CardanoEras c) Source #

Instance details

newtype CanonicalTxIn (CardanoEras c) = CardanoTxIn {

getCardanoTxIn ∷ TxIn

}

type HardForkTxOut (CardanoEras c) Source #

Instance details

BabbageEraPParams BabbageEra

type HardForkTxOut (CardanoEras c) = CardanoTxOut c

type TxMeasure (ShelleyBlock p AlonzoEra) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type TxMeasure (ShelleyBlock p AlonzoEra) = AlonzoMeasure

data BabbageEra Source #

The Babbage era

Instances

Instances details

Instance details

BabbageEraTxBody BabbageEra

Methods

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

Instance details

Defined in Cardano.Ledger.Babbage.TxBody.Internal

Methods

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

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

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

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

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

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

BabbageEraTxOut BabbageEra

Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Methods

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

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

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

Era BabbageEra

Instance details

Associated Types

type PreviousEra BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type PreviousEra BabbageEra = AlonzoEra
type ProtVerLow BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type ProtVerLow BabbageEra = 7
type ProtVerHigh BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type ProtVerHigh BabbageEra = 8

Methods

EraGenesis BabbageEra

Instance details

Associated Types

type Genesis BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type Genesis BabbageEra = NoGenesis BabbageEra

GetLedgerView BabbageEra

Instance details

Methods

currentLedgerView ∷ NewEpochState BabbageEra → LedgerView Source #

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

ShelleyBasedEra BabbageEra Source #

Instance details

Methods

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

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

TranslateEra BabbageEra Tx

Instance details

Associated Types

type TranslationError BabbageEra Tx
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra Tx = DecoderError

Methods

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

TranslateEra BabbageEra WrapTx Source #

Instance details

Associated Types

type TranslationError BabbageEra WrapTx
Instance details Defined in Ouroboros.Consensus.Shelley.Eras type TranslationError BabbageEra WrapTx = TranslationError BabbageEra Tx

Methods

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

InjectRuleFailure "UTXO" BabbageUtxoPredFailure BabbageEra

Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxo

Methods

injectFailure ∷ BabbageUtxoPredFailure BabbageEra → EraRuleFailure "UTXO" BabbageEra Source #

InjectRuleFailure "UTXOW" BabbageUtxowPredFailure BabbageEra

Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

Methods

injectFailure ∷ BabbageUtxowPredFailure BabbageEra → EraRuleFailure "UTXOW" BabbageEra Source #

Show (CanonicalTxIn (CardanoEras c)) Source #

Instance details

Methods

showsPrec ∷ Int → CanonicalTxIn (CardanoEras c) → ShowS #

show ∷ CanonicalTxIn (CardanoEras c) → String #

showList ∷ [CanonicalTxIn (CardanoEras c)] → ShowS #

Eq (CanonicalTxIn (CardanoEras c)) Source #

Instance details

Methods

(==) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

(/=) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

Ord (CanonicalTxIn (CardanoEras c)) Source #

Instance details

Methods

compare ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Ordering #

(<) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

(<=) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

(>) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

(>=) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

max ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) #

min ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) #

CardanoHardForkConstraints c ⇒ MemPack (CanonicalTxIn (CardanoEras c)) Source #

Instance details

Methods

packedByteCount ∷ CanonicalTxIn (CardanoEras c) → Int Source #

packM ∷ CanonicalTxIn (CardanoEras c) → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack b (CanonicalTxIn (CardanoEras c)) Source #

NoThunks (CanonicalTxIn (CardanoEras c)) Source #

Instance details

Methods

noThunks ∷ Context → CanonicalTxIn (CardanoEras c) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → CanonicalTxIn (CardanoEras c) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (CanonicalTxIn (CardanoEras c)) → String Source #

CardanoHardForkConstraints c ⇒ CanHardFork (CardanoEras c) Source #

When performing era translations, two eras have special behaviours on the ledger tables:

Byron to Shelley: as Byron has no tables, the whole UTxO set is computed as insertions, note that it uses valuesAsDiffs
Shelley to Allegra: some special addresses (the so called AVVM addresses), were deleted in this transition, which influenced things like the calculation of later rewards. In this transition, we consume the shelleyToAllegraAVVMsToDelete as deletions in the ledger tables.

Instance details

Associated Types

type HardForkTxMeasure (CardanoEras c)
Instance details Defined in Ouroboros.Consensus.Cardano.CanHardFork type HardForkTxMeasure (CardanoEras c) = ConwayMeasure

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

CardanoHardForkConstraints c ⇒ HasCanonicalTxIn (CardanoEras c) Source #

Instance details

Associated Types

newtype CanonicalTxIn (CardanoEras c)
Instance details Defined in Ouroboros.Consensus.Cardano.Ledger newtype CanonicalTxIn (CardanoEras c) = CardanoTxIn { getCardanoTxIn ∷ TxIn }

Methods

injectCanonicalTxIn ∷ Index (CardanoEras c) x → TxIn (LedgerState x) → CanonicalTxIn (CardanoEras c) Source #

ejectCanonicalTxIn ∷ Index (CardanoEras c) x → CanonicalTxIn (CardanoEras c) → TxIn (LedgerState x) Source #

CardanoHardForkConstraints c ⇒ HasHardForkTxOut (CardanoEras c) Source #

Instance details

Associated Types

type HardForkTxOut (CardanoEras c)
Instance details Defined in Ouroboros.Consensus.Cardano.Ledger type HardForkTxOut (CardanoEras c) = CardanoTxOut c

Methods

injectHardForkTxOut ∷ Index (CardanoEras c) x → TxOut (LedgerState x) → HardForkTxOut (CardanoEras c) Source #

ejectHardForkTxOut ∷ Index (CardanoEras c) x → HardForkTxOut (CardanoEras c) → TxOut (LedgerState x) Source #

txOutEjections ∷ NP ((K (NS WrapTxOut (CardanoEras c)) ∷ Type → Type) -.-> WrapTxOut) (CardanoEras c) Source #

txOutTranslations ∷ Tails (Fn2 WrapTxOut) (CardanoEras c) Source #

CardanoHardForkConstraints c ⇒ BlockSupportsHFLedgerQuery (CardanoEras c) Source #

Instance details

Methods

answerBlockQueryHFLookup ∷ (All SingleEraBlock (CardanoEras c), Monad m) ⇒ Index (CardanoEras c) x → ExtLedgerCfg x → BlockQuery x 'QFLookupTables result → ReadOnlyForker' m (HardForkBlock (CardanoEras c)) → m result Source #

answerBlockQueryHFTraverse ∷ (All SingleEraBlock (CardanoEras c), Monad m) ⇒ Index (CardanoEras c) x → ExtLedgerCfg x → BlockQuery x 'QFTraverseTables result → ReadOnlyForker' m (HardForkBlock (CardanoEras c)) → m result Source #

queryLedgerGetTraversingFilter ∷ Index (CardanoEras c) x → BlockQuery x 'QFTraverseTables result → TxOut (LedgerState (HardForkBlock (CardanoEras c))) → Bool Source #

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:

Byron EBB
Byron regular block
Shelley block
Allegra block
Mary block
Goguen block
etc.

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

Instance details

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 ⇒ SerializeTablesWithHint (LedgerState (HardForkBlock (CardanoEras c))) Source #

Instance details

Methods

encodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK) → LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK → Encoding Source #

decodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK) → Decoder s (LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK) Source #

CardanoHardForkConstraints c ⇒ SupportedNetworkProtocolVersion (CardanoBlock c) Source #

Instance details

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 ⇒ ShelleyCompatible (Praos c) BabbageEra Source #

Instance details

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

Instance details

ShelleyCompatible p BabbageEra ⇒ TxLimits (ShelleyBlock p BabbageEra) Source #

We anachronistically use ConwayMeasure in Babbage.

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Associated Types

type TxMeasure (ShelleyBlock p BabbageEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool type TxMeasure (ShelleyBlock p BabbageEra) = ConwayMeasure

Methods

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

blockCapacityTxMeasure ∷ ∀ (mk ∷ MapKind). LedgerConfig (ShelleyBlock p BabbageEra) → TickedLedgerState (ShelleyBlock p BabbageEra) mk → TxMeasure (ShelleyBlock p BabbageEra) Source #

CardanoHardForkConstraints c ⇒ IndexedMemPack (LedgerState (HardForkBlock (CardanoEras c)) EmptyMK) (CardanoTxOut c) Source #

Instance details

Methods

indexedPackedByteCount ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → CardanoTxOut c → Int Source #

indexedPackM ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → CardanoTxOut c → Pack s () Source #

indexedUnpackM ∷ Buffer b ⇒ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → Unpack b (CardanoTxOut c) Source #

indexedTypeName ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → String Source #

type ContextError BabbageEra

Instance details

Defined in Cardano.Ledger.Babbage.TxInfo

type ContextError BabbageEra = BabbageContextError BabbageEra

data TxInfoResult BabbageEra

Instance details

Defined in Cardano.Ledger.Babbage.TxInfo

data TxInfoResult BabbageEra = BabbageTxInfoResult (Either (ContextError BabbageEra) (PlutusTxInfo 'PlutusV1)) (Either (ContextError BabbageEra) (PlutusTxInfo 'PlutusV2))

data PlutusScript BabbageEra

Instance details

data PlutusScript BabbageEra

= BabbagePlutusV1 !(Plutus 'PlutusV1)
| BabbagePlutusV2 !(Plutus 'PlutusV2)

type CertState BabbageEra

Instance details

Defined in Cardano.Ledger.Babbage.CertState

type CertState BabbageEra = ShelleyCertState BabbageEra

type NativeScript BabbageEra

Instance details

type NativeScript BabbageEra = Timelock BabbageEra

type Script BabbageEra

Instance details

type Script BabbageEra = AlonzoScript BabbageEra

type Tx BabbageEra

Instance details

Defined in Cardano.Ledger.Babbage.Tx

type Tx BabbageEra = AlonzoTx BabbageEra

type TxAuxData BabbageEra

Instance details

Defined in Cardano.Ledger.Babbage.TxAuxData

type TxAuxData BabbageEra = AlonzoTxAuxData BabbageEra

type TxBody BabbageEra

Instance details

Defined in Cardano.Ledger.Babbage.TxBody.Internal

type TxBody BabbageEra = BabbageTxBody BabbageEra

type TxBodyUpgradeError BabbageEra

Instance details

Defined in Cardano.Ledger.Babbage.TxBody.Internal

type TxBodyUpgradeError BabbageEra = BabbageTxBodyUpgradeError

type TxOut BabbageEra

Instance details

Defined in Cardano.Ledger.Babbage.TxOut

type TxOut BabbageEra = BabbageTxOut BabbageEra

type TxSeq BabbageEra

Instance details

Defined in Cardano.Ledger.Babbage.Tx

type TxSeq BabbageEra = AlonzoTxSeq BabbageEra

type TxUpgradeError BabbageEra

Instance details

Defined in Cardano.Ledger.Babbage.Tx

type TxUpgradeError BabbageEra = BabbageTxUpgradeError

type TxWits BabbageEra

Instance details

Defined in Cardano.Ledger.Babbage.TxWits

type TxWits BabbageEra = AlonzoTxWits BabbageEra

type Value BabbageEra

Instance details

type Value BabbageEra = MaryValue

type PreviousEra BabbageEra

Instance details

type PreviousEra BabbageEra = AlonzoEra

type ProtVerHigh BabbageEra

Instance details

type ProtVerHigh BabbageEra = 8

type ProtVerLow BabbageEra

Instance details

type ProtVerLow BabbageEra = 7

type TranslationContext BabbageEra

Instance details

type TranslationContext BabbageEra = NoGenesis BabbageEra

type TxCert BabbageEra

Instance details

Defined in Cardano.Ledger.Babbage.TxCert

type TxCert BabbageEra = ShelleyTxCert BabbageEra

type TxCertUpgradeError BabbageEra

Instance details

Defined in Cardano.Ledger.Babbage.TxCert

type TxCertUpgradeError BabbageEra = Void

type Genesis BabbageEra

Instance details

type Genesis BabbageEra = NoGenesis BabbageEra

type GovState BabbageEra

Instance details

type GovState BabbageEra = ShelleyGovState BabbageEra

type InstantStake BabbageEra

Instance details

Defined in Cardano.Ledger.Babbage.State.Stake

type InstantStake BabbageEra = ShelleyInstantStake BabbageEra

type ScriptsNeeded BabbageEra

Instance details

Defined in Cardano.Ledger.Babbage.UTxO

type ScriptsNeeded BabbageEra = AlonzoScriptsNeeded BabbageEra

newtype TransitionConfig BabbageEra

Instance details

Defined in Cardano.Ledger.Babbage.Transition

newtype TransitionConfig BabbageEra = BabbageTransitionConfig {

btcAlonzoTransitionConfig ∷ TransitionConfig AlonzoEra

}

type PlutusPurpose f BabbageEra

Instance details

type PlutusPurpose f BabbageEra = AlonzoPlutusPurpose f BabbageEra

type EraRule "BBODY" BabbageEra

Instance details

type EraRule "BBODY" BabbageEra = AlonzoBBODY BabbageEra

type EraRule "DELEG" BabbageEra

Instance details

type EraRule "DELEG" BabbageEra = ShelleyDELEG BabbageEra

type EraRule "DELEGS" BabbageEra

Instance details

type EraRule "DELEGS" BabbageEra = ShelleyDELEGS BabbageEra

type EraRule "DELPL" BabbageEra

Instance details

type EraRule "DELPL" BabbageEra = ShelleyDELPL BabbageEra

type EraRule "EPOCH" BabbageEra

Instance details

type EraRule "EPOCH" BabbageEra = ShelleyEPOCH BabbageEra

type EraRule "LEDGER" BabbageEra

Instance details

type EraRule "LEDGER" BabbageEra = BabbageLEDGER BabbageEra

type EraRule "LEDGERS" BabbageEra

Instance details

type EraRule "LEDGERS" BabbageEra = ShelleyLEDGERS BabbageEra

type EraRule "MIR" BabbageEra

Instance details

type EraRule "MIR" BabbageEra = ShelleyMIR BabbageEra

type EraRule "NEWEPOCH" BabbageEra

Instance details

type EraRule "NEWEPOCH" BabbageEra = ShelleyNEWEPOCH BabbageEra

type EraRule "NEWPP" BabbageEra

Instance details

type EraRule "NEWPP" BabbageEra = ShelleyNEWPP BabbageEra

type EraRule "POOL" BabbageEra

Instance details

type EraRule "POOL" BabbageEra = ShelleyPOOL BabbageEra

type EraRule "POOLREAP" BabbageEra

Instance details

type EraRule "POOLREAP" BabbageEra = ShelleyPOOLREAP BabbageEra

type EraRule "PPUP" BabbageEra

Instance details

type EraRule "PPUP" BabbageEra = ShelleyPPUP BabbageEra

type EraRule "RUPD" BabbageEra

Instance details

type EraRule "RUPD" BabbageEra = ShelleyRUPD BabbageEra

type EraRule "SNAP" BabbageEra

Instance details

type EraRule "SNAP" BabbageEra = ShelleySNAP BabbageEra

type EraRule "TICK" BabbageEra

Instance details

type EraRule "TICK" BabbageEra = ShelleyTICK BabbageEra

type EraRule "TICKF" BabbageEra

Instance details

type EraRule "TICKF" BabbageEra = ShelleyTICKF BabbageEra

type EraRule "UPEC" BabbageEra

Instance details

type EraRule "UPEC" BabbageEra = ShelleyUPEC BabbageEra

type EraRule "UTXO" BabbageEra

Instance details

type EraRule "UTXO" BabbageEra = BabbageUTXO BabbageEra

type EraRule "UTXOS" BabbageEra

Instance details

type EraRule "UTXOS" BabbageEra = BabbageUTXOS BabbageEra

type EraRule "UTXOW" BabbageEra

Instance details

type EraRule "UTXOW" BabbageEra = BabbageUTXOW BabbageEra

type EraRuleEvent "LEDGER" BabbageEra

Instance details

Defined in Cardano.Ledger.Babbage.Rules

type EraRuleEvent "LEDGER" BabbageEra = ShelleyLedgerEvent BabbageEra

type EraRuleEvent "PPUP" BabbageEra

Instance details

Defined in Cardano.Ledger.Babbage.Rules

type EraRuleEvent "PPUP" BabbageEra = PpupEvent BabbageEra

type EraRuleEvent "TICK" BabbageEra

Instance details

Defined in Cardano.Ledger.Babbage.Rules

type EraRuleEvent "TICK" BabbageEra = ShelleyTickEvent BabbageEra

type EraRuleEvent "UTXOS" BabbageEra

Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxos

type EraRuleEvent "UTXOS" BabbageEra = AlonzoUtxosEvent BabbageEra

type EraRuleFailure "BBODY" BabbageEra

Instance details

Defined in Cardano.Ledger.Babbage.Rules.Bbody

type EraRuleFailure "BBODY" BabbageEra = AlonzoBbodyPredFailure BabbageEra

type EraRuleFailure "DELEG" BabbageEra

Instance details

Defined in Cardano.Ledger.Babbage.Rules.Deleg

type EraRuleFailure "DELEG" BabbageEra = ShelleyDelegPredFailure BabbageEra

type EraRuleFailure "DELEGS" BabbageEra

Instance details

Defined in Cardano.Ledger.Babbage.Rules.Delegs

type EraRuleFailure "DELEGS" BabbageEra = ShelleyDelegsPredFailure BabbageEra

type EraRuleFailure "DELPL" BabbageEra

Instance details

Defined in Cardano.Ledger.Babbage.Rules.Delpl

type EraRuleFailure "DELPL" BabbageEra = ShelleyDelplPredFailure BabbageEra

type EraRuleFailure "LEDGER" BabbageEra

Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

type EraRuleFailure "LEDGER" BabbageEra = ShelleyLedgerPredFailure BabbageEra

type EraRuleFailure "LEDGERS" BabbageEra

Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledgers

type EraRuleFailure "LEDGERS" BabbageEra = ShelleyLedgersPredFailure BabbageEra

type EraRuleFailure "POOL" BabbageEra

Instance details

Defined in Cardano.Ledger.Babbage.Rules.Pool

type EraRuleFailure "POOL" BabbageEra = ShelleyPoolPredFailure BabbageEra

type EraRuleFailure "PPUP" BabbageEra

Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ppup

type EraRuleFailure "PPUP" BabbageEra = ShelleyPpupPredFailure BabbageEra

type EraRuleFailure "UTXO" BabbageEra

Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxo

type EraRuleFailure "UTXO" BabbageEra = BabbageUtxoPredFailure BabbageEra

type EraRuleFailure "UTXOS" BabbageEra

Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxos

type EraRuleFailure "UTXOS" BabbageEra = AlonzoUtxosPredFailure BabbageEra

type EraRuleFailure "UTXOW" BabbageEra

Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

type EraRuleFailure "UTXOW" BabbageEra = BabbageUtxowPredFailure BabbageEra

type DowngradePParams f BabbageEra

Instance details

type DowngradePParams f BabbageEra = DowngradeBabbagePParams f

type PParamsHKD f BabbageEra

Instance details

type PParamsHKD f BabbageEra = BabbagePParams f BabbageEra

type UpgradePParams f BabbageEra

Instance details

type UpgradePParams f BabbageEra = ()

type TranslationError BabbageEra Tx

Instance details

type TranslationError BabbageEra Tx = DecoderError

type TranslationError BabbageEra CommitteeState

Instance details

type TranslationError BabbageEra CommitteeState = Void

type TranslationError BabbageEra DState

Instance details

type TranslationError BabbageEra DState = Void

type TranslationError BabbageEra PState

Instance details

type TranslationError BabbageEra PState = Void

type TranslationError BabbageEra VState

Instance details

type TranslationError BabbageEra VState = Void

type TranslationError BabbageEra PParams

Instance details

type TranslationError BabbageEra PParams = Void

type TranslationError BabbageEra FuturePParams

Instance details

type TranslationError BabbageEra FuturePParams = Void

type TranslationError BabbageEra UTxO

Instance details

type TranslationError BabbageEra UTxO = Void

type TranslationError BabbageEra ShelleyCertState

Instance details

type TranslationError BabbageEra ShelleyCertState = Void

type TranslationError BabbageEra ShelleyGovState

Instance details

type TranslationError BabbageEra ShelleyGovState = Void

type TranslationError BabbageEra EpochState

Instance details

type TranslationError BabbageEra EpochState = Void

type TranslationError BabbageEra LedgerState

Instance details

type TranslationError BabbageEra LedgerState = Void

type TranslationError BabbageEra NewEpochState

Instance details

type TranslationError BabbageEra NewEpochState = Void

type TranslationError BabbageEra UTxOState

Instance details

type TranslationError BabbageEra UTxOState = Void

type TranslationError BabbageEra ProposedPPUpdates

Instance details

type TranslationError BabbageEra ProposedPPUpdates = Void

type TranslationError BabbageEra ShelleyInstantStake

Instance details

type TranslationError BabbageEra ShelleyInstantStake = Void

type TranslationError BabbageEra WrapTx Source #

Instance details

type TranslationError BabbageEra WrapTx = TranslationError BabbageEra Tx

type Rep (PlutusScript BabbageEra)

Instance details

type Rep (PlutusScript BabbageEra) = D1 ('MetaData "PlutusScript" "Cardano.Ledger.Babbage.Scripts" "cardano-ledger-babbage-1.11.0.0-71775786a1c987e6b6ddd2b227d666b2d88b45e6fbdd66f39e13826a0894e9c7" '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 HardForkTxMeasure (CardanoEras c) Source #

Instance details

type HardForkTxMeasure (CardanoEras c) = ConwayMeasure

newtype CanonicalTxIn (CardanoEras c) Source #

Instance details

newtype CanonicalTxIn (CardanoEras c) = CardanoTxIn {

getCardanoTxIn ∷ TxIn

}

type HardForkTxOut (CardanoEras c) Source #

Instance details

ConwayEraPParams ConwayEra

type HardForkTxOut (CardanoEras c) = CardanoTxOut c

type TxMeasure (ShelleyBlock p BabbageEra) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type TxMeasure (ShelleyBlock p BabbageEra) = ConwayMeasure

data ConwayEra Source #

The Conway era

Instances

Instances details

ConwayEraGov ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Governance

Methods

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

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

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

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

Instance details

ConwayEraScript ConwayEra

Methods

modifiedPPGroups ∷ PParamsUpdate ConwayEra → Set PPGroups Source #

ppuWellFormed ∷ ProtVer → PParamsUpdate ConwayEra → Bool Source #

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

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

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

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

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

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

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

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

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

Instance details

ConwayEraTransition ConwayEra

Methods

mkVotingPurpose ∷ f Word32 Voter → PlutusPurpose f ConwayEra Source #

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

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

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

Instance details

Defined in Cardano.Ledger.Conway.Transition

Methods

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

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

tcConwayGenesisL ∷ Lens' (TransitionConfig ConwayEra) ConwayGenesis Source #

ConwayEraTxBody ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.TxBody.Internal

Methods

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

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

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

treasuryDonationTxBodyL ∷ Lens' (TxBody ConwayEra) Coin Source #

ConwayEraTxCert ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.TxCert

Methods

mkRegDepositTxCert ∷ StakeCredential → Coin → TxCert ConwayEra Source #

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

mkUnRegDepositTxCert ∷ StakeCredential → Coin → TxCert ConwayEra Source #

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

mkDelegTxCert ∷ StakeCredential → Delegatee → TxCert ConwayEra Source #

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

mkRegDepositDelegTxCert ∷ StakeCredential → Delegatee → Coin → TxCert ConwayEra Source #

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

mkAuthCommitteeHotKeyTxCert ∷ Credential 'ColdCommitteeRole → Credential 'HotCommitteeRole → TxCert ConwayEra Source #

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

mkResignCommitteeColdTxCert ∷ Credential 'ColdCommitteeRole → StrictMaybe Anchor → TxCert ConwayEra Source #

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

mkRegDRepTxCert ∷ Credential 'DRepRole → Coin → StrictMaybe Anchor → TxCert ConwayEra Source #

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

mkUnRegDRepTxCert ∷ Credential 'DRepRole → Coin → TxCert ConwayEra Source #

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

mkUpdateDRepTxCert ∷ Credential 'DRepRole → StrictMaybe Anchor → TxCert ConwayEra Source #

getUpdateDRepTxCert ∷ TxCert ConwayEra → Maybe (Credential 'DRepRole, StrictMaybe Anchor) Source #

Era ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Era

Associated Types

type PreviousEra ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type PreviousEra ConwayEra = BabbageEra
type ProtVerLow ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type ProtVerLow ConwayEra = 9
type ProtVerHigh ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type ProtVerHigh ConwayEra = 10

Methods

GetLedgerView ConwayEra

Instance details

Methods

currentLedgerView ∷ NewEpochState ConwayEra → LedgerView Source #

futureLedgerView ∷ MonadError (FutureLedgerViewError ConwayEra) m ⇒ Globals → NewEpochState ConwayEra → SlotNo → m LedgerView Source #

ShelleyBasedEra ConwayEra Source #

Instance details

Methods

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

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

TranslateEra ConwayEra Tx

Instance details

Associated Types

type TranslationError ConwayEra Tx
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra Tx = DecoderError

Methods

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

TranslateEra ConwayEra WrapTx Source #

Instance details

Associated Types

type TranslationError ConwayEra WrapTx
Instance details Defined in Ouroboros.Consensus.Shelley.Eras type TranslationError ConwayEra WrapTx = TranslationError ConwayEra Tx

Methods

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

InjectRuleEvent "UTXOS" ConwayUtxosEvent ConwayEra

Instance details

Methods

injectEvent ∷ ConwayUtxosEvent ConwayEra → EraRuleEvent "UTXOS" ConwayEra Source #

InjectRuleFailure "BBODY" ConwayBbodyPredFailure ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

Methods

injectFailure ∷ ConwayBbodyPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #

InjectRuleFailure "CERT" ConwayCertPredFailure ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

Methods

injectFailure ∷ ConwayCertPredFailure ConwayEra → EraRuleFailure "CERT" ConwayEra Source #

InjectRuleFailure "CERTS" ConwayCertsPredFailure ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

Methods

injectFailure ∷ ConwayCertsPredFailure ConwayEra → EraRuleFailure "CERTS" ConwayEra Source #

InjectRuleFailure "DELEG" ConwayDelegPredFailure ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

Methods

injectFailure ∷ ConwayDelegPredFailure ConwayEra → EraRuleFailure "DELEG" ConwayEra Source #

InjectRuleFailure "GOV" ConwayGovPredFailure ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

Methods

injectFailure ∷ ConwayGovPredFailure ConwayEra → EraRuleFailure "GOV" ConwayEra Source #

InjectRuleFailure "GOVCERT" ConwayGovCertPredFailure ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

Methods

injectFailure ∷ ConwayGovCertPredFailure ConwayEra → EraRuleFailure "GOVCERT" ConwayEra Source #

InjectRuleFailure "LEDGER" ConwayLedgerPredFailure ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

Methods

injectFailure ∷ ConwayLedgerPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source #

InjectRuleFailure "UTXO" ConwayUtxoPredFailure ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxo

Methods

injectFailure ∷ ConwayUtxoPredFailure ConwayEra → EraRuleFailure "UTXO" ConwayEra Source #

InjectRuleFailure "UTXOS" ConwayUtxosPredFailure ConwayEra

Instance details

Methods

injectFailure ∷ ConwayUtxosPredFailure ConwayEra → EraRuleFailure "UTXOS" ConwayEra Source #

InjectRuleFailure "UTXOW" ConwayUtxowPredFailure ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

Methods

injectFailure ∷ ConwayUtxowPredFailure ConwayEra → EraRuleFailure "UTXOW" ConwayEra Source #

Show (CanonicalTxIn (CardanoEras c)) Source #

Instance details

Methods

showsPrec ∷ Int → CanonicalTxIn (CardanoEras c) → ShowS #

show ∷ CanonicalTxIn (CardanoEras c) → String #

showList ∷ [CanonicalTxIn (CardanoEras c)] → ShowS #

Eq (CanonicalTxIn (CardanoEras c)) Source #

Instance details

Methods

(==) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

(/=) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

Ord (CanonicalTxIn (CardanoEras c)) Source #

Instance details

Methods

compare ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Ordering #

(<) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

(<=) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

(>) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

(>=) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

max ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) #

min ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) #

CardanoHardForkConstraints c ⇒ MemPack (CanonicalTxIn (CardanoEras c)) Source #

Instance details

Methods

packedByteCount ∷ CanonicalTxIn (CardanoEras c) → Int Source #

packM ∷ CanonicalTxIn (CardanoEras c) → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack b (CanonicalTxIn (CardanoEras c)) Source #

NoThunks (CanonicalTxIn (CardanoEras c)) Source #

Instance details

Methods

noThunks ∷ Context → CanonicalTxIn (CardanoEras c) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → CanonicalTxIn (CardanoEras c) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (CanonicalTxIn (CardanoEras c)) → String Source #

CardanoHardForkConstraints c ⇒ CanHardFork (CardanoEras c) Source #

When performing era translations, two eras have special behaviours on the ledger tables:

Byron to Shelley: as Byron has no tables, the whole UTxO set is computed as insertions, note that it uses valuesAsDiffs
Shelley to Allegra: some special addresses (the so called AVVM addresses), were deleted in this transition, which influenced things like the calculation of later rewards. In this transition, we consume the shelleyToAllegraAVVMsToDelete as deletions in the ledger tables.

Instance details

Associated Types

type HardForkTxMeasure (CardanoEras c)
Instance details Defined in Ouroboros.Consensus.Cardano.CanHardFork type HardForkTxMeasure (CardanoEras c) = ConwayMeasure

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

CardanoHardForkConstraints c ⇒ HasCanonicalTxIn (CardanoEras c) Source #

Instance details

Associated Types

newtype CanonicalTxIn (CardanoEras c)
Instance details Defined in Ouroboros.Consensus.Cardano.Ledger newtype CanonicalTxIn (CardanoEras c) = CardanoTxIn { getCardanoTxIn ∷ TxIn }

Methods

injectCanonicalTxIn ∷ Index (CardanoEras c) x → TxIn (LedgerState x) → CanonicalTxIn (CardanoEras c) Source #

ejectCanonicalTxIn ∷ Index (CardanoEras c) x → CanonicalTxIn (CardanoEras c) → TxIn (LedgerState x) Source #

CardanoHardForkConstraints c ⇒ HasHardForkTxOut (CardanoEras c) Source #

Instance details

Associated Types

type HardForkTxOut (CardanoEras c)
Instance details Defined in Ouroboros.Consensus.Cardano.Ledger type HardForkTxOut (CardanoEras c) = CardanoTxOut c

Methods

injectHardForkTxOut ∷ Index (CardanoEras c) x → TxOut (LedgerState x) → HardForkTxOut (CardanoEras c) Source #

ejectHardForkTxOut ∷ Index (CardanoEras c) x → HardForkTxOut (CardanoEras c) → TxOut (LedgerState x) Source #

txOutEjections ∷ NP ((K (NS WrapTxOut (CardanoEras c)) ∷ Type → Type) -.-> WrapTxOut) (CardanoEras c) Source #

txOutTranslations ∷ Tails (Fn2 WrapTxOut) (CardanoEras c) Source #

CardanoHardForkConstraints c ⇒ BlockSupportsHFLedgerQuery (CardanoEras c) Source #

Instance details

Methods

answerBlockQueryHFLookup ∷ (All SingleEraBlock (CardanoEras c), Monad m) ⇒ Index (CardanoEras c) x → ExtLedgerCfg x → BlockQuery x 'QFLookupTables result → ReadOnlyForker' m (HardForkBlock (CardanoEras c)) → m result Source #

answerBlockQueryHFTraverse ∷ (All SingleEraBlock (CardanoEras c), Monad m) ⇒ Index (CardanoEras c) x → ExtLedgerCfg x → BlockQuery x 'QFTraverseTables result → ReadOnlyForker' m (HardForkBlock (CardanoEras c)) → m result Source #

queryLedgerGetTraversingFilter ∷ Index (CardanoEras c) x → BlockQuery x 'QFTraverseTables result → TxOut (LedgerState (HardForkBlock (CardanoEras c))) → Bool Source #

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:

Byron EBB
Byron regular block
Shelley block
Allegra block
Mary block
Goguen block
etc.

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

Instance details

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 ⇒ SerializeTablesWithHint (LedgerState (HardForkBlock (CardanoEras c))) Source #

Instance details

Methods

encodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK) → LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK → Encoding Source #

decodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK) → Decoder s (LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK) Source #

CardanoHardForkConstraints c ⇒ SupportedNetworkProtocolVersion (CardanoBlock c) Source #

Instance details

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

Instance details

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

Instance details

ToJSON (ConwayPParams Identity ConwayEra)

Instance details

Methods

toJSON ∷ ConwayPParams Identity ConwayEra → Value Source #

toEncoding ∷ ConwayPParams Identity ConwayEra → Encoding Source #

toJSONList ∷ [ConwayPParams Identity ConwayEra] → Value Source #

toEncodingList ∷ [ConwayPParams Identity ConwayEra] → Encoding Source #

omitField ∷ ConwayPParams Identity ConwayEra → Bool Source #

ShelleyCompatible p ConwayEra ⇒ TxLimits (ShelleyBlock p ConwayEra) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Associated Types

type TxMeasure (ShelleyBlock p ConwayEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool type TxMeasure (ShelleyBlock p ConwayEra) = ConwayMeasure

Methods

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

blockCapacityTxMeasure ∷ ∀ (mk ∷ MapKind). LedgerConfig (ShelleyBlock p ConwayEra) → TickedLedgerState (ShelleyBlock p ConwayEra) mk → TxMeasure (ShelleyBlock p ConwayEra) Source #

CardanoHardForkConstraints c ⇒ IndexedMemPack (LedgerState (HardForkBlock (CardanoEras c)) EmptyMK) (CardanoTxOut c) Source #

Instance details

Methods

indexedPackedByteCount ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → CardanoTxOut c → Int Source #

indexedPackM ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → CardanoTxOut c → Pack s () Source #

indexedUnpackM ∷ Buffer b ⇒ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → Unpack b (CardanoTxOut c) Source #

indexedTypeName ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → String Source #

type ContextError ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.TxInfo

type ContextError ConwayEra = ConwayContextError ConwayEra

data TxInfoResult ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.TxInfo

data TxInfoResult ConwayEra = ConwayTxInfoResult (Either (ContextError ConwayEra) (PlutusTxInfo 'PlutusV1)) (Either (ContextError ConwayEra) (PlutusTxInfo 'PlutusV2)) (Either (ContextError ConwayEra) (PlutusTxInfo 'PlutusV3))

data PlutusScript ConwayEra

Instance details

data PlutusScript ConwayEra

type CertState ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.CertState

type CertState ConwayEra = ShelleyCertState ConwayEra

type NativeScript ConwayEra

Instance details

type NativeScript ConwayEra = Timelock ConwayEra

type Script ConwayEra

Instance details

type Script ConwayEra = AlonzoScript ConwayEra

type Tx ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Tx

type Tx ConwayEra = AlonzoTx ConwayEra

type TxAuxData ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.TxAuxData

type TxAuxData ConwayEra = AlonzoTxAuxData ConwayEra

type TxBody ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.TxBody.Internal

type TxBody ConwayEra = ConwayTxBody ConwayEra

type TxBodyUpgradeError ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.TxBody.Internal

type TxBodyUpgradeError ConwayEra = ConwayTxBodyUpgradeError

type TxOut ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.TxOut

type TxOut ConwayEra = BabbageTxOut ConwayEra

type TxSeq ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Tx

type TxSeq ConwayEra = AlonzoTxSeq ConwayEra

type TxUpgradeError ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Tx

type TxUpgradeError ConwayEra = TxBodyUpgradeError ConwayEra

type TxWits ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.TxWits

type TxWits ConwayEra = AlonzoTxWits ConwayEra

type Value ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Era

type Value ConwayEra = MaryValue

type PreviousEra ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Era

type PreviousEra ConwayEra = BabbageEra

type ProtVerHigh ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Era

type ProtVerHigh ConwayEra = 10

type ProtVerLow ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Era

type ProtVerLow ConwayEra = 9

type TranslationContext ConwayEra

Instance details

type TranslationContext ConwayEra = ConwayGenesis

type TxCert ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.TxCert

type TxCert ConwayEra = ConwayTxCert ConwayEra

type TxCertUpgradeError ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.TxCert

type TxCertUpgradeError ConwayEra = ConwayTxCertUpgradeError

type Genesis ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Genesis

type Genesis ConwayEra = ConwayGenesis

type GovState ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Governance

type GovState ConwayEra = ConwayGovState ConwayEra

type InstantStake ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.State.Stake

type InstantStake ConwayEra = ConwayInstantStake ConwayEra

type ScriptsNeeded ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.UTxO

type ScriptsNeeded ConwayEra = AlonzoScriptsNeeded ConwayEra

data TransitionConfig ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Transition

data TransitionConfig ConwayEra = ConwayTransitionConfig {

ctcConwayGenesis ∷ !ConwayGenesis
ctcBabbageTransitionConfig ∷ !(TransitionConfig BabbageEra)

}

type PlutusPurpose f ConwayEra

Instance details

type PlutusPurpose f ConwayEra = ConwayPlutusPurpose f ConwayEra

type EraRule "BBODY" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "BBODY" ConwayEra = ConwayBBODY ConwayEra

type EraRule "CERT" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "CERT" ConwayEra = ConwayCERT ConwayEra

type EraRule "CERTS" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "CERTS" ConwayEra = ConwayCERTS ConwayEra

type EraRule "DELEG" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "DELEG" ConwayEra = ConwayDELEG ConwayEra

type EraRule "DELEGS" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "DELEGS" ConwayEra = VoidEraRule "DELEGS" ConwayEra

type EraRule "ENACT" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "ENACT" ConwayEra = ConwayENACT ConwayEra

type EraRule "EPOCH" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "EPOCH" ConwayEra = ConwayEPOCH ConwayEra

type EraRule "GOV" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "GOV" ConwayEra = ConwayGOV ConwayEra

type EraRule "GOVCERT" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "GOVCERT" ConwayEra = ConwayGOVCERT ConwayEra

type EraRule "HARDFORK" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "HARDFORK" ConwayEra = ConwayHARDFORK ConwayEra

type EraRule "LEDGER" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "LEDGER" ConwayEra = ConwayLEDGER ConwayEra

type EraRule "LEDGERS" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "LEDGERS" ConwayEra = ShelleyLEDGERS ConwayEra

type EraRule "MEMPOOL" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "MEMPOOL" ConwayEra = ConwayMEMPOOL ConwayEra

type EraRule "MIR" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "MIR" ConwayEra = VoidEraRule "MIR" ConwayEra

type EraRule "NEWEPOCH" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "NEWEPOCH" ConwayEra = ConwayNEWEPOCH ConwayEra

type EraRule "NEWPP" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "NEWPP" ConwayEra = VoidEraRule "NEWPP" ConwayEra

type EraRule "POOL" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "POOL" ConwayEra = ShelleyPOOL ConwayEra

type EraRule "POOLREAP" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "POOLREAP" ConwayEra = ShelleyPOOLREAP ConwayEra

type EraRule "PPUP" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "PPUP" ConwayEra = VoidEraRule "PPUP" ConwayEra

type EraRule "RATIFY" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "RATIFY" ConwayEra = ConwayRATIFY ConwayEra

type EraRule "RUPD" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "RUPD" ConwayEra = ShelleyRUPD ConwayEra

type EraRule "SNAP" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "SNAP" ConwayEra = ShelleySNAP ConwayEra

type EraRule "TICK" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "TICK" ConwayEra = ShelleyTICK ConwayEra

type EraRule "TICKF" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "TICKF" ConwayEra = ConwayTICKF ConwayEra

type EraRule "UPEC" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "UPEC" ConwayEra = VoidEraRule "UPEC" ConwayEra

type EraRule "UTXO" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "UTXO" ConwayEra = ConwayUTXO ConwayEra

type EraRule "UTXOS" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "UTXOS" ConwayEra = ConwayUTXOS ConwayEra

type EraRule "UTXOW" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "UTXOW" ConwayEra = ConwayUTXOW ConwayEra

type EraRuleEvent "BBODY" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

type EraRuleEvent "BBODY" ConwayEra = AlonzoBbodyEvent ConwayEra

type EraRuleEvent "CERT" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

type EraRuleEvent "CERT" ConwayEra = ConwayCertEvent ConwayEra

type EraRuleEvent "CERTS" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

type EraRuleEvent "CERTS" ConwayEra = ConwayCertsEvent ConwayEra

type EraRuleEvent "DELEG" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

type EraRuleEvent "DELEG" ConwayEra = VoidEraRule "DELEG" ConwayEra

type EraRuleEvent "DELEGS" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRuleEvent "DELEGS" ConwayEra = VoidEraRule "DELEGS" ConwayEra

type EraRuleEvent "ENACT" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Rules.Enact

type EraRuleEvent "ENACT" ConwayEra = VoidEraRule "ENACT" ConwayEra

type EraRuleEvent "EPOCH" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Rules.Epoch

type EraRuleEvent "EPOCH" ConwayEra = ConwayEpochEvent ConwayEra

type EraRuleEvent "GOV" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

type EraRuleEvent "GOV" ConwayEra = ConwayGovEvent ConwayEra

type EraRuleEvent "GOVCERT" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

type EraRuleEvent "GOVCERT" ConwayEra = VoidEraRule "GOVCERT" ConwayEra

type EraRuleEvent "HARDFORK" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Rules.HardFork

type EraRuleEvent "HARDFORK" ConwayEra = ConwayHardForkEvent ConwayEra

type EraRuleEvent "LEDGER" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

type EraRuleEvent "LEDGER" ConwayEra = ConwayLedgerEvent ConwayEra

type EraRuleEvent "LEDGERS" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

type EraRuleEvent "LEDGERS" ConwayEra = ShelleyLedgersEvent ConwayEra

type EraRuleEvent "MIR" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRuleEvent "MIR" ConwayEra = VoidEraRule "MIR" ConwayEra

type EraRuleEvent "NEWEPOCH" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

type EraRuleEvent "NEWEPOCH" ConwayEra = ConwayNewEpochEvent ConwayEra

type EraRuleEvent "NEWPP" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRuleEvent "NEWPP" ConwayEra = VoidEraRule "NEWPP" ConwayEra

type EraRuleEvent "POOL" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Rules.Pool

type EraRuleEvent "POOL" ConwayEra = PoolEvent ConwayEra

type EraRuleEvent "PPUP" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRuleEvent "PPUP" ConwayEra = VoidEraRule "PPUP" ConwayEra

type EraRuleEvent "TICK" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Rules

type EraRuleEvent "TICK" ConwayEra = ShelleyTickEvent ConwayEra

type EraRuleEvent "UPEC" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRuleEvent "UPEC" ConwayEra = VoidEraRule "UPEC" ConwayEra

type EraRuleEvent "UTXO" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxo

type EraRuleEvent "UTXO" ConwayEra = AlonzoUtxoEvent ConwayEra

type EraRuleEvent "UTXOS" ConwayEra

Instance details

type EraRuleEvent "UTXOS" ConwayEra = ConwayUtxosEvent ConwayEra

type EraRuleEvent "UTXOW" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

type EraRuleEvent "UTXOW" ConwayEra = AlonzoUtxowEvent ConwayEra

type EraRuleFailure "BBODY" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

type EraRuleFailure "BBODY" ConwayEra = ConwayBbodyPredFailure ConwayEra

type EraRuleFailure "CERT" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

type EraRuleFailure "CERT" ConwayEra = ConwayCertPredFailure ConwayEra

type EraRuleFailure "CERTS" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

type EraRuleFailure "CERTS" ConwayEra = ConwayCertsPredFailure ConwayEra

type EraRuleFailure "DELEG" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

type EraRuleFailure "DELEG" ConwayEra = ConwayDelegPredFailure ConwayEra

type EraRuleFailure "DELEGS" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRuleFailure "DELEGS" ConwayEra = VoidEraRule "DELEGS" ConwayEra

type EraRuleFailure "GOV" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

type EraRuleFailure "GOV" ConwayEra = ConwayGovPredFailure ConwayEra

type EraRuleFailure "GOVCERT" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

type EraRuleFailure "GOVCERT" ConwayEra = ConwayGovCertPredFailure ConwayEra

type EraRuleFailure "LEDGER" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

type EraRuleFailure "LEDGER" ConwayEra = ConwayLedgerPredFailure ConwayEra

type EraRuleFailure "LEDGERS" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

type EraRuleFailure "LEDGERS" ConwayEra = ShelleyLedgersPredFailure ConwayEra

type EraRuleFailure "MIR" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRuleFailure "MIR" ConwayEra = VoidEraRule "MIR" ConwayEra

type EraRuleFailure "NEWPP" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRuleFailure "NEWPP" ConwayEra = VoidEraRule "NEWPP" ConwayEra

type EraRuleFailure "POOL" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Rules.Pool

type EraRuleFailure "POOL" ConwayEra = ShelleyPoolPredFailure ConwayEra

type EraRuleFailure "PPUP" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRuleFailure "PPUP" ConwayEra = VoidEraRule "PPUP" ConwayEra

type EraRuleFailure "UPEC" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRuleFailure "UPEC" ConwayEra = VoidEraRule "UPEC" ConwayEra

type EraRuleFailure "UTXO" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxo

type EraRuleFailure "UTXO" ConwayEra = ConwayUtxoPredFailure ConwayEra

type EraRuleFailure "UTXOS" ConwayEra

Instance details

type EraRuleFailure "UTXOS" ConwayEra = ConwayUtxosPredFailure ConwayEra

type EraRuleFailure "UTXOW" ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

type EraRuleFailure "UTXOW" ConwayEra = ConwayUtxowPredFailure ConwayEra

type DowngradePParams f ConwayEra

Instance details

type DowngradePParams f ConwayEra = ()

type PParamsHKD f ConwayEra

Instance details

type PParamsHKD f ConwayEra = ConwayPParams f ConwayEra

type UpgradePParams f ConwayEra

Instance details

type UpgradePParams f ConwayEra = UpgradeConwayPParams f

type TranslationError ConwayEra Tx

Instance details

type TranslationError ConwayEra Tx = DecoderError

type TranslationError ConwayEra DState

Instance details

type TranslationError ConwayEra DState = Void

type TranslationError ConwayEra PState

Instance details

type TranslationError ConwayEra PState = Void

type TranslationError ConwayEra PParams

Instance details

type TranslationError ConwayEra PParams = Void

type TranslationError ConwayEra FuturePParams

Instance details

type TranslationError ConwayEra FuturePParams = Void

type TranslationError ConwayEra UTxO

Instance details

type TranslationError ConwayEra UTxO = Void

type TranslationError ConwayEra EpochState

Instance details

type TranslationError ConwayEra EpochState = Void

type TranslationError ConwayEra LedgerState

Instance details

type TranslationError ConwayEra LedgerState = Void

type TranslationError ConwayEra NewEpochState

Instance details

type TranslationError ConwayEra NewEpochState = Void

type TranslationError ConwayEra UTxOState

Instance details

type TranslationError ConwayEra UTxOState = Void

type TranslationError ConwayEra WrapTx Source #

Instance details

type TranslationError ConwayEra WrapTx = TranslationError ConwayEra Tx

type Rep (PlutusScript ConwayEra)

Instance details

type Rep (PlutusScript ConwayEra) = D1 ('MetaData "PlutusScript" "Cardano.Ledger.Conway.Scripts" "cardano-ledger-conway-1.19.0.0-5d525ce7f59820fe1f42b80ac2f7d5e16f0b49f6c4b9aff4af277acbb6550303" '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)

Instance details

Defined in Cardano.Ledger.Conway.Transition

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

type HardForkTxMeasure (CardanoEras c) Source #

Instance details

type HardForkTxMeasure (CardanoEras c) = ConwayMeasure

newtype CanonicalTxIn (CardanoEras c) Source #

Instance details

newtype CanonicalTxIn (CardanoEras c) = CardanoTxIn {

getCardanoTxIn ∷ TxIn

}

type HardForkTxOut (CardanoEras c) Source #

Instance details

type HardForkTxOut (CardanoEras c) = CardanoTxOut c

type TxMeasure (ShelleyBlock p ConwayEra) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type TxMeasure (ShelleyBlock p ConwayEra) = ConwayMeasure

data MaryEra Source #

Instances

Instances details

Era MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

Associated Types

type PreviousEra MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type PreviousEra MaryEra = AllegraEra
type ProtVerLow MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type ProtVerLow MaryEra = 4
type ProtVerHigh MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type ProtVerHigh MaryEra = ProtVerLow MaryEra

Methods

EraGenesis MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

Associated Types

type Genesis MaryEra
Instance details Defined in Cardano.Ledger.Mary.Era type Genesis MaryEra = NoGenesis MaryEra

MaryEraTxBody MaryEra

Instance details

Defined in Cardano.Ledger.Mary.TxBody.Internal

Methods

mintTxBodyL ∷ Lens' (TxBody MaryEra) MultiAsset Source #

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

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

GetLedgerView MaryEra

Instance details

Methods

currentLedgerView ∷ NewEpochState MaryEra → LedgerView Source #

futureLedgerView ∷ MonadError (FutureLedgerViewError MaryEra) m ⇒ Globals → NewEpochState MaryEra → SlotNo → m LedgerView Source #

ShelleyBasedEra MaryEra Source #

Instance details

Methods

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

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

TranslateEra MaryEra WrapTx Source #

Instance details

Associated Types

type TranslationError MaryEra WrapTx
Instance details Defined in Ouroboros.Consensus.Shelley.Eras type TranslationError MaryEra WrapTx = TranslationError MaryEra ShelleyTx

Methods

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

Show (CanonicalTxIn (CardanoEras c)) Source #

Instance details

Methods

showsPrec ∷ Int → CanonicalTxIn (CardanoEras c) → ShowS #

show ∷ CanonicalTxIn (CardanoEras c) → String #

showList ∷ [CanonicalTxIn (CardanoEras c)] → ShowS #

Eq (CanonicalTxIn (CardanoEras c)) Source #

Instance details

Methods

(==) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

(/=) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

Ord (CanonicalTxIn (CardanoEras c)) Source #

Instance details

Methods

compare ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Ordering #

(<) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

(<=) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

(>) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

(>=) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

max ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) #

min ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) #

CardanoHardForkConstraints c ⇒ MemPack (CanonicalTxIn (CardanoEras c)) Source #

Instance details

Methods

packedByteCount ∷ CanonicalTxIn (CardanoEras c) → Int Source #

packM ∷ CanonicalTxIn (CardanoEras c) → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack b (CanonicalTxIn (CardanoEras c)) Source #

NoThunks (CanonicalTxIn (CardanoEras c)) Source #

Instance details

Methods

noThunks ∷ Context → CanonicalTxIn (CardanoEras c) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → CanonicalTxIn (CardanoEras c) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (CanonicalTxIn (CardanoEras c)) → String Source #

CardanoHardForkConstraints c ⇒ CanHardFork (CardanoEras c) Source #

When performing era translations, two eras have special behaviours on the ledger tables:

Byron to Shelley: as Byron has no tables, the whole UTxO set is computed as insertions, note that it uses valuesAsDiffs
Shelley to Allegra: some special addresses (the so called AVVM addresses), were deleted in this transition, which influenced things like the calculation of later rewards. In this transition, we consume the shelleyToAllegraAVVMsToDelete as deletions in the ledger tables.

Instance details

Associated Types

type HardForkTxMeasure (CardanoEras c)
Instance details Defined in Ouroboros.Consensus.Cardano.CanHardFork type HardForkTxMeasure (CardanoEras c) = ConwayMeasure

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

CardanoHardForkConstraints c ⇒ HasCanonicalTxIn (CardanoEras c) Source #

Instance details

Associated Types

newtype CanonicalTxIn (CardanoEras c)
Instance details Defined in Ouroboros.Consensus.Cardano.Ledger newtype CanonicalTxIn (CardanoEras c) = CardanoTxIn { getCardanoTxIn ∷ TxIn }

Methods

injectCanonicalTxIn ∷ Index (CardanoEras c) x → TxIn (LedgerState x) → CanonicalTxIn (CardanoEras c) Source #

ejectCanonicalTxIn ∷ Index (CardanoEras c) x → CanonicalTxIn (CardanoEras c) → TxIn (LedgerState x) Source #

CardanoHardForkConstraints c ⇒ HasHardForkTxOut (CardanoEras c) Source #

Instance details

Associated Types

type HardForkTxOut (CardanoEras c)
Instance details Defined in Ouroboros.Consensus.Cardano.Ledger type HardForkTxOut (CardanoEras c) = CardanoTxOut c

Methods

injectHardForkTxOut ∷ Index (CardanoEras c) x → TxOut (LedgerState x) → HardForkTxOut (CardanoEras c) Source #

ejectHardForkTxOut ∷ Index (CardanoEras c) x → HardForkTxOut (CardanoEras c) → TxOut (LedgerState x) Source #

txOutEjections ∷ NP ((K (NS WrapTxOut (CardanoEras c)) ∷ Type → Type) -.-> WrapTxOut) (CardanoEras c) Source #

txOutTranslations ∷ Tails (Fn2 WrapTxOut) (CardanoEras c) Source #

CardanoHardForkConstraints c ⇒ BlockSupportsHFLedgerQuery (CardanoEras c) Source #

Instance details

Methods

answerBlockQueryHFLookup ∷ (All SingleEraBlock (CardanoEras c), Monad m) ⇒ Index (CardanoEras c) x → ExtLedgerCfg x → BlockQuery x 'QFLookupTables result → ReadOnlyForker' m (HardForkBlock (CardanoEras c)) → m result Source #

answerBlockQueryHFTraverse ∷ (All SingleEraBlock (CardanoEras c), Monad m) ⇒ Index (CardanoEras c) x → ExtLedgerCfg x → BlockQuery x 'QFTraverseTables result → ReadOnlyForker' m (HardForkBlock (CardanoEras c)) → m result Source #

queryLedgerGetTraversingFilter ∷ Index (CardanoEras c) x → BlockQuery x 'QFTraverseTables result → TxOut (LedgerState (HardForkBlock (CardanoEras c))) → Bool Source #

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:

Byron EBB
Byron regular block
Shelley block
Allegra block
Mary block
Goguen block
etc.

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

Instance details

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 ⇒ SerializeTablesWithHint (LedgerState (HardForkBlock (CardanoEras c))) Source #

Instance details

Methods

encodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK) → LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK → Encoding Source #

decodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK) → Decoder s (LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK) Source #

CardanoHardForkConstraints c ⇒ SupportedNetworkProtocolVersion (CardanoBlock c) Source #

Instance details

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 ⇒ ShelleyCompatible (TPraos c) MaryEra Source #

Instance details

ShelleyCompatible p MaryEra ⇒ TxLimits (ShelleyBlock p MaryEra) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Associated Types

type TxMeasure (ShelleyBlock p MaryEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool type TxMeasure (ShelleyBlock p MaryEra) = IgnoringOverflow ByteSize32

Methods

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

blockCapacityTxMeasure ∷ ∀ (mk ∷ MapKind). LedgerConfig (ShelleyBlock p MaryEra) → TickedLedgerState (ShelleyBlock p MaryEra) mk → TxMeasure (ShelleyBlock p MaryEra) Source #

CardanoHardForkConstraints c ⇒ IndexedMemPack (LedgerState (HardForkBlock (CardanoEras c)) EmptyMK) (CardanoTxOut c) Source #

Instance details

Methods

indexedPackedByteCount ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → CardanoTxOut c → Int Source #

indexedPackM ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → CardanoTxOut c → Pack s () Source #

indexedUnpackM ∷ Buffer b ⇒ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → Unpack b (CardanoTxOut c) Source #

indexedTypeName ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → String Source #

type CertState MaryEra

Instance details

Defined in Cardano.Ledger.Mary.CertState

type CertState MaryEra = ShelleyCertState MaryEra

type NativeScript MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Scripts

type NativeScript MaryEra = Timelock MaryEra

type Script MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Scripts

type Script MaryEra = Timelock MaryEra

type Tx MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Tx

type Tx MaryEra = ShelleyTx MaryEra

type TxAuxData MaryEra

Instance details

Defined in Cardano.Ledger.Mary.TxAuxData

type TxAuxData MaryEra = AllegraTxAuxData MaryEra

type TxBody MaryEra

Instance details

Defined in Cardano.Ledger.Mary.TxBody.Internal

type TxBody MaryEra = MaryTxBody MaryEra

type TxBodyUpgradeError MaryEra

Instance details

Defined in Cardano.Ledger.Mary.TxBody.Internal

type TxBodyUpgradeError MaryEra = Void

type TxOut MaryEra

Instance details

Defined in Cardano.Ledger.Mary.TxOut

type TxOut MaryEra = ShelleyTxOut MaryEra

type TxSeq MaryEra

Instance details

Defined in Cardano.Ledger.Mary.TxSeq

type TxSeq MaryEra = ShelleyTxSeq MaryEra

type TxUpgradeError MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Tx

type TxUpgradeError MaryEra = Void

type TxWits MaryEra

Instance details

Defined in Cardano.Ledger.Mary.TxWits

type TxWits MaryEra = ShelleyTxWits MaryEra

type Value MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

type Value MaryEra = MaryValue

type PreviousEra MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

type PreviousEra MaryEra = AllegraEra

type ProtVerHigh MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

type ProtVerHigh MaryEra = ProtVerLow MaryEra

type ProtVerLow MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

type ProtVerLow MaryEra = 4

type TranslationContext MaryEra

No context is needed to translate from Allegra to Mary.

Instance details

Defined in Cardano.Ledger.Mary.Era

type TranslationContext MaryEra = NoGenesis MaryEra

type TxCert MaryEra

Instance details

Defined in Cardano.Ledger.Mary.TxCert

type TxCert MaryEra = ShelleyTxCert MaryEra

type TxCertUpgradeError MaryEra

Instance details

Defined in Cardano.Ledger.Mary.TxCert

type TxCertUpgradeError MaryEra = Void

type Genesis MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

type Genesis MaryEra = NoGenesis MaryEra

type GovState MaryEra

Instance details

type GovState MaryEra = ShelleyGovState MaryEra

type InstantStake MaryEra

Instance details

Defined in Cardano.Ledger.Mary.State.Stake

type InstantStake MaryEra = ShelleyInstantStake MaryEra

type ScriptsNeeded MaryEra

Instance details

Defined in Cardano.Ledger.Mary.UTxO

type ScriptsNeeded MaryEra = ShelleyScriptsNeeded MaryEra

newtype TransitionConfig MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Transition

newtype TransitionConfig MaryEra = MaryTransitionConfig {

mtcAllegraTransitionConfig ∷ TransitionConfig AllegraEra

}

type EraRule "BBODY" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "BBODY" MaryEra = ShelleyBBODY MaryEra

type EraRule "DELEG" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "DELEG" MaryEra = ShelleyDELEG MaryEra

type EraRule "DELEGS" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "DELEGS" MaryEra = ShelleyDELEGS MaryEra

type EraRule "DELPL" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "DELPL" MaryEra = ShelleyDELPL MaryEra

type EraRule "EPOCH" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "EPOCH" MaryEra = ShelleyEPOCH MaryEra

type EraRule "LEDGER" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "LEDGER" MaryEra = ShelleyLEDGER MaryEra

type EraRule "LEDGERS" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "LEDGERS" MaryEra = ShelleyLEDGERS MaryEra

type EraRule "MIR" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "MIR" MaryEra = ShelleyMIR MaryEra

type EraRule "NEWEPOCH" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "NEWEPOCH" MaryEra = ShelleyNEWEPOCH MaryEra

type EraRule "NEWPP" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "NEWPP" MaryEra = ShelleyNEWPP MaryEra

type EraRule "POOL" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "POOL" MaryEra = ShelleyPOOL MaryEra

type EraRule "POOLREAP" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "POOLREAP" MaryEra = ShelleyPOOLREAP MaryEra

type EraRule "PPUP" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "PPUP" MaryEra = ShelleyPPUP MaryEra

type EraRule "RUPD" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "RUPD" MaryEra = ShelleyRUPD MaryEra

type EraRule "SNAP" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "SNAP" MaryEra = ShelleySNAP MaryEra

type EraRule "TICK" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "TICK" MaryEra = ShelleyTICK MaryEra

type EraRule "TICKF" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "TICKF" MaryEra = ShelleyTICKF MaryEra

type EraRule "UPEC" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "UPEC" MaryEra = ShelleyUPEC MaryEra

type EraRule "UTXO" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "UTXO" MaryEra = AllegraUTXO MaryEra

type EraRule "UTXOW" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "UTXOW" MaryEra = AllegraUTXOW MaryEra

type EraRuleEvent "LEDGER" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledger

type EraRuleEvent "LEDGER" MaryEra = ShelleyLedgerEvent MaryEra

type EraRuleEvent "TICK" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Rules

type EraRuleEvent "TICK" MaryEra = ShelleyTickEvent MaryEra

type EraRuleFailure "BBODY" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Rules.Bbody

type EraRuleFailure "BBODY" MaryEra = ShelleyBbodyPredFailure MaryEra

type EraRuleFailure "DELEG" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Rules.Deleg

type EraRuleFailure "DELEG" MaryEra = ShelleyDelegPredFailure MaryEra

type EraRuleFailure "DELEGS" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Rules.Delegs

type EraRuleFailure "DELEGS" MaryEra = ShelleyDelegsPredFailure MaryEra

type EraRuleFailure "DELPL" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Rules.Delpl

type EraRuleFailure "DELPL" MaryEra = ShelleyDelplPredFailure MaryEra

type EraRuleFailure "LEDGER" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledger

type EraRuleFailure "LEDGER" MaryEra = ShelleyLedgerPredFailure MaryEra

type EraRuleFailure "LEDGERS" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledgers

type EraRuleFailure "LEDGERS" MaryEra = ShelleyLedgersPredFailure MaryEra

type EraRuleFailure "POOL" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Rules.Pool

type EraRuleFailure "POOL" MaryEra = ShelleyPoolPredFailure MaryEra

type EraRuleFailure "PPUP" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Rules.Ppup

type EraRuleFailure "PPUP" MaryEra = ShelleyPpupPredFailure MaryEra

type EraRuleFailure "UTXO" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Rules.Utxo

type EraRuleFailure "UTXO" MaryEra = AllegraUtxoPredFailure MaryEra

type EraRuleFailure "UTXOW" MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Rules.Utxow

type EraRuleFailure "UTXOW" MaryEra = ShelleyUtxowPredFailure MaryEra

type DowngradePParams f MaryEra

Instance details

type DowngradePParams f MaryEra = ()

type PParamsHKD f MaryEra

Instance details

type PParamsHKD f MaryEra = ShelleyPParams f MaryEra

type UpgradePParams f MaryEra

Instance details

type UpgradePParams f MaryEra = ()

type TranslationError MaryEra AllegraTxAuxData

Instance details

type TranslationError MaryEra AllegraTxAuxData = Void

type TranslationError MaryEra CommitteeState

Instance details

type TranslationError MaryEra CommitteeState = Void

type TranslationError MaryEra DState

Instance details

type TranslationError MaryEra DState = Void

type TranslationError MaryEra PState

Instance details

type TranslationError MaryEra PState = Void

type TranslationError MaryEra VState

Instance details

type TranslationError MaryEra VState = Void

type TranslationError MaryEra PParams

Instance details

type TranslationError MaryEra PParams = Void

type TranslationError MaryEra PParamsUpdate

Instance details

type TranslationError MaryEra PParamsUpdate = Void

type TranslationError MaryEra FuturePParams

Instance details

type TranslationError MaryEra FuturePParams = Void

type TranslationError MaryEra UTxO

Instance details

type TranslationError MaryEra UTxO = Void

type TranslationError MaryEra ShelleyCertState

Instance details

type TranslationError MaryEra ShelleyCertState = Void

type TranslationError MaryEra ShelleyGovState

Instance details

type TranslationError MaryEra ShelleyGovState = Void

type TranslationError MaryEra EpochState

Instance details

type TranslationError MaryEra EpochState = Void

type TranslationError MaryEra LedgerState

Instance details

type TranslationError MaryEra LedgerState = Void

type TranslationError MaryEra NewEpochState

Instance details

type TranslationError MaryEra NewEpochState = Void

type TranslationError MaryEra UTxOState

Instance details

type TranslationError MaryEra UTxOState = Void

type TranslationError MaryEra ProposedPPUpdates

Instance details

type TranslationError MaryEra ProposedPPUpdates = Void

type TranslationError MaryEra Update

Instance details

type TranslationError MaryEra Update = Void

type TranslationError MaryEra ShelleyInstantStake

Instance details

type TranslationError MaryEra ShelleyInstantStake = Void

type TranslationError MaryEra ShelleyTx

Instance details

type TranslationError MaryEra ShelleyTx = DecoderError

type TranslationError MaryEra ShelleyTxOut

Instance details

type TranslationError MaryEra ShelleyTxOut = Void

type TranslationError MaryEra ShelleyTxWits

Instance details

type TranslationError MaryEra ShelleyTxWits = DecoderError

type TranslationError MaryEra WrapTx Source #

Instance details

type TranslationError MaryEra WrapTx = TranslationError MaryEra ShelleyTx

type TranslationError MaryEra (Timelock ∷ Type → Type)

Instance details

type TranslationError MaryEra (Timelock ∷ Type → Type) = Void

type HardForkTxMeasure (CardanoEras c) Source #

Instance details

type HardForkTxMeasure (CardanoEras c) = ConwayMeasure

newtype CanonicalTxIn (CardanoEras c) Source #

Instance details

newtype CanonicalTxIn (CardanoEras c) = CardanoTxIn {

getCardanoTxIn ∷ TxIn

}

type HardForkTxOut (CardanoEras c) Source #

Instance details

type HardForkTxOut (CardanoEras c) = CardanoTxOut c

type TxMeasure (ShelleyBlock p MaryEra) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type TxMeasure (ShelleyBlock p MaryEra) = IgnoringOverflow ByteSize32

data ShelleyEra Source #

Instances

Instances details

Era ShelleyEra

Instance details

Associated Types

type PreviousEra ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type PreviousEra ShelleyEra = ByronEra
type ProtVerLow ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type ProtVerLow ShelleyEra = 2
type ProtVerHigh ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Era type ProtVerHigh ShelleyEra = ProtVerLow ShelleyEra

Methods

ShelleyEraScript ShelleyEra

ApplyTx ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.API.Mempool

Methods

applyTxValidation ∷ ValidationPolicy → Globals → MempoolEnv ShelleyEra → MempoolState ShelleyEra → Tx ShelleyEra → Either (ApplyTxError ShelleyEra) (MempoolState ShelleyEra, Validated (Tx ShelleyEra)) Source #

ApplyBlock ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.API.Validation

Methods

applyBlock ∷ ∀ (ep ∷ EventPolicy). SingEP ep → ValidationPolicy → Globals → NewEpochState ShelleyEra → Block BHeaderView ShelleyEra → (NewEpochState ShelleyEra, [PredicateFailure (EraRule "BBODY" ShelleyEra)], [Event (EraRule "BBODY" ShelleyEra)]) Source #

applyTick ∷ ∀ (ep ∷ EventPolicy). SingEP ep → Globals → NewEpochState ShelleyEra → SlotNo → (NewEpochState ShelleyEra, [Event (EraRule "TICK" ShelleyEra)]) Source #

Instance details

Defined in Cardano.Ledger.Shelley.Scripts

Methods

mkRequireSignature ∷ KeyHash 'Witness → NativeScript ShelleyEra Source #

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

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

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

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

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

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

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

EraTransition ShelleyEra

Instance details

ShelleyEraTxBody ShelleyEra

Associated Types

newtype TransitionConfig ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Transition newtype TransitionConfig ShelleyEra = ShelleyTransitionConfig { stcShelleyGenesis ∷ ShelleyGenesis }

Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

ttlTxBodyL ∷ Lens' (TxBody ShelleyEra) SlotNo Source #

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

ShelleyEraTxCert ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

mkRegTxCert ∷ StakeCredential → TxCert ShelleyEra Source #

getRegTxCert ∷ TxCert ShelleyEra → Maybe StakeCredential Source #

mkUnRegTxCert ∷ StakeCredential → TxCert ShelleyEra Source #

getUnRegTxCert ∷ TxCert ShelleyEra → Maybe StakeCredential Source #

mkDelegStakeTxCert ∷ StakeCredential → KeyHash 'StakePool → TxCert ShelleyEra Source #

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

mkGenesisDelegTxCert ∷ GenesisDelegCert → TxCert ShelleyEra Source #

getGenesisDelegTxCert ∷ TxCert ShelleyEra → Maybe GenesisDelegCert Source #

mkMirTxCert ∷ MIRCert → TxCert ShelleyEra Source #

getMirTxCert ∷ TxCert ShelleyEra → Maybe MIRCert Source #

GetLedgerView ShelleyEra

Instance details

Methods

currentLedgerView ∷ NewEpochState ShelleyEra → LedgerView Source #

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

ShelleyBasedEra ShelleyEra Source #

Instance details

Methods

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

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

InjectRuleFailure "BBODY" ShelleyBbodyPredFailure ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

Methods

injectFailure ∷ ShelleyBbodyPredFailure ShelleyEra → EraRuleFailure "BBODY" ShelleyEra Source #

InjectRuleFailure "DELEG" ShelleyDelegPredFailure ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

Methods

injectFailure ∷ ShelleyDelegPredFailure ShelleyEra → EraRuleFailure "DELEG" ShelleyEra Source #

InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

Methods

injectFailure ∷ ShelleyDelegsPredFailure ShelleyEra → EraRuleFailure "DELEGS" ShelleyEra Source #

InjectRuleFailure "DELPL" ShelleyDelplPredFailure ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

Methods

injectFailure ∷ ShelleyDelplPredFailure ShelleyEra → EraRuleFailure "DELPL" ShelleyEra Source #

InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

Methods

injectFailure ∷ ShelleyLedgerPredFailure ShelleyEra → EraRuleFailure "LEDGER" ShelleyEra Source #

InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

Methods

injectFailure ∷ ShelleyLedgersPredFailure ShelleyEra → EraRuleFailure "LEDGERS" ShelleyEra Source #

InjectRuleFailure "POOL" ShelleyPoolPredFailure ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

Methods

injectFailure ∷ ShelleyPoolPredFailure ShelleyEra → EraRuleFailure "POOL" ShelleyEra Source #

InjectRuleFailure "PPUP" ShelleyPpupPredFailure ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

Methods

injectFailure ∷ ShelleyPpupPredFailure ShelleyEra → EraRuleFailure "PPUP" ShelleyEra Source #

InjectRuleFailure "UTXO" ShelleyUtxoPredFailure ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

Methods

injectFailure ∷ ShelleyUtxoPredFailure ShelleyEra → EraRuleFailure "UTXO" ShelleyEra Source #

InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

Methods

injectFailure ∷ ShelleyUtxowPredFailure ShelleyEra → EraRuleFailure "UTXOW" ShelleyEra Source #

FromJSON (TransitionConfig ShelleyEra)

Instance details

Methods

parseJSON ∷ Value → Parser (TransitionConfig ShelleyEra) Source #

parseJSONList ∷ Value → Parser [TransitionConfig ShelleyEra] Source #

omittedField ∷ Maybe (TransitionConfig ShelleyEra) Source #

ToJSON (TransitionConfig ShelleyEra)

Instance details

Methods

toJSON ∷ TransitionConfig ShelleyEra → Value Source #

toEncoding ∷ TransitionConfig ShelleyEra → Encoding Source #

toJSONList ∷ [TransitionConfig ShelleyEra] → Value Source #

toEncodingList ∷ [TransitionConfig ShelleyEra] → Encoding Source #

omitField ∷ TransitionConfig ShelleyEra → Bool Source #

Generic (TransitionConfig ShelleyEra)

Instance details

Associated Types

type Rep (TransitionConfig ShelleyEra)

Instance details

type Rep (TransitionConfig ShelleyEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Shelley.Transition" "cardano-ledger-shelley-1.16.0.0-c1008874f8b6847f8def90e1ee957acbea6233f4640506a80b63d2db757c701e" 'True) (C1 ('MetaCons "ShelleyTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "stcShelleyGenesis") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShelleyGenesis)))

Methods

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

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

Show (TransitionConfig ShelleyEra)

Instance details

Methods

showsPrec ∷ Int → TransitionConfig ShelleyEra → ShowS #

show ∷ TransitionConfig ShelleyEra → String #

showList ∷ [TransitionConfig ShelleyEra] → ShowS #

Show (CanonicalTxIn (CardanoEras c)) Source #

Instance details

Methods

showsPrec ∷ Int → CanonicalTxIn (CardanoEras c) → ShowS #

show ∷ CanonicalTxIn (CardanoEras c) → String #

showList ∷ [CanonicalTxIn (CardanoEras c)] → ShowS #

Eq (TransitionConfig ShelleyEra)

Instance details

Methods

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

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

Eq (CanonicalTxIn (CardanoEras c)) Source #

Instance details

Methods

(==) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

(/=) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

Ord (CanonicalTxIn (CardanoEras c)) Source #

Instance details

Methods

compare ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Ordering #

(<) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

(<=) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

(>) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

(>=) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

max ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) #

min ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) #

CardanoHardForkConstraints c ⇒ MemPack (CanonicalTxIn (CardanoEras c)) Source #

Instance details

Methods

packedByteCount ∷ CanonicalTxIn (CardanoEras c) → Int Source #

packM ∷ CanonicalTxIn (CardanoEras c) → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack b (CanonicalTxIn (CardanoEras c)) Source #

NoThunks (TransitionConfig ShelleyEra)

Instance details

Methods

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

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

showTypeOf ∷ Proxy (TransitionConfig ShelleyEra) → String Source #

NoThunks (CanonicalTxIn (CardanoEras c)) Source #

Instance details

Methods

noThunks ∷ Context → CanonicalTxIn (CardanoEras c) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → CanonicalTxIn (CardanoEras c) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (CanonicalTxIn (CardanoEras c)) → String Source #

CardanoHardForkConstraints c ⇒ CanHardFork (CardanoEras c) Source #

When performing era translations, two eras have special behaviours on the ledger tables:

Byron to Shelley: as Byron has no tables, the whole UTxO set is computed as insertions, note that it uses valuesAsDiffs
Shelley to Allegra: some special addresses (the so called AVVM addresses), were deleted in this transition, which influenced things like the calculation of later rewards. In this transition, we consume the shelleyToAllegraAVVMsToDelete as deletions in the ledger tables.

Instance details

Associated Types

type HardForkTxMeasure (CardanoEras c)
Instance details Defined in Ouroboros.Consensus.Cardano.CanHardFork type HardForkTxMeasure (CardanoEras c) = ConwayMeasure

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

CardanoHardForkConstraints c ⇒ HasCanonicalTxIn (CardanoEras c) Source #

Instance details

Associated Types

newtype CanonicalTxIn (CardanoEras c)
Instance details Defined in Ouroboros.Consensus.Cardano.Ledger newtype CanonicalTxIn (CardanoEras c) = CardanoTxIn { getCardanoTxIn ∷ TxIn }

Methods

injectCanonicalTxIn ∷ Index (CardanoEras c) x → TxIn (LedgerState x) → CanonicalTxIn (CardanoEras c) Source #

ejectCanonicalTxIn ∷ Index (CardanoEras c) x → CanonicalTxIn (CardanoEras c) → TxIn (LedgerState x) Source #

CardanoHardForkConstraints c ⇒ HasHardForkTxOut (CardanoEras c) Source #

Instance details

Associated Types

type HardForkTxOut (CardanoEras c)
Instance details Defined in Ouroboros.Consensus.Cardano.Ledger type HardForkTxOut (CardanoEras c) = CardanoTxOut c

Methods

injectHardForkTxOut ∷ Index (CardanoEras c) x → TxOut (LedgerState x) → HardForkTxOut (CardanoEras c) Source #

ejectHardForkTxOut ∷ Index (CardanoEras c) x → HardForkTxOut (CardanoEras c) → TxOut (LedgerState x) Source #

txOutEjections ∷ NP ((K (NS WrapTxOut (CardanoEras c)) ∷ Type → Type) -.-> WrapTxOut) (CardanoEras c) Source #

txOutTranslations ∷ Tails (Fn2 WrapTxOut) (CardanoEras c) Source #

CardanoHardForkConstraints c ⇒ BlockSupportsHFLedgerQuery (CardanoEras c) Source #

Instance details

Methods

answerBlockQueryHFLookup ∷ (All SingleEraBlock (CardanoEras c), Monad m) ⇒ Index (CardanoEras c) x → ExtLedgerCfg x → BlockQuery x 'QFLookupTables result → ReadOnlyForker' m (HardForkBlock (CardanoEras c)) → m result Source #

answerBlockQueryHFTraverse ∷ (All SingleEraBlock (CardanoEras c), Monad m) ⇒ Index (CardanoEras c) x → ExtLedgerCfg x → BlockQuery x 'QFTraverseTables result → ReadOnlyForker' m (HardForkBlock (CardanoEras c)) → m result Source #

queryLedgerGetTraversingFilter ∷ Index (CardanoEras c) x → BlockQuery x 'QFTraverseTables result → TxOut (LedgerState (HardForkBlock (CardanoEras c))) → Bool Source #

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:

Byron EBB
Byron regular block
Shelley block
Allegra block
Mary block
Goguen block
etc.

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

Instance details

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 ⇒ SerializeTablesWithHint (LedgerState (HardForkBlock (CardanoEras c))) Source #

Instance details

Methods

encodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK) → LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK → Encoding Source #

decodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK) → Decoder s (LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK) Source #

CardanoHardForkConstraints c ⇒ SupportedNetworkProtocolVersion (CardanoBlock c) Source #

Instance details

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 ⇒ ShelleyCompatible (TPraos c) ShelleyEra Source #

Instance details

ShelleyCompatible p ShelleyEra ⇒ TxLimits (ShelleyBlock p ShelleyEra) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Associated Types

type TxMeasure (ShelleyBlock p ShelleyEra)
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool type TxMeasure (ShelleyBlock p ShelleyEra) = IgnoringOverflow ByteSize32

Methods

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

blockCapacityTxMeasure ∷ ∀ (mk ∷ MapKind). LedgerConfig (ShelleyBlock p ShelleyEra) → TickedLedgerState (ShelleyBlock p ShelleyEra) mk → TxMeasure (ShelleyBlock p ShelleyEra) Source #

CardanoHardForkConstraints c ⇒ IndexedMemPack (LedgerState (HardForkBlock (CardanoEras c)) EmptyMK) (CardanoTxOut c) Source #

Instance details

Methods

indexedPackedByteCount ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → CardanoTxOut c → Int Source #

indexedPackM ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → CardanoTxOut c → Pack s () Source #

indexedUnpackM ∷ Buffer b ⇒ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → Unpack b (CardanoTxOut c) Source #

indexedTypeName ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → String Source #

type CertState ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.CertState

type CertState ShelleyEra = ShelleyCertState ShelleyEra

type NativeScript ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Scripts

type NativeScript ShelleyEra = MultiSig ShelleyEra

type Script ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Scripts

type Script ShelleyEra = MultiSig ShelleyEra

type Tx ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Tx.Internal

type Tx ShelleyEra = ShelleyTx ShelleyEra

type TxAuxData ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

type TxAuxData ShelleyEra = ShelleyTxAuxData ShelleyEra

type TxBody ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type TxBody ShelleyEra = ShelleyTxBody ShelleyEra

type TxBodyUpgradeError ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type TxBodyUpgradeError ShelleyEra = Void

type TxOut ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.TxOut

type TxOut ShelleyEra = ShelleyTxOut ShelleyEra

type TxSeq ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.BlockChain

type TxSeq ShelleyEra = ShelleyTxSeq ShelleyEra

type TxUpgradeError ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Tx.Internal

type TxUpgradeError ShelleyEra = Void

type TxWits ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.TxWits

type TxWits ShelleyEra = ShelleyTxWits ShelleyEra

type Value ShelleyEra

Instance details

type Value ShelleyEra = Coin

type PreviousEra ShelleyEra

Instance details

type PreviousEra ShelleyEra = ByronEra

type ProtVerHigh ShelleyEra

Instance details

type ProtVerHigh ShelleyEra = ProtVerLow ShelleyEra

type ProtVerLow ShelleyEra

Instance details

type ProtVerLow ShelleyEra = 2

type TranslationContext ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Translation

type TranslationContext ShelleyEra = FromByronTranslationContext

type TxCert ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.TxCert

type TxCert ShelleyEra = ShelleyTxCert ShelleyEra

type TxCertUpgradeError ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.TxCert

type TxCertUpgradeError ShelleyEra = Void

type Genesis ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

type Genesis ShelleyEra = ShelleyGenesis

type GovState ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Governance

type GovState ShelleyEra = ShelleyGovState ShelleyEra

type InstantStake ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.State.Stake

type InstantStake ShelleyEra = ShelleyInstantStake ShelleyEra

type ScriptsNeeded ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.UTxO

type ScriptsNeeded ShelleyEra = ShelleyScriptsNeeded ShelleyEra

newtype TransitionConfig ShelleyEra

Instance details

newtype TransitionConfig ShelleyEra = ShelleyTransitionConfig {

stcShelleyGenesis ∷ ShelleyGenesis

}

type EraRule "BBODY" ShelleyEra

Instance details

type EraRule "BBODY" ShelleyEra = ShelleyBBODY ShelleyEra

type EraRule "DELEG" ShelleyEra

Instance details

type EraRule "DELEG" ShelleyEra = ShelleyDELEG ShelleyEra

type EraRule "DELEGS" ShelleyEra

Instance details

type EraRule "DELEGS" ShelleyEra = ShelleyDELEGS ShelleyEra

type EraRule "DELPL" ShelleyEra

Instance details

type EraRule "DELPL" ShelleyEra = ShelleyDELPL ShelleyEra

type EraRule "EPOCH" ShelleyEra

Instance details

type EraRule "EPOCH" ShelleyEra = ShelleyEPOCH ShelleyEra

type EraRule "LEDGER" ShelleyEra

Instance details

type EraRule "LEDGER" ShelleyEra = ShelleyLEDGER ShelleyEra

type EraRule "LEDGERS" ShelleyEra

Instance details

type EraRule "LEDGERS" ShelleyEra = ShelleyLEDGERS ShelleyEra

type EraRule "MIR" ShelleyEra

Instance details

type EraRule "MIR" ShelleyEra = ShelleyMIR ShelleyEra

type EraRule "NEWEPOCH" ShelleyEra

Instance details

type EraRule "NEWEPOCH" ShelleyEra = ShelleyNEWEPOCH ShelleyEra

type EraRule "NEWPP" ShelleyEra

Instance details

type EraRule "NEWPP" ShelleyEra = ShelleyNEWPP ShelleyEra

type EraRule "POOL" ShelleyEra

Instance details

type EraRule "POOL" ShelleyEra = ShelleyPOOL ShelleyEra

type EraRule "POOLREAP" ShelleyEra

Instance details

type EraRule "POOLREAP" ShelleyEra = ShelleyPOOLREAP ShelleyEra

type EraRule "PPUP" ShelleyEra

Instance details

type EraRule "PPUP" ShelleyEra = ShelleyPPUP ShelleyEra

type EraRule "RUPD" ShelleyEra

Instance details

type EraRule "RUPD" ShelleyEra = ShelleyRUPD ShelleyEra

type EraRule "SNAP" ShelleyEra

Instance details

type EraRule "SNAP" ShelleyEra = ShelleySNAP ShelleyEra

type EraRule "TICK" ShelleyEra

Instance details

type EraRule "TICK" ShelleyEra = ShelleyTICK ShelleyEra

type EraRule "TICKF" ShelleyEra

Instance details

type EraRule "TICKF" ShelleyEra = ShelleyTICKF ShelleyEra

type EraRule "UPEC" ShelleyEra

Instance details

type EraRule "UPEC" ShelleyEra = ShelleyUPEC ShelleyEra

type EraRule "UTXO" ShelleyEra

Instance details

type EraRule "UTXO" ShelleyEra = ShelleyUTXO ShelleyEra

type EraRule "UTXOW" ShelleyEra

Instance details

type EraRule "UTXOW" ShelleyEra = ShelleyUTXOW ShelleyEra

type EraRuleEvent "LEDGER" ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type EraRuleEvent "LEDGER" ShelleyEra = ShelleyLedgerEvent ShelleyEra

type EraRuleEvent "LEDGERS" ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type EraRuleEvent "LEDGERS" ShelleyEra = ShelleyLedgersEvent ShelleyEra

type EraRuleEvent "NEWEPOCH" ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type EraRuleEvent "NEWEPOCH" ShelleyEra = ShelleyNewEpochEvent ShelleyEra

type EraRuleEvent "POOLREAP" ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type EraRuleEvent "POOLREAP" ShelleyEra = ShelleyPoolreapEvent ShelleyEra

type EraRuleEvent "TICK" ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type EraRuleEvent "TICK" ShelleyEra = ShelleyTickEvent ShelleyEra

type EraRuleFailure "BBODY" ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

type EraRuleFailure "BBODY" ShelleyEra = ShelleyBbodyPredFailure ShelleyEra

type EraRuleFailure "DELEG" ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type EraRuleFailure "DELEG" ShelleyEra = ShelleyDelegPredFailure ShelleyEra

type EraRuleFailure "DELEGS" ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type EraRuleFailure "DELEGS" ShelleyEra = ShelleyDelegsPredFailure ShelleyEra

type EraRuleFailure "DELPL" ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type EraRuleFailure "DELPL" ShelleyEra = ShelleyDelplPredFailure ShelleyEra

type EraRuleFailure "LEDGER" ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type EraRuleFailure "LEDGER" ShelleyEra = ShelleyLedgerPredFailure ShelleyEra

type EraRuleFailure "LEDGERS" ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type EraRuleFailure "LEDGERS" ShelleyEra = ShelleyLedgersPredFailure ShelleyEra

type EraRuleFailure "POOL" ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type EraRuleFailure "POOL" ShelleyEra = ShelleyPoolPredFailure ShelleyEra

type EraRuleFailure "PPUP" ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type EraRuleFailure "PPUP" ShelleyEra = ShelleyPpupPredFailure ShelleyEra

type EraRuleFailure "UTXO" ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type EraRuleFailure "UTXO" ShelleyEra = ShelleyUtxoPredFailure ShelleyEra

type EraRuleFailure "UTXOW" ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

type EraRuleFailure "UTXOW" ShelleyEra = ShelleyUtxowPredFailure ShelleyEra

type DowngradePParams f ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.PParams

type DowngradePParams f ShelleyEra = Void

type PParamsHKD f ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.PParams

type PParamsHKD f ShelleyEra = ShelleyPParams f ShelleyEra

type UpgradePParams f ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.PParams

type UpgradePParams f ShelleyEra = Void

type Rep (TransitionConfig ShelleyEra)

Instance details

type Rep (TransitionConfig ShelleyEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Shelley.Transition" "cardano-ledger-shelley-1.16.0.0-c1008874f8b6847f8def90e1ee957acbea6233f4640506a80b63d2db757c701e" 'True) (C1 ('MetaCons "ShelleyTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "stcShelleyGenesis") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShelleyGenesis)))

type HardForkTxMeasure (CardanoEras c) Source #

Instance details

type HardForkTxMeasure (CardanoEras c) = ConwayMeasure

newtype CanonicalTxIn (CardanoEras c) Source #

Instance details

newtype CanonicalTxIn (CardanoEras c) = CardanoTxIn {

getCardanoTxIn ∷ TxIn

}

type HardForkTxOut (CardanoEras c) Source #

Instance details

type HardForkTxOut (CardanoEras c) = CardanoTxOut c

type TxMeasure (ShelleyBlock p ShelleyEra) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type TxMeasure (ShelleyBlock p ShelleyEra) = IgnoringOverflow ByteSize32

Eras instantiated with standard crypto

type StandardAllegra = AllegraEra Source #

Deprecated: In favor of AllegraEra

The Allegra era with standard crypto

type StandardAlonzo = AlonzoEra Source #

Deprecated: In favor of AlonzoEra

The Alonzo era with standard crypto

type StandardBabbage = BabbageEra Source #

Deprecated: In favor of BabbageEra

The Babbage era with standard crypto

type StandardConway = ConwayEra Source #

Deprecated: In favor of ConwayEra

The Conway era with standard crypto

type StandardMary = MaryEra Source #

Deprecated: In favor of MaryEra

The Mary era with standard crypto

type StandardShelley = ShelleyEra Source #

Deprecated: In favor of ShelleyEra

The Shelley era with standard crypto

Shelley-based era

data ConwayEraGovDict era where Source #

Constructors

ConwayEraGovDict ∷ ∀ era. 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)), Eq (PredicateFailure (EraRule "BBODY" era)), Show (PredicateFailure (EraRule "BBODY" era)), NoThunks (PredicateFailure (EraRule "BBODY" era)), NoThunks (TranslationContext era), ToCBOR (TranslationContext era), FromCBOR (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

ShelleyBasedEra AllegraEra Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Eras Methods applyShelleyBasedTx ∷ Globals → LedgerEnv AllegraEra → LedgerState AllegraEra → WhetherToIntervene → Tx AllegraEra → Except (ApplyTxError AllegraEra) (LedgerState AllegraEra, Validated (Tx AllegraEra)) Source # getConwayEraGovDict ∷ proxy AllegraEra → Maybe (ConwayEraGovDict AllegraEra) Source #
ShelleyBasedEra AlonzoEra Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Eras Methods applyShelleyBasedTx ∷ Globals → LedgerEnv AlonzoEra → LedgerState AlonzoEra → WhetherToIntervene → Tx AlonzoEra → Except (ApplyTxError AlonzoEra) (LedgerState AlonzoEra, Validated (Tx AlonzoEra)) Source # getConwayEraGovDict ∷ proxy AlonzoEra → Maybe (ConwayEraGovDict AlonzoEra) Source #
ShelleyBasedEra BabbageEra Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Eras Methods applyShelleyBasedTx ∷ Globals → LedgerEnv BabbageEra → LedgerState BabbageEra → WhetherToIntervene → Tx BabbageEra → Except (ApplyTxError BabbageEra) (LedgerState BabbageEra, Validated (Tx BabbageEra)) Source # getConwayEraGovDict ∷ proxy BabbageEra → Maybe (ConwayEraGovDict BabbageEra) Source #
ShelleyBasedEra ConwayEra Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Eras Methods applyShelleyBasedTx ∷ Globals → LedgerEnv ConwayEra → LedgerState ConwayEra → WhetherToIntervene → Tx ConwayEra → Except (ApplyTxError ConwayEra) (LedgerState ConwayEra, Validated (Tx ConwayEra)) Source # getConwayEraGovDict ∷ proxy ConwayEra → Maybe (ConwayEraGovDict ConwayEra) Source #
ShelleyBasedEra MaryEra Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Eras Methods applyShelleyBasedTx ∷ Globals → LedgerEnv MaryEra → LedgerState MaryEra → WhetherToIntervene → Tx MaryEra → Except (ApplyTxError MaryEra) (LedgerState MaryEra, Validated (Tx MaryEra)) Source # getConwayEraGovDict ∷ proxy MaryEra → Maybe (ConwayEraGovDict MaryEra) Source #
ShelleyBasedEra ShelleyEra Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Eras Methods applyShelleyBasedTx ∷ Globals → LedgerEnv ShelleyEra → LedgerState ShelleyEra → WhetherToIntervene → Tx ShelleyEra → Except (ApplyTxError ShelleyEra) (LedgerState ShelleyEra, Validated (Tx ShelleyEra)) Source # getConwayEraGovDict ∷ proxy ShelleyEra → Maybe (ConwayEraGovDict ShelleyEra) 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 unwrapTx ∷ Tx era

Instances

Instances details

TranslateEra AllegraEra WrapTx Source #

Instance details

Associated Types

type TranslationError AllegraEra WrapTx
Instance details Defined in Ouroboros.Consensus.Shelley.Eras type TranslationError AllegraEra WrapTx = TranslationError AllegraEra ShelleyTx

Methods

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

TranslateEra AlonzoEra WrapTx Source #

Instance details

Associated Types

type TranslationError AlonzoEra WrapTx
Instance details Defined in Ouroboros.Consensus.Shelley.Eras type TranslationError AlonzoEra WrapTx = TranslationError AlonzoEra Tx

Methods

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

TranslateEra BabbageEra WrapTx Source #

Instance details

Associated Types

type TranslationError BabbageEra WrapTx
Instance details Defined in Ouroboros.Consensus.Shelley.Eras type TranslationError BabbageEra WrapTx = TranslationError BabbageEra Tx

Methods

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

TranslateEra ConwayEra WrapTx Source #

Instance details

Associated Types

type TranslationError ConwayEra WrapTx
Instance details Defined in Ouroboros.Consensus.Shelley.Eras type TranslationError ConwayEra WrapTx = TranslationError ConwayEra Tx

Methods

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

TranslateEra MaryEra WrapTx Source #

Instance details

Associated Types

type TranslationError MaryEra WrapTx
Instance details Defined in Ouroboros.Consensus.Shelley.Eras type TranslationError MaryEra WrapTx = TranslationError MaryEra ShelleyTx

Methods

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

type TranslationError AllegraEra WrapTx Source #

Instance details

type TranslationError AllegraEra WrapTx = TranslationError AllegraEra ShelleyTx

type TranslationError AlonzoEra WrapTx Source #

Instance details

type TranslationError AlonzoEra WrapTx = TranslationError AlonzoEra Tx

type TranslationError BabbageEra WrapTx Source #

Instance details

type TranslationError BabbageEra WrapTx = TranslationError BabbageEra Tx

type TranslationError ConwayEra WrapTx Source #

Instance details

type TranslationError ConwayEra WrapTx = TranslationError ConwayEra Tx

type TranslationError MaryEra WrapTx Source #

Instance details

PraosCrypto StandardCrypto

type TranslationError MaryEra WrapTx = TranslationError MaryEra ShelleyTx

Convenience functions

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

Associated Types

type KES StandardCrypto
Instance details Defined in Cardano.Ledger.Crypto.Internal type KES StandardCrypto = Sum6KES Ed25519DSIGN Blake2b_256
type VRF StandardCrypto
Instance details Defined in Cardano.Ledger.Crypto.Internal type VRF StandardCrypto = PraosVRF

Instance details