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

Cardano.Ledger.Mary

Synopsis

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

data ShelleyTx era Source #

Instances

Instances details
Memoized ShelleyTx 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Associated Types

type RawType ShelleyTx = (r ∷ TypeType) Source #

Generic (ShelleyTx era) 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Associated Types

type Rep (ShelleyTx era) ∷ TypeType Source #

Methods

fromShelleyTx era → Rep (ShelleyTx era) x Source #

toRep (ShelleyTx era) x → ShelleyTx era Source #

(Era era, Show (TxBody era), Show (TxWits era), Show (TxAuxData era)) ⇒ Show (ShelleyTx era) 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

showsPrecIntShelleyTx era → ShowS Source #

showShelleyTx era → String Source #

showList ∷ [ShelleyTx era] → ShowS Source #

Typeable era ⇒ ToCBOR (ShelleyTx era) 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

toCBORShelleyTx era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyTx era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyTx era] → Size Source #

EraTx era ⇒ DecCBOR (Annotator (ShelleyTx era)) 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Era era ⇒ EncCBOR (ShelleyTx era)

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

encCBORShelleyTx era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyTx era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyTx era] → Size Source #

(Tx era ~ ShelleyTx era, EraTx era) ⇒ EqRaw (ShelleyTx era) 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

eqRawShelleyTx era → ShelleyTx era → Bool Source #

SafeToHash (ShelleyTx era) 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

(NFData (TxBody era), NFData (TxWits era), NFData (TxAuxData era)) ⇒ NFData (ShelleyTx era) 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

rnfShelleyTx era → () Source #

(Era era, Eq (TxBody era), Eq (TxWits era), Eq (TxAuxData era)) ⇒ Eq (ShelleyTx era) 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

(==)ShelleyTx era → ShelleyTx era → Bool Source #

(/=)ShelleyTx era → ShelleyTx era → Bool Source #

(Era era, NoThunks (TxAuxData era), NoThunks (TxBody era), NoThunks (TxWits era)) ⇒ NoThunks (ShelleyTx era) 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

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

type RawType ShelleyTx 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

type Rep (ShelleyTx era) 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

type Rep (ShelleyTx era) = D1 ('MetaData "ShelleyTx" "Cardano.Ledger.Shelley.Tx" "cardano-ledger-shelley-1.12.2.1-inplace" 'True) (C1 ('MetaCons "TxConstr" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes ShelleyTxRaw era))))
type TranslationError (AllegraEra c) ShelleyTx 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (MaryEra c) ShelleyTx Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

data ShelleyTxOut era Source #

Instances

Instances details
(Era era, Val (Value era)) ⇒ ToJSON (ShelleyTxOut era) 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

(Era era, Val (Value era)) ⇒ Show (ShelleyTxOut era) 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

(Era era, DecCBOR (CompactForm (Value era))) ⇒ FromCBOR (ShelleyTxOut era) 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

(Era era, EncCBOR (CompactForm (Value era))) ⇒ ToCBOR (ShelleyTxOut era) 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

Methods

toCBORShelleyTxOut era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyTxOut era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyTxOut era] → Size Source #

(Era era, DecCBOR (CompactForm (Value era))) ⇒ DecCBOR (ShelleyTxOut era) 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

(Era era, DecCBOR (CompactForm (Value era))) ⇒ DecShareCBOR (ShelleyTxOut era) 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

Associated Types

type Share (ShelleyTxOut era) Source #

(Era era, EncCBOR (CompactForm (Value era))) ⇒ EncCBOR (ShelleyTxOut era) 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

Methods

encCBORShelleyTxOut era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyTxOut era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyTxOut era] → Size Source #

NFData (ShelleyTxOut era) 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

Methods

rnfShelleyTxOut era → () Source #

Eq (CompactForm (Value era)) ⇒ Eq (ShelleyTxOut era) 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

Methods

(==)ShelleyTxOut era → ShelleyTxOut era → Bool Source #

(/=)ShelleyTxOut era → ShelleyTxOut era → Bool Source #

(Era era, HeapWords (CompactForm (Value era))) ⇒ HeapWords (ShelleyTxOut era) 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

Methods

heapWordsShelleyTxOut era → Int Source #

NoThunks (ShelleyTxOut era) 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

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

Defined in Cardano.Ledger.Mary.Translation

Associated Types

type TranslationError (MaryEra c) ShelleyTxOut Source #

type Share (ShelleyTxOut era) 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

type TranslationError (AllegraEra c) ShelleyTxOut 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (MaryEra c) ShelleyTxOut Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

data MaryValue c Source #

The Value representing MultiAssets

Instances

