cardano-ledger-shelley-1.17.0.0: Shelley Ledger Executable Model
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Shelley

Synopsis

Documentation

type Shelley = ShelleyEra Source #

Deprecated: In favor of ShelleyEra

data ShelleyEra Source #

Instances

Instances details
EraScript ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Scripts

Associated Types

type Script ShelleyEra = (r ∷ Type) Source #

type NativeScript ShelleyEra = (r ∷ Type) Source #

EraSegWits ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.BlockChain

Associated Types

type TxSeq ShelleyEra = (r ∷ Type) Source #

EraTx ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Associated Types

type Tx ShelleyEra = (r ∷ Type) Source #

EraTxAuxData ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Associated Types

type TxAuxData ShelleyEra = (r ∷ Type) Source #

EraTxBody ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

data TxBody ShelleyEra Source #

EraTxOut ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

Associated Types

type TxOut ShelleyEra = (r ∷ Type) Source #

EraTxWits ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxWits

Associated Types

type TxWits ShelleyEra = (r ∷ Type) Source #

Era ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

Methods

eraNameString Source #

EraPParams ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Methods

applyPPUpdatesPParams ShelleyEraPParamsUpdate ShelleyEraPParams ShelleyEra Source #

emptyPParamsIdentityPParamsHKD Identity ShelleyEra Source #

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

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

hkdMinFeeBL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f 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 #

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

hkdPoolDepositL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f 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, ProtVerAtMost ShelleyEra 6) ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f UnitInterval) Source #

ppDGSimpleGetter (PParams ShelleyEra) UnitInterval Source #

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

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

ppProtocolVersionLLens' (PParams ShelleyEra) ProtVer Source #

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

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

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

eraPParams ∷ [PParam ShelleyEra] Source #

EraTxCert ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Associated Types

type TxCert ShelleyEra = (r ∷ Type) Source #

type TxCertUpgradeError ShelleyEra Source #

EraGenesis ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Associated Types

type Genesis ShelleyEra Source #

EraCertState ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.State.CertState

Associated Types

type CertState ShelleyEra = (r ∷ Type) Source #

EraGov ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

Associated Types

type GovState ShelleyEra = (r ∷ Type) Source #

EraStake ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.State.Stake

Associated Types

type InstantStake ShelleyEra = (r ∷ Type) Source #

EraUTxO ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.UTxO

Associated Types

type ScriptsNeeded ShelleyEra = (r ∷ Type) Source #

ApplyTx ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.API.Mempool

ApplyBlock ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.API.Validation

ShelleyEraScript ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Scripts

EraTransition ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

Associated Types

data TransitionConfig ShelleyEra Source #

ShelleyEraTxBody ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

ShelleyEraTxCert ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

InjectRuleFailure "BBODY" ShelleyBbodyPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyDelegPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyDelegsPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyDelplPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyLedgerPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyLedgersPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyPoolPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyPpupPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyUtxoPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyUtxowPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

InjectRuleFailure "DELEG" ShelleyDelegPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

InjectRuleFailure "DELEGS" ShelleyDelegPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

InjectRuleFailure "DELEGS" ShelleyDelplPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

InjectRuleFailure "DELEGS" ShelleyPoolPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

InjectRuleFailure "DELPL" ShelleyDelegPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

InjectRuleFailure "DELPL" ShelleyDelplPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

InjectRuleFailure "DELPL" ShelleyPoolPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

InjectRuleFailure "LEDGER" ShelleyDelegPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyDelplPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyPoolPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyPpupPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

InjectRuleFailure "POOL" ShelleyPoolPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

InjectRuleFailure "PPUP" ShelleyPpupPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

InjectRuleFailure "UTXO" ShelleyPpupPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

InjectRuleFailure "UTXO" ShelleyUtxoPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

InjectRuleFailure "UTXOW" ShelleyPpupPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

