Documentation

Associated Types

data PlutusScript ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Scripts data PlutusScript ConwayEra = ConwayPlutusV1 !(Plutus 'PlutusV1) \| ConwayPlutusV2 !(Plutus 'PlutusV2) \| ConwayPlutusV3 !(Plutus 'PlutusV3)
type PlutusPurpose f ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Scripts type PlutusPurpose f ConwayEra = ConwayPlutusPurpose f ConwayEra

Methods

eraMaxLanguage ∷ Language Source #

toPlutusScript ∷ Script ConwayEra → Maybe (PlutusScript ConwayEra) Source #

fromPlutusScript ∷ PlutusScript ConwayEra → Script ConwayEra Source #

mkPlutusScript ∷ ∀ (l ∷ Language) m. (PlutusLanguage l, MonadFail m) ⇒ Plutus l → m (PlutusScript ConwayEra) Source #

withPlutusScript ∷ PlutusScript ConwayEra → (∀ (l ∷ Language). PlutusLanguage l ⇒ Plutus l → a) → a Source #

hoistPlutusPurpose ∷ (∀ ix it. g ix it → f ix it) → PlutusPurpose g ConwayEra → PlutusPurpose f ConwayEra Source #

mkSpendingPurpose ∷ f Word32 TxIn → PlutusPurpose f ConwayEra Source #

toSpendingPurpose ∷ PlutusPurpose f ConwayEra → Maybe (f Word32 TxIn) Source #

mkMintingPurpose ∷ f Word32 PolicyID → PlutusPurpose f ConwayEra Source #

toMintingPurpose ∷ PlutusPurpose f ConwayEra → Maybe (f Word32 PolicyID) Source #

mkCertifyingPurpose ∷ f Word32 (TxCert ConwayEra) → PlutusPurpose f ConwayEra Source #

toCertifyingPurpose ∷ PlutusPurpose f ConwayEra → Maybe (f Word32 (TxCert ConwayEra)) Source #

mkWithdrawingPurpose ∷ f Word32 AccountAddress → PlutusPurpose f ConwayEra Source #

toWithdrawingPurpose ∷ PlutusPurpose f ConwayEra → Maybe (f Word32 AccountAddress) Source #

mkRewardingPurpose ∷ f Word32 AccountAddress → PlutusPurpose f ConwayEra Source #

toRewardingPurpose ∷ PlutusPurpose f ConwayEra → Maybe (f Word32 AccountAddress) Source #

upgradePlutusPurposeAsIx ∷ PlutusPurpose AsIx (PreviousEra ConwayEra) → PlutusPurpose AsIx ConwayEra Source #

AlonzoEraTransition ConwayEra Source #

Instance details

Methods

tcAlonzoGenesisL ∷ Lens' (TransitionConfig ConwayEra) AlonzoGenesis Source #

AlonzoEraTx ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

isPhase2ValidTxL ∷ Lens' (Tx 'TopTx ConwayEra) IsPhase2Valid Source #

isValidTxL ∷ Lens' (Tx 'TopTx ConwayEra) IsPhase2Valid Source #

getTotalExUnits ∷ ∀ (l ∷ TxLevel). Tx l ConwayEra → ExUnits Source #

StAnnTxCache ConwayEra ~ Map ScriptHash (SupportedPlutusRunnable ConwayEra) ⇒ AlonzoEraTxAuxData ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.TxAuxData

Methods

plutusScriptsTxAuxDataL ∷ Lens' (TxAuxData ConwayEra) (Map Language (NonEmpty PlutusBinary)) Source #

AlonzoEraTxBody ConwayEra Source #

Instance details

Methods

collateralInputsTxBodyL ∷ Lens' (TxBody 'TopTx ConwayEra) (Set TxIn) Source #

reqSignerHashesTxBodyL ∷ ∀ (l ∷ TxLevel). AtMostEra "Conway" ConwayEra ⇒ Lens' (TxBody l ConwayEra) (Set (KeyHash 'Guard)) Source #

reqSignerHashesTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l ConwayEra) (Set (KeyHash 'Guard)) Source #

scriptIntegrityHashTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ConwayEra) (StrictMaybe ScriptIntegrityHash) Source #

networkIdTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ConwayEra) (StrictMaybe Network) Source #

redeemerPointer ∷ ∀ (l ∷ TxLevel). TxBody l ConwayEra → PlutusPurpose AsItem ConwayEra → StrictMaybe (PlutusPurpose AsIx ConwayEra) Source #

redeemerPointerInverse ∷ ∀ (l ∷ TxLevel). TxBody l ConwayEra → PlutusPurpose AsIx ConwayEra → StrictMaybe (PlutusPurpose AsIxItem ConwayEra) Source #

AlonzoEraTxOut ConwayEra Source #

Instance details

Methods

dataHashTxOutL ∷ Lens' (TxOut ConwayEra) (StrictMaybe DataHash) Source #

datumTxOutF ∷ SimpleGetter (TxOut ConwayEra) (Datum ConwayEra) Source #

AlonzoEraTxWits ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.TxWits

Methods

datsTxWitsL ∷ Lens' (TxWits ConwayEra) (TxDats ConwayEra) Source #

rdmrsTxWitsL ∷ Lens' (TxWits ConwayEra) (Redeemers ConwayEra) Source #

AlonzoEraUTxO ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.UTxO

Methods

getSupplementalDataHashes ∷ ∀ (l ∷ TxLevel). UTxO ConwayEra → TxBody l ConwayEra → Set DataHash Source #

getSpendingDatum ∷ ∀ (l ∷ TxLevel). UTxO ConwayEra → Tx l ConwayEra → PlutusPurpose AsItem ConwayEra → Maybe (Data ConwayEra) Source #

scriptsProvidedStAnnTx ∷ ∀ (l ∷ TxLevel). StAnnTx l ConwayEra → ScriptsProvided ConwayEra Source #

scriptsNeededStAnnTx ∷ ∀ (l ∷ TxLevel). StAnnTx l ConwayEra → ScriptsNeeded ConwayEra Source #

plutusScriptsWithContextStAnnTx ∷ ∀ (l ∷ TxLevel). StAnnTx l ConwayEra → Either (NonEmpty (CollectError ConwayEra)) [PlutusWithContext] Source #

plutusLanguagesUsedStAnnTx ∷ ∀ (l ∷ TxLevel). StAnnTx l ConwayEra → Set Language Source #

BabbageEraPParams ConwayEra Source #

Instance details

Methods

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

BabbageEraTxBody ConwayEra Source #

Instance details

Methods

sizedOutputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ConwayEra) (StrictSeq (Sized (TxOut ConwayEra))) Source #

referenceInputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ConwayEra) (Set TxIn) Source #

totalCollateralTxBodyL ∷ Lens' (TxBody 'TopTx ConwayEra) (StrictMaybe Coin) Source #

collateralReturnTxBodyL ∷ Lens' (TxBody 'TopTx ConwayEra) (StrictMaybe (TxOut ConwayEra)) Source #

sizedCollateralReturnTxBodyL ∷ Lens' (TxBody 'TopTx ConwayEra) (StrictMaybe (Sized (TxOut ConwayEra))) Source #

allSizedOutputsTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l ConwayEra) (StrictSeq (Sized (TxOut ConwayEra))) Source #

BabbageEraTxOut ConwayEra Source #

Instance details

Methods

referenceScriptTxOutL ∷ Lens' (TxOut ConwayEra) (StrictMaybe (Script ConwayEra)) Source #

dataTxOutL ∷ Lens' (TxOut ConwayEra) (StrictMaybe (Data ConwayEra)) Source #

datumTxOutL ∷ Lens' (TxOut ConwayEra) (Datum ConwayEra) Source #

ConwayEraGov ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Governance

Methods

constitutionGovStateL ∷ Lens' (GovState ConwayEra) (Constitution ConwayEra) Source #

proposalsGovStateL ∷ Lens' (GovState ConwayEra) (Proposals ConwayEra) Source #

drepPulsingStateGovStateL ∷ Lens' (GovState ConwayEra) (DRepPulsingState ConwayEra) Source #

committeeGovStateL ∷ Lens' (GovState ConwayEra) (StrictMaybe (Committee ConwayEra)) Source #

RunConwayRatify ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway

Methods

runConwayRatify ∷ Globals → RatifyEnv ConwayEra → RatifyState ConwayEra → RatifySignal ConwayEra → RatifyState ConwayEra Source #

ConwayEraPParams ConwayEra Source #

Instance details

Methods

modifiedPPGroups ∷ PParamsUpdate ConwayEra → Set PPGroups Source #

ppuWellFormed ∷ ProtVer → PParamsUpdate ConwayEra → Bool Source #

hkdPoolVotingThresholdsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f PoolVotingThresholds) Source #

hkdDRepVotingThresholdsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f DRepVotingThresholds) Source #

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

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

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

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

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

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

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

ppMaxRefScriptSizePerTxG ∷ SimpleGetter (PParams ConwayEra) Word32 Source #

ppMaxRefScriptSizePerBlockG ∷ SimpleGetter (PParams ConwayEra) Word32 Source #

ppRefScriptCostMultiplierG ∷ SimpleGetter (PParams ConwayEra) PositiveInterval Source #

ppRefScriptCostStrideG ∷ SimpleGetter (PParams ConwayEra) (NonZero Word32) Source #

ConwayEraScript ConwayEra Source #

Instance details

Methods

mkVotingPurpose ∷ f Word32 Voter → PlutusPurpose f ConwayEra Source #

toVotingPurpose ∷ PlutusPurpose f ConwayEra → Maybe (f Word32 Voter) Source #

mkProposingPurpose ∷ f Word32 (ProposalProcedure ConwayEra) → PlutusPurpose f ConwayEra Source #

toProposingPurpose ∷ PlutusPurpose f ConwayEra → Maybe (f Word32 (ProposalProcedure ConwayEra)) Source #

ConwayEraAccounts ConwayEra Source #

Instance details

Methods

mkConwayAccountState ∷ CompactForm Coin → AccountState ConwayEra Source #

dRepDelegationAccountStateL ∷ Lens' (AccountState ConwayEra) (Maybe DRep) Source #

ConwayEraCertState ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.State.CertState

Methods

certVStateL ∷ Lens' (CertState ConwayEra) (VState ConwayEra) Source #

ConwayEraTransition ConwayEra Source #

Instance details

Methods

tcConwayGenesisL ∷ Lens' (TransitionConfig ConwayEra) ConwayGenesis Source #

ConwayEraTxBody ConwayEra Source #

Instance details

Methods

currentTreasuryValueTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ConwayEra) (StrictMaybe Coin) Source #

votingProceduresTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ConwayEra) (VotingProcedures ConwayEra) Source #

proposalProceduresTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ConwayEra) (OSet (ProposalProcedure ConwayEra)) Source #

treasuryDonationTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ConwayEra) Coin Source #

ConwayEraTxCert ConwayEra Source #

Instance details

Methods

mkRegDepositTxCert ∷ Credential 'Staking → Coin → TxCert ConwayEra Source #

