cardano-ledger-mary-1.6.1.1: Cardano ledger with multiasset support.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Mary.Era

Documentation

data MaryEra era Source #

Instances

Instances details
InjectRuleFailure "BBODY" ShelleyBbodyPredFailure (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyDelegPredFailure (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyDelegsPredFailure (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyDelplPredFailure (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyLedgerPredFailure (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyLedgersPredFailure (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyPoolPredFailure (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyPpupPredFailure (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyUtxoPredFailure (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyUtxowPredFailure (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Bbody

InjectRuleFailure "DELEG" ShelleyDelegPredFailure (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Deleg

InjectRuleFailure "DELEGS" ShelleyDelegPredFailure (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Delegs

InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Delegs

InjectRuleFailure "DELEGS" ShelleyDelplPredFailure (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Delegs

InjectRuleFailure "DELEGS" ShelleyPoolPredFailure (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Delegs

InjectRuleFailure "DELPL" ShelleyDelegPredFailure (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Delpl

InjectRuleFailure "DELPL" ShelleyDelplPredFailure (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Delpl

InjectRuleFailure "DELPL" ShelleyPoolPredFailure (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Delpl

InjectRuleFailure "LEDGER" ShelleyDelegPredFailure (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyDelplPredFailure (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyPoolPredFailure (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyPpupPredFailure (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledger

InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledgers

InjectRuleFailure "POOL" ShelleyPoolPredFailure (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Pool

InjectRuleFailure "PPUP" ShelleyPpupPredFailure (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ppup

InjectRuleFailure "UTXO" AllegraUtxoPredFailure (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Utxo

InjectRuleFailure "UTXO" ShelleyPpupPredFailure (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Utxo

InjectRuleFailure "UTXO" ShelleyUtxoPredFailure (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Utxo

InjectRuleFailure "UTXOW" AllegraUtxoPredFailure (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Utxow

InjectRuleFailure "UTXOW" ShelleyPpupPredFailure (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Utxow

InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Utxow

InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Utxow

Crypto c ⇒ FromJSON (TransitionConfig (MaryEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Transition

Crypto c ⇒ ToJSON (TransitionConfig (MaryEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Transition

Crypto c ⇒ Show (TransitionConfig (MaryEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Transition

Crypto c ⇒ AllegraEraScript (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Scripts

Crypto c ⇒ AllegraEraTxAuxData (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxAuxData

Crypto c ⇒ AllegraEraTxBody (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Crypto c ⇒ EraScript (MaryEra c) Source #

Since Timelock scripts are a strictly backwards compatible extension of MultiSig scripts, we can use the same scriptPrefixTag tag here as we did for the ValidateScript instance in MultiSig

Instance details

Defined in Cardano.Ledger.Mary.Scripts

Associated Types

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

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

Crypto c ⇒ EraSegWits (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxSeq

Associated Types

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

Crypto c ⇒ EraTx (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Tx

Associated Types

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

type TxUpgradeError (MaryEra c) Source #

Crypto c ⇒ EraTxAuxData (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxAuxData

Associated Types

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

Crypto c ⇒ EraTxBody (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Associated Types

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

type TxBodyUpgradeError (MaryEra c) Source #

Crypto c ⇒ EraTxOut (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxOut

Associated Types

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

Crypto c ⇒ EraTxWits (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxWits

Associated Types

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

Crypto c ⇒ Era (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Era

Associated Types

type EraCrypto (MaryEra c) Source #

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

type ProtVerLow (MaryEra c) ∷ Nat Source #

type ProtVerHigh (MaryEra c) ∷ Nat Source #

Methods

eraNameString Source #

Crypto c ⇒ EraPParams (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.PParams

Associated Types

type PParamsHKD f (MaryEra c) = (r ∷ Type) Source #

type UpgradePParams f (MaryEra c) Source #

type DowngradePParams f (MaryEra c) Source #

Methods

applyPPUpdatesPParams (MaryEra c) → PParamsUpdate (MaryEra c) → PParams (MaryEra c) Source #

emptyPParamsIdentityPParamsHKD Identity (MaryEra c) Source #

emptyPParamsStrictMaybePParamsHKD StrictMaybe (MaryEra c) Source #

upgradePParamsHKD ∷ ∀ (f ∷ TypeType). (HKDApplicative f, EraPParams (PreviousEra (MaryEra c))) ⇒ UpgradePParams f (MaryEra c) → PParamsHKD f (PreviousEra (MaryEra c)) → PParamsHKD f (MaryEra c) Source #

downgradePParamsHKD ∷ ∀ (f ∷ TypeType). (HKDFunctor f, EraPParams (PreviousEra (MaryEra c))) ⇒ DowngradePParams f (MaryEra c) → PParamsHKD f (MaryEra c) → PParamsHKD f (PreviousEra (MaryEra c)) Source #

hkdMinFeeAL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (MaryEra c)) (HKD f Coin) Source #

hkdMinFeeBL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (MaryEra c)) (HKD f Coin) Source #

hkdMaxBBSizeL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (MaryEra c)) (HKD f Word32) Source #

hkdMaxTxSizeL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (MaryEra c)) (HKD f Word32) Source #

hkdMaxBHSizeL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (MaryEra c)) (HKD f Word16) Source #

hkdKeyDepositL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (MaryEra c)) (HKD f Coin) Source #

hkdPoolDepositL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (MaryEra c)) (HKD f Coin) Source #

hkdEMaxL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (MaryEra c)) (HKD f EpochInterval) Source #

hkdNOptL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (MaryEra c)) (HKD f Natural) Source #

hkdA0L ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (MaryEra c)) (HKD f NonNegativeInterval) Source #

hkdRhoL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (MaryEra c)) (HKD f UnitInterval) Source #

hkdTauL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (MaryEra c)) (HKD f UnitInterval) Source #

hkdDL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, ProtVerAtMost (MaryEra c) 6) ⇒ Lens' (PParamsHKD f (MaryEra c)) (HKD f UnitInterval) Source #

ppDGSimpleGetter (PParams (MaryEra c)) UnitInterval Source #

hkdExtraEntropyL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, ProtVerAtMost (MaryEra c) 6) ⇒ Lens' (PParamsHKD f (MaryEra c)) (HKD f Nonce) Source #

hkdProtocolVersionL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, ProtVerAtMost (MaryEra c) 8) ⇒ Lens' (PParamsHKD f (MaryEra c)) (HKD f ProtVer) Source #

ppProtocolVersionLLens' (PParams (MaryEra c)) ProtVer Source #

ppuProtocolVersionLLens' (PParamsUpdate (MaryEra c)) (StrictMaybe ProtVer) Source #

hkdMinUTxOValueL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, ProtVerAtMost (MaryEra c) 4) ⇒ Lens' (PParamsHKD f (MaryEra c)) (HKD f Coin) Source #

hkdMinPoolCostL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (MaryEra c)) (HKD f Coin) Source #

Crypto c ⇒ EraTxCert (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxCert

Associated Types

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

type TxCertUpgradeError (MaryEra c) Source #

Crypto c ⇒ EraUTxO (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.UTxO

Associated Types

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

Crypto c ⇒ MaryEraTxBody (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Crypto c ⇒ CanStartFromGenesis (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary

Associated Types

type AdditionalGenesisConfig (MaryEra c) Source #

(Crypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ApplyTx (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary

(Crypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ApplyBlock (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary

Crypto c ⇒ EraGov (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.PParams

Associated Types

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

Crypto c ⇒ ShelleyEraScript (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Scripts

Crypto c ⇒ EraTransition (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Transition

Associated Types

data TransitionConfig (MaryEra c) Source #

Crypto c ⇒ ShelleyEraTxBody (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Crypto c ⇒ ShelleyEraTxCert (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxCert

Crypto c ⇒ Eq (TransitionConfig (MaryEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Transition

Crypto c ⇒ NoThunks (TransitionConfig (MaryEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Transition

Crypto c ⇒ TranslateEra (MaryEra c) Timelock Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Associated Types

type TranslationError (MaryEra c) Timelock Source #

Crypto c ⇒ TranslateEra (MaryEra c) AllegraTxAuxData Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Crypto c ⇒ TranslateEra (MaryEra c) CertState Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Associated Types

type TranslationError (MaryEra c) CertState Source #

Crypto c ⇒ TranslateEra (MaryEra c) CommitteeState Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Crypto c ⇒ TranslateEra (MaryEra c) DState Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Associated Types

type TranslationError (MaryEra c) DState Source #

Crypto c ⇒ TranslateEra (MaryEra c) PState Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Associated Types

type TranslationError (MaryEra c) PState Source #

Crypto c ⇒ TranslateEra (MaryEra c) VState Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Associated Types

type TranslationError (MaryEra c) VState Source #

Crypto c ⇒ TranslateEra (MaryEra c) PParams Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Associated Types

type TranslationError (MaryEra c) PParams Source #

Crypto c ⇒ TranslateEra (MaryEra c) PParamsUpdate Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Associated Types

type TranslationError (MaryEra c) PParamsUpdate Source #

Crypto c ⇒ TranslateEra (MaryEra c) UTxO Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Associated Types

type TranslationError (MaryEra c) UTxO Source #

Crypto c ⇒ TranslateEra (MaryEra c) FuturePParams Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Associated Types

type TranslationError (MaryEra c) FuturePParams Source #

Crypto c ⇒ TranslateEra (MaryEra c) ShelleyGovState Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Crypto c ⇒ TranslateEra (MaryEra c) EpochState Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Associated Types

type TranslationError (MaryEra c) EpochState Source #

Crypto c ⇒ TranslateEra (MaryEra c) LedgerState Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Associated Types

type TranslationError (MaryEra c) LedgerState Source #

Crypto c ⇒ TranslateEra (MaryEra c) NewEpochState Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Associated Types

type TranslationError (MaryEra c) NewEpochState Source #

Crypto c ⇒ TranslateEra (MaryEra c) UTxOState Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Associated Types

type TranslationError (MaryEra c) UTxOState Source #

Crypto c ⇒ TranslateEra (MaryEra c) ProposedPPUpdates Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Crypto c ⇒ TranslateEra (MaryEra c) Update Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Associated Types

type TranslationError (MaryEra c) Update Source #

(Crypto c, EraTx (MaryEra c)) ⇒ TranslateEra (MaryEra c) ShelleyTx Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Associated Types

type TranslationError (MaryEra c) ShelleyTx Source #

Crypto c ⇒ TranslateEra (MaryEra c) ShelleyTxOut Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Associated Types

type TranslationError (MaryEra c) ShelleyTxOut Source #

Crypto c ⇒ TranslateEra (MaryEra c) ShelleyTxWits Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Associated Types

type TranslationError (MaryEra c) ShelleyTxWits Source #

type EraRule "BBODY" (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Era

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

Defined in Cardano.Ledger.Mary.Era

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

Defined in Cardano.Ledger.Mary.Era

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

Defined in Cardano.Ledger.Mary.Era

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

Defined in Cardano.Ledger.Mary.Era

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

Defined in Cardano.Ledger.Mary.Era

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

Defined in Cardano.Ledger.Mary.Era

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

Defined in Cardano.Ledger.Mary.Era

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

Defined in Cardano.Ledger.Mary.Era

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

Defined in Cardano.Ledger.Mary.Era

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

Defined in Cardano.Ledger.Mary.Era

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

Defined in Cardano.Ledger.Mary.Era

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

Defined in Cardano.Ledger.Mary.Era

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

Defined in Cardano.Ledger.Mary.Era

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

Defined in Cardano.Ledger.Mary.Era

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

Defined in Cardano.Ledger.Mary.Era

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

Defined in Cardano.Ledger.Mary.Era

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

Defined in Cardano.Ledger.Mary.Era

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

Defined in Cardano.Ledger.Mary.Era

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

Defined in Cardano.Ledger.Mary.Era

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

Defined in Cardano.Ledger.Mary.Rules.Ledger

type EraRuleEvent "TICK" (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules

type EraRuleFailure "BBODY" (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Bbody

type EraRuleFailure "DELEG" (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Deleg

type EraRuleFailure "DELEGS" (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Delegs

type EraRuleFailure "DELPL" (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Delpl

type EraRuleFailure "LEDGER" (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledger

type EraRuleFailure "LEDGERS" (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledgers

type EraRuleFailure "POOL" (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Pool

type EraRuleFailure "PPUP" (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ppup

type EraRuleFailure "UTXO" (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Utxo

type EraRuleFailure "UTXOW" (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Utxow

type DowngradePParams f (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.PParams

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

Defined in Cardano.Ledger.Mary.PParams

type UpgradePParams f (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.PParams

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

Defined in Cardano.Ledger.Mary.Scripts

type Script (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Scripts

type Tx (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Tx

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

Defined in Cardano.Ledger.Mary.TxAuxData

type TxBody (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

type TxBodyUpgradeError (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

type TxOut (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxOut

type TxSeq (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxSeq

type TxUpgradeError (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Tx

type TxWits (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxWits

type Value (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Era

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

Defined in Cardano.Ledger.Mary.Era

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

Defined in Cardano.Ledger.Mary.Era

type ProtVerHigh (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Era

type ProtVerLow (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Era

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

No context is needed to translate from Allegra to Mary.

Instance details

Defined in Cardano.Ledger.Mary.Era

type TxCert (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxCert

type TxCertUpgradeError (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxCert

type ScriptsNeeded (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.UTxO

type AdditionalGenesisConfig (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary

type GovState (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.PParams

newtype TransitionConfig (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Transition

type TranslationError (MaryEra c) Timelock Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) AllegraTxAuxData Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) CertState Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) CommitteeState Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) DState Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) PState Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) VState Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) PParams Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) PParamsUpdate Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) UTxO Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) FuturePParams Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) ShelleyGovState Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) EpochState Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) LedgerState Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) NewEpochState Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) UTxOState Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) ProposedPPUpdates Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) Update Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) ShelleyTx Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) ShelleyTxOut Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) ShelleyTxWits Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation