Documentation

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 { unShelleyTx ∷ ShelleyTx l ShelleyEra }
type StAnnTx l ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Tx type StAnnTx l ShelleyEra = Tx l ShelleyEra
type StAnnTxCache ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Tx type StAnnTxCache ShelleyEra = ()

Methods

txStAnnTxG ∷ ∀ (l ∷ TxLevel). SimpleGetter (StAnnTx l ShelleyEra) (Tx l ShelleyEra) Source #

cacheStAnnTxG ∷ ∀ (l ∷ TxLevel). SimpleGetter (StAnnTx l ShelleyEra) (StAnnTxCache ShelleyEra) Source #

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 #

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

EraTxAuxData ShelleyEra Source #

Instance details

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 ∷ StAnnTxCache ShelleyEra → ProtVer → TxAuxData ShelleyEra → Bool Source #

EraTxBody ShelleyEra Source #

Instance details

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 #

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

getTotalDepositsTxBody ∷ PParams ShelleyEra → (KeyHash 'StakePool → Bool) → TxBody 'TopTx ShelleyEra → Coin Source #

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

getGenesisKeyHashCountTxBody ∷ TxBody 'TopTx ShelleyEra → Int Source #

EraTxOut ShelleyEra Source #

Instance details

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

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, HKDSemialign 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 #

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

hkdTxFeeFixedCompactL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f (CompactForm 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 #

hkdKeyDepositCompactL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f (CompactForm 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 #

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

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

ppMaxPledgeLeverageG ∷ SimpleGetter (PParams ShelleyEra) MaxPledgeLeverage Source #

ppMinPoolMarginG ∷ SimpleGetter (PParams ShelleyEra) UnitInterval Source #

eraPParams ∷ [PParam ShelleyEra] Source #

EraTxCert ShelleyEra Source #

Instance details

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 ShelleyEra → TxCert ShelleyEra Source #

getRegPoolTxCert ∷ TxCert ShelleyEra → Maybe (StakePoolParams ShelleyEra) 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) → f (TxCert ShelleyEra) → Coin Source #

EraTxLevel ShelleyEra Source #

Instance details

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

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 ∷ PParams ShelleyEra → CertState ShelleyEra → TxBody 'TopTx ShelleyEra → Coin Source #

certsTotalRefundsTxBody ∷ ∀ (t ∷ TxLevel). EraTxBody ShelleyEra ⇒ PParams ShelleyEra → Accounts 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 → ActiveStake 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

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

getProducedValue ∷ PParams ShelleyEra → (KeyHash 'StakePool → Bool) → TxBody 'TopTx 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

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 #

EraForecast ShelleyEra Source #

Instance details

Associated Types

type Forecast t ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Forecast type Forecast t ShelleyEra = ShelleyForecast t ShelleyEra

Methods

mkForecast ∷ ∀ (t ∷ Timeline). NewEpochState ShelleyEra → Forecast t ShelleyEra Source #

poolDistrForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t ShelleyEra) PoolDistr Source #

maxBlockHeaderSizeForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t ShelleyEra) Word16 Source #

maxBlockBodySizeForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t ShelleyEra) Word32 Source #

protocolVersionForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t ShelleyEra) ProtVer Source #

ShelleyEraForecast ShelleyEra Source #

Instance details

Methods

genDelegsForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t ShelleyEra) GenDelegs Source #

decentralizationForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t ShelleyEra) UnitInterval Source #

extraEntropyForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t ShelleyEra) Nonce Source #

ApplyTx ShelleyEra Source #

Instance details

Associated Types

newtype ApplyTxError ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.API.Mempool newtype ApplyTxError ShelleyEra = ShelleyApplyTxError (NonEmpty (ShelleyLedgerPredFailure ShelleyEra))

Methods

mkStAnnTx ∷ EpochInfo (Either Text) → SystemStart → PParams ShelleyEra → UTxO ShelleyEra → StAnnTxCache ShelleyEra → Tx 'TopTx ShelleyEra → StAnnTx 'TopTx ShelleyEra Source #

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

internalReapplyValidatedTx ∷ Globals → MempoolEnv ShelleyEra → MempoolState ShelleyEra → ValidatedTx ShelleyEra → Either (ApplyTxError ShelleyEra) (MempoolState ShelleyEra) Source #

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