getRegDepositTxCert ∷ TxCert ConwayEra → Maybe (Credential 'Staking, Coin) Source #

mkUnRegDepositTxCert ∷ Credential 'Staking → Coin → TxCert ConwayEra Source #

getUnRegDepositTxCert ∷ TxCert ConwayEra → Maybe (Credential 'Staking, Coin) Source #

mkDelegTxCert ∷ Credential 'Staking → Delegatee → TxCert ConwayEra Source #

getDelegTxCert ∷ TxCert ConwayEra → Maybe (Credential 'Staking, Delegatee) Source #

mkRegDepositDelegTxCert ∷ Credential 'Staking → Delegatee → Coin → TxCert ConwayEra Source #

getRegDepositDelegTxCert ∷ TxCert ConwayEra → Maybe (Credential 'Staking, Delegatee, Coin) Source #

mkAuthCommitteeHotKeyTxCert ∷ Credential 'ColdCommitteeRole → Credential 'HotCommitteeRole → TxCert ConwayEra Source #

getAuthCommitteeHotKeyTxCert ∷ TxCert ConwayEra → Maybe (Credential 'ColdCommitteeRole, Credential 'HotCommitteeRole) Source #

mkResignCommitteeColdTxCert ∷ Credential 'ColdCommitteeRole → StrictMaybe Anchor → TxCert ConwayEra Source #

getResignCommitteeColdTxCert ∷ TxCert ConwayEra → Maybe (Credential 'ColdCommitteeRole, StrictMaybe Anchor) Source #

mkRegDRepTxCert ∷ Credential 'DRepRole → Coin → StrictMaybe Anchor → TxCert ConwayEra Source #

getRegDRepTxCert ∷ TxCert ConwayEra → Maybe (Credential 'DRepRole, Coin, StrictMaybe Anchor) Source #

mkUnRegDRepTxCert ∷ Credential 'DRepRole → Coin → TxCert ConwayEra Source #

getUnRegDRepTxCert ∷ TxCert ConwayEra → Maybe (Credential 'DRepRole, Coin) Source #

mkUpdateDRepTxCert ∷ Credential 'DRepRole → StrictMaybe Anchor → TxCert ConwayEra Source #

getUpdateDRepTxCert ∷ TxCert ConwayEra → Maybe (Credential 'DRepRole, StrictMaybe Anchor) Source #

EraBlockBody ConwayEra Source #

Instance details

Associated Types

type BlockBody ConwayEra
Instance details Defined in Cardano.Ledger.Conway.BlockBody type BlockBody ConwayEra = AlonzoBlockBody ConwayEra

Methods

mkBasicBlockBody ∷ BlockBody ConwayEra Source #

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

hashBlockBody ∷ BlockBody ConwayEra → Hash HASH EraIndependentBlockBody Source #

blockBodySize ∷ ProtVer → BlockBody ConwayEra → Int Source #

EraScript ConwayEra Source #

Instance details

Associated Types

type Script ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Scripts type Script ConwayEra = AlonzoScript ConwayEra
type NativeScript ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Scripts type NativeScript ConwayEra = Timelock ConwayEra

Methods

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

scriptPrefixTag ∷ Script ConwayEra → ByteString Source #

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

fromNativeScript ∷ NativeScript ConwayEra → Script ConwayEra Source #

EraTx ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

Associated Types

newtype Tx l ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Tx newtype Tx l ConwayEra = MkConwayTx { unConwayTx ∷ AlonzoTx l ConwayEra }
type StAnnTx l ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Tx type StAnnTx l ConwayEra = AlonzoStAnnTx l ConwayEra
type StAnnTxCache ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Tx type StAnnTxCache ConwayEra = Map ScriptHash (SupportedPlutusRunnable ConwayEra)

Methods

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

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

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

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

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

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

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

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

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

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

StAnnTxCache ConwayEra ~ Map ScriptHash (SupportedPlutusRunnable ConwayEra) ⇒ EraTxAuxData ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.TxAuxData

Associated Types

type TxAuxData ConwayEra
Instance details Defined in Cardano.Ledger.Conway.TxAuxData type TxAuxData ConwayEra = AlonzoTxAuxData ConwayEra

Methods

mkBasicTxAuxData ∷ TxAuxData ConwayEra Source #

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

validateTxAuxData ∷ StAnnTxCache ConwayEra → ProtVer → TxAuxData ConwayEra → Bool Source #

EraTxBody ConwayEra Source #

Instance details

Associated Types

newtype TxBody l ConwayEra
Instance details Defined in Cardano.Ledger.Conway.TxBody newtype TxBody l ConwayEra = MkConwayTxBody (MemoBytes (ConwayTxBodyRaw l ConwayEra))

Methods

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

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

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

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

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

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

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

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

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

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

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

getGenesisKeyHashCountTxBody ∷ TxBody 'TopTx ConwayEra → Int Source #

EraTxOut ConwayEra Source #

Instance details

Associated Types

type TxOut ConwayEra
Instance details Defined in Cardano.Ledger.Conway.TxOut type TxOut ConwayEra = BabbageTxOut ConwayEra

Methods

mkBasicTxOut ∷ Addr → Value ConwayEra → TxOut ConwayEra Source #

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

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

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

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

addrTxOutL ∷ Lens' (TxOut ConwayEra) Addr Source #

compactAddrTxOutL ∷ Lens' (TxOut ConwayEra) CompactAddr Source #

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

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

getMinCoinTxOut ∷ PParams ConwayEra → TxOut ConwayEra → Coin Source #

EraTxWits ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.TxWits

Associated Types

type TxWits ConwayEra
Instance details Defined in Cardano.Ledger.Conway.TxWits type TxWits ConwayEra = AlonzoTxWits ConwayEra

Methods

mkBasicTxWits ∷ TxWits ConwayEra Source #

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

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

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

EraPParams ConwayEra Source #

Instance details

Associated Types

type PParamsHKD f ConwayEra
Instance details Defined in Cardano.Ledger.Conway.PParams type PParamsHKD f ConwayEra = ConwayPParams f ConwayEra
type UpgradePParams f ConwayEra
Instance details Defined in Cardano.Ledger.Conway.PParams type UpgradePParams f ConwayEra = UpgradeConwayPParams f
type DowngradePParams f ConwayEra
Instance details Defined in Cardano.Ledger.Conway.PParams type DowngradePParams f ConwayEra = ()

Methods

applyPPUpdates ∷ PParams ConwayEra → PParamsUpdate ConwayEra → PParams ConwayEra Source #

emptyPParamsIdentity ∷ PParamsHKD Identity ConwayEra Source #

emptyPParamsStrictMaybe ∷ PParamsHKD StrictMaybe ConwayEra Source #

emptyUpgradePParamsUpdate ∷ UpgradePParams StrictMaybe ConwayEra Source #

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ppDG ∷ SimpleGetter (PParams ConwayEra) UnitInterval Source #

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

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

ppProtocolVersionL ∷ Lens' (PParams ConwayEra) ProtVer Source #

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

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

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

ppMaxPledgeLeverageG ∷ SimpleGetter (PParams ConwayEra) MaxPledgeLeverage Source #

ppMinPoolMarginG ∷ SimpleGetter (PParams ConwayEra) UnitInterval Source #

eraPParams ∷ [PParam ConwayEra] Source #

EraTxCert ConwayEra Source #

Instance details

Associated Types

type TxCert ConwayEra
Instance details Defined in Cardano.Ledger.Conway.TxCert type TxCert ConwayEra = ConwayTxCert ConwayEra
type TxCertUpgradeError ConwayEra
Instance details Defined in Cardano.Ledger.Conway.TxCert type TxCertUpgradeError ConwayEra = ConwayTxCertUpgradeError

Methods

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

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

getScriptWitnessTxCert ∷ TxCert ConwayEra → Maybe ScriptHash Source #

mkRegPoolTxCert ∷ StakePoolParams ConwayEra → TxCert ConwayEra Source #

getRegPoolTxCert ∷ TxCert ConwayEra → Maybe (StakePoolParams ConwayEra) Source #

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

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

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

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

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

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

EraTxLevel ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

Associated Types

type STxLevel l ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Era type STxLevel l ConwayEra = STxTopLevel l ConwayEra

EraGenesis ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Genesis

Associated Types

type Genesis ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Genesis type Genesis ConwayEra = ConwayGenesis

EraAccounts ConwayEra Source #

Instance details

Associated Types

type AccountState ConwayEra
Instance details Defined in Cardano.Ledger.Conway.State.Account type AccountState ConwayEra = ConwayAccountState ConwayEra
type Accounts ConwayEra
Instance details Defined in Cardano.Ledger.Conway.State.Account type Accounts ConwayEra = ConwayAccounts ConwayEra

Methods

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

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

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

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

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

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

EraCertState ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.State.CertState

Associated Types

type CertState ConwayEra
Instance details Defined in Cardano.Ledger.Conway.State.CertState type CertState ConwayEra = ConwayCertState ConwayEra

Methods

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

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

obligationCertState ∷ CertState ConwayEra → Obligations Source #

certsTotalDepositsTxBody ∷ PParams ConwayEra → CertState ConwayEra → TxBody 'TopTx ConwayEra → Coin Source #

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

EraGov ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Governance

Associated Types

type GovState ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Governance type GovState ConwayEra = ConwayGovState ConwayEra

Methods

emptyGovState ∷ GovState ConwayEra Source #

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

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

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

obligationGovState ∷ GovState ConwayEra → Obligations Source #

EraStake ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.State.Stake

Associated Types

type InstantStake ConwayEra
Instance details Defined in Cardano.Ledger.Conway.State.Stake type InstantStake ConwayEra = ConwayInstantStake ConwayEra

Methods

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

addInstantStake ∷ UTxO ConwayEra → InstantStake ConwayEra → InstantStake ConwayEra Source #

deleteInstantStake ∷ UTxO ConwayEra → InstantStake ConwayEra → InstantStake ConwayEra Source #

resolveInstantStake ∷ InstantStake ConwayEra → Accounts ConwayEra → ActiveStake Source #

EraUTxO ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.UTxO

Associated Types

type ScriptsNeeded ConwayEra
Instance details Defined in Cardano.Ledger.Conway.UTxO type ScriptsNeeded ConwayEra = AlonzoScriptsNeeded ConwayEra

Methods

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

getProducedValue ∷ PParams ConwayEra → (KeyHash 'StakePool → Bool) → TxBody 'TopTx ConwayEra → Value ConwayEra Source #

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

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

getScriptsHashesNeeded ∷ ScriptsNeeded ConwayEra → Set ScriptHash Source #

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

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

Era ConwayEra

Instance details

Associated Types

type EraName ConwayEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName ConwayEra = "Conway"
type PreviousEra ConwayEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra ConwayEra = BabbageEra
type ProtVerLow ConwayEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow ConwayEra = 9
type ProtVerHigh ConwayEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh ConwayEra = 11

Methods

eraName ∷ String Source #

MaryEraTxBody ConwayEra Source #

Instance details

Methods

mintTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ConwayEra) MultiAsset Source #

mintedTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l ConwayEra) (Set PolicyID) Source #

mintValueTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l ConwayEra) (Value ConwayEra) Source #

EraForecast ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Forecast

Associated Types

type Forecast t ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Forecast type Forecast t ConwayEra = BabbageForecast t ConwayEra

Methods

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

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

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

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

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

ApplyTx ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway

Associated Types

newtype ApplyTxError ConwayEra
Instance details Defined in Cardano.Ledger.Conway newtype ApplyTxError ConwayEra = ConwayApplyTxError (NonEmpty (ConwayLedgerPredFailure ConwayEra))

Methods

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

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

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

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

ApplyTick ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway

Methods

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

ShelleyEraScript ConwayEra Source #

Instance details

Methods

mkRequireSignature ∷ KeyHash 'Witness → NativeScript ConwayEra Source #

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

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

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

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

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

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

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

EraTransition ConwayEra Source #

Instance details

Associated Types

data TransitionConfig ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Transition data TransitionConfig ConwayEra = ConwayTransitionConfig { ctcConwayGenesis ∷ !ConwayGenesis ctcBabbageTransitionConfig ∷ !(TransitionConfig BabbageEra) }

Methods

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

injectIntoTestState ∷ (HasCallStack, MonadST m, MonadThrow m) ⇒ HasFS m h → TransitionConfig ConwayEra → NewEpochState ConwayEra → m (NewEpochState ConwayEra) Source #

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

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

tcShelleyGenesisL ∷ Lens' (TransitionConfig ConwayEra) ShelleyGenesis Source #

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

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

parseTransitionConfigJSON ∷ Value → Parser (TransitionConfig ConwayEra)

ShelleyEraTxCert ConwayEra Source #

Instance details

Methods

mkRegTxCert ∷ Credential 'Staking → TxCert ConwayEra Source #

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

mkUnRegTxCert ∷ Credential 'Staking → TxCert ConwayEra Source #

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

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

getDelegStakeTxCert ∷ TxCert ConwayEra → Maybe (Credential 'Staking, KeyHash 'StakePool) Source #

mkGenesisDelegTxCert ∷ GenesisDelegCert → TxCert ConwayEra Source #

getGenesisDelegTxCert ∷ TxCert ConwayEra → Maybe GenesisDelegCert Source #

mkMirTxCert ∷ MIRCert → TxCert ConwayEra Source #

getMirTxCert ∷ TxCert ConwayEra → Maybe MIRCert Source #

EraPlutusTxInfo 'PlutusV1 ConwayEra Source #

Instance details

Methods

toPlutusTxCert ∷ proxy 'PlutusV1 → ProtVer → TxCert ConwayEra → Either (ContextError ConwayEra) (PlutusTxCert 'PlutusV1) Source #

toPlutusScriptPurpose ∷ proxy 'PlutusV1 → LedgerTxInfo ConwayEra → PlutusPurpose AsIxItem ConwayEra → Either (ContextError ConwayEra) (PlutusScriptPurpose 'PlutusV1) Source #

toPlutusTxInfo ∷ proxy 'PlutusV1 → LedgerTxInfo ConwayEra → PlutusTxInfoResult 'PlutusV1 ConwayEra Source #

toPlutusArgs ∷ proxy 'PlutusV1 → LedgerTxInfo ConwayEra → PlutusTxInfo 'PlutusV1 → PlutusPurpose AsIxItem ConwayEra → Data ConwayEra → Either (ContextError ConwayEra) (PlutusArgs 'PlutusV1) Source #

toPlutusTxInInfo ∷ proxy 'PlutusV1 → UTxO ConwayEra → TxIn → Either (ContextError ConwayEra) (PlutusTxInInfo ConwayEra 'PlutusV1) Source #

EraPlutusTxInfo 'PlutusV2 ConwayEra Source #

Instance details

Methods

toPlutusTxCert ∷ proxy 'PlutusV2 → ProtVer → TxCert ConwayEra → Either (ContextError ConwayEra) (PlutusTxCert 'PlutusV2) Source #

toPlutusScriptPurpose ∷ proxy 'PlutusV2 → LedgerTxInfo ConwayEra → PlutusPurpose AsIxItem ConwayEra → Either (ContextError ConwayEra) (PlutusScriptPurpose 'PlutusV2) Source #

toPlutusTxInfo ∷ proxy 'PlutusV2 → LedgerTxInfo ConwayEra → PlutusTxInfoResult 'PlutusV2 ConwayEra Source #

toPlutusArgs ∷ proxy 'PlutusV2 → LedgerTxInfo ConwayEra → PlutusTxInfo 'PlutusV2 → PlutusPurpose AsIxItem ConwayEra → Data ConwayEra → Either (ContextError ConwayEra) (PlutusArgs 'PlutusV2) Source #

toPlutusTxInInfo ∷ proxy 'PlutusV2 → UTxO ConwayEra → TxIn → Either (ContextError ConwayEra) (PlutusTxInInfo ConwayEra 'PlutusV2) Source #

EraPlutusTxInfo 'PlutusV3 ConwayEra Source #

Instance details

Methods

toPlutusTxCert ∷ proxy 'PlutusV3 → ProtVer → TxCert ConwayEra → Either (ContextError ConwayEra) (PlutusTxCert 'PlutusV3) Source #

toPlutusScriptPurpose ∷ proxy 'PlutusV3 → LedgerTxInfo ConwayEra → PlutusPurpose AsIxItem ConwayEra → Either (ContextError ConwayEra) (PlutusScriptPurpose 'PlutusV3) Source #

toPlutusTxInfo ∷ proxy 'PlutusV3 → LedgerTxInfo ConwayEra → PlutusTxInfoResult 'PlutusV3 ConwayEra Source #

toPlutusArgs ∷ proxy 'PlutusV3 → LedgerTxInfo ConwayEra → PlutusTxInfo 'PlutusV3 → PlutusPurpose AsIxItem ConwayEra → Data ConwayEra → Either (ContextError ConwayEra) (PlutusArgs 'PlutusV3) Source #

toPlutusTxInInfo ∷ proxy 'PlutusV3 → UTxO ConwayEra → TxIn → Either (ContextError ConwayEra) (PlutusTxInInfo ConwayEra 'PlutusV3) Source #

ConwayEraPlutusTxInfo 'PlutusV3 ConwayEra Source #

Instance details

Methods

toPlutusChangedParameters ∷ proxy 'PlutusV3 → PParamsUpdate ConwayEra → ChangedParameters Source #

TranslateEra ConwayEra PParams Source #

Instance details

Associated Types

type TranslationError ConwayEra PParams
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra PParams = Void

Methods

translateEra ∷ TranslationContext ConwayEra → PParams (PreviousEra ConwayEra) → Except (TranslationError ConwayEra PParams) (PParams ConwayEra) Source #

TranslateEra ConwayEra DState Source #

Instance details

Associated Types

type TranslationError ConwayEra DState
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra DState = Void

Methods

translateEra ∷ TranslationContext ConwayEra → DState (PreviousEra ConwayEra) → Except (TranslationError ConwayEra DState) (DState ConwayEra) Source #

TranslateEra ConwayEra PState Source #

Instance details

Associated Types

type TranslationError ConwayEra PState
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra PState = Void

Methods

translateEra ∷ TranslationContext ConwayEra → PState (PreviousEra ConwayEra) → Except (TranslationError ConwayEra PState) (PState ConwayEra) Source #

TranslateEra ConwayEra FuturePParams Source #

Instance details

Associated Types

type TranslationError ConwayEra FuturePParams
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra FuturePParams = Void

Methods

translateEra ∷ TranslationContext ConwayEra → FuturePParams (PreviousEra ConwayEra) → Except (TranslationError ConwayEra FuturePParams) (FuturePParams ConwayEra) Source #

TranslateEra ConwayEra SnapShots Source #

Instance details

Associated Types

type TranslationError ConwayEra SnapShots
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra SnapShots = Void

Methods

translateEra ∷ TranslationContext ConwayEra → SnapShots (PreviousEra ConwayEra) → Except (TranslationError ConwayEra SnapShots) (SnapShots ConwayEra) Source #

TranslateEra ConwayEra UTxO Source #

Instance details

Associated Types

type TranslationError ConwayEra UTxO
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra UTxO = Void

Methods

translateEra ∷ TranslationContext ConwayEra → UTxO (PreviousEra ConwayEra) → Except (TranslationError ConwayEra UTxO) (UTxO ConwayEra) Source #

TranslateEra ConwayEra EpochState Source #

Instance details

Associated Types

type TranslationError ConwayEra EpochState
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra EpochState = Void

Methods

translateEra ∷ TranslationContext ConwayEra → EpochState (PreviousEra ConwayEra) → Except (TranslationError ConwayEra EpochState) (EpochState ConwayEra) Source #

TranslateEra ConwayEra LedgerState Source #

Instance details

Associated Types

type TranslationError ConwayEra LedgerState
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra LedgerState = Void

Methods

translateEra ∷ TranslationContext ConwayEra → LedgerState (PreviousEra ConwayEra) → Except (TranslationError ConwayEra LedgerState) (LedgerState ConwayEra) Source #

TranslateEra ConwayEra NewEpochState Source #

Instance details

Associated Types

type TranslationError ConwayEra NewEpochState
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra NewEpochState = Void

Methods

translateEra ∷ TranslationContext ConwayEra → NewEpochState (PreviousEra ConwayEra) → Except (TranslationError ConwayEra NewEpochState) (NewEpochState ConwayEra) Source #

TranslateEra ConwayEra UTxOState Source #

Instance details

Associated Types

type TranslationError ConwayEra UTxOState
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra UTxOState = Void

Methods

translateEra ∷ TranslationContext ConwayEra → UTxOState (PreviousEra ConwayEra) → Except (TranslationError ConwayEra UTxOState) (UTxOState ConwayEra) Source #

HasEraTxLevel ConwayTxBodyRaw ConwayEra Source #

Instance details

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). ConwayTxBodyRaw l ConwayEra → STxLevel l ConwayEra Source #

HasEraTxLevel Tx ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

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

HasEraTxLevel TxBody ConwayEra Source #

Instance details

Methods

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

EraBlockHeader h ConwayEra ⇒ ApplyBlock h ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway

Methods

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

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

InjectRuleEvent "EPOCH" ConwayHardForkEvent ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Rules.Epoch

Methods

injectEvent ∷ ConwayHardForkEvent ConwayEra → EraRuleEvent "EPOCH" ConwayEra Source #

InjectRuleEvent "GOV" ConwayGovEvent ConwayEra Source #

Instance details

Methods

injectEvent ∷ ConwayGovEvent ConwayEra → EraRuleEvent "GOV" ConwayEra Source #

InjectRuleEvent "NEWEPOCH" ConwayEpochEvent ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

Methods

injectEvent ∷ ConwayEpochEvent ConwayEra → EraRuleEvent "NEWEPOCH" ConwayEra Source #

InjectRuleEvent "NEWEPOCH" ConwayHardForkEvent ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

Methods

injectEvent ∷ ConwayHardForkEvent ConwayEra → EraRuleEvent "NEWEPOCH" ConwayEra Source #

InjectRuleEvent "POOL" PoolEvent ConwayEra Source #

Instance details

Methods

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

InjectRuleEvent "TICK" ConwayEpochEvent ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Rules

Methods

injectEvent ∷ ConwayEpochEvent ConwayEra → EraRuleEvent "TICK" ConwayEra Source #

InjectRuleEvent "TICK" ConwayHardForkEvent ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Rules

Methods

injectEvent ∷ ConwayHardForkEvent ConwayEra → EraRuleEvent "TICK" ConwayEra Source #

InjectRuleEvent "UTXOS" AlonzoUtxosEvent ConwayEra Source #

Instance details

Methods

injectEvent ∷ AlonzoUtxosEvent ConwayEra → EraRuleEvent "UTXOS" ConwayEra Source #

InjectRuleEvent "UTXOS" ConwayUtxosEvent ConwayEra Source #

Instance details

Methods

injectEvent ∷ ConwayUtxosEvent ConwayEra → EraRuleEvent "UTXOS" ConwayEra Source #

InjectRuleFailure "BBODY" AllegraUtxoPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ AllegraUtxoPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #

InjectRuleFailure "BBODY" AlonzoBbodyPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ AlonzoBbodyPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #

InjectRuleFailure "BBODY" AlonzoUtxoPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ AlonzoUtxoPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #

InjectRuleFailure "BBODY" AlonzoUtxosPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ AlonzoUtxosPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #

InjectRuleFailure "BBODY" AlonzoUtxowPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ AlonzoUtxowPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #

InjectRuleFailure "BBODY" BabbageUtxoPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ BabbageUtxoPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #

InjectRuleFailure "BBODY" BabbageUtxowPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ BabbageUtxowPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #

InjectRuleFailure "BBODY" ConwayBbodyPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayBbodyPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #

InjectRuleFailure "BBODY" ConwayCertPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayCertPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #

InjectRuleFailure "BBODY" ConwayCertsPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayCertsPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #

InjectRuleFailure "BBODY" ConwayDelegPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayDelegPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #

InjectRuleFailure "BBODY" ConwayGovPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayGovPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #

InjectRuleFailure "BBODY" ConwayGovCertPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayGovCertPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #

InjectRuleFailure "BBODY" ConwayLedgerPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayLedgerPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #

InjectRuleFailure "BBODY" ConwayUtxoPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayUtxoPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #

InjectRuleFailure "BBODY" ConwayUtxosPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayUtxosPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #

InjectRuleFailure "BBODY" ConwayUtxowPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayUtxowPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #

InjectRuleFailure "BBODY" ShelleyBbodyPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyLedgersPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyPoolPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyUtxoPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyUtxowPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "CERT" ConwayCertPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayCertPredFailure ConwayEra → EraRuleFailure "CERT" ConwayEra Source #

InjectRuleFailure "CERT" ConwayDelegPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayDelegPredFailure ConwayEra → EraRuleFailure "CERT" ConwayEra Source #

