cardano-ledger-shelley-1.18.0.0: Shelley Ledger Executable Model
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.Shelley

Synopsis

Documentation

data ShelleyEra Source #

Instances

Instances details
EraBlockBody ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.BlockBody.Internal

Associated Types

type BlockBody ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.BlockBody.Internal

type BlockBody ShelleyEra = ShelleyBlockBody ShelleyEra

Methods

mkBasicBlockBody ∷ BlockBody ShelleyEra Source #

txSeqBlockBodyL ∷ Lens' (BlockBody ShelleyEra) (StrictSeq (Tx 'TopTx ShelleyEra)) Source #

hashBlockBody ∷ BlockBody ShelleyEra → Hash HASH EraIndependentBlockBody Source #

numSegComponents ∷ Word64 Source #

EraScript ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Scripts

Associated Types

type Script ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Scripts

type Script ShelleyEra = MultiSig ShelleyEra
type NativeScript ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Scripts

type NativeScript ShelleyEra = MultiSig ShelleyEra

Methods

upgradeScript ∷ Script (PreviousEra ShelleyEra) → Script ShelleyEra Source #

scriptPrefixTag ∷ Script ShelleyEra → ByteString Source #

getNativeScript ∷ Script ShelleyEra → Maybe (NativeScript ShelleyEra) Source #

fromNativeScript ∷ NativeScript ShelleyEra → Script ShelleyEra Source #

EraTx ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Associated Types

newtype Tx l ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

newtype Tx l ShelleyEra = MkShelleyTx {}

Methods

mkBasicTx ∷ ∀ (l ∷ TxLevel). TxBody l ShelleyEra → Tx l ShelleyEra Source #

bodyTxL ∷ ∀ (l ∷ TxLevel). Lens' (Tx l ShelleyEra) (TxBody l ShelleyEra) Source #

witsTxL ∷ ∀ (l ∷ TxLevel). Lens' (Tx l ShelleyEra) (TxWits ShelleyEra) Source #

auxDataTxL ∷ ∀ (l ∷ TxLevel). Lens' (Tx l ShelleyEra) (StrictMaybe (TxAuxData ShelleyEra)) Source #

sizeTxF ∷ ∀ (l ∷ TxLevel). HasCallStack ⇒ SimpleGetter (Tx l ShelleyEra) Word32 Source #

sizeTxForFeeCalculation ∷ ∀ (l ∷ TxLevel). (HasCallStack, SafeToHash (TxWits ShelleyEra), Typeable l) ⇒ Tx l ShelleyEra → Word32 Source #

validateNativeScript ∷ ∀ (l ∷ TxLevel). Tx l ShelleyEra → NativeScript ShelleyEra → Bool Source #

getMinFeeTx ∷ ∀ (l ∷ TxLevel). PParams ShelleyEra → Tx l ShelleyEra → Int → Coin Source #

EraTxAuxData ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Associated Types

type TxAuxData ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

type TxAuxData ShelleyEra = ShelleyTxAuxData ShelleyEra

Methods

mkBasicTxAuxData ∷ TxAuxData ShelleyEra Source #

metadataTxAuxDataL ∷ Lens' (TxAuxData ShelleyEra) (Map Word64 Metadatum) Source #

validateTxAuxData ∷ ProtVer → TxAuxData ShelleyEra → Bool Source #

EraTxBody ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

newtype TxBody l ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

newtype TxBody l ShelleyEra = MkShelleyTxBody (MemoBytes (ShelleyTxBodyRaw l ShelleyEra))

Methods

mkBasicTxBody ∷ ∀ (l ∷ TxLevel). Typeable l ⇒ TxBody l ShelleyEra Source #

inputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ShelleyEra) (Set TxIn) Source #

outputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ShelleyEra) (StrictSeq (TxOut ShelleyEra)) Source #

feeTxBodyL ∷ Lens' (TxBody 'TopTx ShelleyEra) Coin Source #

withdrawalsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ShelleyEra) Withdrawals Source #

auxDataHashTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ShelleyEra) (StrictMaybe TxAuxDataHash) Source #

spendableInputsTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l ShelleyEra) (Set TxIn) Source #

allInputsTxBodyF ∷ SimpleGetter (TxBody 'TopTx ShelleyEra) (Set TxIn) Source #

certsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ShelleyEra) (StrictSeq (TxCert ShelleyEra)) Source #

getTotalDepositsTxBody ∷ ∀ (l ∷ TxLevel). PParams ShelleyEra → (KeyHash 'StakePool → Bool) → TxBody l ShelleyEra → Coin Source #

getTotalRefundsTxBody ∷ ∀ (l ∷ TxLevel). PParams ShelleyEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → TxBody l ShelleyEra → Coin Source #

getGenesisKeyHashCountTxBody ∷ TxBody 'TopTx ShelleyEra → Int Source #

EraTxOut ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

Associated Types

type TxOut ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

type TxOut ShelleyEra = ShelleyTxOut ShelleyEra

Methods

mkBasicTxOut ∷ Addr → Value ShelleyEra → TxOut ShelleyEra Source #

upgradeTxOut ∷ TxOut (PreviousEra ShelleyEra) → TxOut ShelleyEra Source #

valueTxOutL ∷ Lens' (TxOut ShelleyEra) (Value ShelleyEra) Source #

compactValueTxOutL ∷ Lens' (TxOut ShelleyEra) (CompactForm (Value ShelleyEra)) Source #

valueEitherTxOutL ∷ Lens' (TxOut ShelleyEra) (Either (Value ShelleyEra) (CompactForm (Value ShelleyEra))) Source #

addrTxOutL ∷ Lens' (TxOut ShelleyEra) Addr Source #

compactAddrTxOutL ∷ Lens' (TxOut ShelleyEra) CompactAddr Source #

addrEitherTxOutL ∷ Lens' (TxOut ShelleyEra) (Either Addr CompactAddr) Source #

getMinCoinSizedTxOut ∷ PParams ShelleyEra → Sized (TxOut ShelleyEra) → Coin Source #

getMinCoinTxOut ∷ PParams ShelleyEra → TxOut ShelleyEra → Coin Source #

EraTxWits ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxWits

Associated Types

type TxWits ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxWits

type TxWits ShelleyEra = ShelleyTxWits ShelleyEra

Methods

mkBasicTxWits ∷ TxWits ShelleyEra Source #

addrTxWitsL ∷ Lens' (TxWits ShelleyEra) (Set (WitVKey 'Witness)) Source #