Generic (TxBody ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

type Rep (TxBody ShelleyEra) ∷ TypeType #

Generic (TransitionConfig ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

Associated Types

type Rep (TransitionConfig ShelleyEra) ∷ TypeType #

Show (TxBody ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Show (TransitionConfig ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

ToCBOR (TxBody ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

DecCBOR (Annotator (TxBody ShelleyEra)) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

EncCBOR (TxBody ShelleyEra) Source #

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Shelley.TxBody

SafeToHash (TxBody ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

EqRaw (TxBody ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Memoized (TxBody ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

type RawType (TxBody ShelleyEra) = (r ∷ Type) Source #

NFData (TxBody ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

rnfTxBody ShelleyEra → () #

Eq (TxBody ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Eq (TransitionConfig ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

NoThunks (TxBody ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

NoThunks (TransitionConfig ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

HashAnnotated (TxBody ShelleyEra) EraIndependentTxBody Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type NativeScript ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Scripts

type Script ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Scripts

type Tx ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

type TxAuxData ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

newtype TxBody ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type TxOut ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

type TxSeq ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.BlockChain

type TxWits ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxWits

type Value ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type PreviousEra ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type ProtVerHigh ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type ProtVerLow ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type TranslationContext ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Translation

type TxCert ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

type TxCertUpgradeError ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

type Genesis ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

type CertState ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.State.CertState

type GovState ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

type InstantStake ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.State.Stake

type ScriptsNeeded ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.UTxO

newtype TransitionConfig ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

type EraRule "BBODY" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "DELEG" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "DELEGS" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "DELPL" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "EPOCH" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "LEDGER" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "LEDGERS" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "MIR" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "NEWEPOCH" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "NEWPP" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "POOL" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "POOLREAP" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "PPUP" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "RUPD" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "SNAP" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "TICK" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "TICKF" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "UPEC" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "UTXO" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "UTXOW" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRuleEvent "LEDGER" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type EraRuleEvent "LEDGERS" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type EraRuleEvent "NEWEPOCH" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type EraRuleEvent "POOLREAP" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type EraRuleEvent "TICK" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type EraRuleFailure "BBODY" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

type EraRuleFailure "DELEG" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type EraRuleFailure "DELEGS" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type EraRuleFailure "DELPL" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type EraRuleFailure "LEDGER" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type EraRuleFailure "LEDGERS" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type EraRuleFailure "POOL" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type EraRuleFailure "PPUP" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type EraRuleFailure "UTXO" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type EraRuleFailure "UTXOW" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

type DowngradePParams f ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

type PParamsHKD f ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

type UpgradePParams f ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

type Rep (TxBody ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

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

Defined in Cardano.Ledger.Shelley.Transition

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

Defined in Cardano.Ledger.Shelley.TxBody

data ShelleyTx era Source #

Instances

Instances details
Generic (ShelleyTx era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Associated Types

type Rep (ShelleyTx era) ∷ TypeType #

Methods

fromShelleyTx era → Rep (ShelleyTx era) x #

toRep (ShelleyTx era) x → ShelleyTx era #

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

Defined in Cardano.Ledger.Shelley.Tx

Methods

showsPrecIntShelleyTx era → ShowS #

showShelleyTx era → String #

showList ∷ [ShelleyTx era] → ShowS #

(Era era, EncCBOR (TxWits era), EncCBOR (TxBody era), EncCBOR (TxAuxData era)) ⇒ ToCBOR (ShelleyTx era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

toCBORShelleyTx era → Encoding Source #

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

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

(EraTxBody era, EraTxWits era, EraTxAuxData era) ⇒ DecCBOR (Annotator (ShelleyTx era)) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

(Era era, DecCBOR (TxBody era), DecCBOR (TxWits era), DecCBOR (TxAuxData era)) ⇒ DecCBOR (ShelleyTx era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

decCBORDecoder s (ShelleyTx era) Source #

dropCBORProxy (ShelleyTx era) → Decoder s () Source #

labelProxy (ShelleyTx era) → Text Source #

(Era era, EncCBOR (TxWits era), EncCBOR (TxBody era), EncCBOR (TxAuxData era)) ⇒ EncCBOR (ShelleyTx era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

encCBORShelleyTx era → Encoding Source #

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

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

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

Defined in Cardano.Ledger.Shelley.Tx

Methods

eqRawShelleyTx era → ShelleyTx era → Bool Source #

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

Defined in Cardano.Ledger.Shelley.Tx

Methods

rnfShelleyTx era → () #

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

Defined in Cardano.Ledger.Shelley.Tx

Methods

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

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

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

Defined in Cardano.Ledger.Shelley.Tx

type Rep (ShelleyTx era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

type Rep (ShelleyTx era) = D1 ('MetaData "ShelleyTx" "Cardano.Ledger.Shelley.Tx" "cardano-ledger-shelley-1.17.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "stBody") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxBody era)) :*: (S1 ('MetaSel ('Just "stWits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxWits era)) :*: S1 ('MetaSel ('Just "stAuxData") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (TxAuxData era))))))

data ShelleyTxOut era Source #

Instances

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

Defined in Cardano.Ledger.Shelley.TxOut

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

Defined in Cardano.Ledger.Shelley.TxOut

Methods

showsPrecIntShelleyTxOut era → ShowS #

showShelleyTxOut era → String #

showList ∷ [ShelleyTxOut era] → ShowS #

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

Defined in Cardano.Ledger.Shelley.TxOut

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

Defined in Cardano.Ledger.Shelley.TxOut

Methods

toCBORShelleyTxOut era → Encoding Source #

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

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

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

Defined in Cardano.Ledger.Shelley.TxOut

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

Defined in Cardano.Ledger.Shelley.TxOut

Associated Types

type Share (ShelleyTxOut era) Source #

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

Defined in Cardano.Ledger.Shelley.TxOut

Methods

encCBORShelleyTxOut era → Encoding Source #

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

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

(Era era, Val (Value era)) ⇒ ToKeyValuePairs (ShelleyTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

Methods

toKeyValuePairsKeyValue e kv ⇒ ShelleyTxOut era → [kv] Source #

NFData (ShelleyTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

Methods

rnfShelleyTxOut era → () #

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

Defined in Cardano.Ledger.Shelley.TxOut

Methods

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

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

(Era era, MemPack (CompactForm (Value era))) ⇒ MemPack (ShelleyTxOut era) Source #

This instance uses a zero Tag for forward compatibility in binary representation with TxOut instances for future eras

Instance details

Defined in Cardano.Ledger.Shelley.TxOut

NoThunks (ShelleyTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

type Share (ShelleyTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

data family TxBody era Source #

The body of a transaction.

Instances

Instances details
Generic (TxBody ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

type Rep (TxBody ShelleyEra) ∷ TypeType #

Show (TxBody ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

ToCBOR (TxBody ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

DecCBOR (Annotator (TxBody ShelleyEra)) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

EncCBOR (TxBody ShelleyEra) Source #

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Shelley.TxBody

SafeToHash (TxBody ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

EqRaw (TxBody ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Memoized (TxBody ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

type RawType (TxBody ShelleyEra) = (r ∷ Type) Source #

NFData (TxBody ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

rnfTxBody ShelleyEra → () #

Eq (TxBody ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

NoThunks (TxBody ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

HashAnnotated (TxBody ShelleyEra) EraIndependentTxBody Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

newtype TxBody ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep (TxBody ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

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

Defined in Cardano.Ledger.Shelley.TxBody

data ShelleyTxAuxData era Source #

Instances

Instances details
Generic (ShelleyTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Associated Types

type Rep (ShelleyTxAuxData era) ∷ TypeType #

Methods

fromShelleyTxAuxData era → Rep (ShelleyTxAuxData era) x #

toRep (ShelleyTxAuxData era) x → ShelleyTxAuxData era #

Show (ShelleyTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

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

Defined in Cardano.Ledger.Shelley.TxAuxData

Methods

toCBORShelleyTxAuxData era → Encoding Source #

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

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

Era era ⇒ DecCBOR (Annotator (ShelleyTxAuxData era)) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Era era ⇒ EncCBOR (ShelleyTxAuxData era) Source #

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Methods

encCBORShelleyTxAuxData era → Encoding Source #

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

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

SafeToHash (ShelleyTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

EqRaw (ShelleyTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Methods

eqRawShelleyTxAuxData era → ShelleyTxAuxData era → Bool Source #

Memoized (ShelleyTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Associated Types

type RawType (ShelleyTxAuxData era) = (r ∷ Type) Source #

NFData (ShelleyTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Methods

rnfShelleyTxAuxData era → () #

Eq (ShelleyTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Methods

(==)ShelleyTxAuxData era → ShelleyTxAuxData era → Bool #

(/=)ShelleyTxAuxData era → ShelleyTxAuxData era → Bool #

NoThunks (ShelleyTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

HashAnnotated (ShelleyTxAuxData era) EraIndependentTxAuxData Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

type Rep (ShelleyTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

type Rep (ShelleyTxAuxData era) = D1 ('MetaData "ShelleyTxAuxData" "Cardano.Ledger.Shelley.TxAuxData" "cardano-ledger-shelley-1.17.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxAuxData" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxAuxDataRaw era)))))
type RawType (ShelleyTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

nativeMultiSigTagByteString Source #

Magic number "memorialized" in the ValidateScript class under the method: scriptPrefixTag:: Core.Script era -> Bs.ByteString, for the Shelley Era.

hardforkAlonzoAllowMIRTransferProtVerBool Source #

Starting with protocol version 5, the MIR certs will also be able to transfer funds between the reserves and the treasury. Additionally, the semantics for the pervious functionality will change a bit. Before version 5 redundancies in the instantaneous reward mapping were handled by overriding. Now they are handled by adding the values and allowing for negatives updates, provided the sum for each key remains positive.

hardforkAlonzoValidatePoolRewardAccountNetIDProtVerBool Source #

Starting with protocol version 5, we will validate the network ID for the reward account listed in stake pool registration certificates.

hardforkBabbageForgoRewardPrefilterProtVerBool Source #

Starting with protocol version 7, the reward calculation no longer filters out unregistered stake addresses at the moment the calculation begins. See the Shelley Ledger Errata 17.2.