InjectRuleFailure "CERT" ConwayGovCertPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayGovCertPredFailure ConwayEra → EraRuleFailure "CERT" ConwayEra Source #

InjectRuleFailure "CERT" ShelleyPoolPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ShelleyPoolPredFailure ConwayEra → EraRuleFailure "CERT" ConwayEra Source #

InjectRuleFailure "CERTS" ConwayCertPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayCertPredFailure ConwayEra → EraRuleFailure "CERTS" ConwayEra Source #

InjectRuleFailure "CERTS" ConwayCertsPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayCertsPredFailure ConwayEra → EraRuleFailure "CERTS" ConwayEra Source #

InjectRuleFailure "CERTS" ConwayDelegPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayDelegPredFailure ConwayEra → EraRuleFailure "CERTS" ConwayEra Source #

InjectRuleFailure "CERTS" ConwayGovCertPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayGovCertPredFailure ConwayEra → EraRuleFailure "CERTS" ConwayEra Source #

InjectRuleFailure "CERTS" ShelleyPoolPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ShelleyPoolPredFailure ConwayEra → EraRuleFailure "CERTS" ConwayEra Source #

InjectRuleFailure "DELEG" ConwayDelegPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayDelegPredFailure ConwayEra → EraRuleFailure "DELEG" ConwayEra Source #

InjectRuleFailure "DELEG" AccountAlreadyRegistered ConwayEra Source #

Instance details

Methods

injectFailure ∷ AccountAlreadyRegistered ConwayEra → EraRuleFailure "DELEG" ConwayEra Source #

InjectRuleFailure "GOV" ConwayGovPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayGovPredFailure ConwayEra → EraRuleFailure "GOV" ConwayEra Source #

InjectRuleFailure "GOVCERT" ConwayGovCertPredFailure ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

Methods

injectFailure ∷ ConwayGovCertPredFailure ConwayEra → EraRuleFailure "GOVCERT" ConwayEra Source #

InjectRuleFailure "LEDGER" AllegraUtxoPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ AllegraUtxoPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source #

InjectRuleFailure "LEDGER" AlonzoUtxoPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ AlonzoUtxoPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source #

InjectRuleFailure "LEDGER" AlonzoUtxosPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ AlonzoUtxosPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source #

InjectRuleFailure "LEDGER" AlonzoUtxowPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ AlonzoUtxowPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source #

InjectRuleFailure "LEDGER" BabbageUtxoPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ BabbageUtxoPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source #

InjectRuleFailure "LEDGER" BabbageUtxowPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ BabbageUtxowPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source #

InjectRuleFailure "LEDGER" ConwayCertPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayCertPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source #

InjectRuleFailure "LEDGER" ConwayCertsPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayCertsPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source #

InjectRuleFailure "LEDGER" ConwayDelegPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayDelegPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source #

InjectRuleFailure "LEDGER" ConwayGovPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayGovPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source #

InjectRuleFailure "LEDGER" ConwayGovCertPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayGovCertPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source #

InjectRuleFailure "LEDGER" ConwayLedgerPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayLedgerPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source #

InjectRuleFailure "LEDGER" ConwayUtxoPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayUtxoPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source #

InjectRuleFailure "LEDGER" ConwayUtxosPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayUtxosPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source #

InjectRuleFailure "LEDGER" ConwayUtxowPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayUtxowPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source #

InjectRuleFailure "LEDGER" AccountAlreadyRegistered ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" ShelleyPoolPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" AllegraUtxoPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ AllegraUtxoPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source #

InjectRuleFailure "LEDGERS" AlonzoUtxoPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ AlonzoUtxoPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source #

InjectRuleFailure "LEDGERS" AlonzoUtxosPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ AlonzoUtxosPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source #

InjectRuleFailure "LEDGERS" AlonzoUtxowPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ AlonzoUtxowPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source #

InjectRuleFailure "LEDGERS" BabbageUtxoPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ BabbageUtxoPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source #

InjectRuleFailure "LEDGERS" BabbageUtxowPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ BabbageUtxowPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source #

InjectRuleFailure "LEDGERS" ConwayCertPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayCertPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source #

InjectRuleFailure "LEDGERS" ConwayCertsPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayCertsPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source #

InjectRuleFailure "LEDGERS" ConwayDelegPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayDelegPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source #

InjectRuleFailure "LEDGERS" ConwayGovPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayGovPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source #

InjectRuleFailure "LEDGERS" ConwayGovCertPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayGovCertPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source #

InjectRuleFailure "LEDGERS" ConwayLedgerPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayLedgerPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source #

InjectRuleFailure "LEDGERS" ConwayUtxoPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayUtxoPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source #

InjectRuleFailure "LEDGERS" ConwayUtxosPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayUtxosPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source #

InjectRuleFailure "LEDGERS" ConwayUtxowPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayUtxowPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source #

InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "POOL" ShelleyPoolPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXO" AllegraUtxoPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ AllegraUtxoPredFailure ConwayEra → EraRuleFailure "UTXO" ConwayEra Source #

InjectRuleFailure "UTXO" AlonzoUtxoPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ AlonzoUtxoPredFailure ConwayEra → EraRuleFailure "UTXO" ConwayEra Source #

InjectRuleFailure "UTXO" AlonzoUtxosPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ AlonzoUtxosPredFailure ConwayEra → EraRuleFailure "UTXO" ConwayEra Source #

InjectRuleFailure "UTXO" BabbageUtxoPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ BabbageUtxoPredFailure ConwayEra → EraRuleFailure "UTXO" ConwayEra Source #

InjectRuleFailure "UTXO" ConwayUtxoPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayUtxoPredFailure ConwayEra → EraRuleFailure "UTXO" ConwayEra Source #

InjectRuleFailure "UTXO" ConwayUtxosPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayUtxosPredFailure ConwayEra → EraRuleFailure "UTXO" ConwayEra Source #

InjectRuleFailure "UTXO" ShelleyUtxoPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ AlonzoUtxosPredFailure ConwayEra → EraRuleFailure "UTXOS" ConwayEra Source #

InjectRuleFailure "UTXOS" ConwayUtxosPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayUtxosPredFailure ConwayEra → EraRuleFailure "UTXOS" ConwayEra Source #

InjectRuleFailure "UTXOW" AllegraUtxoPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ AllegraUtxoPredFailure ConwayEra → EraRuleFailure "UTXOW" ConwayEra Source #

InjectRuleFailure "UTXOW" AlonzoUtxoPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ AlonzoUtxoPredFailure ConwayEra → EraRuleFailure "UTXOW" ConwayEra Source #

InjectRuleFailure "UTXOW" AlonzoUtxosPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ AlonzoUtxosPredFailure ConwayEra → EraRuleFailure "UTXOW" ConwayEra Source #

InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ AlonzoUtxowPredFailure ConwayEra → EraRuleFailure "UTXOW" ConwayEra Source #

InjectRuleFailure "UTXOW" BabbageUtxoPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ BabbageUtxoPredFailure ConwayEra → EraRuleFailure "UTXOW" ConwayEra Source #

InjectRuleFailure "UTXOW" BabbageUtxowPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ BabbageUtxowPredFailure ConwayEra → EraRuleFailure "UTXOW" ConwayEra Source #

InjectRuleFailure "UTXOW" ConwayUtxoPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayUtxoPredFailure ConwayEra → EraRuleFailure "UTXOW" ConwayEra Source #

InjectRuleFailure "UTXOW" ConwayUtxosPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayUtxosPredFailure ConwayEra → EraRuleFailure "UTXOW" ConwayEra Source #

InjectRuleFailure "UTXOW" ConwayUtxowPredFailure ConwayEra Source #

Instance details

Methods

injectFailure ∷ ConwayUtxowPredFailure ConwayEra → EraRuleFailure "UTXOW" ConwayEra Source #

InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure ConwayEra Source #

Instance details

Methods

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