bootAddrTxWitsL ∷ Lens' (TxWits ShelleyEra) (Set BootstrapWitness) Source #

scriptTxWitsL ∷ Lens' (TxWits ShelleyEra) (Map ScriptHash (Script ShelleyEra)) Source #

EraPParams ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Associated Types

type PParamsHKD f ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

type PParamsHKD f ShelleyEra = ShelleyPParams f ShelleyEra
type UpgradePParams f ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

type UpgradePParams f ShelleyEra = Void
type DowngradePParams f ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

type DowngradePParams f ShelleyEra = Void

Methods

applyPPUpdates ∷ PParams ShelleyEra → PParamsUpdate ShelleyEra → PParams ShelleyEra Source #

emptyPParamsIdentity ∷ PParamsHKD Identity ShelleyEra Source #

emptyPParamsStrictMaybe ∷ PParamsHKD StrictMaybe ShelleyEra Source #

emptyUpgradePParamsUpdate ∷ UpgradePParams StrictMaybe ShelleyEra Source #

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

downgradePParamsHKD ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, EraPParams (PreviousEra ShelleyEra)) ⇒ DowngradePParams f ShelleyEra → PParamsHKD f ShelleyEra → PParamsHKD f (PreviousEra ShelleyEra) Source #

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

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

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

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

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

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

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

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

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

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

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

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

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

ppDG ∷ SimpleGetter (PParams ShelleyEra) UnitInterval Source #

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

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

ppProtocolVersionL ∷ Lens' (PParams ShelleyEra) ProtVer Source #

ppuProtocolVersionL ∷ Lens' (PParamsUpdate ShelleyEra) (StrictMaybe ProtVer) Source #

hkdMinUTxOValueL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, AtMostEra "Mary" ShelleyEra) ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f Coin) Source #

hkdMinPoolCostL ∷ ∀ (f ∷ Type → Type). 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 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

type TxCert ShelleyEra = ShelleyTxCert ShelleyEra
type TxCertUpgradeError ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

type TxCertUpgradeError ShelleyEra = Void

Methods

upgradeTxCert ∷ TxCert (PreviousEra ShelleyEra) → Either (TxCertUpgradeError ShelleyEra) (TxCert ShelleyEra) Source #

getVKeyWitnessTxCert ∷ TxCert ShelleyEra → Maybe (KeyHash 'Witness) Source #

getScriptWitnessTxCert ∷ TxCert ShelleyEra → Maybe ScriptHash Source #

mkRegPoolTxCert ∷ StakePoolParams → TxCert ShelleyEra Source #

getRegPoolTxCert ∷ TxCert ShelleyEra → Maybe StakePoolParams Source #

mkRetirePoolTxCert ∷ KeyHash 'StakePool → EpochNo → TxCert ShelleyEra Source #

getRetirePoolTxCert ∷ TxCert ShelleyEra → Maybe (KeyHash 'StakePool, EpochNo) Source #

lookupRegStakeTxCert ∷ TxCert ShelleyEra → Maybe (Credential 'Staking) Source #

lookupUnRegStakeTxCert ∷ TxCert ShelleyEra → Maybe (Credential 'Staking) Source #

getTotalDepositsTxCerts ∷ Foldable f ⇒ PParams ShelleyEra → (KeyHash 'StakePool → Bool) → f (TxCert ShelleyEra) → Coin Source #

getTotalRefundsTxCerts ∷ Foldable f ⇒ PParams ShelleyEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → f (TxCert ShelleyEra) → Coin Source #

EraTxLevel ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

Associated Types

type STxLevel l ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type STxLevel l ShelleyEra = STxTopLevel l ShelleyEra
EraGenesis ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Associated Types

type Genesis ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

type Genesis ShelleyEra = ShelleyGenesis
EraAccounts ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.State.Account

Associated Types

type AccountState ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.State.Account

type AccountState ShelleyEra = ShelleyAccountState ShelleyEra
type Accounts ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.State.Account

type Accounts ShelleyEra = ShelleyAccounts ShelleyEra

Methods

addAccountState ∷ Credential 'Staking → AccountState ShelleyEra → Accounts ShelleyEra → Accounts ShelleyEra Source #

accountsMapL ∷ Lens' (Accounts ShelleyEra) (Map (Credential 'Staking) (AccountState ShelleyEra)) Source #

balanceAccountStateL ∷ Lens' (AccountState ShelleyEra) (CompactForm Coin) Source #

depositAccountStateL ∷ Lens' (AccountState ShelleyEra) (CompactForm Coin) Source #

stakePoolDelegationAccountStateL ∷ Lens' (AccountState ShelleyEra) (Maybe (KeyHash 'StakePool)) Source #

unregisterAccount ∷ Credential 'Staking → Accounts ShelleyEra → (Maybe (AccountState ShelleyEra), Accounts ShelleyEra) Source #

EraCertState ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.State.CertState

Associated Types

type CertState ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.State.CertState

type CertState ShelleyEra = ShelleyCertState ShelleyEra

Methods

certDStateL ∷ Lens' (CertState ShelleyEra) (DState ShelleyEra) Source #

certPStateL ∷ Lens' (CertState ShelleyEra) (PState ShelleyEra) Source #

obligationCertState ∷ CertState ShelleyEra → Obligations Source #

certsTotalDepositsTxBody ∷ ∀ (t ∷ TxLevel). EraTxBody ShelleyEra ⇒ PParams ShelleyEra → CertState ShelleyEra → TxBody t ShelleyEra → Coin Source #

certsTotalRefundsTxBody ∷ ∀ (t ∷ TxLevel). EraTxBody ShelleyEra ⇒ PParams ShelleyEra → CertState ShelleyEra → TxBody t ShelleyEra → Coin Source #

EraGov ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

Associated Types

type GovState ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

type GovState ShelleyEra = ShelleyGovState ShelleyEra

Methods

emptyGovState ∷ GovState ShelleyEra Source #

curPParamsGovStateL ∷ Lens' (GovState ShelleyEra) (PParams ShelleyEra) Source #

prevPParamsGovStateL ∷ Lens' (GovState ShelleyEra) (PParams ShelleyEra) Source #

futurePParamsGovStateL ∷ Lens' (GovState ShelleyEra) (FuturePParams ShelleyEra) Source #

obligationGovState ∷ GovState ShelleyEra → Obligations Source #

EraStake ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.State.Stake

Associated Types

type InstantStake ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.State.Stake

type InstantStake ShelleyEra = ShelleyInstantStake ShelleyEra

Methods

instantStakeCredentialsL ∷ Lens' (InstantStake ShelleyEra) (Map (Credential 'Staking) (CompactForm Coin)) Source #

addInstantStake ∷ UTxO ShelleyEra → InstantStake ShelleyEra → InstantStake ShelleyEra Source #

deleteInstantStake ∷ UTxO ShelleyEra → InstantStake ShelleyEra → InstantStake ShelleyEra Source #

resolveInstantStake ∷ InstantStake ShelleyEra → Accounts ShelleyEra → Stake Source #

EraUTxO ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.UTxO

Associated Types

type ScriptsNeeded ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.UTxO

type ScriptsNeeded ShelleyEra = ShelleyScriptsNeeded ShelleyEra

Methods

consumed ∷ ∀ (t ∷ TxLevel). PParams ShelleyEra → CertState ShelleyEra → UTxO ShelleyEra → TxBody t ShelleyEra → Value ShelleyEra Source #

getConsumedValue ∷ ∀ (t ∷ TxLevel). PParams ShelleyEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → UTxO ShelleyEra → TxBody t ShelleyEra → Value ShelleyEra Source #

getProducedValue ∷ ∀ (t ∷ TxLevel). PParams ShelleyEra → (KeyHash 'StakePool → Bool) → TxBody t ShelleyEra → Value ShelleyEra Source #

getScriptsProvided ∷ ∀ (t ∷ TxLevel). UTxO ShelleyEra → Tx t ShelleyEra → ScriptsProvided ShelleyEra Source #

getScriptsNeeded ∷ ∀ (t ∷ TxLevel). UTxO ShelleyEra → TxBody t ShelleyEra → ScriptsNeeded ShelleyEra Source #

getScriptsHashesNeeded ∷ ScriptsNeeded ShelleyEra → Set ScriptHash Source #

getWitsVKeyNeeded ∷ ∀ (t ∷ TxLevel). CertState ShelleyEra → UTxO ShelleyEra → TxBody t ShelleyEra → Set (KeyHash 'Witness) Source #

getMinFeeTxUtxo ∷ ∀ (t ∷ TxLevel). PParams ShelleyEra → Tx t ShelleyEra → UTxO ShelleyEra → Coin Source #

Era ShelleyEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Associated Types

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 PreviousEra ShelleyEra = ByronEra
type ProtVerLow ShelleyEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type ProtVerLow ShelleyEra = 2
type ProtVerHigh ShelleyEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type ProtVerHigh ShelleyEra = ProtVerLow ShelleyEra

Methods

eraName ∷ String Source #

ApplyTx ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.API.Mempool

Methods

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

ApplyBlock ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.API.Validation

Methods

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

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

ShelleyEraScript ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Scripts

Methods

mkRequireSignature ∷ KeyHash 'Witness → NativeScript ShelleyEra Source #

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

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

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

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

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

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

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

ShelleyEraAccounts ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.State.Account

Methods

mkShelleyAccountState ∷ Ptr → CompactForm Coin → AccountState ShelleyEra Source #

accountsPtrsMapL ∷ Lens' (Accounts ShelleyEra) (Map Ptr (Credential 'Staking))

accountsPtrsMapG ∷ SimpleGetter (Accounts ShelleyEra) (Map Ptr (Credential 'Staking)) Source #

ptrAccountStateG ∷ SimpleGetter (AccountState ShelleyEra) Ptr Source #

EraTransition ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

Associated Types

newtype TransitionConfig ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

newtype TransitionConfig ShelleyEra = ShelleyTransitionConfig {}

Methods

mkTransitionConfig ∷ TranslationContext ShelleyEra → TransitionConfig (PreviousEra ShelleyEra) → TransitionConfig ShelleyEra Source #

injectIntoTestState ∷ TransitionConfig ShelleyEra → NewEpochState ShelleyEra → NewEpochState ShelleyEra Source #

tcPreviousEraConfigL ∷ Lens' (TransitionConfig ShelleyEra) (TransitionConfig (PreviousEra ShelleyEra)) Source #

tcTranslationContextL ∷ Lens' (TransitionConfig ShelleyEra) (TranslationContext ShelleyEra) Source #

tcShelleyGenesisL ∷ Lens' (TransitionConfig ShelleyEra) ShelleyGenesis Source #

tcInitialPParamsG ∷ SimpleGetter (TransitionConfig ShelleyEra) (PParams ShelleyEra) Source #

toTransitionConfigKeyValuePairs ∷ KeyValue e a ⇒ TransitionConfig ShelleyEra → [a]

parseTransitionConfigJSON ∷ Value → Parser (TransitionConfig ShelleyEra)

ShelleyEraTxBody ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

ttlTxBodyL ∷ Lens' (TxBody 'TopTx ShelleyEra) SlotNo Source #

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

ShelleyEraTxCert ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

mkRegTxCert ∷ StakeCredential → TxCert ShelleyEra Source #

getRegTxCert ∷ TxCert ShelleyEra → Maybe StakeCredential Source #

mkUnRegTxCert ∷ StakeCredential → TxCert ShelleyEra Source #

getUnRegTxCert ∷ TxCert ShelleyEra → Maybe StakeCredential Source #

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

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

mkGenesisDelegTxCert ∷ GenesisDelegCert → TxCert ShelleyEra Source #

getGenesisDelegTxCert ∷ TxCert ShelleyEra → Maybe GenesisDelegCert Source #

mkMirTxCert ∷ MIRCert → TxCert ShelleyEra Source #

getMirTxCert ∷ TxCert ShelleyEra → Maybe MIRCert Source #

HasEraTxLevel Tx ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

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

HasEraTxLevel TxBody ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

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

HasEraTxLevel ShelleyTxBodyRaw ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). ShelleyTxBodyRaw l ShelleyEra → STxLevel l ShelleyEra Source #

