cardano-ledger-babbage-1.13.0.0: Cardano ledger introducing refrence scripts and inline datums
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.Babbage.HuddleSpec

Synopsis

Documentation

data AllegraEra Source #

Instances

Instances details
AllegraEraScript AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

AllegraEraTxAuxData AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

AllegraEraTxBody AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

EraBlockBody AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.BlockBody

EraScript AllegraEra

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.Allegra.Scripts

EraTx AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

Associated Types

newtype Tx t AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

EraTxAuxData AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

EraTxBody AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Associated Types

newtype TxBody l AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

EraTxOut AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxOut

Associated Types

type TxOut AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxOut

EraTxWits AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxWits

Associated Types

type TxWits AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxWits

EraPParams AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.PParams

Associated Types

type PParamsHKD f AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.PParams

type UpgradePParams f AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.PParams

type DowngradePParams f AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.PParams

Methods

applyPPUpdatesPParams AllegraEraPParamsUpdate AllegraEraPParams AllegraEra Source #

emptyPParamsIdentityPParamsHKD Identity AllegraEra Source #

emptyPParamsStrictMaybePParamsHKD StrictMaybe AllegraEra Source #

emptyUpgradePParamsUpdateUpgradePParams StrictMaybe AllegraEra Source #

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

downgradePParamsHKD ∷ ∀ (f ∷ TypeType). (HKDFunctor f, EraPParams (PreviousEra AllegraEra)) ⇒ DowngradePParams f AllegraEraPParamsHKD f AllegraEraPParamsHKD f (PreviousEra AllegraEra) Source #

hkdMinFeeACompactL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f (CompactForm Coin)) Source #

hkdMinFeeBCompactL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f (CompactForm Coin)) Source #

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

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

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

hkdKeyDepositCompactL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f (CompactForm Coin)) Source #

hkdPoolDepositCompactL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f (CompactForm Coin)) Source #

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

hkdNOptL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f Word16) Source #

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

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

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

hkdDL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, AtMostEra "Alonzo" AllegraEra) ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f UnitInterval) Source #

ppDGSimpleGetter (PParams AllegraEra) UnitInterval Source #

hkdExtraEntropyL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, AtMostEra "Alonzo" AllegraEra) ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f Nonce) Source #

hkdProtocolVersionL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, AtMostEra "Babbage" AllegraEra) ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f ProtVer) Source #

ppProtocolVersionLLens' (PParams AllegraEra) ProtVer Source #

ppuProtocolVersionLLens' (PParamsUpdate AllegraEra) (StrictMaybe ProtVer) Source #

hkdMinUTxOValueCompactL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, AtMostEra "Mary" AllegraEra) ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f (CompactForm Coin)) Source #

hkdMinPoolCostCompactL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f (CompactForm Coin)) Source #

eraPParams ∷ [PParam AllegraEra] Source #

EraTxCert AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxCert

EraTxLevel AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

Associated Types

type STxLevel l AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

EraGenesis AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

Associated Types

type Genesis AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

EraAccounts AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.State.Account

EraCertState AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.State.CertState

EraGov AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.PParams

Associated Types

type GovState AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.PParams

EraStake AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.State.Stake

EraUTxO AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.UTxO

Era AllegraEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Methods

eraNameString Source #

ApplyTx AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra

ApplyBlock AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra

ShelleyEraScript AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

ShelleyEraAccounts AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.State.Account

EraTransition AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Transition

ShelleyEraTxBody AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

ShelleyEraTxCert AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxCert

TranslateEra AllegraEra PParams 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

TranslateEra AllegraEra PParamsUpdate 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

TranslateEra AllegraEra CommitteeState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

TranslateEra AllegraEra DState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

TranslateEra AllegraEra PState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

TranslateEra AllegraEra FuturePParams 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

TranslateEra AllegraEra UTxO 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

TranslateEra AllegraEra ShelleyGovState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

TranslateEra AllegraEra EpochState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

TranslateEra AllegraEra LedgerState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

TranslateEra AllegraEra NewEpochState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

TranslateEra AllegraEra UTxOState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

TranslateEra AllegraEra ProposedPPUpdates 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

TranslateEra AllegraEra Update 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

TranslateEra AllegraEra ShelleyAccounts 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

TranslateEra AllegraEra ShelleyCertState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

TranslateEra AllegraEra ShelleyInstantStake 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

TranslateEra AllegraEra ShelleyTxOut 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

TranslateEra AllegraEra ShelleyTxWits 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

HasEraTxLevel Tx AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). Tx l AllegraEraSTxLevel l AllegraEra Source #

HasEraTxLevel TxBody AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). TxBody l AllegraEraSTxLevel l AllegraEra Source #

HuddleGroup "account_registration_cert" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "account_unregistration_cert" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "delegation_to_stake_pool_cert" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "genesis_delegation_cert" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "move_instantaneous_rewards_cert" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "multi_host_name" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "operational_cert" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "pool_params" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "pool_registration_cert" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "pool_retirement_cert" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "protocol_version" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "script_all" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "script_any" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "script_invalid_before" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "script_invalid_hereafter" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "script_n_of_k" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "script_pubkey" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "single_host_addr" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "single_host_name" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "auxiliary_data" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "auxiliary_data_array" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "auxiliary_scripts" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "block" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "bootstrap_witness" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "certificate" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "delta_coin" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "dns_name" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "genesis_delegate_hash" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "genesis_hash" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "header" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "header_body" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "major_protocol_version" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "move_instantaneous_reward" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "native_script" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "pool_metadata" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "proposed_protocol_parameter_updates" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "protocol_param_update" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "relay" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "transaction" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "transaction_body" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "transaction_id" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "transaction_input" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "transaction_output" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "transaction_witness_set" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "update" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "url" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "vkeywitness" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "withdrawals" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule1 "set" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

Methods

huddleRule1IsType0 a ⇒ Proxy AllegraEra → a → GRuleCall Source #

InjectRuleFailure "BBODY" ShelleyBbodyPredFailure AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyDelegPredFailure AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyDelegsPredFailure AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyDelplPredFailure AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyLedgerPredFailure AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyLedgersPredFailure AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyPoolPredFailure AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyPpupPredFailure AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyUtxoPredFailure AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyUtxowPredFailure AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Bbody

InjectRuleFailure "DELEG" ShelleyDelegPredFailure AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Deleg

InjectRuleFailure "DELEGS" ShelleyDelegPredFailure AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Delegs

InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Delegs

InjectRuleFailure "DELEGS" ShelleyDelplPredFailure AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Delegs

InjectRuleFailure "DELEGS" ShelleyPoolPredFailure AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Delegs

InjectRuleFailure "DELPL" ShelleyDelegPredFailure AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Delpl

InjectRuleFailure "DELPL" ShelleyDelplPredFailure AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Delpl

InjectRuleFailure "DELPL" ShelleyPoolPredFailure AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Delpl

InjectRuleFailure "LEDGER" ShelleyDelegPredFailure AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyDelplPredFailure AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyPoolPredFailure AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyPpupPredFailure AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledger

InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledgers

InjectRuleFailure "POOL" ShelleyPoolPredFailure AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Pool

InjectRuleFailure "PPUP" ShelleyPpupPredFailure AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ppup

InjectRuleFailure "UTXO" AllegraUtxoPredFailure AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

InjectRuleFailure "UTXO" ShelleyPpupPredFailure AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

InjectRuleFailure "UTXO" ShelleyUtxoPredFailure AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

InjectRuleFailure "UTXOW" AllegraUtxoPredFailure AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

InjectRuleFailure "UTXOW" ShelleyPpupPredFailure AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