TranslateEra ConwayEra (Tx 'TopTx) Source #

Instance details

Associated Types

type TranslationError ConwayEra (Tx 'TopTx)
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra (Tx 'TopTx) = DecoderError

Methods

translateEra ∷ TranslationContext ConwayEra → Tx 'TopTx (PreviousEra ConwayEra) → Except (TranslationError ConwayEra (Tx 'TopTx)) (Tx 'TopTx ConwayEra) Source #

Typeable l ⇒ DecCBOR (Annotator (ConwayTxBodyRaw l ConwayEra)) Source #

Instance details

Methods

decCBOR ∷ Decoder s (Annotator (ConwayTxBodyRaw l ConwayEra)) Source #

dropCBOR ∷ Proxy (Annotator (ConwayTxBodyRaw l ConwayEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (ConwayTxBodyRaw l ConwayEra)) → Text Source #

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

Instance details

Methods

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

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

label ∷ Proxy (Annotator (Block h ConwayEra)) → Text Source #

Typeable l ⇒ DecCBOR (Annotator (Tx l ConwayEra)) Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

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

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

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

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

Instance details

Methods

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

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

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

DecCBOR (ApplyTxError ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway

Methods

decCBOR ∷ Decoder s (ApplyTxError ConwayEra) Source #

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

label ∷ Proxy (ApplyTxError ConwayEra) → Text Source #

EncCBOR (ApplyTxError ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway

Methods

encCBOR ∷ ApplyTxError ConwayEra → Encoding Source #

SafeToHash (PlutusScript ConwayEra) Source #

Instance details

Methods

originalBytes ∷ PlutusScript ConwayEra → ByteString Source #

originalBytesSize ∷ PlutusScript ConwayEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → PlutusScript ConwayEra → SafeHash i Source #

NFData (PlutusScript ConwayEra) Source #

Instance details

Methods

rnf ∷ PlutusScript ConwayEra → () #

Semigroup (ApplyTxError ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway

Methods

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

sconcat ∷ NonEmpty (ApplyTxError ConwayEra) → ApplyTxError ConwayEra #

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

Generic (PlutusScript ConwayEra) Source #

Instance details

Associated Types

type Rep (PlutusScript ConwayEra)

Instance details

type Rep (PlutusScript ConwayEra) = D1 ('MetaData "PlutusScript" "Cardano.Ledger.Conway.Scripts" "cardano-ledger-conway-1.24.0.0-inplace" 'False) (C1 ('MetaCons "ConwayPlutusV1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV1))) :+: (C1 ('MetaCons "ConwayPlutusV2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV2))) :+: C1 ('MetaCons "ConwayPlutusV3" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV3)))))

Methods

from ∷ PlutusScript ConwayEra → Rep (PlutusScript ConwayEra) x #

to ∷ Rep (PlutusScript ConwayEra) x → PlutusScript ConwayEra #

Generic (ApplyTxError ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway

Associated Types

type Rep (ApplyTxError ConwayEra)
Instance details Defined in Cardano.Ledger.Conway type Rep (ApplyTxError ConwayEra) = Rep (NonEmpty (ConwayLedgerPredFailure ConwayEra))

Methods

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

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

Generic (TransitionConfig ConwayEra) Source #

Instance details

Associated Types

type Rep (TransitionConfig ConwayEra)

Instance details

type Rep (TransitionConfig ConwayEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Conway.Transition" "cardano-ledger-conway-1.24.0.0-inplace" 'False) (C1 ('MetaCons "ConwayTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "ctcConwayGenesis") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ConwayGenesis) :*: S1 ('MetaSel ('Just "ctcBabbageTransitionConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TransitionConfig BabbageEra))))

Methods

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

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

Show (PlutusScript ConwayEra) Source #

Instance details

Methods

showsPrec ∷ Int → PlutusScript ConwayEra → ShowS #

show ∷ PlutusScript ConwayEra → String #

showList ∷ [PlutusScript ConwayEra] → ShowS #

Show (ApplyTxError ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway

Methods

showsPrec ∷ Int → ApplyTxError ConwayEra → ShowS #

show ∷ ApplyTxError ConwayEra → String #

showList ∷ [ApplyTxError ConwayEra] → ShowS #

Show (TransitionConfig ConwayEra) Source #

Instance details

Methods

showsPrec ∷ Int → TransitionConfig ConwayEra → ShowS #

show ∷ TransitionConfig ConwayEra → String #

showList ∷ [TransitionConfig ConwayEra] → ShowS #

Eq (PlutusScript ConwayEra) Source #

Instance details

Methods

(==) ∷ PlutusScript ConwayEra → PlutusScript ConwayEra → Bool #

(/=) ∷ PlutusScript ConwayEra → PlutusScript ConwayEra → Bool #

Eq (ApplyTxError ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway

Methods

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

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

Eq (TransitionConfig ConwayEra) Source #

Instance details

Methods

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

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

Ord (PlutusScript ConwayEra) Source #

Instance details

Methods

compare ∷ PlutusScript ConwayEra → PlutusScript ConwayEra → Ordering #

(<) ∷ PlutusScript ConwayEra → PlutusScript ConwayEra → Bool #

(<=) ∷ PlutusScript ConwayEra → PlutusScript ConwayEra → Bool #

(>) ∷ PlutusScript ConwayEra → PlutusScript ConwayEra → Bool #

(>=) ∷ PlutusScript ConwayEra → PlutusScript ConwayEra → Bool #

max ∷ PlutusScript ConwayEra → PlutusScript ConwayEra → PlutusScript ConwayEra #

min ∷ PlutusScript ConwayEra → PlutusScript ConwayEra → PlutusScript ConwayEra #

MemPack (PlutusScript ConwayEra) Source #

Instance details

Methods

typeName ∷ String Source #

packedByteCount ∷ PlutusScript ConwayEra → Int Source #

packM ∷ PlutusScript ConwayEra → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b (PlutusScript ConwayEra) Source #

NoThunks (PlutusScript ConwayEra) Source #

Instance details

Methods

noThunks ∷ Context → PlutusScript ConwayEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PlutusScript ConwayEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (PlutusScript ConwayEra) → String Source #

NoThunks (TransitionConfig ConwayEra) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (TransitionConfig ConwayEra) → String Source #

Inject (NonEmpty (ConwayLedgerPredFailure ConwayEra)) (ApplyTxError ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway

Methods

inject ∷ NonEmpty (ConwayLedgerPredFailure ConwayEra) → ApplyTxError ConwayEra Source #

FromJSON (Tx 'TopTx ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

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

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

omittedField ∷ Maybe (Tx 'TopTx ConwayEra) Source #

FromJSON (TxOut ConwayEra) ⇒ FromJSON (TxBody 'TopTx ConwayEra) Source #

Instance details

Methods

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

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

omittedField ∷ Maybe (TxBody 'TopTx ConwayEra) Source #

ToJSON (Tx 'TopTx ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

toJSON ∷ Tx 'TopTx ConwayEra → Value Source #

toEncoding ∷ Tx 'TopTx ConwayEra → Encoding Source #

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

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

omitField ∷ Tx 'TopTx ConwayEra → Bool Source #

ToJSON (TxOut ConwayEra) ⇒ ToJSON (TxBody 'TopTx ConwayEra) Source #

Instance details

Methods

toJSON ∷ TxBody 'TopTx ConwayEra → Value Source #

toEncoding ∷ TxBody 'TopTx ConwayEra → Encoding Source #

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

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

omitField ∷ TxBody 'TopTx ConwayEra → Bool Source #

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

Instance details

Methods

toCBOR ∷ Block h ConwayEra → Encoding Source #

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

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Block h ConwayEra] → Size Source #

Typeable l ⇒ ToCBOR (Tx l ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

toCBOR ∷ Tx l ConwayEra → Encoding Source #

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

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

Typeable l ⇒ ToCBOR (TxBody l ConwayEra) Source #

Instance details

Methods

toCBOR ∷ TxBody l ConwayEra → Encoding Source #

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

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

Typeable l ⇒ DecCBOR (ConwayTxBodyRaw l ConwayEra) Source #

Instance details

Methods

decCBOR ∷ Decoder s (ConwayTxBodyRaw l ConwayEra) Source #

dropCBOR ∷ Proxy (ConwayTxBodyRaw l ConwayEra) → Decoder s () Source #

label ∷ Proxy (ConwayTxBodyRaw l ConwayEra) → Text Source #

EncCBOR (ConwayTxBodyRaw l ConwayEra) Source #

Instance details

Methods

encCBOR ∷ ConwayTxBodyRaw l ConwayEra → Encoding Source #

EncCBOR h ⇒ EncCBOR (Block h ConwayEra) Source #

Instance details

Methods

encCBOR ∷ Block h ConwayEra → Encoding Source #

EncCBOR (Tx l ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

encCBOR ∷ Tx l ConwayEra → Encoding Source #

EncCBOR (TxBody l ConwayEra) Source #

Encodes memoized bytes created upon construction.

Instance details

Methods

encCBOR ∷ TxBody l ConwayEra → Encoding Source #

ToJSON (TxOut ConwayEra) ⇒ ToKeyValuePairs (TxBody 'TopTx ConwayEra) Source #

Instance details

Methods

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

SafeToHash (TxBody l ConwayEra) Source #

Instance details

Methods

originalBytes ∷ TxBody l ConwayEra → ByteString Source #

originalBytesSize ∷ TxBody l ConwayEra → Int Source #

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

EqRaw (Tx l ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

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

EqRaw (TxBody l ConwayEra) Source #

Instance details

Methods

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

Memoized (TxBody l ConwayEra) Source #

Instance details

Associated Types

type RawType (TxBody l ConwayEra)
Instance details Defined in Cardano.Ledger.Conway.TxBody type RawType (TxBody l ConwayEra) = ConwayTxBodyRaw l ConwayEra

Methods

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

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

NFData (ConwayTxBodyRaw l ConwayEra) Source #

Instance details

Methods

rnf ∷ ConwayTxBodyRaw l ConwayEra → () #

NFData (Tx l ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

rnf ∷ Tx l ConwayEra → () #

NFData (TxBody l ConwayEra) Source #

Instance details

Methods

rnf ∷ TxBody l ConwayEra → () #

Generic (Tx l ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

Associated Types

type Rep (Tx l ConwayEra)
Instance details Defined in Cardano.Ledger.Conway.Tx type Rep (Tx l ConwayEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Conway.Tx" "cardano-ledger-conway-1.24.0.0-inplace" 'True) (C1 ('MetaCons "MkConwayTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unConwayTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoTx l ConwayEra))))

Methods

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

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

Generic (TxBody l ConwayEra) Source #

Instance details

Associated Types

type Rep (TxBody l ConwayEra)
Instance details Defined in Cardano.Ledger.Conway.TxBody type Rep (TxBody l ConwayEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Conway.TxBody" "cardano-ledger-conway-1.24.0.0-inplace" 'True) (C1 ('MetaCons "MkConwayTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ConwayTxBodyRaw l ConwayEra)))))

Methods

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

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

Show (ConwayTxBodyRaw l ConwayEra) Source #

Instance details

Methods

showsPrec ∷ Int → ConwayTxBodyRaw l ConwayEra → ShowS #

show ∷ ConwayTxBodyRaw l ConwayEra → String #

showList ∷ [ConwayTxBodyRaw l ConwayEra] → ShowS #

Show (Tx l ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

showsPrec ∷ Int → Tx l ConwayEra → ShowS #

show ∷ Tx l ConwayEra → String #

showList ∷ [Tx l ConwayEra] → ShowS #

Show (TxBody l ConwayEra) Source #

Instance details

Methods

showsPrec ∷ Int → TxBody l ConwayEra → ShowS #

show ∷ TxBody l ConwayEra → String #

showList ∷ [TxBody l ConwayEra] → ShowS #

Eq (ConwayTxBodyRaw l ConwayEra) Source #

Instance details

Methods

(==) ∷ ConwayTxBodyRaw l ConwayEra → ConwayTxBodyRaw l ConwayEra → Bool #

(/=) ∷ ConwayTxBodyRaw l ConwayEra → ConwayTxBodyRaw l ConwayEra → Bool #

Eq (Tx l ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

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

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

Eq (TxBody l ConwayEra) Source #

Instance details

Methods

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

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

Typeable l ⇒ NoThunks (ConwayTxBodyRaw l ConwayEra) Source #

Instance details

Methods

noThunks ∷ Context → ConwayTxBodyRaw l ConwayEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ConwayTxBodyRaw l ConwayEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ConwayTxBodyRaw l ConwayEra) → String Source #

Typeable l ⇒ NoThunks (Tx l ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

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

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

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

Typeable l ⇒ NoThunks (TxBody l ConwayEra) Source #

Instance details

Methods

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

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

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

HashAnnotated (TxBody l ConwayEra) EraIndependentTxBody Source #

Instance details

Methods

hashAnnotated ∷ TxBody l ConwayEra → SafeHash EraIndependentTxBody Source #

type ContextError ConwayEra Source #

Instance details

type ContextError ConwayEra = ConwayContextError ConwayEra

data TxInfoResult ConwayEra Source #

Instance details

data TxInfoResult ConwayEra = ConwayTxInfoResult (PlutusTxInfoResult 'PlutusV1 ConwayEra) (PlutusTxInfoResult 'PlutusV2 ConwayEra) (PlutusTxInfoResult 'PlutusV3 ConwayEra)

data PlutusScript ConwayEra Source #

Instance details

data PlutusScript ConwayEra

type BlockBody ConwayEra Source #

Instance details

type BlockBody ConwayEra = AlonzoBlockBody ConwayEra

type NativeScript ConwayEra Source #

Instance details

type NativeScript ConwayEra = Timelock ConwayEra

type Script ConwayEra Source #

Instance details

type Script ConwayEra = AlonzoScript ConwayEra

type StAnnTxCache ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

type StAnnTxCache ConwayEra = Map ScriptHash (SupportedPlutusRunnable ConwayEra)

type TxAuxData ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.TxAuxData

type TxAuxData ConwayEra = AlonzoTxAuxData ConwayEra

type TxOut ConwayEra Source #

Instance details

type TxOut ConwayEra = BabbageTxOut ConwayEra

type TxWits ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.TxWits

type TxWits ConwayEra = AlonzoTxWits ConwayEra

type Value ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

type Value ConwayEra = MaryValue

type TranslationContext ConwayEra Source #

Instance details

type TranslationContext ConwayEra = ConwayGenesis

type TxCert ConwayEra Source #

Instance details

type TxCert ConwayEra = ConwayTxCert ConwayEra

type TxCertUpgradeError ConwayEra Source #

Instance details

type TxCertUpgradeError ConwayEra = ConwayTxCertUpgradeError

type Genesis ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Genesis

type Genesis ConwayEra = ConwayGenesis

type AccountState ConwayEra Source #

Instance details

type AccountState ConwayEra = ConwayAccountState ConwayEra

type Accounts ConwayEra Source #

Instance details

type Accounts ConwayEra = ConwayAccounts ConwayEra

type CertState ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.State.CertState

type CertState ConwayEra = ConwayCertState ConwayEra

type GovState ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Governance

type GovState ConwayEra = ConwayGovState ConwayEra

type InstantStake ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.State.Stake

type InstantStake ConwayEra = ConwayInstantStake ConwayEra

type ScriptsNeeded ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.UTxO

type ScriptsNeeded ConwayEra = AlonzoScriptsNeeded ConwayEra

type EraName ConwayEra

Instance details

type EraName ConwayEra = "Conway"

type PreviousEra ConwayEra

Instance details

type PreviousEra ConwayEra = BabbageEra

type ProtVerHigh ConwayEra

Instance details

type ProtVerHigh ConwayEra = 11

type ProtVerLow ConwayEra

Instance details

type ProtVerLow ConwayEra = 9

newtype ApplyTxError ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway

newtype ApplyTxError ConwayEra = ConwayApplyTxError (NonEmpty (ConwayLedgerPredFailure ConwayEra))

data TransitionConfig ConwayEra Source #

Instance details

data TransitionConfig ConwayEra = ConwayTransitionConfig {

ctcConwayGenesis ∷ !ConwayGenesis
ctcBabbageTransitionConfig ∷ !(TransitionConfig BabbageEra)

}

type PlutusPurpose f ConwayEra Source #

Instance details

type PlutusPurpose f ConwayEra = ConwayPlutusPurpose f ConwayEra

type StAnnTx l ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

type StAnnTx l ConwayEra = AlonzoStAnnTx l ConwayEra

newtype Tx l ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

newtype Tx l ConwayEra = MkConwayTx {

unConwayTx ∷ AlonzoTx l ConwayEra

}

newtype TxBody l ConwayEra Source #

Instance details

newtype TxBody l ConwayEra = MkConwayTxBody (MemoBytes (ConwayTxBodyRaw l ConwayEra))

type EraRule "BBODY" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "BBODY" ConwayEra = BBODY ConwayEra

type EraRule "CERT" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "CERT" ConwayEra = CERT ConwayEra

type EraRule "CERTS" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "CERTS" ConwayEra = CERTS ConwayEra

type EraRule "DELEG" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "DELEG" ConwayEra = DELEG ConwayEra

type EraRule "DELEGS" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "DELEGS" ConwayEra = VoidEraRule "DELEGS" ConwayEra

type EraRule "ENACT" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "ENACT" ConwayEra = ENACT ConwayEra

type EraRule "EPOCH" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "EPOCH" ConwayEra = EPOCH ConwayEra

type EraRule "GOV" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "GOV" ConwayEra = GOV ConwayEra

type EraRule "GOVCERT" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "GOVCERT" ConwayEra = GOVCERT ConwayEra

type EraRule "HARDFORK" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "HARDFORK" ConwayEra = HARDFORK ConwayEra

type EraRule "LEDGER" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "LEDGER" ConwayEra = LEDGER ConwayEra

type EraRule "LEDGERS" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "LEDGERS" ConwayEra = LEDGERS ConwayEra

type EraRule "MEMPOOL" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "MEMPOOL" ConwayEra = MEMPOOL ConwayEra

type EraRule "MIR" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "MIR" ConwayEra = VoidEraRule "MIR" ConwayEra

type EraRule "NEWEPOCH" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "NEWEPOCH" ConwayEra = NEWEPOCH ConwayEra

type EraRule "NEWPP" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "NEWPP" ConwayEra = VoidEraRule "NEWPP" ConwayEra

type EraRule "POOL" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "POOL" ConwayEra = POOL ConwayEra

type EraRule "POOLREAP" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "POOLREAP" ConwayEra = POOLREAP ConwayEra

type EraRule "PPUP" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "PPUP" ConwayEra = VoidEraRule "PPUP" ConwayEra

type EraRule "RATIFY" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "RATIFY" ConwayEra = RATIFY ConwayEra

type EraRule "RUPD" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "RUPD" ConwayEra = RUPD ConwayEra

type EraRule "SNAP" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "SNAP" ConwayEra = SNAP ConwayEra

type EraRule "TICK" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "TICK" ConwayEra = TICK ConwayEra

type EraRule "TICKF" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "TICKF" ConwayEra = TICKF ConwayEra

type EraRule "UPEC" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "UPEC" ConwayEra = VoidEraRule "UPEC" ConwayEra

type EraRule "UTXO" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "UTXO" ConwayEra = UTXO ConwayEra

type EraRule "UTXOS" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "UTXOS" ConwayEra = UTXOS ConwayEra

type EraRule "UTXOW" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "UTXOW" ConwayEra = UTXOW ConwayEra

type EraRuleEvent "BBODY" ConwayEra Source #

Instance details

type EraRuleEvent "BBODY" ConwayEra = AlonzoBbodyEvent ConwayEra

type EraRuleEvent "CERT" ConwayEra Source #

Instance details

type EraRuleEvent "CERT" ConwayEra = ConwayCertEvent ConwayEra

type EraRuleEvent "CERTS" ConwayEra Source #

Instance details

type EraRuleEvent "CERTS" ConwayEra = ConwayCertsEvent ConwayEra

type EraRuleEvent "DELEG" ConwayEra Source #

Instance details

type EraRuleEvent "DELEG" ConwayEra = VoidEraRule "DELEG" ConwayEra

type EraRuleEvent "DELEGS" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRuleEvent "DELEGS" ConwayEra = VoidEraRule "DELEGS" ConwayEra

type EraRuleEvent "ENACT" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Rules.Enact

type EraRuleEvent "ENACT" ConwayEra = VoidEraRule "ENACT" ConwayEra

type EraRuleEvent "EPOCH" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Rules.Epoch

type EraRuleEvent "EPOCH" ConwayEra = ConwayEpochEvent ConwayEra

type EraRuleEvent "GOV" ConwayEra Source #

Instance details

type EraRuleEvent "GOV" ConwayEra = ConwayGovEvent ConwayEra

type EraRuleEvent "GOVCERT" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

type EraRuleEvent "GOVCERT" ConwayEra = VoidEraRule "GOVCERT" ConwayEra

type EraRuleEvent "HARDFORK" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Rules.HardFork

type EraRuleEvent "HARDFORK" ConwayEra = ConwayHardForkEvent ConwayEra

type EraRuleEvent "LEDGER" ConwayEra Source #

Instance details

type EraRuleEvent "LEDGER" ConwayEra = ConwayLedgerEvent ConwayEra

type EraRuleEvent "LEDGERS" ConwayEra Source #

Instance details

type EraRuleEvent "LEDGERS" ConwayEra = ShelleyLedgersEvent ConwayEra

type EraRuleEvent "MIR" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRuleEvent "MIR" ConwayEra = VoidEraRule "MIR" ConwayEra

type EraRuleEvent "NEWEPOCH" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

type EraRuleEvent "NEWEPOCH" ConwayEra = ConwayNewEpochEvent ConwayEra

type EraRuleEvent "NEWPP" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRuleEvent "NEWPP" ConwayEra = VoidEraRule "NEWPP" ConwayEra

type EraRuleEvent "POOL" ConwayEra Source #

Instance details

type EraRuleEvent "POOL" ConwayEra = PoolEvent ConwayEra

type EraRuleEvent "PPUP" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRuleEvent "PPUP" ConwayEra = VoidEraRule "PPUP" ConwayEra

type EraRuleEvent "TICK" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Rules

type EraRuleEvent "TICK" ConwayEra = ShelleyTickEvent ConwayEra

type EraRuleEvent "UPEC" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRuleEvent "UPEC" ConwayEra = VoidEraRule "UPEC" ConwayEra

type EraRuleEvent "UTXO" ConwayEra Source #

Instance details

type EraRuleEvent "UTXO" ConwayEra = AlonzoUtxoEvent ConwayEra

type EraRuleEvent "UTXOS" ConwayEra Source #

Instance details

type EraRuleEvent "UTXOS" ConwayEra = ConwayUtxosEvent ConwayEra

type EraRuleEvent "UTXOW" ConwayEra Source #

Instance details

type EraRuleEvent "UTXOW" ConwayEra = AlonzoUtxowEvent ConwayEra

type EraRuleFailure "BBODY" ConwayEra Source #

Instance details

type EraRuleFailure "BBODY" ConwayEra = ConwayBbodyPredFailure ConwayEra

type EraRuleFailure "CERT" ConwayEra Source #

Instance details

type EraRuleFailure "CERT" ConwayEra = ConwayCertPredFailure ConwayEra

type EraRuleFailure "CERTS" ConwayEra Source #

Instance details

type EraRuleFailure "CERTS" ConwayEra = ConwayCertsPredFailure ConwayEra

type EraRuleFailure "DELEG" ConwayEra Source #

Instance details

type EraRuleFailure "DELEG" ConwayEra = ConwayDelegPredFailure ConwayEra

type EraRuleFailure "DELEGS" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRuleFailure "DELEGS" ConwayEra = VoidEraRule "DELEGS" ConwayEra

type EraRuleFailure "GOV" ConwayEra Source #

Instance details

type EraRuleFailure "GOV" ConwayEra = ConwayGovPredFailure ConwayEra

type EraRuleFailure "GOVCERT" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

type EraRuleFailure "GOVCERT" ConwayEra = ConwayGovCertPredFailure ConwayEra

type EraRuleFailure "LEDGER" ConwayEra Source #

Instance details

type EraRuleFailure "LEDGER" ConwayEra = ConwayLedgerPredFailure ConwayEra

type EraRuleFailure "LEDGERS" ConwayEra Source #

Instance details

type EraRuleFailure "LEDGERS" ConwayEra = ShelleyLedgersPredFailure ConwayEra

type EraRuleFailure "MIR" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRuleFailure "MIR" ConwayEra = VoidEraRule "MIR" ConwayEra

type EraRuleFailure "NEWPP" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRuleFailure "NEWPP" ConwayEra = VoidEraRule "NEWPP" ConwayEra

type EraRuleFailure "POOL" ConwayEra Source #

Instance details

type EraRuleFailure "POOL" ConwayEra = ShelleyPoolPredFailure ConwayEra

type EraRuleFailure "PPUP" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRuleFailure "PPUP" ConwayEra = VoidEraRule "PPUP" ConwayEra

type EraRuleFailure "UPEC" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRuleFailure "UPEC" ConwayEra = VoidEraRule "UPEC" ConwayEra

type EraRuleFailure "UTXO" ConwayEra Source #

Instance details

type EraRuleFailure "UTXO" ConwayEra = ConwayUtxoPredFailure ConwayEra

type EraRuleFailure "UTXOS" ConwayEra Source #

Instance details

type EraRuleFailure "UTXOS" ConwayEra = ConwayUtxosPredFailure ConwayEra

type EraRuleFailure "UTXOW" ConwayEra Source #

Instance details

type EraRuleFailure "UTXOW" ConwayEra = ConwayUtxowPredFailure ConwayEra

type DowngradePParams f ConwayEra Source #

Instance details

type DowngradePParams f ConwayEra = ()

type PParamsHKD f ConwayEra Source #

Instance details

type PParamsHKD f ConwayEra = ConwayPParams f ConwayEra

type UpgradePParams f ConwayEra Source #

Instance details

type UpgradePParams f ConwayEra = UpgradeConwayPParams f

type TranslationError ConwayEra PParams Source #

Instance details

type TranslationError ConwayEra PParams = Void

type TranslationError ConwayEra DState Source #

Instance details

type TranslationError ConwayEra DState = Void

type TranslationError ConwayEra PState Source #

Instance details

type TranslationError ConwayEra PState = Void

type TranslationError ConwayEra FuturePParams Source #

Instance details

type TranslationError ConwayEra FuturePParams = Void

type TranslationError ConwayEra SnapShots Source #

Instance details

type TranslationError ConwayEra SnapShots = Void

type TranslationError ConwayEra UTxO Source #

Instance details

type TranslationError ConwayEra UTxO = Void

type TranslationError ConwayEra EpochState Source #

Instance details

type TranslationError ConwayEra EpochState = Void

type TranslationError ConwayEra LedgerState Source #

Instance details

type TranslationError ConwayEra LedgerState = Void

type TranslationError ConwayEra NewEpochState Source #

Instance details

type TranslationError ConwayEra NewEpochState = Void

type TranslationError ConwayEra UTxOState Source #

Instance details

type TranslationError ConwayEra UTxOState = Void

type STxLevel l ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

type STxLevel l ConwayEra = STxTopLevel l ConwayEra

type Forecast t ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Forecast

type Forecast t ConwayEra = BabbageForecast t ConwayEra

type TranslationError ConwayEra (Tx 'TopTx) Source #

Instance details

type TranslationError ConwayEra (Tx 'TopTx) = DecoderError

type Rep (PlutusScript ConwayEra) Source #

Instance details

type Rep (PlutusScript ConwayEra) = D1 ('MetaData "PlutusScript" "Cardano.Ledger.Conway.Scripts" "cardano-ledger-conway-1.24.0.0-inplace" 'False) (C1 ('MetaCons "ConwayPlutusV1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV1))) :+: (C1 ('MetaCons "ConwayPlutusV2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV2))) :+: C1 ('MetaCons "ConwayPlutusV3" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV3)))))

type Rep (ApplyTxError ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway

type Rep (ApplyTxError ConwayEra) = Rep (NonEmpty (ConwayLedgerPredFailure ConwayEra))

type Rep (TransitionConfig ConwayEra) Source #

Instance details

type Rep (TransitionConfig ConwayEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Conway.Transition" "cardano-ledger-conway-1.24.0.0-inplace" 'False) (C1 ('MetaCons "ConwayTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "ctcConwayGenesis") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ConwayGenesis) :*: S1 ('MetaSel ('Just "ctcBabbageTransitionConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TransitionConfig BabbageEra))))

type MemoHashIndex (ConwayTxBodyRaw l ConwayEra) Source #

Instance details

type MemoHashIndex (ConwayTxBodyRaw l ConwayEra) = EraIndependentTxBody

type RawType (TxBody l ConwayEra) Source #

Instance details

type RawType (TxBody l ConwayEra) = ConwayTxBodyRaw l ConwayEra

type Rep (Tx l ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

type Rep (Tx l ConwayEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Conway.Tx" "cardano-ledger-conway-1.24.0.0-inplace" 'True) (C1 ('MetaCons "MkConwayTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unConwayTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoTx l ConwayEra))))

type Rep (TxBody l ConwayEra) Source #

Instance details

type Rep (TxBody l ConwayEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Conway.TxBody" "cardano-ledger-conway-1.24.0.0-inplace" 'True) (C1 ('MetaCons "MkConwayTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ConwayTxBodyRaw l ConwayEra)))))

hardforkConwayBootstrapPhase ∷ ProtVer → Bool Source #

Bootstrap phase

hardforkConwayDisallowUnelectedCommitteeFromVoting ∷ ProtVer → Bool Source #

Starting with protocol version 11, we do not allow unelected committee members to submit votes.

hardforkConwayDELEGIncorrectDepositsAndRefunds ∷ ProtVer → Bool Source #

Starting with protocol version 11, we report incorrect deposit and refunds better

data family Tx (l ∷ TxLevel) era Source #

Instances

Instances details

HasEraTxLevel Tx AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

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

HasEraTxLevel Tx AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

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

HasEraTxLevel Tx BabbageEra

Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

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

HasEraTxLevel Tx ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

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

HasEraTxLevel Tx MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

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

HasEraTxLevel Tx ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

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

TranslateEra AllegraEra (Tx 'TopTx)

Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError AllegraEra (Tx 'TopTx)
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra (Tx 'TopTx) = DecoderError

Methods

translateEra ∷ TranslationContext AllegraEra → Tx 'TopTx (PreviousEra AllegraEra) → Except (TranslationError AllegraEra (Tx 'TopTx)) (Tx 'TopTx AllegraEra) Source #

TranslateEra AlonzoEra (Tx 'TopTx)

Instance details

Defined in Cardano.Ledger.Alonzo.Translation

Associated Types

type TranslationError AlonzoEra (Tx 'TopTx)
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra (Tx 'TopTx) = DecoderError

Methods

translateEra ∷ TranslationContext AlonzoEra → Tx 'TopTx (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra (Tx 'TopTx)) (Tx 'TopTx AlonzoEra) Source #

TranslateEra BabbageEra (Tx 'TopTx)

Instance details

Defined in Cardano.Ledger.Babbage.Translation

Associated Types

type TranslationError BabbageEra (Tx 'TopTx)
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra (Tx 'TopTx) = DecoderError

Methods

translateEra ∷ TranslationContext BabbageEra → Tx 'TopTx (PreviousEra BabbageEra) → Except (TranslationError BabbageEra (Tx 'TopTx)) (Tx 'TopTx BabbageEra) Source #

TranslateEra ConwayEra (Tx 'TopTx) Source #

Instance details

Associated Types

type TranslationError ConwayEra (Tx 'TopTx)
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra (Tx 'TopTx) = DecoderError

Methods

translateEra ∷ TranslationContext ConwayEra → Tx 'TopTx (PreviousEra ConwayEra) → Except (TranslationError ConwayEra (Tx 'TopTx)) (Tx 'TopTx ConwayEra) Source #

TranslateEra MaryEra (Tx 'TopTx)

Instance details

Defined in Cardano.Ledger.Mary.Translation

Associated Types

type TranslationError MaryEra (Tx 'TopTx)
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra (Tx 'TopTx) = DecoderError

Methods

translateEra ∷ TranslationContext MaryEra → Tx 'TopTx (PreviousEra MaryEra) → Except (TranslationError MaryEra (Tx 'TopTx)) (Tx 'TopTx MaryEra) 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 AlonzoEra))

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

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

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

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

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

Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

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

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

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

Typeable l ⇒ DecCBOR (Annotator (Tx l ConwayEra)) Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

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

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

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

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

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 t ⇒ DecCBOR (Annotator (Tx t AllegraEra))

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

decCBOR ∷ Decoder s (Annotator (Tx t AllegraEra)) Source #

dropCBOR ∷ Proxy (Annotator (Tx t AllegraEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (Tx t AllegraEra)) → Text Source #

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

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

decCBOR ∷ Decoder s (Annotator (Tx t MaryEra)) Source #

dropCBOR ∷ Proxy (Annotator (Tx t MaryEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (Tx t MaryEra)) → Text Source #

FromJSON (Tx 'TopTx AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

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

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

omittedField ∷ Maybe (Tx 'TopTx AllegraEra) Source #

FromJSON (Tx 'TopTx AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

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

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

omittedField ∷ Maybe (Tx 'TopTx AlonzoEra) Source #

FromJSON (Tx 'TopTx BabbageEra)

Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

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

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

omittedField ∷ Maybe (Tx 'TopTx BabbageEra) Source #

FromJSON (Tx 'TopTx ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

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

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

omittedField ∷ Maybe (Tx 'TopTx ConwayEra) Source #

FromJSON (Tx 'TopTx MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

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

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

omittedField ∷ Maybe (Tx 'TopTx MaryEra) Source #

FromJSON (Tx 'TopTx ShelleyEra)

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 AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

toJSON ∷ Tx 'TopTx AllegraEra → Value Source #

toEncoding ∷ Tx 'TopTx AllegraEra → Encoding Source #

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

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

omitField ∷ Tx 'TopTx AllegraEra → Bool Source #

ToJSON (Tx 'TopTx AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

toJSON ∷ Tx 'TopTx AlonzoEra → Value Source #

toEncoding ∷ Tx 'TopTx AlonzoEra → Encoding Source #

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

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

omitField ∷ Tx 'TopTx AlonzoEra → Bool Source #

ToJSON (Tx 'TopTx BabbageEra)

Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

toJSON ∷ Tx 'TopTx BabbageEra → Value Source #

toEncoding ∷ Tx 'TopTx BabbageEra → Encoding Source #

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

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

omitField ∷ Tx 'TopTx BabbageEra → Bool Source #

ToJSON (Tx 'TopTx ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

toJSON ∷ Tx 'TopTx ConwayEra → Value Source #

toEncoding ∷ Tx 'TopTx ConwayEra → Encoding Source #

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

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

omitField ∷ Tx 'TopTx ConwayEra → Bool Source #

ToJSON (Tx 'TopTx MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

toJSON ∷ Tx 'TopTx MaryEra → Value Source #

toEncoding ∷ Tx 'TopTx MaryEra → Encoding Source #

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

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

omitField ∷ Tx 'TopTx MaryEra → Bool Source #

ToJSON (Tx 'TopTx ShelleyEra)

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 AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

toCBOR ∷ Tx l AlonzoEra → Encoding Source #

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

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

Typeable l ⇒ ToCBOR (Tx l BabbageEra)

Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

toCBOR ∷ Tx l BabbageEra → Encoding Source #

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

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

Typeable l ⇒ ToCBOR (Tx l ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

toCBOR ∷ Tx l ConwayEra → Encoding Source #

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

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

Typeable l ⇒ ToCBOR (Tx l ShelleyEra)

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 t ⇒ ToCBOR (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

toCBOR ∷ Tx t AllegraEra → Encoding Source #

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

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

Typeable t ⇒ ToCBOR (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

toCBOR ∷ Tx t MaryEra → Encoding Source #

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

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

EncCBOR (Tx l AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

encCBOR ∷ Tx l AlonzoEra → Encoding Source #

EncCBOR (Tx l BabbageEra)

Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

encCBOR ∷ Tx l BabbageEra → Encoding Source #

EncCBOR (Tx l ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

encCBOR ∷ Tx l ConwayEra → Encoding Source #

EncCBOR (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

encCBOR ∷ Tx l ShelleyEra → Encoding Source #

EncCBOR (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

encCBOR ∷ Tx t AllegraEra → Encoding Source #

EncCBOR (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

encCBOR ∷ Tx t MaryEra → Encoding Source #

EqRaw (Tx l AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

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

EqRaw (Tx l BabbageEra)

Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

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

EqRaw (Tx l ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

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

EqRaw (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

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

EqRaw (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

eqRaw ∷ Tx t AllegraEra → Tx t AllegraEra → Bool Source #

EqRaw (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

eqRaw ∷ Tx t MaryEra → Tx t MaryEra → Bool Source #

NFData (Tx l AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

rnf ∷ Tx l AlonzoEra → () #

NFData (Tx l BabbageEra)

Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

rnf ∷ Tx l BabbageEra → () #

NFData (Tx l ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

rnf ∷ Tx l ConwayEra → () #

NFData (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

rnf ∷ Tx l ShelleyEra → () #

NFData (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

rnf ∷ Tx t AllegraEra → () #

NFData (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

rnf ∷ Tx t MaryEra → () #

Generic (Tx l AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Associated Types

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

Methods

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

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

Generic (Tx l BabbageEra)

Instance details

Defined in Cardano.Ledger.Babbage.Tx

Associated Types

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

Methods

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

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

Generic (Tx l ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

Associated Types

type Rep (Tx l ConwayEra)
Instance details Defined in Cardano.Ledger.Conway.Tx type Rep (Tx l ConwayEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Conway.Tx" "cardano-ledger-conway-1.24.0.0-inplace" 'True) (C1 ('MetaCons "MkConwayTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unConwayTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoTx l ConwayEra))))

Methods

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

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

Generic (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Associated Types

type Rep (Tx l ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.Tx type Rep (Tx l ShelleyEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Shelley.Tx" "cardano-ledger-shelley-1.20.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 (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Associated Types

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

Methods

from ∷ Tx t AllegraEra → Rep (Tx t AllegraEra) x #

to ∷ Rep (Tx t AllegraEra) x → Tx t AllegraEra #

Generic (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Associated Types

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

Methods

from ∷ Tx t MaryEra → Rep (Tx t MaryEra) x #

to ∷ Rep (Tx t MaryEra) x → Tx t MaryEra #

Show (Tx l AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

showsPrec ∷ Int → Tx l AlonzoEra → ShowS #

show ∷ Tx l AlonzoEra → String #

showList ∷ [Tx l AlonzoEra] → ShowS #

Show (Tx l BabbageEra)

Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

showsPrec ∷ Int → Tx l BabbageEra → ShowS #

show ∷ Tx l BabbageEra → String #

showList ∷ [Tx l BabbageEra] → ShowS #

Show (Tx l ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

showsPrec ∷ Int → Tx l ConwayEra → ShowS #

show ∷ Tx l ConwayEra → String #

showList ∷ [Tx l ConwayEra] → ShowS #

Show (Tx l ShelleyEra)

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 (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

showsPrec ∷ Int → Tx t AllegraEra → ShowS #

show ∷ Tx t AllegraEra → String #

showList ∷ [Tx t AllegraEra] → ShowS #

Show (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

showsPrec ∷ Int → Tx t MaryEra → ShowS #

show ∷ Tx t MaryEra → String #

showList ∷ [Tx t MaryEra] → ShowS #

Eq (Tx l AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

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

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

Eq (Tx l BabbageEra)

Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

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

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

Eq (Tx l ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

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

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

Eq (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

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

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

Eq (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

(==) ∷ Tx t AllegraEra → Tx t AllegraEra → Bool #

(/=) ∷ Tx t AllegraEra → Tx t AllegraEra → Bool #

Eq (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

(==) ∷ Tx t MaryEra → Tx t MaryEra → Bool #

(/=) ∷ Tx t MaryEra → Tx t MaryEra → Bool #

Typeable l ⇒ NoThunks (Tx l AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

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

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

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

Typeable l ⇒ NoThunks (Tx l BabbageEra)

Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

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

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

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

Typeable l ⇒ NoThunks (Tx l ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

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

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

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

Typeable l ⇒ NoThunks (Tx l ShelleyEra)

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 t ⇒ NoThunks (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

noThunks ∷ Context → Tx t AllegraEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Tx t AllegraEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Tx t AllegraEra) → String Source #

Typeable t ⇒ NoThunks (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

noThunks ∷ Context → Tx t MaryEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Tx t MaryEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Tx t MaryEra) → String Source #

newtype Tx l AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

newtype Tx l AlonzoEra = MkAlonzoTx {

unAlonzoTx ∷ AlonzoTx l AlonzoEra

}

newtype Tx l BabbageEra

Instance details

Defined in Cardano.Ledger.Babbage.Tx

newtype Tx l BabbageEra = MkBabbageTx {

unBabbageTx ∷ AlonzoTx l BabbageEra

}

newtype Tx l ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

newtype Tx l ConwayEra = MkConwayTx {

unConwayTx ∷ AlonzoTx l ConwayEra

}

newtype Tx l ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Tx

newtype Tx l ShelleyEra = MkShelleyTx {

unShelleyTx ∷ ShelleyTx l ShelleyEra

}

newtype Tx t AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.Tx

newtype Tx t AllegraEra = MkAllegraTx {

unAllegraTx ∷ ShelleyTx t AllegraEra

}

newtype Tx t MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Tx

newtype Tx t MaryEra = MkMaryTx {

unMaryTx ∷ ShelleyTx t MaryEra

}

type TranslationError AllegraEra (Tx 'TopTx)

Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra (Tx 'TopTx) = DecoderError

type TranslationError AlonzoEra (Tx 'TopTx)

Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra (Tx 'TopTx) = DecoderError

type TranslationError BabbageEra (Tx 'TopTx)

Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError BabbageEra (Tx 'TopTx) = DecoderError

type TranslationError ConwayEra (Tx 'TopTx) Source #

Instance details

type TranslationError ConwayEra (Tx 'TopTx) = DecoderError

type TranslationError MaryEra (Tx 'TopTx)

Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra (Tx 'TopTx) = DecoderError

type Rep (Tx l AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

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

type Rep (Tx l BabbageEra)

Instance details

Defined in Cardano.Ledger.Babbage.Tx

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

type Rep (Tx l ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

type Rep (Tx l ConwayEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Conway.Tx" "cardano-ledger-conway-1.24.0.0-inplace" 'True) (C1 ('MetaCons "MkConwayTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unConwayTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoTx l ConwayEra))))

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.20.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unShelleyTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx l ShelleyEra))))

type Rep (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

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

type Rep (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

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

data family ApplyTxError era Source #

Instances

Instances details

DecCBOR (ApplyTxError AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra

Methods

decCBOR ∷ Decoder s (ApplyTxError AllegraEra) Source #

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

label ∷ Proxy (ApplyTxError AllegraEra) → Text Source #

DecCBOR (ApplyTxError AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo

Methods

decCBOR ∷ Decoder s (ApplyTxError AlonzoEra) Source #

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

label ∷ Proxy (ApplyTxError AlonzoEra) → Text Source #

DecCBOR (ApplyTxError BabbageEra)

Instance details

Defined in Cardano.Ledger.Babbage

Methods

decCBOR ∷ Decoder s (ApplyTxError BabbageEra) Source #

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

label ∷ Proxy (ApplyTxError BabbageEra) → Text Source #

DecCBOR (ApplyTxError ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway

Methods

decCBOR ∷ Decoder s (ApplyTxError ConwayEra) Source #

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

label ∷ Proxy (ApplyTxError ConwayEra) → Text Source #

DecCBOR (ApplyTxError MaryEra)

Instance details

Defined in Cardano.Ledger.Mary

Methods

decCBOR ∷ Decoder s (ApplyTxError MaryEra) Source #

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

label ∷ Proxy (ApplyTxError MaryEra) → Text Source #

DecCBOR (ApplyTxError ShelleyEra)

Instance details

Methods

decCBOR ∷ Decoder s (ApplyTxError ShelleyEra) Source #

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

label ∷ Proxy (ApplyTxError ShelleyEra) → Text Source #

EncCBOR (ApplyTxError AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra

Methods

encCBOR ∷ ApplyTxError AllegraEra → Encoding Source #

EncCBOR (ApplyTxError AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo

Methods

encCBOR ∷ ApplyTxError AlonzoEra → Encoding Source #

EncCBOR (ApplyTxError BabbageEra)

Instance details

Defined in Cardano.Ledger.Babbage

Methods

encCBOR ∷ ApplyTxError BabbageEra → Encoding Source #

EncCBOR (ApplyTxError ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway

Methods

encCBOR ∷ ApplyTxError ConwayEra → Encoding Source #

EncCBOR (ApplyTxError MaryEra)

Instance details

Defined in Cardano.Ledger.Mary

Methods

encCBOR ∷ ApplyTxError MaryEra → Encoding Source #

EncCBOR (ApplyTxError ShelleyEra)

Instance details

Methods

encCBOR ∷ ApplyTxError ShelleyEra → Encoding Source #

Semigroup (ApplyTxError AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra

Methods

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

sconcat ∷ NonEmpty (ApplyTxError AllegraEra) → ApplyTxError AllegraEra #

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

Semigroup (ApplyTxError AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo

Methods

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

sconcat ∷ NonEmpty (ApplyTxError AlonzoEra) → ApplyTxError AlonzoEra #

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

Semigroup (ApplyTxError BabbageEra)

Instance details

Defined in Cardano.Ledger.Babbage

Methods

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

sconcat ∷ NonEmpty (ApplyTxError BabbageEra) → ApplyTxError BabbageEra #

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

Semigroup (ApplyTxError ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway

Methods

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

sconcat ∷ NonEmpty (ApplyTxError ConwayEra) → ApplyTxError ConwayEra #

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

Semigroup (ApplyTxError MaryEra)

Instance details

Defined in Cardano.Ledger.Mary

Methods

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

sconcat ∷ NonEmpty (ApplyTxError MaryEra) → ApplyTxError MaryEra #

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

Semigroup (ApplyTxError ShelleyEra)

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 AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra

Associated Types

type Rep (ApplyTxError AllegraEra)
Instance details Defined in Cardano.Ledger.Allegra type Rep (ApplyTxError AllegraEra) = Rep (NonEmpty (ShelleyLedgerPredFailure AllegraEra))

Methods

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

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

Generic (ApplyTxError AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo

Associated Types

type Rep (ApplyTxError AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo type Rep (ApplyTxError AlonzoEra) = Rep (NonEmpty (ShelleyLedgerPredFailure AlonzoEra))

Methods

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

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

Generic (ApplyTxError BabbageEra)

Instance details

Defined in Cardano.Ledger.Babbage

Associated Types

type Rep (ApplyTxError BabbageEra)
Instance details Defined in Cardano.Ledger.Babbage type Rep (ApplyTxError BabbageEra) = Rep (NonEmpty (ShelleyLedgerPredFailure BabbageEra))

Methods

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

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

Generic (ApplyTxError ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway

Associated Types

type Rep (ApplyTxError ConwayEra)
Instance details Defined in Cardano.Ledger.Conway type Rep (ApplyTxError ConwayEra) = Rep (NonEmpty (ConwayLedgerPredFailure ConwayEra))

Methods

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

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

Generic (ApplyTxError MaryEra)

Instance details

Defined in Cardano.Ledger.Mary

Associated Types

type Rep (ApplyTxError MaryEra)
Instance details Defined in Cardano.Ledger.Mary type Rep (ApplyTxError MaryEra) = Rep (NonEmpty (ShelleyLedgerPredFailure MaryEra))

Methods

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

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

Generic (ApplyTxError ShelleyEra)

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 #

Show (ApplyTxError AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra

Methods

showsPrec ∷ Int → ApplyTxError AllegraEra → ShowS #

show ∷ ApplyTxError AllegraEra → String #

showList ∷ [ApplyTxError AllegraEra] → ShowS #

Show (ApplyTxError AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo

Methods

showsPrec ∷ Int → ApplyTxError AlonzoEra → ShowS #

show ∷ ApplyTxError AlonzoEra → String #

showList ∷ [ApplyTxError AlonzoEra] → ShowS #

Show (ApplyTxError BabbageEra)

Instance details

Defined in Cardano.Ledger.Babbage

Methods

showsPrec ∷ Int → ApplyTxError BabbageEra → ShowS #

show ∷ ApplyTxError BabbageEra → String #

showList ∷ [ApplyTxError BabbageEra] → ShowS #

Show (ApplyTxError ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway

Methods

showsPrec ∷ Int → ApplyTxError ConwayEra → ShowS #

show ∷ ApplyTxError ConwayEra → String #

showList ∷ [ApplyTxError ConwayEra] → ShowS #

Show (ApplyTxError MaryEra)

Instance details

Defined in Cardano.Ledger.Mary

Methods

showsPrec ∷ Int → ApplyTxError MaryEra → ShowS #

show ∷ ApplyTxError MaryEra → String #

showList ∷ [ApplyTxError MaryEra] → ShowS #

Show (ApplyTxError ShelleyEra)

Instance details

Methods

showsPrec ∷ Int → ApplyTxError ShelleyEra → ShowS #

show ∷ ApplyTxError ShelleyEra → String #

showList ∷ [ApplyTxError ShelleyEra] → ShowS #

Eq (ApplyTxError AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra

Methods

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

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

Eq (ApplyTxError AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo

Methods

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

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

Eq (ApplyTxError BabbageEra)

Instance details

Defined in Cardano.Ledger.Babbage

Methods

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

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

Eq (ApplyTxError ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway

Methods

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

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

Eq (ApplyTxError MaryEra)

Instance details

Defined in Cardano.Ledger.Mary

Methods

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

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

Eq (ApplyTxError ShelleyEra)

Instance details

Methods

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

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

Inject (NonEmpty (ConwayLedgerPredFailure ConwayEra)) (ApplyTxError ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway

Methods

inject ∷ NonEmpty (ConwayLedgerPredFailure ConwayEra) → ApplyTxError ConwayEra Source #

newtype ApplyTxError AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra

newtype ApplyTxError AllegraEra = AllegraApplyTxError (NonEmpty (ShelleyLedgerPredFailure AllegraEra))

newtype ApplyTxError AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo

newtype ApplyTxError AlonzoEra = AlonzoApplyTxError (NonEmpty (ShelleyLedgerPredFailure AlonzoEra))

newtype ApplyTxError BabbageEra

Instance details

Defined in Cardano.Ledger.Babbage

newtype ApplyTxError BabbageEra = BabbageApplyTxError (NonEmpty (ShelleyLedgerPredFailure BabbageEra))

newtype ApplyTxError ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway

newtype ApplyTxError ConwayEra = ConwayApplyTxError (NonEmpty (ConwayLedgerPredFailure ConwayEra))

newtype ApplyTxError MaryEra

Instance details

Defined in Cardano.Ledger.Mary

newtype ApplyTxError MaryEra = MaryApplyTxError (NonEmpty (ShelleyLedgerPredFailure MaryEra))

newtype ApplyTxError ShelleyEra

Instance details

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

type Rep (ApplyTxError AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra

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

type Rep (ApplyTxError AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo

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

type Rep (ApplyTxError BabbageEra)

Instance details

Defined in Cardano.Ledger.Babbage

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

type Rep (ApplyTxError ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway

type Rep (ApplyTxError ConwayEra) = Rep (NonEmpty (ConwayLedgerPredFailure ConwayEra))

type Rep (ApplyTxError MaryEra)

Instance details

Defined in Cardano.Ledger.Mary

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

type Rep (ApplyTxError ShelleyEra)

Instance details