InjectRuleFailure "BBODY" ShelleyBbodyPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

Methods

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

InjectRuleFailure "BBODY" ShelleyDelegPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

Methods

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

InjectRuleFailure "BBODY" ShelleyDelegsPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

Methods

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

InjectRuleFailure "BBODY" ShelleyDelplPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

Methods

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

InjectRuleFailure "BBODY" ShelleyLedgerPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

Methods

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

InjectRuleFailure "BBODY" ShelleyLedgersPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

Methods

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

InjectRuleFailure "BBODY" ShelleyPoolPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

Methods

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

InjectRuleFailure "BBODY" ShelleyPpupPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

Methods

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

InjectRuleFailure "BBODY" ShelleyUtxoPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

Methods

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

InjectRuleFailure "BBODY" ShelleyUtxowPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

Methods

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

InjectRuleFailure "DELEG" ShelleyDelegPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

Methods

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

InjectRuleFailure "DELEGS" ShelleyDelegPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

Methods

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

InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

Methods

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

InjectRuleFailure "DELEGS" ShelleyDelplPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

Methods

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

InjectRuleFailure "DELEGS" ShelleyPoolPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

Methods

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

InjectRuleFailure "DELPL" ShelleyDelegPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

Methods

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

InjectRuleFailure "DELPL" ShelleyDelplPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

Methods

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

InjectRuleFailure "DELPL" ShelleyPoolPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

Methods

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

InjectRuleFailure "LEDGER" ShelleyDelegPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

Methods

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

InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

Methods

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

InjectRuleFailure "LEDGER" ShelleyDelplPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

Methods

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

InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

Methods

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

InjectRuleFailure "LEDGER" ShelleyPoolPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

Methods

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

InjectRuleFailure "LEDGER" ShelleyPpupPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

Methods

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

InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

Methods

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

InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

Methods

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

InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

Methods

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

InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

Methods

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

InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

Methods

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

InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

Methods

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

InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

Methods

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

InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

Methods

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

InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

Methods

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

InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

Methods

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

InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

Methods

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

InjectRuleFailure "POOL" ShelleyPoolPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

Methods

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

InjectRuleFailure "PPUP" ShelleyPpupPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

Methods

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

InjectRuleFailure "UTXO" ShelleyPpupPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

Methods

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

InjectRuleFailure "UTXO" ShelleyUtxoPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

Methods

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

InjectRuleFailure "UTXOW" ShelleyPpupPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

Methods

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

InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

Methods

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

InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

Methods

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

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

Defined in Cardano.Ledger.Shelley.Tx

Methods

decCBOR ∷ Decoder s (Annotator (Tx l ShelleyEra)) Source #

dropCBOR ∷ Proxy (Annotator (Tx l ShelleyEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (Tx l ShelleyEra)) → Text Source #

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

Defined in Cardano.Ledger.Shelley.TxBody

Methods

decCBOR ∷ Decoder s (Annotator (TxBody l ShelleyEra)) Source #

dropCBOR ∷ Proxy (Annotator (TxBody l ShelleyEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (TxBody l ShelleyEra)) → Text Source #

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

Defined in Cardano.Ledger.Shelley.TxBody

Methods

decCBOR ∷ Decoder s (Annotator (ShelleyTxBodyRaw l ShelleyEra)) Source #

dropCBOR ∷ Proxy (Annotator (ShelleyTxBodyRaw l ShelleyEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (ShelleyTxBodyRaw l ShelleyEra)) → Text Source #

Generic (TransitionConfig ShelleyEra) Source # 
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)))

Methods

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

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