Instances details
Inject Coin (MaryValue c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

injectCoinMaryValue c Source #

Crypto c ⇒ ToJSON (MaryValue c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Value

Monoid (MaryValue c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Value

Semigroup (MaryValue c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

(<>)MaryValue c → MaryValue c → MaryValue c Source #

sconcatNonEmpty (MaryValue c) → MaryValue c Source #

stimesIntegral b ⇒ b → MaryValue c → MaryValue c Source #

Generic (MaryValue c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Value

Associated Types

type Rep (MaryValue c) ∷ TypeType Source #

Methods

fromMaryValue c → Rep (MaryValue c) x Source #

toRep (MaryValue c) x → MaryValue c Source #

Show (CompactForm (MaryValue c)) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Value

Show (MaryValue c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Value

Crypto c ⇒ DecCBOR (CompactForm (MaryValue c)) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Value

Crypto c ⇒ DecCBOR (MaryValue c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Value

Crypto c ⇒ EncCBOR (CompactForm (MaryValue c)) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

encCBORCompactForm (MaryValue c) → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (CompactForm (MaryValue c)) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [CompactForm (MaryValue c)] → Size Source #

Crypto c ⇒ EncCBOR (MaryValue c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

encCBORMaryValue c → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (MaryValue c) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [MaryValue c] → Size Source #

Crypto c ⇒ Compactible (MaryValue c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Value

Associated Types

data CompactForm (MaryValue c) Source #

Crypto c ⇒ Val (MaryValue c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Value

NFData (CompactForm (MaryValue c)) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

rnfCompactForm (MaryValue c) → () Source #

NFData (MaryValue c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

rnfMaryValue c → () Source #

Crypto c ⇒ Eq (CompactForm (MaryValue c)) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Value

Crypto c ⇒ Eq (MaryValue c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

(==)MaryValue c → MaryValue c → Bool Source #

(/=)MaryValue c → MaryValue c → Bool Source #

Abelian (MaryValue c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Value

Group (MaryValue c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

invertMaryValue c → MaryValue c Source #

(~~)MaryValue c → MaryValue c → MaryValue c Source #

powIntegral x ⇒ MaryValue c → x → MaryValue c Source #

NoThunks (CompactForm (MaryValue c)) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Value

NoThunks (MaryValue c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Value

type Rep (MaryValue c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Value

type Rep (MaryValue c) = D1 ('MetaData "MaryValue" "Cardano.Ledger.Mary.Value" "cardano-ledger-mary-1.6.1.1-inplace" 'False) (C1 ('MetaCons "MaryValue" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (MultiAsset c))))
newtype CompactForm (MaryValue c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Value

data MaryTxBody era Source #

Instances

Instances details
Memoized MaryTxBody Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Associated Types

type RawType MaryTxBody = (r ∷ TypeType) Source #

Generic (MaryTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Associated Types

type Rep (MaryTxBody era) ∷ TypeType Source #

Methods

fromMaryTxBody era → Rep (MaryTxBody era) x Source #

toRep (MaryTxBody era) x → MaryTxBody era Source #

(Era era, Show (TxOut era), Show (TxCert era), Show (PParamsUpdate era)) ⇒ Show (MaryTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

showsPrecIntMaryTxBody era → ShowS Source #

showMaryTxBody era → String Source #

showList ∷ [MaryTxBody era] → ShowS Source #

Typeable era ⇒ ToCBOR (MaryTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

toCBORMaryTxBody era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (MaryTxBody era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [MaryTxBody era] → Size Source #

MaryEraTxBody era ⇒ DecCBOR (Annotator (MaryTxBody era)) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Era era ⇒ EncCBOR (MaryTxBody era) Source #

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

encCBORMaryTxBody era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (MaryTxBody era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [MaryTxBody era] → Size Source #

(Era era, Eq (PParamsUpdate era), Eq (TxOut era), Eq (TxCert era)) ⇒ EqRaw (MaryTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

eqRawMaryTxBody era → MaryTxBody era → Bool Source #

SafeToHash (MaryTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

(Era era, NFData (TxOut era), NFData (TxCert era), NFData (PParamsUpdate era)) ⇒ NFData (MaryTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

rnfMaryTxBody era → () Source #

(Era era, Eq (TxOut era), Eq (TxCert era), Eq (PParamsUpdate era)) ⇒ Eq (MaryTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

(==)MaryTxBody era → MaryTxBody era → Bool Source #

(/=)MaryTxBody era → MaryTxBody era → Bool Source #

(Era era, NoThunks (TxOut era), NoThunks (TxCert era), NoThunks (PParamsUpdate era)) ⇒ NoThunks (MaryTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

(c ~ EraCrypto era, Era era) ⇒ HashAnnotated (MaryTxBody era) EraIndependentTxBody c Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

type RawType MaryTxBody Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

type Rep (MaryTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

type Rep (MaryTxBody era) = D1 ('MetaData "MaryTxBody" "Cardano.Ledger.Mary.TxBody" "cardano-ledger-mary-1.6.1.1-inplace" 'True) (C1 ('MetaCons "TxBodyConstr" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes MaryTxBodyRaw era))))

Orphan instances

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

Associated Types

type AdditionalGenesisConfig (MaryEra c) Source #

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

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