ApplyTick ShelleyEra Source #

Instance details

Defined in Cardano.Ledger.Shelley.API.Validation

Methods

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

ShelleyEraScript ShelleyEra Source #

Instance details

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

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

Associated Types

newtype TransitionConfig ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Transition newtype TransitionConfig ShelleyEra = ShelleyTransitionConfig { stcShelleyGenesis ∷ ShelleyGenesis }

Methods

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

injectIntoTestState ∷ (HasCallStack, MonadST m, MonadThrow m) ⇒ HasFS m h → TransitionConfig ShelleyEra → NewEpochState ShelleyEra → m (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

Methods

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

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

ShelleyEraTxCert ShelleyEra Source #

Instance details

Methods

mkRegTxCert ∷ Credential 'Staking → TxCert ShelleyEra Source #

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

mkUnRegTxCert ∷ Credential 'Staking → TxCert ShelleyEra Source #

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

mkDelegStakeTxCert ∷ Credential 'Staking → KeyHash 'StakePool → TxCert ShelleyEra Source #

getDelegStakeTxCert ∷ TxCert ShelleyEra → Maybe (Credential 'Staking, 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

HasEraTxLevel ShelleyTxBodyRaw ShelleyEra Source #

Methods

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

Instance details

Methods

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

(EraBlockHeader h ShelleyEra, TPraosEraBlockHeader h ShelleyEra) ⇒ ApplyBlock h ShelleyEra Source #

Instance details

Defined in Cardano.Ledger.Shelley.API.Validation

Methods

wrapBlockSignal ∷ Block h ShelleyEra → Signal (EraRule "BBODY" ShelleyEra) Source #

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

InjectRuleEvent "POOL" PoolEvent ShelleyEra Source #

Instance details

Methods

injectEvent ∷ PoolEvent ShelleyEra → EraRuleEvent "POOL" ShelleyEra Source #

InjectRuleFailure "BBODY" ShelleyBbodyPredFailure ShelleyEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyDelegPredFailure ShelleyEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyDelegsPredFailure ShelleyEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyDelplPredFailure ShelleyEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyLedgerPredFailure ShelleyEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyLedgersPredFailure ShelleyEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyPoolPredFailure ShelleyEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyPpupPredFailure ShelleyEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyUtxoPredFailure ShelleyEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyUtxowPredFailure ShelleyEra Source #

Instance details

Methods

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

InjectRuleFailure "DELEG" AccountAlreadyRegistered ShelleyEra Source #

Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

Methods

injectFailure ∷ AccountAlreadyRegistered ShelleyEra → EraRuleFailure "DELEG" 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

Methods

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

InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure ShelleyEra Source #

Instance details

Methods

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

InjectRuleFailure "DELEGS" ShelleyDelplPredFailure ShelleyEra Source #

Instance details

Methods

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

InjectRuleFailure "DELEGS" ShelleyPoolPredFailure ShelleyEra Source #

Instance details

Methods

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

InjectRuleFailure "DELPL" ShelleyDelegPredFailure ShelleyEra Source #

Instance details

Methods

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

InjectRuleFailure "DELPL" ShelleyDelplPredFailure ShelleyEra Source #

Instance details

Methods

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

InjectRuleFailure "DELPL" ShelleyPoolPredFailure ShelleyEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" AccountAlreadyRegistered ShelleyEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" ShelleyDelegPredFailure ShelleyEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure ShelleyEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" ShelleyDelplPredFailure ShelleyEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure ShelleyEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" ShelleyPoolPredFailure ShelleyEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" ShelleyPpupPredFailure ShelleyEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure ShelleyEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure ShelleyEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure ShelleyEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure ShelleyEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure ShelleyEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure ShelleyEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure ShelleyEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure ShelleyEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure ShelleyEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure ShelleyEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure ShelleyEra Source #

Instance details

Methods

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

InjectRuleFailure "POOL" ShelleyPoolPredFailure ShelleyEra Source #

Instance details

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

Methods

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

InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure ShelleyEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure ShelleyEra Source #

Instance details

Methods

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

(DecCBOR (Annotator h), Typeable h) ⇒ DecCBOR (Annotator (Block h ShelleyEra)) Source #

Instance details

Defined in Cardano.Ledger.Shelley.Block

Methods

decCBOR ∷ Decoder s (Annotator (Block h ShelleyEra)) Source #

dropCBOR ∷ Proxy (Annotator (Block h ShelleyEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (Block h ShelleyEra)) → Text 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

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

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 #

DecCBOR (ApplyTxError ShelleyEra) Source #

Instance details

Methods

decCBOR ∷ Decoder s (ApplyTxError ShelleyEra) Source #

dropCBOR ∷ Proxy (ApplyTxError ShelleyEra) → Decoder s () Source #

label ∷ Proxy (ApplyTxError ShelleyEra) → Text Source #

EncCBOR (ApplyTxError ShelleyEra) Source #

Instance details

Methods

encCBOR ∷ ApplyTxError ShelleyEra → Encoding Source #

Semigroup (ApplyTxError ShelleyEra) Source #

Instance details

Methods

(<>) ∷ ApplyTxError ShelleyEra → ApplyTxError ShelleyEra → ApplyTxError ShelleyEra #

sconcat ∷ NonEmpty (ApplyTxError ShelleyEra) → ApplyTxError ShelleyEra #

stimes ∷ Integral b ⇒ b → ApplyTxError ShelleyEra → ApplyTxError ShelleyEra #

Generic (ApplyTxError ShelleyEra) Source #

Instance details

Associated Types

type Rep (ApplyTxError ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.API.Mempool type Rep (ApplyTxError ShelleyEra) = Rep (NonEmpty (ShelleyLedgerPredFailure ShelleyEra))

Methods

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

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

Generic (TransitionConfig ShelleyEra) Source #

Instance details

Associated Types

type Rep (TransitionConfig ShelleyEra)

Instance details

type Rep (TransitionConfig ShelleyEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Shelley.Transition" "cardano-ledger-shelley-1.21.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 (ApplyTxError ShelleyEra) Source #

Instance details

Methods

showsPrec ∷ Int → ApplyTxError ShelleyEra → ShowS #

show ∷ ApplyTxError ShelleyEra → String #

showList ∷ [ApplyTxError ShelleyEra] → ShowS #

Show (TransitionConfig ShelleyEra) Source #

Instance details

Methods

showsPrec ∷ Int → TransitionConfig ShelleyEra → ShowS #

show ∷ TransitionConfig ShelleyEra → String #

showList ∷ [TransitionConfig ShelleyEra] → ShowS #

Eq (ApplyTxError ShelleyEra) Source #

Instance details

Methods

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

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

Eq (TransitionConfig ShelleyEra) Source #

Instance details

Methods

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

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

NoThunks (TransitionConfig ShelleyEra) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (TransitionConfig ShelleyEra) → String Source #

FromJSON (Tx 'TopTx ShelleyEra) Source #

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

parseJSON ∷ Value → Parser (Tx 'TopTx ShelleyEra) Source #

parseJSONList ∷ Value → Parser [Tx 'TopTx ShelleyEra] Source #

omittedField ∷ Maybe (Tx 'TopTx ShelleyEra) Source #

FromJSON (TxBody 'TopTx ShelleyEra) Source #

Instance details

Methods

parseJSON ∷ Value → Parser (TxBody 'TopTx ShelleyEra) Source #

parseJSONList ∷ Value → Parser [TxBody 'TopTx ShelleyEra] Source #

omittedField ∷ Maybe (TxBody 'TopTx ShelleyEra) Source #

ToJSON (Tx 'TopTx ShelleyEra) Source #

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

toJSON ∷ Tx 'TopTx ShelleyEra → Value Source #

toEncoding ∷ Tx 'TopTx ShelleyEra → Encoding Source #

toJSONList ∷ [Tx 'TopTx ShelleyEra] → Value Source #

toEncodingList ∷ [Tx 'TopTx ShelleyEra] → Encoding Source #

omitField ∷ Tx 'TopTx ShelleyEra → Bool Source #

ToJSON (TxBody 'TopTx ShelleyEra) Source #

Instance details

Methods

toJSON ∷ TxBody 'TopTx ShelleyEra → Value Source #

toEncoding ∷ TxBody 'TopTx ShelleyEra → Encoding Source #

toJSONList ∷ [TxBody 'TopTx ShelleyEra] → Value Source #

toEncodingList ∷ [TxBody 'TopTx ShelleyEra] → Encoding Source #

omitField ∷ TxBody 'TopTx ShelleyEra → Bool Source #

(EncCBOR h, Typeable h) ⇒ ToCBOR (Block h ShelleyEra) Source #

Instance details

Defined in Cardano.Ledger.Shelley.Block

Methods

toCBOR ∷ Block h ShelleyEra → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Block h ShelleyEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Block h ShelleyEra] → Size 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

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

Methods

decCBOR ∷ Decoder s (ShelleyTxBodyRaw l ShelleyEra) Source #

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

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

EncCBOR h ⇒ EncCBOR (Block h ShelleyEra) Source #

Instance details

Defined in Cardano.Ledger.Shelley.Block

Methods

encCBOR ∷ Block h ShelleyEra → Encoding 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

Methods

encCBOR ∷ TxBody l ShelleyEra → Encoding Source #

ToKeyValuePairs (TxBody 'TopTx ShelleyEra) Source #

Instance details

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ TxBody 'TopTx ShelleyEra → [kv] Source #

SafeToHash (TxBody l ShelleyEra) Source #

Instance details

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

Methods

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

Memoized (TxBody l ShelleyEra) Source #

Instance details

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

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.21.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

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.21.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

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

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

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

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

type NativeScript ShelleyEra = MultiSig ShelleyEra

type Script ShelleyEra Source #

Instance details

type Script ShelleyEra = MultiSig ShelleyEra

type StAnnTxCache ShelleyEra Source #

Instance details

Defined in Cardano.Ledger.Shelley.Tx

type StAnnTxCache ShelleyEra = ()

type TxAuxData ShelleyEra Source #

Instance details

type TxAuxData ShelleyEra = ShelleyTxAuxData ShelleyEra

type TxOut ShelleyEra Source #

Instance details

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

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

type TxCert ShelleyEra = ShelleyTxCert ShelleyEra

type TxCertUpgradeError ShelleyEra Source #

Instance details

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

type AccountState ShelleyEra = ShelleyAccountState ShelleyEra

type Accounts ShelleyEra Source #

Instance details

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

type EraName ShelleyEra = "Shelley"

type PreviousEra ShelleyEra

Instance details

type PreviousEra ShelleyEra = ByronEra

type ProtVerHigh ShelleyEra

Instance details

type ProtVerHigh ShelleyEra = ProtVerLow ShelleyEra

type ProtVerLow ShelleyEra

Instance details

type ProtVerLow ShelleyEra = 2

newtype ApplyTxError ShelleyEra Source #

Instance details

newtype ApplyTxError ShelleyEra = ShelleyApplyTxError (NonEmpty (ShelleyLedgerPredFailure ShelleyEra))

newtype TransitionConfig ShelleyEra Source #

Instance details

newtype TransitionConfig ShelleyEra = ShelleyTransitionConfig {

stcShelleyGenesis ∷ ShelleyGenesis

}

type ProtocolEraBlockHeader h ShelleyEra Source #

Instance details

Defined in Cardano.Ledger.Shelley.BlockBody.Internal

type ProtocolEraBlockHeader h ShelleyEra = TPraosEraBlockHeader h ShelleyEra

type StAnnTx l ShelleyEra Source #

Instance details

Defined in Cardano.Ledger.Shelley.Tx

type StAnnTx l ShelleyEra = Tx l ShelleyEra

newtype Tx l ShelleyEra Source #

Instance details

Defined in Cardano.Ledger.Shelley.Tx

newtype Tx l ShelleyEra = MkShelleyTx {

unShelleyTx ∷ ShelleyTx l ShelleyEra

}

newtype TxBody l ShelleyEra Source #

Instance details

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

type EraRule "BBODY" ShelleyEra Source #

Instance details

type EraRule "BBODY" ShelleyEra = BBODY ShelleyEra

type EraRule "DELEG" ShelleyEra Source #

Instance details

type EraRule "DELEG" ShelleyEra = DELEG ShelleyEra

type EraRule "DELEGS" ShelleyEra Source #

Instance details

type EraRule "DELEGS" ShelleyEra = DELEGS ShelleyEra

type EraRule "DELPL" ShelleyEra Source #

Instance details

type EraRule "DELPL" ShelleyEra = DELPL ShelleyEra

type EraRule "EPOCH" ShelleyEra Source #

Instance details

type EraRule "EPOCH" ShelleyEra = EPOCH ShelleyEra

type EraRule "LEDGER" ShelleyEra Source #

Instance details

type EraRule "LEDGER" ShelleyEra = LEDGER ShelleyEra

type EraRule "LEDGERS" ShelleyEra Source #

Instance details

type EraRule "LEDGERS" ShelleyEra = LEDGERS ShelleyEra

type EraRule "MIR" ShelleyEra Source #

Instance details

type EraRule "MIR" ShelleyEra = MIR ShelleyEra

type EraRule "NEWEPOCH" ShelleyEra Source #

Instance details

type EraRule "NEWEPOCH" ShelleyEra = NEWEPOCH ShelleyEra

type EraRule "NEWPP" ShelleyEra Source #

Instance details

type EraRule "NEWPP" ShelleyEra = NEWPP ShelleyEra

type EraRule "POOL" ShelleyEra Source #

Instance details

type EraRule "POOL" ShelleyEra = POOL ShelleyEra

type EraRule "POOLREAP" ShelleyEra Source #

Instance details

type EraRule "POOLREAP" ShelleyEra = POOLREAP ShelleyEra

type EraRule "PPUP" ShelleyEra Source #

Instance details

type EraRule "PPUP" ShelleyEra = PPUP ShelleyEra

type EraRule "RUPD" ShelleyEra Source #

Instance details

type EraRule "RUPD" ShelleyEra = RUPD ShelleyEra

type EraRule "SNAP" ShelleyEra Source #

Instance details

type EraRule "SNAP" ShelleyEra = SNAP ShelleyEra

type EraRule "TICK" ShelleyEra Source #

Instance details

type EraRule "TICK" ShelleyEra = TICK ShelleyEra

type EraRule "TICKF" ShelleyEra Source #

Instance details

type EraRule "TICKF" ShelleyEra = TICKF ShelleyEra

type EraRule "UPEC" ShelleyEra Source #

Instance details

type EraRule "UPEC" ShelleyEra = UPEC ShelleyEra

type EraRule "UTXO" ShelleyEra Source #

Instance details

type EraRule "UTXO" ShelleyEra = UTXO ShelleyEra

type EraRule "UTXOW" ShelleyEra Source #

Instance details

type EraRule "UTXOW" ShelleyEra = UTXOW ShelleyEra

type EraRuleEvent "LEDGER" ShelleyEra Source #

Instance details

type EraRuleEvent "LEDGER" ShelleyEra = ShelleyLedgerEvent ShelleyEra

type EraRuleEvent "LEDGERS" ShelleyEra Source #

Instance details

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 "POOL" ShelleyEra Source #

Instance details

type EraRuleEvent "POOL" ShelleyEra = PoolEvent 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

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

type EraRuleFailure "DELEGS" ShelleyEra = ShelleyDelegsPredFailure ShelleyEra

type EraRuleFailure "DELPL" ShelleyEra Source #

Instance details

type EraRuleFailure "DELPL" ShelleyEra = ShelleyDelplPredFailure ShelleyEra

type EraRuleFailure "LEDGER" ShelleyEra Source #

Instance details

type EraRuleFailure "LEDGER" ShelleyEra = ShelleyLedgerPredFailure ShelleyEra

type EraRuleFailure "LEDGERS" ShelleyEra Source #

Instance details

type EraRuleFailure "LEDGERS" ShelleyEra = ShelleyLedgersPredFailure ShelleyEra

type EraRuleFailure "POOL" ShelleyEra Source #

Instance details

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

type EraRuleFailure "UTXOW" ShelleyEra = ShelleyUtxowPredFailure ShelleyEra

type DowngradePParams f ShelleyEra Source #

Instance details

type DowngradePParams f ShelleyEra = Void

type PParamsHKD f ShelleyEra Source #

Instance details

type PParamsHKD f ShelleyEra = ShelleyPParams f ShelleyEra

type UpgradePParams f ShelleyEra Source #

Instance details

type UpgradePParams f ShelleyEra = Void

type STxLevel l ShelleyEra Source #

Instance details

type STxLevel l ShelleyEra = STxTopLevel l ShelleyEra

type Forecast t ShelleyEra Source #

Instance details

type Forecast t ShelleyEra = ShelleyForecast t ShelleyEra

type Rep (ApplyTxError ShelleyEra) Source #

Instance details

type Rep (ApplyTxError ShelleyEra) = Rep (NonEmpty (ShelleyLedgerPredFailure ShelleyEra))

type Rep (TransitionConfig ShelleyEra) Source #

Instance details

type Rep (TransitionConfig ShelleyEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Shelley.Transition" "cardano-ledger-shelley-1.21.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

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.21.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

type Rep (TxBody l ShelleyEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-1.21.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 #
(FromJSON (TxBody 'TopTx era), FromJSON (TxWits era), FromJSON (TxAuxData era)) ⇒ FromJSON (ShelleyTx 'TopTx era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods parseJSON ∷ Value → Parser (ShelleyTx 'TopTx era) Source # parseJSONList ∷ Value → Parser [ShelleyTx 'TopTx era] Source # omittedField ∷ Maybe (ShelleyTx 'TopTx era) Source #
(ToJSON (TxBody 'TopTx era), ToJSON (TxWits era), ToJSON (TxAuxData era)) ⇒ ToJSON (ShelleyTx 'TopTx era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods toJSON ∷ ShelleyTx 'TopTx era → Value Source # toEncoding ∷ ShelleyTx 'TopTx era → Encoding Source # toJSONList ∷ [ShelleyTx 'TopTx era] → Value Source # toEncodingList ∷ [ShelleyTx 'TopTx era] → Encoding Source # omitField ∷ ShelleyTx 'TopTx era → Bool 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 #
(ToJSON (TxBody 'TopTx era), ToJSON (TxWits era), ToJSON (TxAuxData era)) ⇒ ToKeyValuePairs (ShelleyTx 'TopTx era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods toKeyValuePairs ∷ KeyValue e kv ⇒ ShelleyTx 'TopTx era → [kv] 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)) ⇒ FromJSON (ShelleyTxOut era) Source #

Instance details

Methods

parseJSON ∷ Value → Parser (ShelleyTxOut era) Source #

parseJSONList ∷ Value → Parser [ShelleyTxOut era] Source #

omittedField ∷ Maybe (ShelleyTxOut era) Source #

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

Instance details

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))) ⇒ DecCBOR (ShelleyTxOut era) Source #

Instance details

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

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

Methods

encCBOR ∷ ShelleyTxOut era → Encoding Source #

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

Instance details

Methods

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

NFData (ShelleyTxOut era) Source #

Instance details

Methods

rnf ∷ ShelleyTxOut era → () #

Generic (ShelleyTxOut era) Source #

Instance details

Associated Types

type Rep (ShelleyTxOut era)

Instance details

type Rep (ShelleyTxOut era) = D1 ('MetaData "ShelleyTxOut" "Cardano.Ledger.Shelley.TxOut" "cardano-ledger-shelley-1.21.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

Methods

showsPrec ∷ Int → ShelleyTxOut era → ShowS #

show ∷ ShelleyTxOut era → String #

showList ∷ [ShelleyTxOut era] → ShowS #

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

Instance details

Methods

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

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

Ord (CompactForm (Value era)) ⇒ Ord (ShelleyTxOut era) Source #

Instance details

Methods

compare ∷ ShelleyTxOut era → ShelleyTxOut era → Ordering #

(<) ∷ ShelleyTxOut era → ShelleyTxOut era → Bool #

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

(>) ∷ ShelleyTxOut era → ShelleyTxOut era → Bool #

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

max ∷ ShelleyTxOut era → ShelleyTxOut era → ShelleyTxOut era #

min ∷ ShelleyTxOut era → ShelleyTxOut era → ShelleyTxOut era #

(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

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

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 #

type Rep (ShelleyTxOut era) Source #

Instance details

type Rep (ShelleyTxOut era) = D1 ('MetaData "ShelleyTxOut" "Cardano.Ledger.Shelley.TxOut" "cardano-ledger-shelley-1.21.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

Methods

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

EraTxBody era ⇒ HasOKey TxId (TxBody l era)

Instance details

Defined in Cardano.Ledger.Core

Methods

toOKey ∷ TxBody l era → TxId Source #

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

Instance details

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 #

FromJSON (TxBody 'TopTx ShelleyEra) Source #

Instance details

Methods

parseJSON ∷ Value → Parser (TxBody 'TopTx ShelleyEra) Source #

parseJSONList ∷ Value → Parser [TxBody 'TopTx ShelleyEra] Source #

omittedField ∷ Maybe (TxBody 'TopTx ShelleyEra) Source #

ToJSON (TxBody 'TopTx ShelleyEra) Source #

Instance details

Methods

toJSON ∷ TxBody 'TopTx ShelleyEra → Value Source #

toEncoding ∷ TxBody 'TopTx ShelleyEra → Encoding Source #

toJSONList ∷ [TxBody 'TopTx ShelleyEra] → Value Source #

toEncodingList ∷ [TxBody 'TopTx ShelleyEra] → Encoding Source #

omitField ∷ TxBody 'TopTx ShelleyEra → Bool Source #

Typeable l ⇒ ToCBOR (TxBody l ShelleyEra) Source #

Instance details

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

Methods

encCBOR ∷ TxBody l ShelleyEra → Encoding Source #

ToKeyValuePairs (TxBody 'TopTx ShelleyEra) Source #

Instance details

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ TxBody 'TopTx ShelleyEra → [kv] Source #

SafeToHash (TxBody l ShelleyEra) Source #

Instance details

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

Methods

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

Memoized (TxBody l ShelleyEra) Source #

Instance details

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

Methods

rnf ∷ TxBody l ShelleyEra → () #

Generic (TxBody l ShelleyEra) Source #

Instance details

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.21.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

Methods

showsPrec ∷ Int → TxBody l ShelleyEra → ShowS #

show ∷ TxBody l ShelleyEra → String #

showList ∷ [TxBody l ShelleyEra] → ShowS #

Eq (TxBody l ShelleyEra) Source #

Instance details

Methods

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

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

Typeable l ⇒ NoThunks (TxBody l ShelleyEra) Source #

Instance details

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

Methods

hashAnnotated ∷ TxBody l ShelleyEra → SafeHash EraIndependentTxBody Source #

newtype TxBody l ShelleyEra Source #

Instance details

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

type RawType (TxBody l ShelleyEra) Source #

Instance details

type RawType (TxBody l ShelleyEra) = ShelleyTxBodyRaw l ShelleyEra

type Rep (TxBody l ShelleyEra) Source #

Instance details

type Rep (TxBody l ShelleyEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-1.21.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 #

FromJSON (Tx 'TopTx ShelleyEra) Source #

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

parseJSON ∷ Value → Parser (Tx 'TopTx ShelleyEra) Source #

parseJSONList ∷ Value → Parser [Tx 'TopTx ShelleyEra] Source #

omittedField ∷ Maybe (Tx 'TopTx ShelleyEra) Source #

ToJSON (Tx 'TopTx ShelleyEra) Source #

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

toJSON ∷ Tx 'TopTx ShelleyEra → Value Source #

toEncoding ∷ Tx 'TopTx ShelleyEra → Encoding Source #

toJSONList ∷ [Tx 'TopTx ShelleyEra] → Value Source #

toEncodingList ∷ [Tx 'TopTx ShelleyEra] → Encoding Source #

omitField ∷ Tx 'TopTx ShelleyEra → Bool 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.21.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 {

unShelleyTx ∷ ShelleyTx 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.21.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

Era era ⇒ FromJSON (ShelleyTxAuxData era) Source #

Instance details

Methods

parseJSON ∷ Value → Parser (ShelleyTxAuxData era) Source #

parseJSONList ∷ Value → Parser [ShelleyTxAuxData era] Source #

omittedField ∷ Maybe (ShelleyTxAuxData era) Source #

Era era ⇒ ToJSON (ShelleyTxAuxData era) Source #

Instance details

Methods

toJSON ∷ ShelleyTxAuxData era → Value Source #

toEncoding ∷ ShelleyTxAuxData era → Encoding Source #

toJSONList ∷ [ShelleyTxAuxData era] → Value Source #

toEncodingList ∷ [ShelleyTxAuxData era] → Encoding Source #

omitField ∷ ShelleyTxAuxData era → Bool Source #

Typeable era ⇒ ToCBOR (ShelleyTxAuxData era) Source #

Instance details

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

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

Methods

encCBOR ∷ ShelleyTxAuxData era → Encoding Source #

SafeToHash (ShelleyTxAuxData era) Source #

Instance details

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

Methods

eqRaw ∷ ShelleyTxAuxData era → ShelleyTxAuxData era → Bool Source #

Memoized (ShelleyTxAuxData era) Source #

Instance details

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

Methods

rnf ∷ ShelleyTxAuxData era → () #

Generic (ShelleyTxAuxData era) Source #

Instance details

Associated Types

type Rep (ShelleyTxAuxData era)

Instance details

type Rep (ShelleyTxAuxData era) = D1 ('MetaData "ShelleyTxAuxData" "Cardano.Ledger.Shelley.TxAuxData" "cardano-ledger-shelley-1.21.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

Methods

showsPrec ∷ Int → ShelleyTxAuxData era → ShowS #

show ∷ ShelleyTxAuxData era → String #

showList ∷ [ShelleyTxAuxData era] → ShowS #

Eq (ShelleyTxAuxData era) Source #

Instance details

Methods

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

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

NoThunks (ShelleyTxAuxData era) Source #

Instance details

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

Methods

hashAnnotated ∷ ShelleyTxAuxData era → SafeHash EraIndependentTxAuxData Source #

type RawType (ShelleyTxAuxData era) Source #

Instance details

type RawType (ShelleyTxAuxData era) = ShelleyTxAuxDataRaw era

type Rep (ShelleyTxAuxData era) Source #

Instance details

type Rep (ShelleyTxAuxData era) = D1 ('MetaData "ShelleyTxAuxData" "Cardano.Ledger.Shelley.TxAuxData" "cardano-ledger-shelley-1.21.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.

hardforkAlonzoValidatePoolAccountAddressNetID ∷ ProtVer → Bool Source #

Starting with protocol version 5, we will validate the network ID for the account address 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.

Forecast

data ShelleyForecast (t ∷ Timeline) era Source #

Forecast data for TPraos eras.

Constructors

ShelleyForecast
Fields sfPoolDistr ∷ !PoolDistr sfMaxBlockHeaderSize ∷ !Word16 sfMaxBlockBodySize ∷ !Word32 sfProtocolVersion ∷ !ProtVer sfGenDelegs ∷ !GenDelegs sfDecentralization ∷ !UnitInterval sfExtraEntropy ∷ !Nonce

Instances

Instances details

NFData (ShelleyForecast t era) Source #

Instance details

Methods

rnf ∷ ShelleyForecast t era → () #

Generic (ShelleyForecast t era) Source #

Instance details

Associated Types

type Rep (ShelleyForecast t era)

Instance details

type Rep (ShelleyForecast t era) = D1 ('MetaData "ShelleyForecast" "Cardano.Ledger.Shelley.Forecast" "cardano-ledger-shelley-1.21.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyForecast" 'PrefixI 'True) ((S1 ('MetaSel ('Just "sfPoolDistr") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PoolDistr) :*: (S1 ('MetaSel ('Just "sfMaxBlockHeaderSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word16) :*: S1 ('MetaSel ('Just "sfMaxBlockBodySize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word32))) :*: ((S1 ('MetaSel ('Just "sfProtocolVersion") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ProtVer) :*: S1 ('MetaSel ('Just "sfGenDelegs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 GenDelegs)) :*: (S1 ('MetaSel ('Just "sfDecentralization") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval) :*: S1 ('MetaSel ('Just "sfExtraEntropy") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Nonce)))))

Methods

from ∷ ShelleyForecast t era → Rep (ShelleyForecast t era) x #

to ∷ Rep (ShelleyForecast t era) x → ShelleyForecast t era #

Show (ShelleyForecast t era) Source #

Instance details

Methods

showsPrec ∷ Int → ShelleyForecast t era → ShowS #

show ∷ ShelleyForecast t era → String #

showList ∷ [ShelleyForecast t era] → ShowS #

Eq (ShelleyForecast t era) Source #

Instance details

Methods

(==) ∷ ShelleyForecast t era → ShelleyForecast t era → Bool #

(/=) ∷ ShelleyForecast t era → ShelleyForecast t era → Bool #

NoThunks (ShelleyForecast t era) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (ShelleyForecast t era) → String Source #

type Rep (ShelleyForecast t era) Source #

Instance details