Show (TransitionConfig ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

Methods

showsPrec ∷ Int → TransitionConfig ShelleyEra → ShowS #

show ∷ TransitionConfig ShelleyEra → String #

showList ∷ [TransitionConfig ShelleyEra] → ShowS #

Eq (TransitionConfig ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

Methods

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

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

NoThunks (TransitionConfig ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

Methods

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

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

showTypeOf ∷ Proxy (TransitionConfig ShelleyEra) → String Source #

Typeable l ⇒ ToCBOR (Tx l ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

toCBOR ∷ Tx l ShelleyEra → Encoding 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) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

toCBOR ∷ TxBody l ShelleyEra → Encoding 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) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

decCBOR ∷ Decoder s (ShelleyTxBodyRaw l ShelleyEra) Source #

dropCBOR ∷ Proxy (ShelleyTxBodyRaw l ShelleyEra) → Decoder s () Source #

label ∷ Proxy (ShelleyTxBodyRaw l ShelleyEra) → Text Source #

EncCBOR (Tx l ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

encCBOR ∷ Tx l ShelleyEra → Encoding Source #

EncCBOR (TxBody l ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

encCBOR ∷ TxBody l ShelleyEra → Encoding Source #

SafeToHash (TxBody l ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

originalBytes ∷ TxBody l ShelleyEra → ByteString Source #

originalBytesSize ∷ TxBody l ShelleyEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → TxBody l ShelleyEra → SafeHash i Source #

EqRaw (Tx l ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

eqRaw ∷ Tx l ShelleyEra → Tx l ShelleyEra → Bool Source #

EqRaw (TxBody l ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

eqRaw ∷ TxBody l ShelleyEra → TxBody l ShelleyEra → Bool Source #

Memoized (TxBody l ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

type RawType (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type RawType (TxBody l ShelleyEra) = ShelleyTxBodyRaw l ShelleyEra

Methods

getMemoBytes ∷ TxBody l ShelleyEra → MemoBytes (RawType (TxBody l ShelleyEra))

wrapMemoBytes ∷ MemoBytes (RawType (TxBody l ShelleyEra)) → TxBody l ShelleyEra

NFData (Tx l ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

rnf ∷ Tx l ShelleyEra → () #

NFData (TxBody l ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

rnf ∷ TxBody l ShelleyEra → () #

Generic (Tx l ShelleyEra) Source # 
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

from ∷ Tx l ShelleyEra → Rep (Tx l ShelleyEra) x #

to ∷ Rep (Tx l ShelleyEra) x → Tx l ShelleyEra #

Generic (TxBody l ShelleyEra) Source # 
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 ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxBodyRaw l ShelleyEra)))))

Methods

from ∷ TxBody l ShelleyEra → Rep (TxBody l ShelleyEra) x #

to ∷ Rep (TxBody l ShelleyEra) x → TxBody l ShelleyEra #

Show (Tx l ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

showsPrec ∷ Int → Tx l ShelleyEra → ShowS #

show ∷ Tx l ShelleyEra → String #

showList ∷ [Tx l ShelleyEra] → ShowS #

Show (TxBody l ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

showsPrec ∷ Int → TxBody l ShelleyEra → ShowS #

show ∷ TxBody l ShelleyEra → String #

showList ∷ [TxBody l ShelleyEra] → ShowS #

Eq (Tx l ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

(==) ∷ Tx l ShelleyEra → Tx l ShelleyEra → Bool #

(/=) ∷ Tx l ShelleyEra → Tx l ShelleyEra → Bool #

Eq (TxBody l ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

(==) ∷ TxBody l ShelleyEra → TxBody l ShelleyEra → Bool #

(/=) ∷ TxBody l ShelleyEra → TxBody l ShelleyEra → Bool #

Typeable l ⇒ NoThunks (Tx l ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

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

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

showTypeOf ∷ Proxy (Tx l ShelleyEra) → String Source #

Typeable l ⇒ NoThunks (TxBody l ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

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

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

showTypeOf ∷ Proxy (TxBody l ShelleyEra) → String Source #

HashAnnotated (TxBody l ShelleyEra) EraIndependentTxBody Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

hashAnnotated ∷ TxBody l ShelleyEra → SafeHash EraIndependentTxBody Source #

type BlockBody ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.BlockBody.Internal

type BlockBody ShelleyEra = ShelleyBlockBody ShelleyEra
type NativeScript ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Scripts

type NativeScript ShelleyEra = MultiSig ShelleyEra
type Script ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Scripts

type Script ShelleyEra = MultiSig ShelleyEra
type TxAuxData ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

type TxAuxData ShelleyEra = ShelleyTxAuxData ShelleyEra
type TxOut ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

type TxOut ShelleyEra = ShelleyTxOut ShelleyEra
type TxWits ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxWits

type TxWits ShelleyEra = ShelleyTxWits ShelleyEra
type Value ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type Value ShelleyEra = Coin
type TranslationContext ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Translation

type TranslationContext ShelleyEra = FromByronTranslationContext
type TxCert ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

type TxCert ShelleyEra = ShelleyTxCert ShelleyEra
type TxCertUpgradeError ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

type TxCertUpgradeError ShelleyEra = Void
type Genesis ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

type Genesis ShelleyEra = ShelleyGenesis
type AccountState ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.State.Account

type AccountState ShelleyEra = ShelleyAccountState ShelleyEra
type Accounts ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.State.Account

type Accounts ShelleyEra = ShelleyAccounts ShelleyEra
type CertState ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.State.CertState

type CertState ShelleyEra = ShelleyCertState ShelleyEra
type GovState ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

type GovState ShelleyEra = ShelleyGovState ShelleyEra
type InstantStake ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.State.Stake

type InstantStake ShelleyEra = ShelleyInstantStake ShelleyEra
type ScriptsNeeded ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.UTxO

type ScriptsNeeded ShelleyEra = ShelleyScriptsNeeded ShelleyEra
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 PreviousEra ShelleyEra = ByronEra
type ProtVerHigh ShelleyEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type ProtVerHigh ShelleyEra = ProtVerLow ShelleyEra
type ProtVerLow ShelleyEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type ProtVerLow ShelleyEra = 2
newtype TransitionConfig ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

newtype TransitionConfig ShelleyEra = ShelleyTransitionConfig {}
newtype Tx l ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

newtype Tx l ShelleyEra = MkShelleyTx {}
newtype TxBody l ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

newtype TxBody l ShelleyEra = MkShelleyTxBody (MemoBytes (ShelleyTxBodyRaw l ShelleyEra))
type EraRule "BBODY" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "BBODY" ShelleyEra = ShelleyBBODY ShelleyEra
type EraRule "DELEG" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "DELEG" ShelleyEra = ShelleyDELEG ShelleyEra
type EraRule "DELEGS" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "DELEGS" ShelleyEra = ShelleyDELEGS ShelleyEra
type EraRule "DELPL" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "DELPL" ShelleyEra = ShelleyDELPL ShelleyEra
type EraRule "EPOCH" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "EPOCH" ShelleyEra = ShelleyEPOCH ShelleyEra
type EraRule "LEDGER" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "LEDGER" ShelleyEra = ShelleyLEDGER ShelleyEra
type EraRule "LEDGERS" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "LEDGERS" ShelleyEra = ShelleyLEDGERS ShelleyEra
type EraRule "MIR" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "MIR" ShelleyEra = ShelleyMIR ShelleyEra
type EraRule "NEWEPOCH" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "NEWEPOCH" ShelleyEra = ShelleyNEWEPOCH ShelleyEra
type EraRule "NEWPP" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "NEWPP" ShelleyEra = ShelleyNEWPP ShelleyEra
type EraRule "POOL" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "POOL" ShelleyEra = ShelleyPOOL ShelleyEra
type EraRule "POOLREAP" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "POOLREAP" ShelleyEra = ShelleyPOOLREAP ShelleyEra
type EraRule "PPUP" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "PPUP" ShelleyEra = ShelleyPPUP ShelleyEra
type EraRule "RUPD" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "RUPD" ShelleyEra = ShelleyRUPD ShelleyEra
type EraRule "SNAP" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "SNAP" ShelleyEra = ShelleySNAP ShelleyEra
type EraRule "TICK" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "TICK" ShelleyEra = ShelleyTICK ShelleyEra
type EraRule "TICKF" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "TICKF" ShelleyEra = ShelleyTICKF ShelleyEra
type EraRule "UPEC" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "UPEC" ShelleyEra = ShelleyUPEC ShelleyEra
type EraRule "UTXO" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "UTXO" ShelleyEra = ShelleyUTXO ShelleyEra
type EraRule "UTXOW" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "UTXOW" ShelleyEra = ShelleyUTXOW ShelleyEra
type EraRuleEvent "LEDGER" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type EraRuleEvent "LEDGER" ShelleyEra = ShelleyLedgerEvent ShelleyEra
type EraRuleEvent "LEDGERS" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type EraRuleEvent "LEDGERS" ShelleyEra = ShelleyLedgersEvent ShelleyEra
type EraRuleEvent "NEWEPOCH" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type EraRuleEvent "NEWEPOCH" ShelleyEra = ShelleyNewEpochEvent ShelleyEra
type EraRuleEvent "POOLREAP" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type EraRuleEvent "POOLREAP" ShelleyEra = ShelleyPoolreapEvent ShelleyEra
type EraRuleEvent "TICK" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type EraRuleEvent "TICK" ShelleyEra = ShelleyTickEvent ShelleyEra
type EraRuleFailure "BBODY" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

type EraRuleFailure "BBODY" ShelleyEra = ShelleyBbodyPredFailure ShelleyEra
type EraRuleFailure "DELEG" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type EraRuleFailure "DELEG" ShelleyEra = ShelleyDelegPredFailure ShelleyEra
type EraRuleFailure "DELEGS" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type EraRuleFailure "DELEGS" ShelleyEra = ShelleyDelegsPredFailure ShelleyEra
type EraRuleFailure "DELPL" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type EraRuleFailure "DELPL" ShelleyEra = ShelleyDelplPredFailure ShelleyEra
type EraRuleFailure "LEDGER" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type EraRuleFailure "LEDGER" ShelleyEra = ShelleyLedgerPredFailure ShelleyEra
type EraRuleFailure "LEDGERS" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type EraRuleFailure "LEDGERS" ShelleyEra = ShelleyLedgersPredFailure ShelleyEra
type EraRuleFailure "POOL" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type EraRuleFailure "POOL" ShelleyEra = ShelleyPoolPredFailure ShelleyEra
type EraRuleFailure "PPUP" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type EraRuleFailure "PPUP" ShelleyEra = ShelleyPpupPredFailure ShelleyEra
type EraRuleFailure "UTXO" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type EraRuleFailure "UTXO" ShelleyEra = ShelleyUtxoPredFailure ShelleyEra
type EraRuleFailure "UTXOW" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

type EraRuleFailure "UTXOW" ShelleyEra = ShelleyUtxowPredFailure ShelleyEra
type DowngradePParams f ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

type DowngradePParams f ShelleyEra = Void
type PParamsHKD f ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

type PParamsHKD f ShelleyEra = ShelleyPParams f ShelleyEra
type UpgradePParams f ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

type UpgradePParams f ShelleyEra = Void
type STxLevel l ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type STxLevel l ShelleyEra = STxTopLevel l ShelleyEra
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.18.0.0-inplace" 'True) (C1 ('MetaCons "ShelleyTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "stcShelleyGenesis") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShelleyGenesis)))
type RawType (TxBody l ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type RawType (TxBody l ShelleyEra) = ShelleyTxBodyRaw l ShelleyEra
type Rep (Tx l ShelleyEra) Source # 
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) Source # 
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 ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxBodyRaw l ShelleyEra)))))

data ShelleyTx (l ∷ TxLevel) era Source #

Instances

Instances details
(Typeable l, EraTxBody era, EraTxWits era, EraTxAuxData era, STxLevel l era ~ STxTopLevel l era) ⇒ DecCBOR (Annotator (ShelleyTx l era)) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

decCBOR ∷ Decoder s (Annotator (ShelleyTx l era)) Source #

dropCBOR ∷ Proxy (Annotator (ShelleyTx l era)) → Decoder s () Source #

label ∷ Proxy (Annotator (ShelleyTx l era)) → Text Source #

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

Defined in Cardano.Ledger.Shelley.Tx

Methods

toCBOR ∷ ShelleyTx l era → Encoding Source #

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

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

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

Defined in Cardano.Ledger.Shelley.Tx

Methods

encCBOR ∷ ShelleyTx l era → Encoding Source #

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

Defined in Cardano.Ledger.Shelley.Tx

Methods

rnf ∷ ShelleyTx l era → () #

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

Defined in Cardano.Ledger.Shelley.Tx

Methods

showsPrec ∷ Int → ShelleyTx l era → ShowS #

show ∷ ShelleyTx l era → String #

showList ∷ [ShelleyTx l era] → ShowS #

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

Defined in Cardano.Ledger.Shelley.Tx

Methods

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

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

(Typeable era, Typeable l) ⇒ NoThunks (ShelleyTx l era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

noThunks ∷ Context → ShelleyTx l era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ShelleyTx l era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ShelleyTx l era) → String Source #

data ShelleyTxOut era Source #

Instances

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

Defined in Cardano.Ledger.Shelley.TxOut

Methods

toJSON ∷ ShelleyTxOut era → Value Source #

toEncoding ∷ ShelleyTxOut era → Encoding Source #

toJSONList ∷ [ShelleyTxOut era] → Value Source #

toEncodingList ∷ [ShelleyTxOut era] → Encoding Source #

omitField ∷ ShelleyTxOut era → Bool Source #

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

Defined in Cardano.Ledger.Shelley.TxOut

Methods

fromCBOR ∷ Decoder s (ShelleyTxOut era) Source #

label ∷ Proxy (ShelleyTxOut era) → Text Source #

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

Defined in Cardano.Ledger.Shelley.TxOut

Methods

toCBOR ∷ ShelleyTxOut 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

Methods

decCBOR ∷ Decoder s (ShelleyTxOut era) Source #

dropCBOR ∷ Proxy (ShelleyTxOut era) → Decoder s () Source #

label ∷ Proxy (ShelleyTxOut era) → Text Source #

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

Defined in Cardano.Ledger.Shelley.TxOut

type Share (ShelleyTxOut era) = Interns (Credential 'Staking)

Methods

getShare ∷ ShelleyTxOut era → Share (ShelleyTxOut era) Source #

decShareCBOR ∷ Share (ShelleyTxOut era) → Decoder s (ShelleyTxOut era) Source #

decSharePlusCBOR ∷ StateT (Share (ShelleyTxOut era)) (Decoder s) (ShelleyTxOut era) Source #

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

Defined in Cardano.Ledger.Shelley.TxOut

Methods

encCBOR ∷ ShelleyTxOut era → Encoding Source #

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

Defined in Cardano.Ledger.Shelley.TxOut

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ ShelleyTxOut era → [kv] Source #

NFData (ShelleyTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

Methods

rnf ∷ ShelleyTxOut era → () #

Generic (ShelleyTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

Associated Types

type Rep (ShelleyTxOut era) 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

type Rep (ShelleyTxOut era) = D1 ('MetaData "ShelleyTxOut" "Cardano.Ledger.Shelley.TxOut" "cardano-ledger-shelley-1.18.0.0-inplace" 'False) (C1 ('MetaCons "TxOutCompact" 'PrefixI 'True) (S1 ('MetaSel ('Just "txOutCompactAddr") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 CompactAddr) :*: S1 ('MetaSel ('Just "txOutCompactValue") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era)))))

Methods

from ∷ ShelleyTxOut era → Rep (ShelleyTxOut era) x #

to ∷ Rep (ShelleyTxOut era) x → ShelleyTxOut era #

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

Defined in Cardano.Ledger.Shelley.TxOut

Methods

showsPrec ∷ Int → ShelleyTxOut era → ShowS #

show ∷ ShelleyTxOut era → String #

showList ∷ [ShelleyTxOut era] → ShowS #

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

Methods

typeName ∷ String Source #

packedByteCount ∷ ShelleyTxOut era → Int Source #

packM ∷ ShelleyTxOut era → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b (ShelleyTxOut era) Source #

NoThunks (ShelleyTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

Methods

noThunks ∷ Context → ShelleyTxOut era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ShelleyTxOut era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ShelleyTxOut era) → String Source #

type Share (ShelleyTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

type Share (ShelleyTxOut era) = Interns (Credential 'Staking)
type Rep (ShelleyTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

type Rep (ShelleyTxOut era) = D1 ('MetaData "ShelleyTxOut" "Cardano.Ledger.Shelley.TxOut" "cardano-ledger-shelley-1.18.0.0-inplace" 'False) (C1 ('MetaCons "TxOutCompact" 'PrefixI 'True) (S1 ('MetaSel ('Just "txOutCompactAddr") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 CompactAddr) :*: S1 ('MetaSel ('Just "txOutCompactValue") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era)))))

data family TxBody (l ∷ TxLevel) era Source #

The body of a transaction.

Instances

Instances details
HasEraTxLevel TxBody ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

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

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

Defined in Cardano.Ledger.Shelley.TxBody

Methods

decCBOR ∷ Decoder s (Annotator (TxBody l ShelleyEra)) Source #

dropCBOR ∷ Proxy (Annotator (TxBody l ShelleyEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (TxBody l ShelleyEra)) → Text Source #

Typeable l ⇒ ToCBOR (TxBody l ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

toCBOR ∷ TxBody l ShelleyEra → Encoding 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 #

EncCBOR (TxBody l ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

encCBOR ∷ TxBody l ShelleyEra → Encoding Source #

SafeToHash (TxBody l ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

originalBytes ∷ TxBody l ShelleyEra → ByteString Source #

originalBytesSize ∷ TxBody l ShelleyEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → TxBody l ShelleyEra → SafeHash i Source #

EqRaw (TxBody l ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

eqRaw ∷ TxBody l ShelleyEra → TxBody l ShelleyEra → Bool Source #

Memoized (TxBody l ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

type RawType (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type RawType (TxBody l ShelleyEra) = ShelleyTxBodyRaw l ShelleyEra

Methods

getMemoBytes ∷ TxBody l ShelleyEra → MemoBytes (RawType (TxBody l ShelleyEra))

wrapMemoBytes ∷ MemoBytes (RawType (TxBody l ShelleyEra)) → TxBody l ShelleyEra

NFData (TxBody l ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

rnf ∷ TxBody l ShelleyEra → () #

Generic (TxBody l ShelleyEra) Source # 
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 ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxBodyRaw l ShelleyEra)))))

Methods

from ∷ TxBody l ShelleyEra → Rep (TxBody l ShelleyEra) x #

to ∷ Rep (TxBody l ShelleyEra) x → TxBody l ShelleyEra #

Show (TxBody l ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

showsPrec ∷ Int → TxBody l ShelleyEra → ShowS #

show ∷ TxBody l ShelleyEra → String #

showList ∷ [TxBody l ShelleyEra] → ShowS #

Eq (TxBody l ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

(==) ∷ TxBody l ShelleyEra → TxBody l ShelleyEra → Bool #

(/=) ∷ TxBody l ShelleyEra → TxBody l ShelleyEra → Bool #

Typeable l ⇒ NoThunks (TxBody l ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

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

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

showTypeOf ∷ Proxy (TxBody l ShelleyEra) → String Source #

HashAnnotated (TxBody l ShelleyEra) EraIndependentTxBody Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

hashAnnotated ∷ TxBody l ShelleyEra → SafeHash EraIndependentTxBody Source #

newtype TxBody l ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

newtype TxBody l ShelleyEra = MkShelleyTxBody (MemoBytes (ShelleyTxBodyRaw l ShelleyEra))
type RawType (TxBody l ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type RawType (TxBody l ShelleyEra) = ShelleyTxBodyRaw l ShelleyEra
type Rep (TxBody l ShelleyEra) Source # 
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 ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxBodyRaw l ShelleyEra)))))

data family Tx (l ∷ TxLevel) era Source #

Instances

Instances details
HasEraTxLevel Tx ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

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

EraTx era ⇒ HasOKey TxId (Tx l era) 
Instance details

Defined in Cardano.Ledger.Core

Methods

toOKey ∷ Tx l era → TxId Source #

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

Defined in Cardano.Ledger.Shelley.Tx

Methods

decCBOR ∷ Decoder s (Annotator (Tx l ShelleyEra)) Source #

dropCBOR ∷ Proxy (Annotator (Tx l ShelleyEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (Tx l ShelleyEra)) → Text Source #

Typeable l ⇒ ToCBOR (Tx l ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

toCBOR ∷ Tx l ShelleyEra → Encoding 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 #

EncCBOR (Tx l ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

encCBOR ∷ Tx l ShelleyEra → Encoding Source #

EqRaw (Tx l ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

eqRaw ∷ Tx l ShelleyEra → Tx l ShelleyEra → Bool Source #

NFData (Tx l ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

rnf ∷ Tx l ShelleyEra → () #

Generic (Tx l ShelleyEra) Source # 
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

from ∷ Tx l ShelleyEra → Rep (Tx l ShelleyEra) x #

to ∷ Rep (Tx l ShelleyEra) x → Tx l ShelleyEra #

Show (Tx l ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

showsPrec ∷ Int → Tx l ShelleyEra → ShowS #

show ∷ Tx l ShelleyEra → String #

showList ∷ [Tx l ShelleyEra] → ShowS #

Eq (Tx l ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

(==) ∷ Tx l ShelleyEra → Tx l ShelleyEra → Bool #

(/=) ∷ Tx l ShelleyEra → Tx l ShelleyEra → Bool #

Typeable l ⇒ NoThunks (Tx l ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

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

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

showTypeOf ∷ Proxy (Tx l ShelleyEra) → String Source #

newtype Tx l ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

newtype Tx l ShelleyEra = MkShelleyTx {}
type Rep (Tx l ShelleyEra) Source # 
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))))

data ShelleyTxAuxData era Source #

Instances

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

Defined in Cardano.Ledger.Shelley.TxAuxData

Methods

toCBOR ∷ ShelleyTxAuxData 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

Methods

decCBOR ∷ Decoder s (Annotator (ShelleyTxAuxData era)) Source #

dropCBOR ∷ Proxy (Annotator (ShelleyTxAuxData era)) → Decoder s () Source #

label ∷ Proxy (Annotator (ShelleyTxAuxData era)) → Text Source #

Era era ⇒ EncCBOR (ShelleyTxAuxData era) Source #

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Methods

encCBOR ∷ ShelleyTxAuxData era → Encoding Source #

SafeToHash (ShelleyTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Methods

originalBytes ∷ ShelleyTxAuxData era → ByteString Source #

originalBytesSize ∷ ShelleyTxAuxData era → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → ShelleyTxAuxData era → SafeHash i Source #

EqRaw (ShelleyTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Methods

eqRaw ∷ ShelleyTxAuxData era → ShelleyTxAuxData era → Bool Source #

Memoized (ShelleyTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Associated Types

type RawType (ShelleyTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

type RawType (ShelleyTxAuxData era) = ShelleyTxAuxDataRaw era

Methods

getMemoBytes ∷ ShelleyTxAuxData era → MemoBytes (RawType (ShelleyTxAuxData era))

wrapMemoBytes ∷ MemoBytes (RawType (ShelleyTxAuxData era)) → ShelleyTxAuxData era

NFData (ShelleyTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Methods

rnf ∷ ShelleyTxAuxData era → () #

Generic (ShelleyTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Associated Types

type Rep (ShelleyTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

type Rep (ShelleyTxAuxData era) = D1 ('MetaData "ShelleyTxAuxData" "Cardano.Ledger.Shelley.TxAuxData" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxAuxData" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxAuxDataRaw era)))))

Methods

from ∷ ShelleyTxAuxData era → Rep (ShelleyTxAuxData era) x #

to ∷ Rep (ShelleyTxAuxData era) x → ShelleyTxAuxData era #

Show (ShelleyTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Methods

showsPrec ∷ Int → ShelleyTxAuxData era → ShowS #

show ∷ ShelleyTxAuxData era → String #

showList ∷ [ShelleyTxAuxData era] → ShowS #

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

Methods

noThunks ∷ Context → ShelleyTxAuxData era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ShelleyTxAuxData era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ShelleyTxAuxData era) → String Source #

HashAnnotated (ShelleyTxAuxData era) EraIndependentTxAuxData Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Methods

hashAnnotated ∷ ShelleyTxAuxData era → SafeHash EraIndependentTxAuxData Source #

type RawType (ShelleyTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

type RawType (ShelleyTxAuxData era) = ShelleyTxAuxDataRaw era
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.18.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxAuxData" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxAuxDataRaw era)))))

nativeMultiSigTag ∷ ByteString Source #

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

hardforkAllegraAggregatedRewards ∷ ProtVer → Bool Source #

hardforkAlonzoAllowMIRTransfer ∷ ProtVer → Bool 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.

hardforkAlonzoValidatePoolRewardAccountNetID ∷ ProtVer → Bool Source #

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

hardforkBabbageForgoRewardPrefilter ∷ ProtVer → Bool 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.