TranslateEra AllegraEra (Tx 'TopTx) 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Typeable t ⇒ DecCBOR (Annotator (Tx t AllegraEra)) 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

Typeable l ⇒ DecCBOR (Annotator (TxBody l AllegraEra)) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Show (TransitionConfig AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.Transition

Eq (TransitionConfig AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.Transition

NoThunks (TransitionConfig AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.Transition

HasEraTxLevel (AllegraTxBodyRaw m) AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Typeable t ⇒ ToCBOR (Tx t AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

toCBORTx t AllegraEraEncoding Source #

encodedSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy (Tx t AllegraEra) → Size Source #

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

Typeable l ⇒ ToCBOR (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

toCBORTxBody l AllegraEraEncoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxBody l AllegraEra) → Size Source #

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

EncCBOR (Tx t AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

EncCBOR (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

SafeToHash (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

EqRaw (Tx t AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

eqRawTx t AllegraEraTx t AllegraEraBool Source #

EqRaw (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Memoized (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Associated Types

type RawType (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

NFData (Tx t AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

rnfTx t AllegraEra → () #

NFData (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

rnfTxBody l AllegraEra → () #

Generic (Tx t AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

Associated Types

type Rep (Tx t AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

type Rep (Tx t AllegraEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Allegra.Tx" "cardano-ledger-allegra-1.9.0.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAllegraTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx t AllegraEra))))

Methods

fromTx t AllegraEraRep (Tx t AllegraEra) x #

toRep (Tx t AllegraEra) x → Tx t AllegraEra #

Generic (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Associated Types

type Rep (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

type Rep (TxBody l AllegraEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Allegra.TxBody" "cardano-ledger-allegra-1.9.0.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTxBody" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AllegraTxBodyRaw () l AllegraEra)))))
Show (Tx t AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

showsPrecIntTx t AllegraEraShowS #

showTx t AllegraEraString #

showList ∷ [Tx t AllegraEra] → ShowS #

Show (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Eq (Tx t AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

(==)Tx t AllegraEraTx t AllegraEraBool #

(/=)Tx t AllegraEraTx t AllegraEraBool #

Eq (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Typeable t ⇒ NoThunks (Tx t AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

Typeable l ⇒ NoThunks (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

HashAnnotated (TxBody l AllegraEra) EraIndependentTxBody 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

type BlockBody AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.BlockBody

type NativeScript AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

type Script AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

type TxAuxData AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

type TxOut AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxOut

type TxWits AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxWits

type Value AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type TranslationContext AllegraEra

No context is needed to translate from Shelley to Allegra.

Instance details

Defined in Cardano.Ledger.Allegra.Era

type TxCert AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxCert

type TxCertUpgradeError AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxCert

type Genesis AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type AccountState AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.State.Account

type Accounts AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.State.Account

type CertState AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.State.CertState

type GovState AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.PParams

type InstantStake AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.State.Stake

type ScriptsNeeded AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.UTxO

type EraName AllegraEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type EraName AllegraEra = "Allegra"
type PreviousEra AllegraEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type ProtVerHigh AllegraEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type ProtVerLow AllegraEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

newtype TransitionConfig AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Transition

newtype Tx t AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

newtype TxBody l AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

type EraRule "BBODY" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "DELEG" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "DELEGS" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "DELPL" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "EPOCH" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "LEDGER" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "LEDGERS" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "MIR" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "NEWEPOCH" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "NEWPP" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "POOL" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "POOLREAP" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "PPUP" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "RUPD" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "SNAP" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "TICK" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "TICKF" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "UPEC" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "UTXO" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "UTXOW" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRuleEvent "LEDGER" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledger

type EraRuleEvent "TICK" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules

type EraRuleFailure "BBODY" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Bbody

type EraRuleFailure "DELEG" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Deleg

type EraRuleFailure "DELEGS" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Delegs

type EraRuleFailure "DELPL" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Delpl

type EraRuleFailure "LEDGER" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledger

type EraRuleFailure "LEDGERS" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledgers

type EraRuleFailure "POOL" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Pool

type EraRuleFailure "PPUP" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ppup

type EraRuleFailure "UTXO" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

type EraRuleFailure "UTXOW" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

type DowngradePParams f AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.PParams

type PParamsHKD f AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.PParams

type UpgradePParams f AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.PParams

type TranslationError AllegraEra PParams 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra PParamsUpdate 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra CommitteeState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra DState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra PState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra FuturePParams 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra UTxO 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra ShelleyGovState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra EpochState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra LedgerState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra NewEpochState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra UTxOState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra ProposedPPUpdates 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra Update 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra ShelleyAccounts 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra ShelleyCertState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra ShelleyInstantStake 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra ShelleyTxOut 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra ShelleyTxWits 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type STxLevel l AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type TranslationError AllegraEra (Tx 'TopTx) 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type RawType (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

type Rep (Tx t AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

type Rep (Tx t AllegraEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Allegra.Tx" "cardano-ledger-allegra-1.9.0.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAllegraTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx t AllegraEra))))
type Rep (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

type Rep (TxBody l AllegraEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Allegra.TxBody" "cardano-ledger-allegra-1.9.0.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTxBody" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AllegraTxBodyRaw () l AllegraEra)))))

class (Typeable era, KnownNat (ProtVerLow era), KnownNat (ProtVerHigh era), ProtVerLow era <= ProtVerHigh era, MinVersion <= ProtVerLow era, MinVersion <= ProtVerHigh era, CmpNat (ProtVerLow era) MaxVersion ~ 'LT, CmpNat (ProtVerHigh era) MaxVersion ~ 'LT) ⇒ Era era Source #

Instances

Instances details
Era AllegraEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Methods

eraNameString Source #

Era AlonzoEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Associated Types

type EraName AlonzoEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type EraName AlonzoEra = "Alonzo"
type PreviousEra AlonzoEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type ProtVerLow AlonzoEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type ProtVerHigh AlonzoEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Methods

eraNameString Source #

Era BabbageEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Methods

eraNameString Source #

Era ByronEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Associated Types

type EraName ByronEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type EraName ByronEra = "Byron"
type PreviousEra ByronEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type PreviousEra ByronEra = VoidEra
type ProtVerLow ByronEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type ProtVerHigh ByronEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Methods

eraNameString Source #

Era ConwayEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Associated Types

type EraName ConwayEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type EraName ConwayEra = "Conway"
type PreviousEra ConwayEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type ProtVerLow ConwayEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type ProtVerHigh ConwayEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Methods

eraNameString Source #

Era DijkstraEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Methods

eraNameString Source #

Era MaryEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Methods

eraNameString Source #

Era ShelleyEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Methods

eraNameString Source #

blockRule ∷ (HuddleRule "header" era, HuddleRule "transaction_body" era, HuddleRule "transaction_witness_set" era, HuddleRule "auxiliary_data" era) ⇒ Proxy era → Rule Source #

transactionRule ∷ (HuddleRule "transaction_body" era, HuddleRule "transaction_witness_set" era, HuddleRule "auxiliary_data" era) ⇒ Proxy era → Rule Source #

auxiliaryScriptsRuleHuddleRule "native_script" era ⇒ Proxy era → Rule Source #

auxiliaryDataArrayRuleHuddleRule "auxiliary_scripts" era ⇒ Proxy era → Rule Source #

auxiliaryDataRuleHuddleRule "auxiliary_data_array" era ⇒ Proxy era → Rule Source #

nativeScriptRule ∷ (HuddleGroup "script_pubkey" era, HuddleGroup "script_all" era, HuddleGroup "script_any" era, HuddleGroup "script_n_of_k" era, HuddleGroup "script_invalid_before" era, HuddleGroup "script_invalid_hereafter" era) ⇒ Proxy era → Rule Source #

scriptNOfKGroupHuddleRule "native_script" era ⇒ Proxy era → GroupDef Source #

certificateRule ∷ (HuddleGroup "account_registration_cert" era, HuddleGroup "account_unregistration_cert" era, HuddleGroup "delegation_to_stake_pool_cert" era, HuddleGroup "pool_registration_cert" era, HuddleGroup "pool_retirement_cert" era, HuddleGroup "genesis_delegation_cert" era, HuddleGroup "move_instantaneous_rewards_cert" era) ⇒ Proxy era → Rule Source #

genesisDelegationCertGroup ∷ (HuddleRule "genesis_hash" era, HuddleRule "genesis_delegate_hash" era) ⇒ Proxy era → GroupDef Source #

genesisHashRuleEra era ⇒ Proxy era → Rule Source #

headerBodyRule ∷ (HuddleGroup "operational_cert" era, HuddleGroup "protocol_version" era) ⇒ Proxy era → Rule Source #

headerRuleHuddleRule "header_body" era ⇒ Proxy era → Rule Source #

moveInstantaneousRewardRuleHuddleRule "delta_coin" era ⇒ Proxy era → Rule Source #

moveInstantaneousRewardsCertGroupHuddleRule "move_instantaneous_reward" era ⇒ Proxy era → GroupDef Source #

multiHostNameGroupHuddleRule "dns_name" era ⇒ Proxy era → GroupDef Source #

poolMetadataRuleHuddleRule "url" era ⇒ Proxy era → Rule Source #

poolParamsGroup ∷ (HuddleRule "relay" era, HuddleRule "pool_metadata" era, HuddleRule1 "set" era) ⇒ Proxy era → GroupDef Source #

poolRegistrationCertGroupHuddleGroup "pool_params" era ⇒ Proxy era → GroupDef Source #

proposedProtocolParameterUpdatesRule ∷ (HuddleRule "genesis_hash" era, HuddleRule "protocol_param_update" era) ⇒ Proxy era → Rule Source #

protocolParamUpdateRuleHuddleGroup "protocol_version" era ⇒ Proxy era → Rule Source #

relayRule ∷ (HuddleGroup "single_host_addr" era, HuddleGroup "single_host_name" era, HuddleGroup "multi_host_name" era) ⇒ Proxy era → Rule Source #

scriptAllGroupHuddleRule "native_script" era ⇒ Proxy era → GroupDef Source #

scriptAnyGroupHuddleRule "native_script" era ⇒ Proxy era → GroupDef Source #

singleHostNameGroupHuddleRule "dns_name" era ⇒ Proxy era → GroupDef Source #

transactionIdRuleEra era ⇒ Proxy era → Rule Source #

transactionInputRuleHuddleRule "transaction_id" era ⇒ Proxy era → Rule Source #

transactionWitnessSetRule ∷ (HuddleRule "vkeywitness" era, HuddleRule "native_script" era, HuddleRule "bootstrap_witness" era) ⇒ Proxy era → Rule Source #

updateRuleHuddleRule "proposed_protocol_parameter_updates" era ⇒ Proxy era → Rule Source #

vkeywitnessRuleEra era ⇒ Proxy era → Rule Source #

class (KnownSymbol name, Era era) ⇒ HuddleGRule (name ∷ Symbol) era where Source #

Methods

huddleGRuleProxy era → GRuleDef Source #

class (KnownSymbol name, Era era) ⇒ HuddleGroup (name ∷ Symbol) era where Source #

Methods

huddleGroupProxy era → GroupDef Source #

Instances

Instances details
HuddleGroup "account_registration_cert" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "account_registration_cert" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "account_registration_cert" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "account_registration_cert" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "account_registration_cert" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleGroup "account_unregistration_cert" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "account_unregistration_cert" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "account_unregistration_cert" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "account_unregistration_cert" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "account_unregistration_cert" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleGroup "delegation_to_stake_pool_cert" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "delegation_to_stake_pool_cert" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "delegation_to_stake_pool_cert" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "delegation_to_stake_pool_cert" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "delegation_to_stake_pool_cert" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleGroup "genesis_delegation_cert" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "genesis_delegation_cert" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "genesis_delegation_cert" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "genesis_delegation_cert" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "genesis_delegation_cert" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleGroup "move_instantaneous_rewards_cert" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "move_instantaneous_rewards_cert" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "move_instantaneous_rewards_cert" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "move_instantaneous_rewards_cert" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "move_instantaneous_rewards_cert" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleGroup "multi_host_name" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "multi_host_name" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "multi_host_name" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "multi_host_name" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "multi_host_name" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleGroup "operational_cert" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "operational_cert" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "operational_cert" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "operational_cert" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleGroup "pool_params" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "pool_params" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "pool_params" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "pool_params" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "pool_params" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleGroup "pool_registration_cert" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "pool_registration_cert" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "pool_registration_cert" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "pool_registration_cert" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "pool_registration_cert" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleGroup "pool_retirement_cert" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "pool_retirement_cert" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "pool_retirement_cert" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "pool_retirement_cert" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "pool_retirement_cert" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleGroup "protocol_version" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "protocol_version" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "protocol_version" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "protocol_version" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleGroup "script_all" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "script_all" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "script_all" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "script_all" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "script_all" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleGroup "script_any" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "script_any" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "script_any" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "script_any" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "script_any" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleGroup "script_invalid_before" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "script_invalid_before" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "script_invalid_before" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "script_invalid_before" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "script_invalid_hereafter" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "script_invalid_hereafter" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "script_invalid_hereafter" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "script_invalid_hereafter" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "script_n_of_k" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "script_n_of_k" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "script_n_of_k" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "script_n_of_k" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "script_n_of_k" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleGroup "script_pubkey" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "script_pubkey" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "script_pubkey" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "script_pubkey" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "script_pubkey" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleGroup "single_host_addr" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "single_host_addr" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "single_host_addr" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "single_host_addr" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "single_host_addr" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleGroup "single_host_name" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleGroup "single_host_name" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "single_host_name" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "single_host_name" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "single_host_name" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

class (KnownSymbol name, Era era) ⇒ HuddleRule (name ∷ Symbol) era where Source #

Methods

huddleRuleProxy era → Rule Source #

Instances

Instances details
Era era ⇒ HuddleRule "addr_keyhash" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

Era era ⇒ HuddleRule "address" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

HuddleRule "alonzo_transaction_output" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "asset_name" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "asset_name" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "asset_name" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "auxiliary_data" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "auxiliary_data" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "auxiliary_data" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "auxiliary_data" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "auxiliary_data_array" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "auxiliary_data_array" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "auxiliary_data_array" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "auxiliary_data_array" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Era era ⇒ HuddleRule "auxiliary_data_hash" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

HuddleRule "auxiliary_data_map" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "auxiliary_data_map" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "auxiliary_scripts" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "auxiliary_scripts" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "auxiliary_scripts" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "auxiliary_scripts" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "big_int" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "big_int" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "big_nint" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "big_nint" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "big_uint" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "big_uint" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "block" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "block" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "block" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "block" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "block" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Era era ⇒ HuddleRule "block_number" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

HuddleRule "bootstrap_witness" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "bootstrap_witness" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "bootstrap_witness" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "bootstrap_witness" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "bootstrap_witness" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "bounded_bytes" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "bounded_bytes" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "certificate" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "certificate" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "certificate" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "certificate" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "certificate" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Era era ⇒ HuddleRule "coin" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

HuddleRule "cost_model" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "cost_models" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "cost_models" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

Era era ⇒ HuddleRule "credential" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

HuddleRule "data" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "datum_option" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "delta_coin" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "delta_coin" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "delta_coin" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "delta_coin" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "delta_coin" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "distinct_bytes" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "distinct_bytes" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "dns_name" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "dns_name" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "dns_name" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "dns_name" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "dns_name" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Era era ⇒ HuddleRule "epoch" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

Era era ⇒ HuddleRule "epoch_interval" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

HuddleRule "ex_unit_prices" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "ex_unit_prices" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "ex_units" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "ex_units" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "genesis_delegate_hash" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "genesis_delegate_hash" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "genesis_delegate_hash" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "genesis_delegate_hash" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "genesis_delegate_hash" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "genesis_hash" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "genesis_hash" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "genesis_hash" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "genesis_hash" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "genesis_hash" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Era era ⇒ HuddleRule "hash28" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

Era era ⇒ HuddleRule "hash32" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

HuddleRule "header" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "header" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "header" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "header" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "header" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "header_body" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "header_body" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "header_body" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "header_body" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "header_body" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Era era ⇒ HuddleRule "int64" era 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

Era era ⇒ HuddleRule "ipv4" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

Era era ⇒ HuddleRule "ipv6" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

Era era ⇒ HuddleRule "kes_period" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

Era era ⇒ HuddleRule "kes_signature" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

Era era ⇒ HuddleRule "kes_vkey" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

HuddleRule "language" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "language" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "major_protocol_version" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "major_protocol_version" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "major_protocol_version" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "major_protocol_version" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "major_protocol_version" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Era era ⇒ HuddleRule "max_int64" era 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

Era era ⇒ HuddleRule "max_word32" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

Era era ⇒ HuddleRule "max_word64" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

Era era ⇒ HuddleRule "metadata" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

Era era ⇒ HuddleRule "metadatum" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

Era era ⇒ HuddleRule "metadatum_label" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

Era era ⇒ HuddleRule "min_int64" era 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

HuddleRule "mint" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "mint" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "mint" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "move_instantaneous_reward" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "move_instantaneous_reward" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "move_instantaneous_reward" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "move_instantaneous_reward" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "move_instantaneous_reward" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "native_script" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "native_script" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "native_script" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "native_script" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "native_script" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "network_id" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "network_id" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

Era era ⇒ HuddleRule "nonce" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

Era era ⇒ HuddleRule "nonnegative_interval" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

HuddleRule "operational_cert" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

(Era era, HuddleRule "big_int" era, HuddleRule "bounded_bytes" era) ⇒ HuddleRule "plutus_data" era 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

(Era era, HuddleRule "distinct_bytes" era) ⇒ HuddleRule "plutus_v1_script" era 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

(Era era, HuddleRule "distinct_bytes" era) ⇒ HuddleRule "plutus_v2_script" era Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

HuddleRule "policy_id" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "policy_id" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "policy_id" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Era era ⇒ HuddleRule "pool_keyhash" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

HuddleRule "pool_metadata" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "pool_metadata" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "pool_metadata" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "pool_metadata" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "pool_metadata" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Era era ⇒ HuddleRule "port" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

Era era ⇒ HuddleRule "positive_coin" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

Era era ⇒ HuddleRule "positive_int" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

HuddleRule "positive_interval" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "positive_interval" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

Era era ⇒ HuddleRule "positive_word32" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

HuddleRule "proposed_protocol_parameter_updates" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "proposed_protocol_parameter_updates" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "proposed_protocol_parameter_updates" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "proposed_protocol_parameter_updates" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "proposed_protocol_parameter_updates" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "protocol_param_update" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "protocol_param_update" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "protocol_param_update" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "protocol_param_update" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "protocol_param_update" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "protocol_version" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "redeemer" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "redeemer" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "redeemer_tag" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "redeemer_tag" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "redeemers" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "redeemers" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "relay" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "relay" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "relay" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "relay" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "relay" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "required_signers" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "required_signers" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

Era era ⇒ HuddleRule "reward_account" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

HuddleRule "script" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "script_data_hash" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "script_data_hash" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

Era era ⇒ HuddleRule "script_hash" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

Era era ⇒ HuddleRule "sequence_number" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

Era era ⇒ HuddleRule "signature" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

Era era ⇒ HuddleRule "signkey_kes" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

Era era ⇒ HuddleRule "slot" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

Era era ⇒ HuddleRule "stake_credential" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

HuddleRule "transaction" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "transaction" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "transaction" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "transaction" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "transaction" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "transaction_body" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "transaction_body" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "transaction_body" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "transaction_body" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "transaction_body" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "transaction_id" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "transaction_id" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "transaction_id" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "transaction_id" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "transaction_id" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Era era ⇒ HuddleRule "transaction_index" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

HuddleRule "transaction_input" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "transaction_input" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "transaction_input" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "transaction_input" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "transaction_input" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "transaction_output" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "transaction_output" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "transaction_output" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "transaction_output" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "transaction_output" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "transaction_witness_set" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "transaction_witness_set" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "transaction_witness_set" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "transaction_witness_set" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "transaction_witness_set" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Era era ⇒ HuddleRule "unit_interval" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

HuddleRule "update" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "update" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "update" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "update" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "update" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "url" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "url" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "url" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "url" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "url" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "value" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "value" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "value" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Era era ⇒ HuddleRule "vkey" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

HuddleRule "vkeywitness" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "vkeywitness" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "vkeywitness" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "vkeywitness" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "vkeywitness" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Era era ⇒ HuddleRule "vrf_cert" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

Era era ⇒ HuddleRule "vrf_keyhash" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

Era era ⇒ HuddleRule "vrf_vkey" era 
Instance details

Defined in Cardano.Ledger.Core.HuddleSpec

Methods

huddleRuleProxy era → Rule Source #

HuddleRule "withdrawals" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

HuddleRule "withdrawals" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "withdrawals" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "withdrawals" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "withdrawals" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

class (KnownSymbol name, Era era) ⇒ HuddleRule1 (name ∷ Symbol) era where Source #

Methods

huddleRule1IsType0 a ⇒ Proxy era → a → GRuleCall Source #

Instances

Instances details
HuddleRule1 "set" AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.HuddleSpec

Methods

huddleRule1IsType0 a ⇒ Proxy AllegraEra → a → GRuleCall Source #

HuddleRule1 "set" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule1IsType0 a ⇒ Proxy AlonzoEra → a → GRuleCall Source #

HuddleRule1 "set" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

Methods

huddleRule1IsType0 a ⇒ Proxy BabbageEra → a → GRuleCall Source #

HuddleRule1 "set" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleRule1IsType0 a ⇒ Proxy MaryEra → a → GRuleCall Source #

HuddleRule1 "set" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Methods

huddleRule1IsType0 a ⇒ Proxy ShelleyEra → a → GRuleCall Source #

data ShelleyEra Source #

Instances

Instances details
EraBlockBody ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.BlockBody.Internal

EraScript ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Scripts

EraTx ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Associated Types

newtype Tx l ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

EraTxAuxData ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

EraTxBody ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

newtype TxBody l ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

EraTxOut ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

Associated Types

type TxOut ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

EraTxWits ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxWits

Associated Types

type TxWits ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxWits

EraPParams ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Methods

applyPPUpdatesPParams ShelleyEraPParamsUpdate ShelleyEraPParams ShelleyEra Source #

emptyPParamsIdentityPParamsHKD Identity ShelleyEra Source #

emptyPParamsStrictMaybePParamsHKD StrictMaybe ShelleyEra Source #

emptyUpgradePParamsUpdateUpgradePParams StrictMaybe ShelleyEra Source #

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

downgradePParamsHKD ∷ ∀ (f ∷ TypeType). (HKDFunctor f, EraPParams (PreviousEra ShelleyEra)) ⇒ DowngradePParams f ShelleyEraPParamsHKD f ShelleyEraPParamsHKD f (PreviousEra ShelleyEra) Source #

hkdMinFeeACompactL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f (CompactForm Coin)) Source #

hkdMinFeeBCompactL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f (CompactForm Coin)) Source #

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

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

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

hkdKeyDepositCompactL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f (CompactForm Coin)) Source #

hkdPoolDepositCompactL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f (CompactForm Coin)) Source #

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

hkdNOptL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f Word16) Source #

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

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

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

hkdDL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, AtMostEra "Alonzo" ShelleyEra) ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f UnitInterval) Source #

ppDGSimpleGetter (PParams ShelleyEra) UnitInterval Source #

hkdExtraEntropyL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, AtMostEra "Alonzo" ShelleyEra) ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f Nonce) Source #

hkdProtocolVersionL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, AtMostEra "Babbage" ShelleyEra) ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f ProtVer) Source #

ppProtocolVersionLLens' (PParams ShelleyEra) ProtVer Source #

ppuProtocolVersionLLens' (PParamsUpdate ShelleyEra) (StrictMaybe ProtVer) Source #

hkdMinUTxOValueCompactL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, AtMostEra "Mary" ShelleyEra) ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f (CompactForm Coin)) Source #

hkdMinPoolCostCompactL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f (CompactForm Coin)) Source #

eraPParams ∷ [PParam ShelleyEra] Source #

EraTxCert ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

EraTxLevel ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

Associated Types

type STxLevel l ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

EraGenesis ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Associated Types

type Genesis ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

EraAccounts ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.State.Account

EraCertState ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.State.CertState

EraGov ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

Associated Types

type GovState ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

EraStake ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.State.Stake

EraUTxO ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.UTxO

Era ShelleyEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Methods

eraNameString Source #

ShelleyEraScript ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Scripts

ShelleyEraAccounts ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.State.Account

EraTransition ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

ShelleyEraTxBody ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

ShelleyEraTxCert ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

HasEraTxLevel Tx ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). Tx l ShelleyEraSTxLevel l ShelleyEra Source #

HasEraTxLevel TxBody ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). TxBody l ShelleyEraSTxLevel l ShelleyEra Source #

HasEraTxLevel ShelleyTxBodyRaw ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

HuddleGroup "account_registration_cert" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleGroup "account_unregistration_cert" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleGroup "delegation_to_stake_pool_cert" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleGroup "genesis_delegation_cert" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleGroup "move_instantaneous_rewards_cert" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleGroup "multi_host_name" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleGroup "operational_cert" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleGroup "pool_params" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleGroup "pool_registration_cert" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleGroup "pool_retirement_cert" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleGroup "protocol_version" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleGroup "script_all" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleGroup "script_any" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleGroup "script_n_of_k" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleGroup "script_pubkey" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleGroup "single_host_addr" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleGroup "single_host_name" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "block" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "bootstrap_witness" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "certificate" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "delta_coin" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "dns_name" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "genesis_delegate_hash" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "genesis_hash" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "header" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "header_body" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "major_protocol_version" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "move_instantaneous_reward" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "native_script" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "pool_metadata" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "proposed_protocol_parameter_updates" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "protocol_param_update" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "relay" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "transaction" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "transaction_body" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "transaction_id" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "transaction_input" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "transaction_output" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "transaction_witness_set" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "update" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "url" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "vkeywitness" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule "withdrawals" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

HuddleRule1 "set" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Methods

huddleRule1IsType0 a ⇒ Proxy ShelleyEra → a → GRuleCall Source #

InjectRuleFailure "BBODY" ShelleyBbodyPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyDelegPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyDelegsPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyDelplPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyLedgerPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyLedgersPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyPoolPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyPpupPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyUtxoPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyUtxowPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

InjectRuleFailure "DELEG" ShelleyDelegPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

InjectRuleFailure "DELEGS" ShelleyDelegPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

InjectRuleFailure "DELEGS" ShelleyDelplPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

InjectRuleFailure "DELEGS" ShelleyPoolPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

InjectRuleFailure "DELPL" ShelleyDelegPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

InjectRuleFailure "DELPL" ShelleyDelplPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

InjectRuleFailure "DELPL" ShelleyPoolPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

InjectRuleFailure "LEDGER" ShelleyDelegPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyDelplPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyPoolPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyPpupPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

InjectRuleFailure "POOL" ShelleyPoolPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

InjectRuleFailure "PPUP" ShelleyPpupPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

InjectRuleFailure "UTXO" ShelleyPpupPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

InjectRuleFailure "UTXO" ShelleyUtxoPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

InjectRuleFailure "UTXOW" ShelleyPpupPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

Typeable l ⇒ DecCBOR (Annotator (Tx l ShelleyEra)) 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Typeable l ⇒ DecCBOR (Annotator (TxBody l ShelleyEra)) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Typeable l ⇒ DecCBOR (Annotator (ShelleyTxBodyRaw l ShelleyEra)) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Generic (TransitionConfig ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

Associated Types

type Rep (TransitionConfig ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

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

Defined in Cardano.Ledger.Shelley.Transition

Eq (TransitionConfig ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

NoThunks (TransitionConfig ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

Typeable l ⇒ ToCBOR (Tx l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

toCBORTx l ShelleyEraEncoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Tx l ShelleyEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Tx l ShelleyEra] → Size Source #

Typeable l ⇒ ToCBOR (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

toCBORTxBody l ShelleyEraEncoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxBody l ShelleyEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxBody l ShelleyEra] → Size Source #

Typeable l ⇒ DecCBOR (ShelleyTxBodyRaw l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

EncCBOR (Tx l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

EncCBOR (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

SafeToHash (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

EqRaw (Tx l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

eqRawTx l ShelleyEraTx l ShelleyEraBool Source #

EqRaw (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Memoized (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

type RawType (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

NFData (Tx l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

rnfTx l ShelleyEra → () #

NFData (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

rnfTxBody l ShelleyEra → () #

Generic (Tx l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Associated Types

type Rep (Tx l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

type Rep (Tx l ShelleyEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Shelley.Tx" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unShelleyTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx l ShelleyEra))))

Methods

fromTx l ShelleyEraRep (Tx l ShelleyEra) x #

toRep (Tx l ShelleyEra) x → Tx l ShelleyEra #

Generic (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

type Rep (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep (TxBody l ShelleyEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxBody" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxBodyRaw l ShelleyEra)))))
Show (Tx l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

showsPrecIntTx l ShelleyEraShowS #

showTx l ShelleyEraString #

showList ∷ [Tx l ShelleyEra] → ShowS #

Show (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Eq (Tx l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

(==)Tx l ShelleyEraTx l ShelleyEraBool #

(/=)Tx l ShelleyEraTx l ShelleyEraBool #

Eq (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Typeable l ⇒ NoThunks (Tx l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Typeable l ⇒ NoThunks (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

HashAnnotated (TxBody l ShelleyEra) EraIndependentTxBody 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type BlockBody ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.BlockBody.Internal

type NativeScript ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Scripts

type Script ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Scripts

type TxAuxData ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

type TxOut ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

type TxWits ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxWits

type Value ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type TranslationContext ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Translation

type TxCert ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

type TxCertUpgradeError ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

type Genesis ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

type AccountState ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.State.Account

type Accounts ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.State.Account

type CertState ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.State.CertState

type GovState ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

type InstantStake ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.State.Stake

type ScriptsNeeded ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.UTxO

type EraName ShelleyEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type EraName ShelleyEra = "Shelley"
type PreviousEra ShelleyEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type ProtVerHigh ShelleyEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type ProtVerLow ShelleyEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

newtype TransitionConfig ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

newtype Tx l ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

newtype TxBody l ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type EraRule "BBODY" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "DELEG" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "DELEGS" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "DELPL" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "EPOCH" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "LEDGER" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "LEDGERS" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "MIR" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "NEWEPOCH" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "NEWPP" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "POOL" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "POOLREAP" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "PPUP" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "RUPD" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "SNAP" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "TICK" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "TICKF" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "UPEC" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "UTXO" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "UTXOW" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRuleEvent "LEDGER" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type EraRuleEvent "LEDGERS" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type EraRuleEvent "NEWEPOCH" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type EraRuleEvent "POOLREAP" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type EraRuleEvent "TICK" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type EraRuleFailure "BBODY" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

type EraRuleFailure "DELEG" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type EraRuleFailure "DELEGS" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type EraRuleFailure "DELPL" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type EraRuleFailure "LEDGER" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type EraRuleFailure "LEDGERS" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type EraRuleFailure "POOL" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type EraRuleFailure "PPUP" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type EraRuleFailure "UTXO" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type EraRuleFailure "UTXOW" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

type DowngradePParams f ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

type PParamsHKD f ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

type UpgradePParams f ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

type STxLevel l ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type Rep (TransitionConfig ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

type Rep (TransitionConfig ShelleyEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Shelley.Transition" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "ShelleyTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "stcShelleyGenesis") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShelleyGenesis)))
type RawType (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep (Tx l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

type Rep (Tx l ShelleyEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Shelley.Tx" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unShelleyTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx l ShelleyEra))))
type Rep (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep (TxBody l ShelleyEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxBody" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxBodyRaw l ShelleyEra)))))

data AlonzoEra Source #

Instances

Instances details
AllegraEraScript AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

AllegraEraTxAuxData AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

AllegraEraTxBody AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

AlonzoEraPParams AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

EraPlutusContext AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo

AlonzoEraScript AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

AlonzoEraTx AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

AlonzoEraTxAuxData AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

AlonzoEraTxBody AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

AlonzoEraTxOut AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

AlonzoEraTxWits AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

AlonzoEraUTxO AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.UTxO

EraBlockBody AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.BlockBody.Internal

EraScript AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

EraTx AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Associated Types

newtype Tx l AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

EraTxAuxData AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Associated Types

type TxAuxData AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

EraTxBody AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Associated Types

newtype TxBody l AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

EraTxOut AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Associated Types

type TxOut AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

EraTxWits AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Associated Types

type TxWits AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

EraPParams AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

applyPPUpdatesPParams AlonzoEraPParamsUpdate AlonzoEraPParams AlonzoEra Source #

emptyPParamsIdentityPParamsHKD Identity AlonzoEra Source #

emptyPParamsStrictMaybePParamsHKD StrictMaybe AlonzoEra Source #

emptyUpgradePParamsUpdateUpgradePParams StrictMaybe AlonzoEra Source #

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

downgradePParamsHKD ∷ ∀ (f ∷ TypeType). (HKDFunctor f, EraPParams (PreviousEra AlonzoEra)) ⇒ DowngradePParams f AlonzoEraPParamsHKD f AlonzoEraPParamsHKD f (PreviousEra AlonzoEra) Source #

hkdMinFeeACompactL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f (CompactForm Coin)) Source #

hkdMinFeeBCompactL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f (CompactForm Coin)) Source #

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

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

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

hkdKeyDepositCompactL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f (CompactForm Coin)) Source #

hkdPoolDepositCompactL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f (CompactForm Coin)) Source #

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

hkdNOptL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f Word16) Source #

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

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

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

hkdDL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, AtMostEra "Alonzo" AlonzoEra) ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f UnitInterval) Source #

ppDGSimpleGetter (PParams AlonzoEra) UnitInterval Source #

hkdExtraEntropyL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, AtMostEra "Alonzo" AlonzoEra) ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f Nonce) Source #

hkdProtocolVersionL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, AtMostEra "Babbage" AlonzoEra) ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f ProtVer) Source #

ppProtocolVersionLLens' (PParams AlonzoEra) ProtVer Source #

ppuProtocolVersionLLens' (PParamsUpdate AlonzoEra) (StrictMaybe ProtVer) Source #

hkdMinUTxOValueCompactL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, AtMostEra "Mary" AlonzoEra) ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f (CompactForm Coin)) Source #

hkdMinPoolCostCompactL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f (CompactForm Coin)) Source #

eraPParams ∷ [PParam AlonzoEra] Source #

EraTxCert AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxCert

EraTxLevel AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

Associated Types

type STxLevel l AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

EraGenesis AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Genesis

Associated Types

type Genesis AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Genesis

EraAccounts AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.State.Account

EraCertState AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.State.CertState

EraGov AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Associated Types

type GovState AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

EraStake AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.State.Stake

EraUTxO AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.UTxO

Era AlonzoEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Associated Types

type EraName AlonzoEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type EraName AlonzoEra = "Alonzo"
type PreviousEra AlonzoEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type ProtVerLow AlonzoEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type ProtVerHigh AlonzoEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Methods

eraNameString Source #

MaryEraTxBody AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

ApplyTx AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo

ApplyBlock AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo

ShelleyEraScript AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

ShelleyEraAccounts AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.State.Account

EraTransition AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Transition

ShelleyEraTxBody AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

ShelleyEraTxCert AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxCert

EraPlutusTxInfo 'PlutusV1 AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo

TranslateEra AlonzoEra PParams 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

TranslateEra AlonzoEra CommitteeState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

TranslateEra AlonzoEra DState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

TranslateEra AlonzoEra PState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

TranslateEra AlonzoEra FuturePParams 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

TranslateEra AlonzoEra UTxO 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

Associated Types

type TranslationError AlonzoEra UTxO 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

TranslateEra AlonzoEra ShelleyGovState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

TranslateEra AlonzoEra EpochState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

TranslateEra AlonzoEra LedgerState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

TranslateEra AlonzoEra NewEpochState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

TranslateEra AlonzoEra UTxOState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

TranslateEra AlonzoEra ProposedPPUpdates 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

TranslateEra AlonzoEra ShelleyAccounts 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

TranslateEra AlonzoEra ShelleyCertState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

TranslateEra AlonzoEra ShelleyInstantStake 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

HasEraTxLevel AlonzoTxBodyRaw AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

HasEraTxLevel Tx AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). Tx l AlonzoEraSTxLevel l AlonzoEra Source #

HasEraTxLevel TxBody AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). TxBody l AlonzoEraSTxLevel l AlonzoEra Source #

HuddleGroup "account_registration_cert" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "account_unregistration_cert" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "delegation_to_stake_pool_cert" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "genesis_delegation_cert" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "move_instantaneous_rewards_cert" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "multi_host_name" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "operational_cert" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "pool_params" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "pool_registration_cert" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "pool_retirement_cert" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "protocol_version" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "script_all" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "script_any" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "script_invalid_before" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "script_invalid_hereafter" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "script_n_of_k" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "script_pubkey" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "single_host_addr" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleGroup "single_host_name" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "asset_name" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "auxiliary_data" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "auxiliary_data_array" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "auxiliary_data_map" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "auxiliary_scripts" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "big_int" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "big_nint" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "big_uint" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "block" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "bootstrap_witness" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "bounded_bytes" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "certificate" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "cost_model" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "cost_models" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "delta_coin" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "distinct_bytes" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "dns_name" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "ex_unit_prices" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "ex_units" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "genesis_delegate_hash" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "genesis_hash" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "header" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "header_body" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "language" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "major_protocol_version" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "mint" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "move_instantaneous_reward" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "native_script" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "network_id" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "policy_id" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "pool_metadata" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "positive_interval" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "proposed_protocol_parameter_updates" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "protocol_param_update" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "redeemer" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "redeemer_tag" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "redeemers" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "relay" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "required_signers" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "script_data_hash" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "transaction" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "transaction_body" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "transaction_id" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "transaction_input" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "transaction_output" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "transaction_witness_set" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "update" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "url" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "value" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "vkeywitness" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule "withdrawals" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

HuddleRule1 "set" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule1IsType0 a ⇒ Proxy AlonzoEra → a → GRuleCall Source #

InjectRuleFailure "BBODY" AllegraUtxoPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

InjectRuleFailure "BBODY" AlonzoBbodyPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

InjectRuleFailure "BBODY" AlonzoUtxoPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

InjectRuleFailure "BBODY" AlonzoUtxosPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

InjectRuleFailure "BBODY" AlonzoUtxowPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyBbodyPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyDelegPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyDelegsPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyDelplPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyLedgerPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyLedgersPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyPoolPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyPpupPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyUtxoPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyUtxowPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

InjectRuleFailure "DELEG" ShelleyDelegPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Deleg

InjectRuleFailure "DELEGS" ShelleyDelegPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Delegs

InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Delegs

InjectRuleFailure "DELEGS" ShelleyDelplPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Delegs

InjectRuleFailure "DELEGS" ShelleyPoolPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Delegs

InjectRuleFailure "DELPL" ShelleyDelegPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Delpl

InjectRuleFailure "DELPL" ShelleyDelplPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Delpl

InjectRuleFailure "DELPL" ShelleyPoolPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Delpl

InjectRuleFailure "LEDGER" AllegraUtxoPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

InjectRuleFailure "LEDGER" AlonzoUtxoPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

InjectRuleFailure "LEDGER" AlonzoUtxosPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

InjectRuleFailure "LEDGER" AlonzoUtxowPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyDelegPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyDelplPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyPoolPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyPpupPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

InjectRuleFailure "LEDGERS" AllegraUtxoPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

InjectRuleFailure "LEDGERS" AlonzoUtxoPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

InjectRuleFailure "LEDGERS" AlonzoUtxosPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

InjectRuleFailure "LEDGERS" AlonzoUtxowPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

InjectRuleFailure "POOL" ShelleyPoolPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Pool

InjectRuleFailure "PPUP" ShelleyPpupPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ppup

InjectRuleFailure "UTXO" AllegraUtxoPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

InjectRuleFailure "UTXO" AlonzoUtxoPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

InjectRuleFailure "UTXO" AlonzoUtxosPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

InjectRuleFailure "UTXO" ShelleyPpupPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

InjectRuleFailure "UTXO" ShelleyUtxoPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

InjectRuleFailure "UTXOS" ShelleyPpupPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

InjectRuleFailure "UTXOW" AllegraUtxoPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

InjectRuleFailure "UTXOW" AlonzoUtxoPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

InjectRuleFailure "UTXOW" AlonzoUtxosPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

InjectRuleFailure "UTXOW" ShelleyPpupPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

TranslateEra AlonzoEra (Tx 'TopTx) 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

Typeable l ⇒ DecCBOR (Annotator (AlonzoTxBodyRaw l AlonzoEra)) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Typeable l ⇒ DecCBOR (Annotator (Tx l AlonzoEra)) 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Typeable l ⇒ DecCBOR (Annotator (TxBody l AlonzoEra)) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

SafeToHash (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

NFData (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

rnfPlutusScript AlonzoEra → () #

Generic (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

type Rep (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Generic (TransitionConfig AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Transition

Associated Types

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.15.0.0-inplace" '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))))
Show (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Show (TransitionConfig AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Transition

Eq (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Eq (TransitionConfig AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Transition

Ord (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

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

Defined in Cardano.Ledger.Alonzo.Scripts

NoThunks (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

NoThunks (TransitionConfig AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Transition

Typeable l ⇒ ToCBOR (Tx l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

toCBORTx l AlonzoEraEncoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Tx l AlonzoEra) → Size Source #

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

Typeable l ⇒ ToCBOR (TxBody l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

toCBORTxBody l AlonzoEraEncoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxBody l AlonzoEra) → Size Source #

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

Typeable l ⇒ DecCBOR (AlonzoTxBodyRaw l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

EncCBOR (AlonzoTxBodyRaw l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

EncCBOR (Tx l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

encCBORTx l AlonzoEraEncoding Source #

EncCBOR (TxBody l AlonzoEra)

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

SafeToHash (TxBody l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

EqRaw (Tx l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

eqRawTx l AlonzoEraTx l AlonzoEraBool Source #

EqRaw (TxBody l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Memoized (TxBody l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Associated Types

type RawType (TxBody l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

NFData (Tx l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

rnfTx l AlonzoEra → () #

NFData (TxBody l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

rnfTxBody l AlonzoEra → () #

Generic (Tx l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Associated Types

type Rep (Tx l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

type Rep (Tx l AlonzoEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Alonzo.Tx" "cardano-ledger-alonzo-1.15.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAlonzoTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoTx l AlonzoEra))))

Methods

fromTx l AlonzoEraRep (Tx l AlonzoEra) x #

toRep (Tx l AlonzoEra) x → Tx l AlonzoEra #

Generic (TxBody l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Associated Types

type Rep (TxBody l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

type Rep (TxBody l AlonzoEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Alonzo.TxBody" "cardano-ledger-alonzo-1.15.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTxBody" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AlonzoTxBodyRaw l AlonzoEra)))))

Methods

fromTxBody l AlonzoEraRep (TxBody l AlonzoEra) x #

toRep (TxBody l AlonzoEra) x → TxBody l AlonzoEra #

Show (AlonzoTxBodyRaw l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Show (Tx l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

showsPrecIntTx l AlonzoEraShowS #

showTx l AlonzoEraString #

showList ∷ [Tx l AlonzoEra] → ShowS #

Show (TxBody l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Eq (AlonzoTxBodyRaw l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Eq (Tx l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

(==)Tx l AlonzoEraTx l AlonzoEraBool #

(/=)Tx l AlonzoEraTx l AlonzoEraBool #

Eq (TxBody l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Typeable l ⇒ NoThunks (AlonzoTxBodyRaw l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Typeable l ⇒ NoThunks (Tx l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Typeable l ⇒ NoThunks (TxBody l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

HashAnnotated (TxBody l AlonzoEra) EraIndependentTxBody 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

type ContextError AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo

newtype TxInfoResult AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo

newtype PlutusScript AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type BlockBody AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.BlockBody.Internal

type NativeScript AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Script AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type TxAuxData AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

type TxOut AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

type TxWits AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type Value AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type TranslationContext AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TxCert AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxCert

type TxCertUpgradeError AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxCert

type Genesis AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Genesis

type AccountState AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.State.Account

type Accounts AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.State.Account

type CertState AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.State.CertState

type GovState AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

type InstantStake AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.State.Stake

type ScriptsNeeded AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.UTxO

type EraName AlonzoEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type EraName AlonzoEra = "Alonzo"
type PreviousEra AlonzoEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type ProtVerHigh AlonzoEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type ProtVerLow AlonzoEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

data TransitionConfig AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Transition

type PlutusPurpose f AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

newtype Tx l AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

newtype TxBody l AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

type EraRule "BBODY" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "DELEG" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "DELEGS" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "DELPL" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "EPOCH" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "LEDGER" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "LEDGERS" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "MIR" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "NEWEPOCH" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "NEWPP" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "POOL" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "POOLREAP" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "PPUP" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "RUPD" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "SNAP" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "TICK" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "TICKF" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "UPEC" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "UTXO" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "UTXOS" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "UTXOW" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRuleEvent "LEDGER" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules

type EraRuleEvent "PPUP" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ppup

type EraRuleEvent "TICK" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules

type EraRuleFailure "BBODY" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

type EraRuleFailure "DELEG" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Deleg

type EraRuleFailure "DELEGS" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Delegs

type EraRuleFailure "DELPL" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Delpl

type EraRuleFailure "LEDGER" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

type EraRuleFailure "LEDGERS" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

type EraRuleFailure "POOL" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Pool

type EraRuleFailure "PPUP" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ppup

type EraRuleFailure "UTXO" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

type EraRuleFailure "UTXOS" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

type EraRuleFailure "UTXOW" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

type DowngradePParams f AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

type PParamsHKD f AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

type UpgradePParams f AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

type TranslationError AlonzoEra PParams 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra CommitteeState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra DState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra PState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra FuturePParams 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra UTxO 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra ShelleyGovState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra EpochState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra LedgerState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra NewEpochState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra UTxOState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra ProposedPPUpdates 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra ShelleyAccounts 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra ShelleyCertState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra ShelleyInstantStake 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type STxLevel l AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type TranslationError AlonzoEra (Tx 'TopTx) 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type Rep (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

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.15.0.0-inplace" '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 RawType (TxBody l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

type Rep (Tx l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

type Rep (Tx l AlonzoEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Alonzo.Tx" "cardano-ledger-alonzo-1.15.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAlonzoTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoTx l AlonzoEra))))
type Rep (TxBody l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

type Rep (TxBody l AlonzoEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Alonzo.TxBody" "cardano-ledger-alonzo-1.15.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTxBody" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AlonzoTxBodyRaw l AlonzoEra)))))

bigUintRuleHuddleRule "bounded_bytes" era ⇒ Proxy era → Rule Source #

bigNintRuleHuddleRule "bounded_bytes" era ⇒ Proxy era → Rule Source #

bigIntRuleHuddleRule "bounded_bytes" era ⇒ Proxy era → Rule Source #

scriptDataHashRuleEra era ⇒ Proxy era → Rule Source #

exUnitPricesRuleHuddleRule "positive_interval" era ⇒ Proxy era → Rule Source #

requiredSignersRule ∷ (HuddleRule "addr_keyhash" era, HuddleRule1 "set" era) ⇒ Proxy era → Rule Source #

constrIsType0 a ⇒ a → GRuleCall Source #

alonzoRedeemer ∷ (HuddleRule "redeemer_tag" era, HuddleRule "plutus_data" era, HuddleRule "ex_units" era) ⇒ Proxy era → Rule Source #

maryMintRule ∷ (HuddleRule "policy_id" era, HuddleRule "asset_name" era) ⇒ Proxy era → Rule Source #

maryMultiasset ∷ (HuddleRule "policy_id" era, HuddleRule "asset_name" era, IsType0 a) ⇒ Proxy era → a → GRuleCall Source #

maryValueRule ∷ (HuddleRule "policy_id" era, HuddleRule "asset_name" era) ⇒ Proxy era → Rule Source #

data MaryEra Source #

Instances

Instances details
AllegraEraScript MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Scripts

AllegraEraTxAuxData MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxAuxData

AllegraEraTxBody MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

EraBlockBody MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.BlockBody

Associated Types

type BlockBody MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.BlockBody

EraScript MaryEra

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 
Instance details

Defined in Cardano.Ledger.Mary.Scripts

type NativeScript MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Scripts

EraTx MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Tx

Associated Types

newtype Tx t MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Tx

EraTxAuxData MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxAuxData

Associated Types

type TxAuxData MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxAuxData

EraTxBody MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Associated Types

newtype TxBody l MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

EraTxOut MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxOut

Associated Types

type TxOut MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxOut

EraTxWits MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxWits

Associated Types

type TxWits MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxWits

EraPParams MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.PParams

Associated Types

type PParamsHKD f MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.PParams

type UpgradePParams f MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.PParams

type DowngradePParams f MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.PParams

Methods

applyPPUpdatesPParams MaryEraPParamsUpdate MaryEraPParams MaryEra Source #

emptyPParamsIdentityPParamsHKD Identity MaryEra Source #

emptyPParamsStrictMaybePParamsHKD StrictMaybe MaryEra Source #

emptyUpgradePParamsUpdateUpgradePParams StrictMaybe MaryEra Source #

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

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

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

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

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

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

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

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

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

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

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

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

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

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

hkdDL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, AtMostEra "Alonzo" MaryEra) ⇒ Lens' (PParamsHKD f MaryEra) (HKD f UnitInterval) Source #

ppDGSimpleGetter (PParams MaryEra) UnitInterval Source #

hkdExtraEntropyL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, AtMostEra "Alonzo" MaryEra) ⇒ Lens' (PParamsHKD f MaryEra) (HKD f Nonce) Source #

hkdProtocolVersionL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, AtMostEra "Babbage" MaryEra) ⇒ Lens' (PParamsHKD f MaryEra) (HKD f ProtVer) Source #

ppProtocolVersionLLens' (PParams MaryEra) ProtVer Source #

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

hkdMinUTxOValueCompactL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, AtMostEra "Mary" MaryEra) ⇒ Lens' (PParamsHKD f MaryEra) (HKD f (CompactForm Coin)) Source #

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

eraPParams ∷ [PParam MaryEra] Source #

EraTxCert MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxCert

Associated Types

type TxCert MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxCert

type TxCertUpgradeError MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxCert

EraTxLevel MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Associated Types

type STxLevel l MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

EraGenesis MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

Associated Types

type Genesis MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

EraAccounts MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.State.Account

EraCertState MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.State.CertState

Associated Types

type CertState MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.State.CertState

EraGov MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.PParams

Associated Types

type GovState MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.PParams

EraStake MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.State.Stake

EraUTxO MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.UTxO

Associated Types

type ScriptsNeeded MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.UTxO

Era MaryEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Methods

eraNameString Source #

MaryEraTxBody MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

ApplyTx MaryEra 
Instance details

Defined in Cardano.Ledger.Mary

ApplyBlock MaryEra 
Instance details

Defined in Cardano.Ledger.Mary

ShelleyEraScript MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Scripts

ShelleyEraAccounts MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.State.Account

EraTransition MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Transition

ShelleyEraTxBody MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

ShelleyEraTxCert MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxCert

TranslateEra MaryEra AllegraTxAuxData 
Instance details

Defined in Cardano.Ledger.Mary.Translation

TranslateEra MaryEra PParams 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Associated Types

type TranslationError MaryEra PParams 
Instance details

Defined in Cardano.Ledger.Mary.Translation

TranslateEra MaryEra PParamsUpdate 
Instance details

Defined in Cardano.Ledger.Mary.Translation

TranslateEra MaryEra CommitteeState 
Instance details

Defined in Cardano.Ledger.Mary.Translation

TranslateEra MaryEra DState 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Associated Types

type TranslationError MaryEra DState 
Instance details

Defined in Cardano.Ledger.Mary.Translation

TranslateEra MaryEra PState 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Associated Types

type TranslationError MaryEra PState 
Instance details

Defined in Cardano.Ledger.Mary.Translation

TranslateEra MaryEra FuturePParams 
Instance details

Defined in Cardano.Ledger.Mary.Translation

TranslateEra MaryEra UTxO 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Associated Types

type TranslationError MaryEra UTxO 
Instance details

Defined in Cardano.Ledger.Mary.Translation

TranslateEra MaryEra ShelleyGovState 
Instance details

Defined in Cardano.Ledger.Mary.Translation

TranslateEra MaryEra EpochState 
Instance details

Defined in Cardano.Ledger.Mary.Translation

TranslateEra MaryEra LedgerState 
Instance details

Defined in Cardano.Ledger.Mary.Translation

TranslateEra MaryEra NewEpochState 
Instance details

Defined in Cardano.Ledger.Mary.Translation

TranslateEra MaryEra UTxOState 
Instance details

Defined in Cardano.Ledger.Mary.Translation

TranslateEra MaryEra ProposedPPUpdates 
Instance details

Defined in Cardano.Ledger.Mary.Translation

TranslateEra MaryEra Update 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Associated Types

type TranslationError MaryEra Update 
Instance details

Defined in Cardano.Ledger.Mary.Translation

TranslateEra MaryEra ShelleyAccounts 
Instance details

Defined in Cardano.Ledger.Mary.Translation

TranslateEra MaryEra ShelleyCertState 
Instance details

Defined in Cardano.Ledger.Mary.Translation

TranslateEra MaryEra ShelleyInstantStake 
Instance details

Defined in Cardano.Ledger.Mary.Translation

TranslateEra MaryEra ShelleyTxOut 
Instance details

Defined in Cardano.Ledger.Mary.Translation

TranslateEra MaryEra ShelleyTxWits 
Instance details

Defined in Cardano.Ledger.Mary.Translation

HasEraTxLevel Tx MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). Tx l MaryEraSTxLevel l MaryEra Source #

HasEraTxLevel TxBody MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). TxBody l MaryEraSTxLevel l MaryEra Source #

HuddleGroup "account_registration_cert" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "account_unregistration_cert" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "delegation_to_stake_pool_cert" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "genesis_delegation_cert" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "move_instantaneous_rewards_cert" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "multi_host_name" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "operational_cert" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "pool_params" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "pool_registration_cert" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "pool_retirement_cert" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "protocol_version" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "script_all" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "script_any" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "script_invalid_before" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "script_invalid_hereafter" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "script_n_of_k" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "script_pubkey" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "single_host_addr" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleGroup "single_host_name" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "asset_name" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "auxiliary_data" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "auxiliary_data_array" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "auxiliary_scripts" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "block" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "bootstrap_witness" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "certificate" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "delta_coin" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "dns_name" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "genesis_delegate_hash" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "genesis_hash" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "header" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "header_body" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "major_protocol_version" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "mint" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "move_instantaneous_reward" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "native_script" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "policy_id" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "pool_metadata" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "proposed_protocol_parameter_updates" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "protocol_param_update" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "relay" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "transaction" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "transaction_body" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "transaction_id" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "transaction_input" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "transaction_output" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "transaction_witness_set" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "update" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "url" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "value" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "vkeywitness" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule "withdrawals" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

HuddleRule1 "set" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.HuddleSpec

Methods

huddleRule1IsType0 a ⇒ Proxy MaryEra → a → GRuleCall Source #

InjectRuleFailure "BBODY" ShelleyBbodyPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyDelegPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyDelegsPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyDelplPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyLedgerPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyLedgersPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyPoolPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyPpupPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyUtxoPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyUtxowPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Bbody

InjectRuleFailure "DELEG" ShelleyDelegPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Deleg

InjectRuleFailure "DELEGS" ShelleyDelegPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Delegs

InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Delegs

InjectRuleFailure "DELEGS" ShelleyDelplPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Delegs

InjectRuleFailure "DELEGS" ShelleyPoolPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Delegs

InjectRuleFailure "DELPL" ShelleyDelegPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Delpl

InjectRuleFailure "DELPL" ShelleyDelplPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Delpl

InjectRuleFailure "DELPL" ShelleyPoolPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Delpl

InjectRuleFailure "LEDGER" ShelleyDelegPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyDelplPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyPoolPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyPpupPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledger

InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledgers

InjectRuleFailure "POOL" ShelleyPoolPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Pool

InjectRuleFailure "PPUP" ShelleyPpupPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ppup

InjectRuleFailure "UTXO" AllegraUtxoPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Utxo

InjectRuleFailure "UTXO" ShelleyPpupPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Utxo

InjectRuleFailure "UTXO" ShelleyUtxoPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Utxo

InjectRuleFailure "UTXOW" AllegraUtxoPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Utxow

InjectRuleFailure "UTXOW" ShelleyPpupPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Utxow

InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Utxow

InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Utxow

TranslateEra MaryEra (TimelockTypeType) 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Associated Types

type TranslationError MaryEra (TimelockTypeType) 
Instance details

Defined in Cardano.Ledger.Mary.Translation

TranslateEra MaryEra (Tx 'TopTx) 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Associated Types

type TranslationError MaryEra (Tx 'TopTx) 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Typeable t ⇒ DecCBOR (Annotator (Tx t MaryEra)) 
Instance details

Defined in Cardano.Ledger.Mary.Tx

Typeable l ⇒ DecCBOR (Annotator (TxBody l MaryEra)) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Show (TransitionConfig MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.Transition

Eq (TransitionConfig MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.Transition

NoThunks (TransitionConfig MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.Transition

HasEraTxLevel (AllegraTxBodyRaw ma) MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). AllegraTxBodyRaw ma l MaryEraSTxLevel l MaryEra Source #

Typeable t ⇒ ToCBOR (Tx t MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

toCBORTx t MaryEraEncoding Source #

encodedSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy (Tx t MaryEra) → Size Source #

encodedListSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy [Tx t MaryEra] → Size Source #

Typeable l ⇒ ToCBOR (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

toCBORTxBody l MaryEraEncoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxBody l MaryEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxBody l MaryEra] → Size Source #

EncCBOR (Tx t MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

encCBORTx t MaryEraEncoding Source #

EncCBOR (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

SafeToHash (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

EqRaw (Tx t MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

eqRawTx t MaryEraTx t MaryEraBool Source #

EqRaw (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

eqRawTxBody l MaryEraTxBody l MaryEraBool Source #

Memoized (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Associated Types

type RawType (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

NFData (Tx t MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

rnfTx t MaryEra → () #

NFData (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

rnfTxBody l MaryEra → () #

Generic (Tx t MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.Tx

Associated Types

type Rep (Tx t MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.Tx

type Rep (Tx t MaryEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Mary.Tx" "cardano-ledger-mary-1.10.0.0-inplace" 'True) (C1 ('MetaCons "MkMaryTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMaryTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx t MaryEra))))

Methods

fromTx t MaryEraRep (Tx t MaryEra) x #

toRep (Tx t MaryEra) x → Tx t MaryEra #

Generic (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Associated Types

type Rep (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

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

Methods

fromTxBody l MaryEraRep (TxBody l MaryEra) x #

toRep (TxBody l MaryEra) x → TxBody l MaryEra #

Show (Tx t MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

showsPrecIntTx t MaryEraShowS #

showTx t MaryEraString #

showList ∷ [Tx t MaryEra] → ShowS #

Show (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

showsPrecIntTxBody l MaryEraShowS #

showTxBody l MaryEraString #

showList ∷ [TxBody l MaryEra] → ShowS #

Eq (Tx t MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

(==)Tx t MaryEraTx t MaryEraBool #

(/=)Tx t MaryEraTx t MaryEraBool #

Eq (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

(==)TxBody l MaryEraTxBody l MaryEraBool #

(/=)TxBody l MaryEraTxBody l MaryEraBool #

Typeable t ⇒ NoThunks (Tx t MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.Tx

Typeable l ⇒ NoThunks (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

HashAnnotated (TxBody l MaryEra) EraIndependentTxBody 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

type BlockBody MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.BlockBody

type NativeScript MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Scripts

type Script MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Scripts

type TxAuxData MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxAuxData

type TxOut MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxOut

type TxWits MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxWits

type Value MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type TranslationContext MaryEra

No context is needed to translate from Allegra to Mary.

Instance details

Defined in Cardano.Ledger.Mary.Era

type TxCert MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxCert

type TxCertUpgradeError MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxCert

type Genesis MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type AccountState MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.State.Account

type Accounts MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.State.Account

type CertState MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.State.CertState

type GovState MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.PParams

type InstantStake MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.State.Stake

type ScriptsNeeded MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.UTxO

type EraName MaryEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type EraName MaryEra = "Mary"
type PreviousEra MaryEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type ProtVerHigh MaryEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type ProtVerLow MaryEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

newtype TransitionConfig MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Transition

newtype Tx t MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Tx

newtype TxBody l MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

type EraRule "BBODY" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "DELEG" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "DELEGS" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "DELPL" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "EPOCH" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "LEDGER" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "LEDGERS" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "MIR" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "NEWEPOCH" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "NEWPP" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "POOL" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "POOLREAP" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "PPUP" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "RUPD" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "SNAP" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "TICK" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "TICKF" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "UPEC" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "UTXO" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRule "UTXOW" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type EraRuleEvent "LEDGER" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledger

type EraRuleEvent "TICK" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules

type EraRuleFailure "BBODY" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Bbody

type EraRuleFailure "DELEG" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Deleg

type EraRuleFailure "DELEGS" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Delegs

type EraRuleFailure "DELPL" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Delpl

type EraRuleFailure "LEDGER" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledger

type EraRuleFailure "LEDGERS" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ledgers

type EraRuleFailure "POOL" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Pool

type EraRuleFailure "PPUP" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Ppup

type EraRuleFailure "UTXO" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Utxo

type EraRuleFailure "UTXOW" MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Rules.Utxow

type DowngradePParams f MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.PParams

type PParamsHKD f MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.PParams

type UpgradePParams f MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.PParams

type TranslationError MaryEra AllegraTxAuxData 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra PParams 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra PParamsUpdate 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra CommitteeState 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra DState 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra PState 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra FuturePParams 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra UTxO 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra ShelleyGovState 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra EpochState 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra LedgerState 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra NewEpochState 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra UTxOState 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra ProposedPPUpdates 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra Update 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra ShelleyAccounts 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra ShelleyCertState 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra ShelleyInstantStake 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra ShelleyTxOut 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra ShelleyTxWits 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type STxLevel l MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

type TranslationError MaryEra (TimelockTypeType) 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra (Tx 'TopTx) 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type MemoHashIndex (MaryTxBodyRaw l) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

type RawType (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

type Rep (Tx t MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.Tx

type Rep (Tx t MaryEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Mary.Tx" "cardano-ledger-mary-1.10.0.0-inplace" 'True) (C1 ('MetaCons "MkMaryTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMaryTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx t MaryEra))))
type Rep (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

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

data BabbageEra Source #

Instances

Instances details
AllegraEraScript BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

AllegraEraTxAuxData BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxAuxData

AllegraEraTxBody BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

AlonzoEraPParams BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

EraPlutusContext BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxInfo

AlonzoEraScript BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

AlonzoEraTx BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Tx

AlonzoEraTxAuxData BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxAuxData

AlonzoEraTxBody BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

AlonzoEraTxOut BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

AlonzoEraTxWits BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxWits

AlonzoEraUTxO BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.UTxO

BabbageEraPParams BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

BabbageEraTxBody BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

BabbageEraTxOut BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

EraBlockBody BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.BlockBody

EraScript BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

EraTx BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Tx

Associated Types

newtype Tx l BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Tx

EraTxAuxData BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxAuxData

EraTxBody BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Associated Types

newtype TxBody l BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

EraTxOut BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Associated Types

type TxOut BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

EraTxWits BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxWits

Associated Types

type TxWits BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxWits

EraPParams BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

Methods

applyPPUpdatesPParams BabbageEraPParamsUpdate BabbageEraPParams BabbageEra Source #

emptyPParamsIdentityPParamsHKD Identity BabbageEra Source #

emptyPParamsStrictMaybePParamsHKD StrictMaybe BabbageEra Source #

emptyUpgradePParamsUpdateUpgradePParams StrictMaybe BabbageEra Source #

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

downgradePParamsHKD ∷ ∀ (f ∷ TypeType). (HKDFunctor f, EraPParams (PreviousEra BabbageEra)) ⇒ DowngradePParams f BabbageEraPParamsHKD f BabbageEraPParamsHKD f (PreviousEra BabbageEra) Source #

hkdMinFeeACompactL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f (CompactForm Coin)) Source #

hkdMinFeeBCompactL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f (CompactForm Coin)) Source #

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

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

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

hkdKeyDepositCompactL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f (CompactForm Coin)) Source #

hkdPoolDepositCompactL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f (CompactForm Coin)) Source #

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

hkdNOptL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f Word16) Source #

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

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

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

hkdDL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, AtMostEra "Alonzo" BabbageEra) ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f UnitInterval) Source #

ppDGSimpleGetter (PParams BabbageEra) UnitInterval Source #

hkdExtraEntropyL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, AtMostEra "Alonzo" BabbageEra) ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f Nonce) Source #

hkdProtocolVersionL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, AtMostEra "Babbage" BabbageEra) ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f ProtVer) Source #

ppProtocolVersionLLens' (PParams BabbageEra) ProtVer Source #

ppuProtocolVersionLLens' (PParamsUpdate BabbageEra) (StrictMaybe ProtVer) Source #

hkdMinUTxOValueCompactL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, AtMostEra "Mary" BabbageEra) ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f (CompactForm Coin)) Source #

hkdMinPoolCostCompactL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f (CompactForm Coin)) Source #

eraPParams ∷ [PParam BabbageEra] Source #

EraTxCert BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxCert

EraTxLevel BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

Associated Types

type STxLevel l BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

EraGenesis BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

Associated Types

type Genesis BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

EraAccounts BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.State.Account

EraCertState BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.State.CertState

EraGov BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

Associated Types

type GovState BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

EraStake BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.State.Stake

EraUTxO BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.UTxO

Era BabbageEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Methods

eraNameString Source #

MaryEraTxBody BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

ApplyTx BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage

ApplyBlock BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage

ShelleyEraScript BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

ShelleyEraAccounts BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.State.Account

EraTransition BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Transition

ShelleyEraTxBody BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

ShelleyEraTxCert BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxCert

EraPlutusTxInfo 'PlutusV1 BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxInfo

EraPlutusTxInfo 'PlutusV2 BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxInfo

TranslateEra BabbageEra PParams 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

TranslateEra BabbageEra CommitteeState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

TranslateEra BabbageEra DState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

TranslateEra BabbageEra PState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

TranslateEra BabbageEra FuturePParams 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

TranslateEra BabbageEra UTxO 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

TranslateEra BabbageEra ShelleyGovState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

TranslateEra BabbageEra EpochState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

TranslateEra BabbageEra LedgerState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

TranslateEra BabbageEra NewEpochState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

TranslateEra BabbageEra UTxOState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

TranslateEra BabbageEra ProposedPPUpdates 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

TranslateEra BabbageEra ShelleyAccounts 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

TranslateEra BabbageEra ShelleyCertState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

TranslateEra BabbageEra ShelleyInstantStake 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

HasEraTxLevel BabbageTxBodyRaw BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

HasEraTxLevel Tx BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). Tx l BabbageEraSTxLevel l BabbageEra Source #

HasEraTxLevel TxBody BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). TxBody l BabbageEraSTxLevel l BabbageEra Source #

HuddleGroup "account_registration_cert" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "account_unregistration_cert" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "delegation_to_stake_pool_cert" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "genesis_delegation_cert" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "move_instantaneous_rewards_cert" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "multi_host_name" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "pool_params" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "pool_registration_cert" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "pool_retirement_cert" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "script_all" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "script_any" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "script_invalid_before" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "script_invalid_hereafter" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "script_n_of_k" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "script_pubkey" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "single_host_addr" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleGroup "single_host_name" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "alonzo_transaction_output" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "asset_name" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "auxiliary_data" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "auxiliary_data_array" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "auxiliary_data_map" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "auxiliary_scripts" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "big_int" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "big_nint" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "big_uint" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "block" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "bootstrap_witness" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "bounded_bytes" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "certificate" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "cost_models" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "data" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "datum_option" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "delta_coin" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "distinct_bytes" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "dns_name" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "ex_unit_prices" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "ex_units" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "genesis_delegate_hash" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "genesis_hash" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "header" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "header_body" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "language" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "major_protocol_version" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "mint" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "move_instantaneous_reward" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "native_script" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "network_id" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "operational_cert" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "policy_id" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "pool_metadata" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "positive_interval" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "proposed_protocol_parameter_updates" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "protocol_param_update" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "protocol_version" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "redeemer" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "redeemer_tag" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "redeemers" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "relay" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "required_signers" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "script" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "script_data_hash" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "transaction" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "transaction_body" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "transaction_id" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "transaction_input" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "transaction_output" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "transaction_witness_set" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "update" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "url" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "value" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "vkeywitness" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule "withdrawals" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

HuddleRule1 "set" BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.HuddleSpec

Methods

huddleRule1IsType0 a ⇒ Proxy BabbageEra → a → GRuleCall Source #

InjectRuleEvent "UTXOS" AlonzoUtxosEvent BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxos

InjectRuleFailure "BBODY" AllegraUtxoPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Bbody

InjectRuleFailure "BBODY" AlonzoBbodyPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Bbody

InjectRuleFailure "BBODY" AlonzoUtxoPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Bbody

InjectRuleFailure "BBODY" AlonzoUtxosPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Bbody

InjectRuleFailure "BBODY" AlonzoUtxowPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Bbody

InjectRuleFailure "BBODY" BabbageUtxoPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Bbody

InjectRuleFailure "BBODY" BabbageUtxowPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyBbodyPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyDelegPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyDelegsPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyDelplPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyLedgerPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyLedgersPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyPoolPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyPpupPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyUtxoPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyUtxowPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Bbody

InjectRuleFailure "DELEG" ShelleyDelegPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Deleg

InjectRuleFailure "DELEGS" ShelleyDelegPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Delegs

InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Delegs

InjectRuleFailure "DELEGS" ShelleyDelplPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Delegs

InjectRuleFailure "DELEGS" ShelleyPoolPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Delegs

InjectRuleFailure "DELPL" ShelleyDelegPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Delpl

InjectRuleFailure "DELPL" ShelleyDelplPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Delpl

InjectRuleFailure "DELPL" ShelleyPoolPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Delpl

InjectRuleFailure "LEDGER" AllegraUtxoPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

InjectRuleFailure "LEDGER" AlonzoUtxoPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

InjectRuleFailure "LEDGER" AlonzoUtxosPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

InjectRuleFailure "LEDGER" AlonzoUtxowPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

InjectRuleFailure "LEDGER" BabbageUtxoPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

InjectRuleFailure "LEDGER" BabbageUtxowPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyDelegPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyDelplPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyPoolPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyPpupPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

InjectRuleFailure "LEDGERS" AllegraUtxoPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledgers

InjectRuleFailure "LEDGERS" AlonzoUtxoPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledgers

InjectRuleFailure "LEDGERS" AlonzoUtxosPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledgers

InjectRuleFailure "LEDGERS" AlonzoUtxowPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledgers

InjectRuleFailure "LEDGERS" BabbageUtxoPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledgers

InjectRuleFailure "LEDGERS" BabbageUtxowPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledgers

InjectRuleFailure "POOL" ShelleyPoolPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Pool

InjectRuleFailure "PPUP" ShelleyPpupPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ppup

InjectRuleFailure "UTXO" AllegraUtxoPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxo

InjectRuleFailure "UTXO" AlonzoUtxoPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxo

InjectRuleFailure "UTXO" AlonzoUtxosPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxo

InjectRuleFailure "UTXO" BabbageUtxoPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxo

InjectRuleFailure "UTXO" ShelleyPpupPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxo

InjectRuleFailure "UTXO" ShelleyUtxoPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxo

InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxos

InjectRuleFailure "UTXOS" ShelleyPpupPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxos

InjectRuleFailure "UTXOW" AllegraUtxoPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

InjectRuleFailure "UTXOW" AlonzoUtxoPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

InjectRuleFailure "UTXOW" AlonzoUtxosPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

InjectRuleFailure "UTXOW" BabbageUtxoPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

InjectRuleFailure "UTXOW" BabbageUtxowPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

InjectRuleFailure "UTXOW" ShelleyPpupPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

TranslateEra BabbageEra (Tx 'TopTx) 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

Typeable l ⇒ DecCBOR (Annotator (BabbageTxBodyRaw l BabbageEra)) 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Typeable l ⇒ DecCBOR (Annotator (Tx l BabbageEra)) 
Instance details

Defined in Cardano.Ledger.Babbage.Tx

Typeable l ⇒ DecCBOR (Annotator (TxBody l BabbageEra)) 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

SafeToHash (PlutusScript BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

NFData (PlutusScript BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

Methods

rnfPlutusScript BabbageEra → () #

Generic (PlutusScript BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

Associated Types

type Rep (PlutusScript BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

type Rep (PlutusScript BabbageEra) = D1 ('MetaData "PlutusScript" "Cardano.Ledger.Babbage.Scripts" "cardano-ledger-babbage-1.13.0.0-inplace" 'False) (C1 ('MetaCons "BabbagePlutusV1" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV1))) :+: C1 ('MetaCons "BabbagePlutusV2" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV2))))
Show (PlutusScript BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

Show (TransitionConfig BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.Transition

Eq (PlutusScript BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

Eq (TransitionConfig BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.Transition

Ord (PlutusScript BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

MemPack (PlutusScript BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

NoThunks (PlutusScript BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

NoThunks (TransitionConfig BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.Transition

Typeable l ⇒ ToCBOR (Tx l BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

toCBORTx l BabbageEraEncoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Tx l BabbageEra) → Size Source #

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

Typeable l ⇒ ToCBOR (TxBody l BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Methods

toCBORTxBody l BabbageEraEncoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxBody l BabbageEra) → Size Source #

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

Typeable l ⇒ DecCBOR (BabbageTxBodyRaw l BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

EncCBOR (BabbageTxBodyRaw l BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

EncCBOR (Tx l BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.Tx

EncCBOR (TxBody l BabbageEra)

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Babbage.TxBody

SafeToHash (TxBody l BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

EqRaw (BabbageTxBodyRaw l BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

EqRaw (Tx l BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

eqRawTx l BabbageEraTx l BabbageEraBool Source #

EqRaw (TxBody l BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Memoized (TxBody l BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Associated Types

type RawType (TxBody l BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

NFData (BabbageTxBodyRaw l BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Methods

rnfBabbageTxBodyRaw l BabbageEra → () #

NFData (Tx l BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

rnfTx l BabbageEra → () #

NFData (TxBody l BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Methods

rnfTxBody l BabbageEra → () #

Generic (Tx l BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.Tx

Associated Types

type Rep (Tx l BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.Tx

type Rep (Tx l BabbageEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Babbage.Tx" "cardano-ledger-babbage-1.13.0.0-inplace" 'True) (C1 ('MetaCons "MkBabbageTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unBabbageTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoTx l BabbageEra))))

Methods

fromTx l BabbageEraRep (Tx l BabbageEra) x #

toRep (Tx l BabbageEra) x → Tx l BabbageEra #

Generic (TxBody l BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Associated Types

type Rep (TxBody l BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Show (BabbageTxBodyRaw l BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Show (Tx l BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

showsPrecIntTx l BabbageEraShowS #

showTx l BabbageEraString #

showList ∷ [Tx l BabbageEra] → ShowS #

Show (TxBody l BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Eq (BabbageTxBodyRaw l BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Eq (Tx l BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

(==)Tx l BabbageEraTx l BabbageEraBool #

(/=)Tx l BabbageEraTx l BabbageEraBool #

Eq (TxBody l BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Typeable l ⇒ NoThunks (BabbageTxBodyRaw l BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Typeable l ⇒ NoThunks (Tx l BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.Tx

Typeable l ⇒ NoThunks (TxBody l BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

HashAnnotated (TxBody l BabbageEra) EraIndependentTxBody 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

type ContextError BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxInfo

data TxInfoResult BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxInfo

data PlutusScript BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

type BlockBody BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.BlockBody

type NativeScript BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

type Script BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

type TxAuxData BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxAuxData

type TxOut BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

type TxWits BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxWits

type Value BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type TranslationContext BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type TxCert BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxCert

type TxCertUpgradeError BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxCert

type Genesis BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type AccountState BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.State.Account

type Accounts BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.State.Account

type CertState BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.State.CertState

type GovState BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

type InstantStake BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.State.Stake

type ScriptsNeeded BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.UTxO

type EraName BabbageEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type EraName BabbageEra = "Babbage"
type PreviousEra BabbageEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type ProtVerHigh BabbageEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type ProtVerLow BabbageEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

newtype TransitionConfig BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Transition

type PlutusPurpose f BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

newtype Tx l BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Tx

newtype TxBody l BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

type EraRule "BBODY" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "DELEG" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "DELEGS" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "DELPL" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "EPOCH" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "LEDGER" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "LEDGERS" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "MIR" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "NEWEPOCH" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "NEWPP" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "POOL" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "POOLREAP" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "PPUP" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "RUPD" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "SNAP" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "TICK" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "TICKF" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "UPEC" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "UTXO" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "UTXOS" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "UTXOW" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRuleEvent "LEDGER" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules

type EraRuleEvent "PPUP" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules

type EraRuleEvent "TICK" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules

type EraRuleEvent "UTXOS" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxos

type EraRuleFailure "BBODY" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Bbody

type EraRuleFailure "DELEG" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Deleg

type EraRuleFailure "DELEGS" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Delegs

type EraRuleFailure "DELPL" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Delpl

type EraRuleFailure "LEDGER" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

type EraRuleFailure "LEDGERS" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledgers

type EraRuleFailure "POOL" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Pool

type EraRuleFailure "PPUP" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ppup

type EraRuleFailure "UTXO" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxo

type EraRuleFailure "UTXOS" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxos

type EraRuleFailure "UTXOW" BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

type DowngradePParams f BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

type PParamsHKD f BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

type UpgradePParams f BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

type TranslationError BabbageEra PParams 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError BabbageEra CommitteeState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError BabbageEra DState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError BabbageEra PState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError BabbageEra FuturePParams 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError BabbageEra UTxO 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError BabbageEra ShelleyGovState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError BabbageEra EpochState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError BabbageEra LedgerState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError BabbageEra NewEpochState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError BabbageEra UTxOState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError BabbageEra ProposedPPUpdates 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError BabbageEra ShelleyAccounts 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError BabbageEra ShelleyCertState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError BabbageEra ShelleyInstantStake 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type STxLevel l BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type TranslationError BabbageEra (Tx 'TopTx) 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type Rep (PlutusScript BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

type Rep (PlutusScript BabbageEra) = D1 ('MetaData "PlutusScript" "Cardano.Ledger.Babbage.Scripts" "cardano-ledger-babbage-1.13.0.0-inplace" 'False) (C1 ('MetaCons "BabbagePlutusV1" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV1))) :+: C1 ('MetaCons "BabbagePlutusV2" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV2))))
type RawType (TxBody l BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

type Rep (Tx l BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.Tx

type Rep (Tx l BabbageEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Babbage.Tx" "cardano-ledger-babbage-1.13.0.0-inplace" 'True) (C1 ('MetaCons "MkBabbageTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unBabbageTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoTx l BabbageEra))))
type Rep (TxBody l BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

babbageOperationalCertRuleEra era ⇒ Proxy era → Rule Source #

Babbage changed operational_cert from GroupDef to Rule to match actual block serialization. See header_body instance for full explanation. Ref: PR #3762, Issue #3559

babbageProtocolVersionRuleHuddleRule "major_protocol_version" era ⇒ Proxy era → Rule Source #

Babbage changed protocol_version from GroupDef to Rule to match actual block serialization. See header_body instance for full explanation. Ref: PR #3762, Issue #3559

babbageTransactionOutput ∷ (HuddleRule "address" era, HuddleRule "value" era, HuddleRule "datum_option" era) ⇒ Proxy era → RuleRule Source #

babbageScript ∷ (HuddleRule "native_script" era, HuddleRule "plutus_v1_script" era, HuddleRule "plutus_v2_script" era) ⇒ Proxy era → Rule Source #

alonzoTransactionOutputRule ∷ (HuddleRule "address" era, HuddleRule "value" era, HuddleRule "hash32" era) ⇒ Proxy era → Rule Source #

dataRuleHuddleRule "plutus_data" era ⇒ Proxy era → Rule Source #

datumOptionRule ∷ (HuddleRule "hash32" era, HuddleRule "data" era) ⇒ Proxy era → Rule Source #

Orphan instances

HuddleGroup "account_registration_cert" BabbageEra Source # 
Instance details

HuddleGroup "account_unregistration_cert" BabbageEra Source # 
Instance details

HuddleGroup "delegation_to_stake_pool_cert" BabbageEra Source # 
Instance details

HuddleGroup "genesis_delegation_cert" BabbageEra Source # 
Instance details

HuddleGroup "move_instantaneous_rewards_cert" BabbageEra Source # 
Instance details

HuddleGroup "multi_host_name" BabbageEra Source # 
Instance details

HuddleGroup "pool_params" BabbageEra Source # 
Instance details

HuddleGroup "pool_registration_cert" BabbageEra Source # 
Instance details

HuddleGroup "pool_retirement_cert" BabbageEra Source # 
Instance details

HuddleGroup "script_all" BabbageEra Source # 
Instance details

HuddleGroup "script_any" BabbageEra Source # 
Instance details

HuddleGroup "script_invalid_before" BabbageEra Source # 
Instance details

HuddleGroup "script_invalid_hereafter" BabbageEra Source # 
Instance details

HuddleGroup "script_n_of_k" BabbageEra Source # 
Instance details

HuddleGroup "script_pubkey" BabbageEra Source # 
Instance details

HuddleGroup "single_host_addr" BabbageEra Source # 
Instance details

HuddleGroup "single_host_name" BabbageEra Source # 
Instance details

HuddleRule "alonzo_transaction_output" BabbageEra Source # 
Instance details

HuddleRule "asset_name" BabbageEra Source # 
Instance details

HuddleRule "auxiliary_data" BabbageEra Source # 
Instance details

HuddleRule "auxiliary_data_array" BabbageEra Source # 
Instance details

HuddleRule "auxiliary_data_map" BabbageEra Source # 
Instance details

HuddleRule "auxiliary_scripts" BabbageEra Source # 
Instance details

HuddleRule "big_int" BabbageEra Source # 
Instance details

HuddleRule "big_nint" BabbageEra Source # 
Instance details

HuddleRule "big_uint" BabbageEra Source # 
Instance details

HuddleRule "block" BabbageEra Source # 
Instance details

HuddleRule "bootstrap_witness" BabbageEra Source # 
Instance details

HuddleRule "bounded_bytes" BabbageEra Source # 
Instance details

HuddleRule "certificate" BabbageEra Source # 
Instance details

HuddleRule "cost_models" BabbageEra Source # 
Instance details

HuddleRule "data" BabbageEra Source # 
Instance details

HuddleRule "datum_option" BabbageEra Source # 
Instance details

HuddleRule "delta_coin" BabbageEra Source # 
Instance details

HuddleRule "distinct_bytes" BabbageEra Source # 
Instance details

HuddleRule "dns_name" BabbageEra Source # 
Instance details

HuddleRule "ex_unit_prices" BabbageEra Source # 
Instance details

HuddleRule "ex_units" BabbageEra Source # 
Instance details

HuddleRule "genesis_delegate_hash" BabbageEra Source # 
Instance details

HuddleRule "genesis_hash" BabbageEra Source # 
Instance details

HuddleRule "header" BabbageEra Source # 
Instance details

HuddleRule "header_body" BabbageEra Source # 
Instance details

HuddleRule "language" BabbageEra Source # 
Instance details

HuddleRule "major_protocol_version" BabbageEra Source # 
Instance details

HuddleRule "mint" BabbageEra Source # 
Instance details

HuddleRule "move_instantaneous_reward" BabbageEra Source # 
Instance details

HuddleRule "native_script" BabbageEra Source # 
Instance details

HuddleRule "network_id" BabbageEra Source # 
Instance details

HuddleRule "operational_cert" BabbageEra Source # 
Instance details

(Era era, HuddleRule "distinct_bytes" era) ⇒ HuddleRule "plutus_v2_script" era Source # 
Instance details

Methods

huddleRuleProxy era → Rule Source #

HuddleRule "policy_id" BabbageEra Source # 
Instance details

HuddleRule "pool_metadata" BabbageEra Source # 
Instance details

HuddleRule "positive_interval" BabbageEra Source # 
Instance details

HuddleRule "proposed_protocol_parameter_updates" BabbageEra Source # 
Instance details

HuddleRule "protocol_param_update" BabbageEra Source # 
Instance details

HuddleRule "protocol_version" BabbageEra Source # 
Instance details

HuddleRule "redeemer" BabbageEra Source # 
Instance details

HuddleRule "redeemer_tag" BabbageEra Source # 
Instance details

HuddleRule "redeemers" BabbageEra Source # 
Instance details

HuddleRule "relay" BabbageEra Source # 
Instance details

HuddleRule "required_signers" BabbageEra Source # 
Instance details

HuddleRule "script" BabbageEra Source # 
Instance details

HuddleRule "script_data_hash" BabbageEra Source # 
Instance details

HuddleRule "transaction" BabbageEra Source # 
Instance details

HuddleRule "transaction_body" BabbageEra Source # 
Instance details

HuddleRule "transaction_id" BabbageEra Source # 
Instance details

HuddleRule "transaction_input" BabbageEra Source # 
Instance details

HuddleRule "transaction_output" BabbageEra Source # 
Instance details

HuddleRule "transaction_witness_set" BabbageEra Source # 
Instance details

HuddleRule "update" BabbageEra Source # 
Instance details

HuddleRule "url" BabbageEra Source # 
Instance details

HuddleRule "value" BabbageEra Source # 
Instance details

HuddleRule "vkeywitness" BabbageEra Source # 
Instance details

HuddleRule "withdrawals" BabbageEra Source # 
Instance details

HuddleRule1 "set" BabbageEra Source # 
Instance details

Methods

huddleRule1IsType0 a ⇒ Proxy BabbageEra → a → GRuleCall Source #