Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Conway

Contents

Orphan instances

Synopsis

type Conway = ConwayEra
data ConwayEra

Documentation

type Conway = ConwayEra Source #

Deprecated: In favor of ConwayEra

data ConwayEra Source #

The Conway era

Instances

Instances details

AllegraEraScript ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Scripts Methods mkTimeStart ∷ SlotNo → NativeScript ConwayEra Source # getTimeStart ∷ NativeScript ConwayEra → Maybe SlotNo Source # mkTimeExpire ∷ SlotNo → NativeScript ConwayEra Source # getTimeExpire ∷ NativeScript ConwayEra → Maybe SlotNo Source #
AllegraEraTxAuxData ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.TxAuxData Methods timelockScriptsTxAuxDataL ∷ Lens' (TxAuxData ConwayEra) (StrictSeq (Timelock ConwayEra)) Source #
AllegraEraTxBody ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.TxBody.Internal Methods vldtTxBodyL ∷ Lens' (TxBody ConwayEra) ValidityInterval Source #
AlonzoEraPParams ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.PParams Methods hkdCoinsPerUTxOWordL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ExactEra AlonzoEra ConwayEra) ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f CoinPerWord) Source # hkdCostModelsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f CostModels) Source # hkdPricesL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f Prices) Source # hkdMaxTxExUnitsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f ExUnits) Source # hkdMaxBlockExUnitsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f ExUnits) Source # hkdMaxValSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f Natural) Source # hkdCollateralPercentageL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f Natural) Source # hkdMaxCollateralInputsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f Natural) Source #
EraPlutusContext ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.TxInfo Associated Types type ContextError ConwayEra = (r ∷ Type) Source # Methods mkPlutusWithContext ∷ PlutusScript ConwayEra → ScriptHash → PlutusPurpose AsIxItem ConwayEra → LedgerTxInfo ConwayEra → (Data ConwayEra, ExUnits) → CostModel → Either (ContextError ConwayEra) PlutusWithContext Source #
AlonzoEraScript ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Scripts Associated Types data PlutusScript ConwayEra Source # type PlutusPurpose f ConwayEra = (r ∷ Type) Source # Methods eraMaxLanguage ∷ Language Source # toPlutusScript ∷ Script ConwayEra → Maybe (PlutusScript ConwayEra) Source # fromPlutusScript ∷ PlutusScript ConwayEra → Script ConwayEra Source # mkPlutusScript ∷ ∀ (l ∷ Language). PlutusLanguage l ⇒ Plutus l → Maybe (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 # mkRewardingPurpose ∷ f Word32 RewardAccount → PlutusPurpose f ConwayEra Source # toRewardingPurpose ∷ PlutusPurpose f ConwayEra → Maybe (f Word32 RewardAccount) Source # upgradePlutusPurposeAsIx ∷ PlutusPurpose AsIx (PreviousEra ConwayEra) → PlutusPurpose AsIx ConwayEra Source #
AlonzoEraTx ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Tx Methods isValidTxL ∷ Lens' (Tx ConwayEra) IsValid Source #
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 Defined in Cardano.Ledger.Conway.TxBody.Internal Methods collateralInputsTxBodyL ∷ Lens' (TxBody ConwayEra) (Set TxIn) Source # reqSignerHashesTxBodyL ∷ Lens' (TxBody ConwayEra) (Set (KeyHash 'Witness)) Source # scriptIntegrityHashTxBodyL ∷ Lens' (TxBody ConwayEra) (StrictMaybe ScriptIntegrityHash) Source # networkIdTxBodyL ∷ Lens' (TxBody ConwayEra) (StrictMaybe Network) Source # redeemerPointer ∷ TxBody ConwayEra → PlutusPurpose AsItem ConwayEra → StrictMaybe (PlutusPurpose AsIx ConwayEra) Source # redeemerPointerInverse ∷ TxBody ConwayEra → PlutusPurpose AsIx ConwayEra → StrictMaybe (PlutusPurpose AsIxItem ConwayEra) Source #
AlonzoEraTxOut ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.TxOut 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 ∷ UTxO ConwayEra → TxBody ConwayEra → Set DataHash Source # getSpendingDatum ∷ UTxO ConwayEra → Tx ConwayEra → PlutusPurpose AsItem ConwayEra → Maybe (Data ConwayEra) Source #
BabbageEraPParams ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.PParams Methods hkdCoinsPerUTxOByteL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f CoinPerByte) Source #
BabbageEraTxBody ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.TxBody.Internal Methods sizedOutputsTxBodyL ∷ Lens' (TxBody ConwayEra) (StrictSeq (Sized (TxOut ConwayEra))) Source # referenceInputsTxBodyL ∷ Lens' (TxBody ConwayEra) (Set TxIn) Source # totalCollateralTxBodyL ∷ Lens' (TxBody ConwayEra) (StrictMaybe Coin) Source # collateralReturnTxBodyL ∷ Lens' (TxBody ConwayEra) (StrictMaybe (TxOut ConwayEra)) Source # sizedCollateralReturnTxBodyL ∷ Lens' (TxBody ConwayEra) (StrictMaybe (Sized (TxOut ConwayEra))) Source # allSizedOutputsTxBodyF ∷ SimpleGetter (TxBody ConwayEra) (StrictSeq (Sized (TxOut ConwayEra))) Source #
BabbageEraTxOut ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.TxOut 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 Defined in Cardano.Ledger.Conway.PParams 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 Natural) 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 # hkdGovActionDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f Coin) Source # hkdDRepDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f 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 #
ConwayEraScript ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Scripts 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 #
ConwayEraTransition ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Transition Methods tcDelegsL ∷ Lens' (TransitionConfig ConwayEra) (ListMap (Credential 'Staking) Delegatee) Source # tcInitialDRepsL ∷ Lens' (TransitionConfig ConwayEra) (ListMap (Credential 'DRepRole) DRepState) Source # tcConwayGenesisL ∷ Lens' (TransitionConfig ConwayEra) ConwayGenesis Source #
ConwayEraTxBody ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.TxBody.Internal Methods currentTreasuryValueTxBodyL ∷ Lens' (TxBody ConwayEra) (StrictMaybe Coin) Source # votingProceduresTxBodyL ∷ Lens' (TxBody ConwayEra) (VotingProcedures ConwayEra) Source # proposalProceduresTxBodyL ∷ Lens' (TxBody ConwayEra) (OSet (ProposalProcedure ConwayEra)) Source # treasuryDonationTxBodyL ∷ Lens' (TxBody ConwayEra) Coin Source #
ConwayEraTxCert ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods mkRegDepositTxCert ∷ StakeCredential → Coin → TxCert ConwayEra Source # getRegDepositTxCert ∷ TxCert ConwayEra → Maybe (StakeCredential, Coin) Source # mkUnRegDepositTxCert ∷ StakeCredential → Coin → TxCert ConwayEra Source # getUnRegDepositTxCert ∷ TxCert ConwayEra → Maybe (StakeCredential, Coin) Source # mkDelegTxCert ∷ StakeCredential → Delegatee → TxCert ConwayEra Source # getDelegTxCert ∷ TxCert ConwayEra → Maybe (StakeCredential, Delegatee) Source # mkRegDepositDelegTxCert ∷ StakeCredential → Delegatee → Coin → TxCert ConwayEra Source # getRegDepositDelegTxCert ∷ TxCert ConwayEra → Maybe (StakeCredential, 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 #
EraScript ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Scripts Associated Types type Script ConwayEra = (r ∷ Type) Source # type NativeScript ConwayEra = (r ∷ Type) Source # 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 #
EraSegWits ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Tx Associated Types type TxSeq ConwayEra = (r ∷ Type) Source # Methods fromTxSeq ∷ TxSeq ConwayEra → StrictSeq (Tx ConwayEra) Source # toTxSeq ∷ StrictSeq (Tx ConwayEra) → TxSeq ConwayEra Source # hashTxSeq ∷ TxSeq ConwayEra → Hash HASH EraIndependentBlockBody Source # numSegComponents ∷ Word64 Source #
EraTx ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Tx Associated Types type Tx ConwayEra = (r ∷ Type) Source # type TxUpgradeError ConwayEra Source # Methods mkBasicTx ∷ TxBody ConwayEra → Tx ConwayEra Source # bodyTxL ∷ Lens' (Tx ConwayEra) (TxBody ConwayEra) Source # witsTxL ∷ Lens' (Tx ConwayEra) (TxWits ConwayEra) Source # auxDataTxL ∷ Lens' (Tx ConwayEra) (StrictMaybe (TxAuxData ConwayEra)) Source # sizeTxF ∷ SimpleGetter (Tx ConwayEra) Integer Source # wireSizeTxF ∷ SimpleGetter (Tx ConwayEra) Word32 Source # validateNativeScript ∷ Tx ConwayEra → NativeScript ConwayEra → Bool Source # getMinFeeTx ∷ PParams ConwayEra → Tx ConwayEra → Int → Coin Source # upgradeTx ∷ Tx (PreviousEra ConwayEra) → Either (TxUpgradeError ConwayEra) (Tx ConwayEra) Source #
EraTxAuxData ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.TxAuxData Associated Types type TxAuxData ConwayEra = (r ∷ Type) Source # Methods mkBasicTxAuxData ∷ TxAuxData ConwayEra Source # metadataTxAuxDataL ∷ Lens' (TxAuxData ConwayEra) (Map Word64 Metadatum) Source # upgradeTxAuxData ∷ TxAuxData (PreviousEra ConwayEra) → TxAuxData ConwayEra Source # validateTxAuxData ∷ ProtVer → TxAuxData ConwayEra → Bool Source #
EraTxBody ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.TxBody.Internal Associated Types type TxBody ConwayEra = (r ∷ Type) Source # type TxBodyUpgradeError ConwayEra Source # Methods mkBasicTxBody ∷ TxBody ConwayEra Source # inputsTxBodyL ∷ Lens' (TxBody ConwayEra) (Set TxIn) Source # outputsTxBodyL ∷ Lens' (TxBody ConwayEra) (StrictSeq (TxOut ConwayEra)) Source # feeTxBodyL ∷ Lens' (TxBody ConwayEra) Coin Source # withdrawalsTxBodyL ∷ Lens' (TxBody ConwayEra) Withdrawals Source # auxDataHashTxBodyL ∷ Lens' (TxBody ConwayEra) (StrictMaybe TxAuxDataHash) Source # spendableInputsTxBodyF ∷ SimpleGetter (TxBody ConwayEra) (Set TxIn) Source # allInputsTxBodyF ∷ SimpleGetter (TxBody ConwayEra) (Set TxIn) Source # certsTxBodyL ∷ Lens' (TxBody ConwayEra) (StrictSeq (TxCert ConwayEra)) Source # getTotalDepositsTxBody ∷ PParams ConwayEra → (KeyHash 'StakePool → Bool) → TxBody ConwayEra → Coin Source # getTotalRefundsTxBody ∷ PParams ConwayEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → TxBody ConwayEra → Coin Source # getGenesisKeyHashCountTxBody ∷ TxBody ConwayEra → Int Source # upgradeTxBody ∷ TxBody (PreviousEra ConwayEra) → Either (TxBodyUpgradeError ConwayEra) (TxBody ConwayEra) Source #
EraTxOut ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.TxOut Associated Types type TxOut ConwayEra = (r ∷ Type) Source # 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 = (r ∷ Type) Source # 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 # upgradeTxWits ∷ TxWits (PreviousEra ConwayEra) → TxWits ConwayEra Source #
Era ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Era Associated Types type PreviousEra ConwayEra = (r ∷ Type) Source # type ProtVerLow ConwayEra ∷ Nat Source # type ProtVerHigh ConwayEra ∷ Nat Source # Methods eraName ∷ String Source #
EraPParams ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.PParams Associated Types type PParamsHKD f ConwayEra = (r ∷ Type) Source # type UpgradePParams f ConwayEra Source # type DowngradePParams f ConwayEra Source # Methods applyPPUpdates ∷ PParams ConwayEra → PParamsUpdate ConwayEra → PParams ConwayEra Source # emptyPParamsIdentity ∷ PParamsHKD Identity ConwayEra Source # emptyPParamsStrictMaybe ∷ PParamsHKD StrictMaybe ConwayEra Source # upgradePParamsHKD ∷ ∀ (f ∷ Type → Type). (HKDApplicative 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 # hkdMinFeeAL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f Coin) Source # hkdMinFeeBL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f 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 # hkdKeyDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f Coin) Source # hkdPoolDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f 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, ProtVerAtMost ConwayEra 6) ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f UnitInterval) Source # ppDG ∷ SimpleGetter (PParams ConwayEra) UnitInterval Source # hkdExtraEntropyL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost ConwayEra 6) ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f Nonce) Source # hkdProtocolVersionL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost ConwayEra 8) ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f ProtVer) Source # ppProtocolVersionL ∷ Lens' (PParams ConwayEra) ProtVer Source # ppuProtocolVersionL ∷ Lens' (PParamsUpdate ConwayEra) (StrictMaybe ProtVer) Source # hkdMinUTxOValueL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost ConwayEra 4) ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f Coin) Source # hkdMinPoolCostL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f Coin) Source #
EraTxCert ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert Associated Types type TxCert ConwayEra = (r ∷ Type) Source # type TxCertUpgradeError ConwayEra Source # 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 ∷ PoolParams → TxCert ConwayEra Source # getRegPoolTxCert ∷ TxCert ConwayEra → Maybe PoolParams 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) → (Credential 'DRepRole → Maybe Coin) → f (TxCert ConwayEra) → Coin Source #
EraGenesis ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Genesis Associated Types type Genesis ConwayEra Source #
EraUTxO ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.UTxO Associated Types type ScriptsNeeded ConwayEra = (r ∷ Type) Source # Methods getConsumedValue ∷ PParams ConwayEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → UTxO ConwayEra → TxBody ConwayEra → Value ConwayEra Source # getProducedValue ∷ PParams ConwayEra → (KeyHash 'StakePool → Bool) → TxBody ConwayEra → Value ConwayEra Source # getScriptsProvided ∷ UTxO ConwayEra → Tx ConwayEra → ScriptsProvided ConwayEra Source # getScriptsNeeded ∷ UTxO ConwayEra → TxBody ConwayEra → ScriptsNeeded ConwayEra Source # getScriptsHashesNeeded ∷ ScriptsNeeded ConwayEra → Set ScriptHash Source # getWitsVKeyNeeded ∷ CertState ConwayEra → UTxO ConwayEra → TxBody ConwayEra → Set (KeyHash 'Witness) Source # getMinFeeTxUtxo ∷ PParams ConwayEra → Tx ConwayEra → UTxO ConwayEra → Coin Source #
MaryEraTxBody ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.TxBody.Internal Methods mintTxBodyL ∷ Lens' (TxBody ConwayEra) MultiAsset Source # mintValueTxBodyF ∷ SimpleGetter (TxBody ConwayEra) (Value ConwayEra) Source # mintedTxBodyF ∷ SimpleGetter (TxBody ConwayEra) (Set PolicyID) Source #
ApplyTx ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway Methods applyTxOpts ∷ ∀ (ep ∷ EventPolicy) m. (MonadError (ApplyTxError ConwayEra) m, EventReturnTypeRep ep) ⇒ ApplySTSOpts ep → Globals → MempoolEnv ConwayEra → MempoolState ConwayEra → Tx ConwayEra → m (EventReturnType ep (EraRule "LEDGER" ConwayEra) (MempoolState ConwayEra, Validated (Tx ConwayEra))) Source # reapplyTx ∷ MonadError (ApplyTxError ConwayEra) m ⇒ Globals → MempoolEnv ConwayEra → MempoolState ConwayEra → Validated (Tx ConwayEra) → m (MempoolState ConwayEra) Source #
ApplyBlock ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway Methods applyTickOpts ∷ ∀ (ep ∷ EventPolicy). ApplySTSOpts ep → Globals → NewEpochState ConwayEra → SlotNo → EventReturnType ep (EraRule "TICK" ConwayEra) (NewEpochState ConwayEra) Source # applyBlockOpts ∷ ∀ (ep ∷ EventPolicy) m. (EventReturnTypeRep ep, MonadError (BlockTransitionError ConwayEra) m) ⇒ ApplySTSOpts ep → Globals → NewEpochState ConwayEra → Block BHeaderView ConwayEra → m (EventReturnType ep (EraRule "BBODY" ConwayEra) (NewEpochState ConwayEra)) Source # reapplyBlock ∷ Globals → NewEpochState ConwayEra → Block BHeaderView ConwayEra → NewEpochState ConwayEra Source #
EraPParams ConwayEra ⇒ EraGov ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Governance Associated Types type GovState ConwayEra = (r ∷ Type) Source # Methods emptyGovState ∷ GovState ConwayEra Source # getProposedPPUpdates ∷ GovState ConwayEra → Maybe (ProposedPPUpdates 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 #
ShelleyEraScript ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Scripts 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 Defined in Cardano.Ledger.Conway.Transition Associated Types data TransitionConfig ConwayEra Source # Methods mkTransitionConfig ∷ TranslationContext ConwayEra → TransitionConfig (PreviousEra ConwayEra) → TransitionConfig ConwayEra Source # injectIntoTestState ∷ TransitionConfig ConwayEra → NewEpochState ConwayEra → 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 #
ShelleyEraTxCert ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods mkRegTxCert ∷ StakeCredential → TxCert ConwayEra Source # getRegTxCert ∷ TxCert ConwayEra → Maybe StakeCredential Source # mkUnRegTxCert ∷ StakeCredential → TxCert ConwayEra Source # getUnRegTxCert ∷ TxCert ConwayEra → Maybe StakeCredential Source # mkDelegStakeTxCert ∷ StakeCredential → KeyHash 'StakePool → TxCert ConwayEra Source # getDelegStakeTxCert ∷ TxCert ConwayEra → Maybe (StakeCredential, 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 Defined in Cardano.Ledger.Conway.TxInfo Methods toPlutusTxCert ∷ proxy 'PlutusV1 → ProtVer → TxCert ConwayEra → Either (ContextError ConwayEra) (PlutusTxCert 'PlutusV1) Source # toPlutusScriptPurpose ∷ proxy 'PlutusV1 → ProtVer → PlutusPurpose AsIxItem ConwayEra → Either (ContextError ConwayEra) (PlutusScriptPurpose 'PlutusV1) Source # toPlutusTxInfo ∷ proxy 'PlutusV1 → LedgerTxInfo ConwayEra → Either (ContextError ConwayEra) (PlutusTxInfo 'PlutusV1) Source # toPlutusArgs ∷ proxy 'PlutusV1 → ProtVer → PlutusTxInfo 'PlutusV1 → PlutusPurpose AsIxItem ConwayEra → Maybe (Data ConwayEra) → Data ConwayEra → Either (ContextError ConwayEra) (PlutusArgs 'PlutusV1) Source #
EraPlutusTxInfo 'PlutusV2 ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.TxInfo Methods toPlutusTxCert ∷ proxy 'PlutusV2 → ProtVer → TxCert ConwayEra → Either (ContextError ConwayEra) (PlutusTxCert 'PlutusV2) Source # toPlutusScriptPurpose ∷ proxy 'PlutusV2 → ProtVer → PlutusPurpose AsIxItem ConwayEra → Either (ContextError ConwayEra) (PlutusScriptPurpose 'PlutusV2) Source # toPlutusTxInfo ∷ proxy 'PlutusV2 → LedgerTxInfo ConwayEra → Either (ContextError ConwayEra) (PlutusTxInfo 'PlutusV2) Source # toPlutusArgs ∷ proxy 'PlutusV2 → ProtVer → PlutusTxInfo 'PlutusV2 → PlutusPurpose AsIxItem ConwayEra → Maybe (Data ConwayEra) → Data ConwayEra → Either (ContextError ConwayEra) (PlutusArgs 'PlutusV2) Source #
EraPlutusTxInfo 'PlutusV3 ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.TxInfo Methods toPlutusTxCert ∷ proxy 'PlutusV3 → ProtVer → TxCert ConwayEra → Either (ContextError ConwayEra) (PlutusTxCert 'PlutusV3) Source # toPlutusScriptPurpose ∷ proxy 'PlutusV3 → ProtVer → PlutusPurpose AsIxItem ConwayEra → Either (ContextError ConwayEra) (PlutusScriptPurpose 'PlutusV3) Source # toPlutusTxInfo ∷ proxy 'PlutusV3 → LedgerTxInfo ConwayEra → Either (ContextError ConwayEra) (PlutusTxInfo 'PlutusV3) Source # toPlutusArgs ∷ proxy 'PlutusV3 → ProtVer → PlutusTxInfo 'PlutusV3 → PlutusPurpose AsIxItem ConwayEra → Maybe (Data ConwayEra) → Data ConwayEra → Either (ContextError ConwayEra) (PlutusArgs 'PlutusV3) Source #
ConwayEraPlutusTxInfo 'PlutusV3 ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.TxInfo Methods toPlutusChangedParameters ∷ proxy 'PlutusV3 → PParamsUpdate ConwayEra → ChangedParameters Source #
TranslateEra ConwayEra Tx Source #
Instance details Defined in Cardano.Ledger.Conway.Translation Associated Types type TranslationError ConwayEra Tx Source # Methods translateEra ∷ TranslationContext ConwayEra → Tx (PreviousEra ConwayEra) → Except (TranslationError ConwayEra Tx) (Tx ConwayEra) Source #
TranslateEra ConwayEra CertState Source #
Instance details Defined in Cardano.Ledger.Conway.Translation Associated Types type TranslationError ConwayEra CertState Source # Methods translateEra ∷ TranslationContext ConwayEra → CertState (PreviousEra ConwayEra) → Except (TranslationError ConwayEra CertState) (CertState ConwayEra) Source #
TranslateEra ConwayEra CommitteeState Source #
Instance details Defined in Cardano.Ledger.Conway.Translation Associated Types type TranslationError ConwayEra CommitteeState Source # Methods translateEra ∷ TranslationContext ConwayEra → CommitteeState (PreviousEra ConwayEra) → Except (TranslationError ConwayEra CommitteeState) (CommitteeState ConwayEra) Source #
TranslateEra ConwayEra DState Source #
Instance details Defined in Cardano.Ledger.Conway.Translation Associated Types type TranslationError ConwayEra DState Source # Methods translateEra ∷ TranslationContext ConwayEra → DState (PreviousEra ConwayEra) → Except (TranslationError ConwayEra DState) (DState ConwayEra) Source #
TranslateEra ConwayEra PState Source #
Instance details Defined in Cardano.Ledger.Conway.Translation Associated Types type TranslationError ConwayEra PState Source # Methods translateEra ∷ TranslationContext ConwayEra → PState (PreviousEra ConwayEra) → Except (TranslationError ConwayEra PState) (PState ConwayEra) Source #
TranslateEra ConwayEra VState Source #
Instance details Defined in Cardano.Ledger.Conway.Translation Associated Types type TranslationError ConwayEra VState Source # Methods translateEra ∷ TranslationContext ConwayEra → VState (PreviousEra ConwayEra) → Except (TranslationError ConwayEra VState) (VState ConwayEra) Source #
TranslateEra ConwayEra PParams Source #
Instance details Defined in Cardano.Ledger.Conway.Translation Associated Types type TranslationError ConwayEra PParams Source # Methods translateEra ∷ TranslationContext ConwayEra → PParams (PreviousEra ConwayEra) → Except (TranslationError ConwayEra PParams) (PParams ConwayEra) Source #
TranslateEra ConwayEra UTxO Source #
Instance details Defined in Cardano.Ledger.Conway.Translation Associated Types type TranslationError ConwayEra UTxO Source # Methods translateEra ∷ TranslationContext ConwayEra → UTxO (PreviousEra ConwayEra) → Except (TranslationError ConwayEra UTxO) (UTxO ConwayEra) Source #
TranslateEra ConwayEra FuturePParams Source #
Instance details Defined in Cardano.Ledger.Conway.Translation Associated Types type TranslationError ConwayEra FuturePParams Source # Methods translateEra ∷ TranslationContext ConwayEra → FuturePParams (PreviousEra ConwayEra) → Except (TranslationError ConwayEra FuturePParams) (FuturePParams ConwayEra) Source #
TranslateEra ConwayEra EpochState Source #
Instance details Defined in Cardano.Ledger.Conway.Translation Associated Types type TranslationError ConwayEra EpochState Source # Methods translateEra ∷ TranslationContext ConwayEra → EpochState (PreviousEra ConwayEra) → Except (TranslationError ConwayEra EpochState) (EpochState ConwayEra) Source #
TranslateEra ConwayEra LedgerState Source #
Instance details Defined in Cardano.Ledger.Conway.Translation Associated Types type TranslationError ConwayEra LedgerState Source # Methods translateEra ∷ TranslationContext ConwayEra → LedgerState (PreviousEra ConwayEra) → Except (TranslationError ConwayEra LedgerState) (LedgerState ConwayEra) Source #
TranslateEra ConwayEra NewEpochState Source #
Instance details Defined in Cardano.Ledger.Conway.Translation Associated Types type TranslationError ConwayEra NewEpochState Source # Methods translateEra ∷ TranslationContext ConwayEra → NewEpochState (PreviousEra ConwayEra) → Except (TranslationError ConwayEra NewEpochState) (NewEpochState ConwayEra) Source #
TranslateEra ConwayEra UTxOState Source #
Instance details Defined in Cardano.Ledger.Conway.Translation Associated Types type TranslationError ConwayEra UTxOState Source # Methods translateEra ∷ TranslationContext ConwayEra → UTxOState (PreviousEra ConwayEra) → Except (TranslationError ConwayEra UTxOState) (UTxOState ConwayEra) Source #
InjectRuleEvent "TICK" ConwayEpochEvent ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules Methods injectEvent ∷ ConwayEpochEvent ConwayEra → EraRuleEvent "TICK" ConwayEra Source #
InjectRuleEvent "UTXOS" AlonzoUtxosEvent ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos Methods injectEvent ∷ AlonzoUtxosEvent ConwayEra → EraRuleEvent "UTXOS" ConwayEra Source #
InjectRuleEvent "UTXOS" ConwayUtxosEvent ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos Methods injectEvent ∷ ConwayUtxosEvent ConwayEra → EraRuleEvent "UTXOS" ConwayEra Source #
InjectRuleFailure "BBODY" AllegraUtxoPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ AllegraUtxoPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #
InjectRuleFailure "BBODY" AlonzoBbodyPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ AlonzoBbodyPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #
InjectRuleFailure "BBODY" AlonzoUtxoPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ AlonzoUtxoPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #
InjectRuleFailure "BBODY" AlonzoUtxosPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ AlonzoUtxosPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #
InjectRuleFailure "BBODY" AlonzoUtxowPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ AlonzoUtxowPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #
InjectRuleFailure "BBODY" BabbageUtxoPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ BabbageUtxoPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #
InjectRuleFailure "BBODY" BabbageUtxowPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ BabbageUtxowPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #
InjectRuleFailure "BBODY" ConwayBbodyPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayBbodyPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #
InjectRuleFailure "BBODY" ConwayCertPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayCertPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #
InjectRuleFailure "BBODY" ConwayCertsPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayCertsPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #
InjectRuleFailure "BBODY" ConwayDelegPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayDelegPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #
InjectRuleFailure "BBODY" ConwayGovPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayGovPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #
InjectRuleFailure "BBODY" ConwayGovCertPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayGovCertPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #
InjectRuleFailure "BBODY" ConwayLedgerPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayLedgerPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #
InjectRuleFailure "BBODY" ConwayUtxoPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayUtxoPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #
InjectRuleFailure "BBODY" ConwayUtxosPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayUtxosPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #
InjectRuleFailure "BBODY" ConwayUtxowPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayUtxowPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #
InjectRuleFailure "BBODY" ShelleyBbodyPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ShelleyBbodyPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #
InjectRuleFailure "BBODY" ShelleyLedgersPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ShelleyLedgersPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #
InjectRuleFailure "BBODY" ShelleyPoolPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ShelleyPoolPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #
InjectRuleFailure "BBODY" ShelleyUtxoPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ShelleyUtxoPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #
InjectRuleFailure "BBODY" ShelleyUtxowPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ShelleyUtxowPredFailure ConwayEra → EraRuleFailure "BBODY" ConwayEra Source #
InjectRuleFailure "CERT" ConwayCertPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods injectFailure ∷ ConwayCertPredFailure ConwayEra → EraRuleFailure "CERT" ConwayEra Source #
InjectRuleFailure "CERT" ConwayDelegPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods injectFailure ∷ ConwayDelegPredFailure ConwayEra → EraRuleFailure "CERT" ConwayEra Source #
InjectRuleFailure "CERT" ConwayGovCertPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods injectFailure ∷ ConwayGovCertPredFailure ConwayEra → EraRuleFailure "CERT" ConwayEra Source #
InjectRuleFailure "CERT" ShelleyPoolPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods injectFailure ∷ ShelleyPoolPredFailure ConwayEra → EraRuleFailure "CERT" ConwayEra Source #
InjectRuleFailure "CERTS" ConwayCertPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs Methods injectFailure ∷ ConwayCertPredFailure ConwayEra → EraRuleFailure "CERTS" ConwayEra Source #
InjectRuleFailure "CERTS" ConwayCertsPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs Methods injectFailure ∷ ConwayCertsPredFailure ConwayEra → EraRuleFailure "CERTS" ConwayEra Source #
InjectRuleFailure "CERTS" ConwayDelegPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs Methods injectFailure ∷ ConwayDelegPredFailure ConwayEra → EraRuleFailure "CERTS" ConwayEra Source #
InjectRuleFailure "CERTS" ConwayGovCertPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs Methods injectFailure ∷ ConwayGovCertPredFailure ConwayEra → EraRuleFailure "CERTS" ConwayEra Source #
InjectRuleFailure "CERTS" ShelleyPoolPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs Methods injectFailure ∷ ShelleyPoolPredFailure ConwayEra → EraRuleFailure "CERTS" ConwayEra Source #
InjectRuleFailure "DELEG" ConwayDelegPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg Methods injectFailure ∷ ConwayDelegPredFailure ConwayEra → EraRuleFailure "DELEG" ConwayEra Source #
InjectRuleFailure "GOV" ConwayGovPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Gov 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 Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ AllegraUtxoPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source #
InjectRuleFailure "LEDGER" AlonzoUtxoPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ AlonzoUtxoPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source #
InjectRuleFailure "LEDGER" AlonzoUtxosPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ AlonzoUtxosPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source #
InjectRuleFailure "LEDGER" AlonzoUtxowPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ AlonzoUtxowPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source #
InjectRuleFailure "LEDGER" BabbageUtxoPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ BabbageUtxoPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source #
InjectRuleFailure "LEDGER" BabbageUtxowPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ BabbageUtxowPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source #
InjectRuleFailure "LEDGER" ConwayCertPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayCertPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source #
InjectRuleFailure "LEDGER" ConwayCertsPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayCertsPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source #
InjectRuleFailure "LEDGER" ConwayDelegPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayDelegPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source #
InjectRuleFailure "LEDGER" ConwayGovPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayGovPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source #
InjectRuleFailure "LEDGER" ConwayGovCertPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayGovCertPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source #
InjectRuleFailure "LEDGER" ConwayLedgerPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayLedgerPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source #
InjectRuleFailure "LEDGER" ConwayMempoolPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayMempoolPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source #
InjectRuleFailure "LEDGER" ConwayUtxoPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayUtxoPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source #
InjectRuleFailure "LEDGER" ConwayUtxosPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayUtxosPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source #
InjectRuleFailure "LEDGER" ConwayUtxowPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayUtxowPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source #
InjectRuleFailure "LEDGER" ShelleyPoolPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ShelleyPoolPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source #
InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ShelleyUtxoPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source #
InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ShelleyUtxowPredFailure ConwayEra → EraRuleFailure "LEDGER" ConwayEra Source #
InjectRuleFailure "LEDGERS" AllegraUtxoPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ AllegraUtxoPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source #
InjectRuleFailure "LEDGERS" AlonzoUtxoPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ AlonzoUtxoPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source #
InjectRuleFailure "LEDGERS" AlonzoUtxosPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ AlonzoUtxosPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source #
InjectRuleFailure "LEDGERS" AlonzoUtxowPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ AlonzoUtxowPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source #
InjectRuleFailure "LEDGERS" BabbageUtxoPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ BabbageUtxoPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source #
InjectRuleFailure "LEDGERS" BabbageUtxowPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ BabbageUtxowPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source #
InjectRuleFailure "LEDGERS" ConwayCertPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ConwayCertPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source #
InjectRuleFailure "LEDGERS" ConwayCertsPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ConwayCertsPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source #
InjectRuleFailure "LEDGERS" ConwayDelegPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ConwayDelegPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source #
InjectRuleFailure "LEDGERS" ConwayGovPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ConwayGovPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source #
InjectRuleFailure "LEDGERS" ConwayGovCertPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ConwayGovCertPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source #
InjectRuleFailure "LEDGERS" ConwayLedgerPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ConwayLedgerPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source #
InjectRuleFailure "LEDGERS" ConwayUtxoPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ConwayUtxoPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source #
InjectRuleFailure "LEDGERS" ConwayUtxosPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ConwayUtxosPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source #
InjectRuleFailure "LEDGERS" ConwayUtxowPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ConwayUtxowPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source #
InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ShelleyLedgersPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source #
InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ShelleyPoolPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source #
InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ShelleyUtxoPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source #
InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ShelleyUtxowPredFailure ConwayEra → EraRuleFailure "LEDGERS" ConwayEra Source #
InjectRuleFailure "MEMPOOL" ConwayMempoolPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool Methods injectFailure ∷ ConwayMempoolPredFailure ConwayEra → EraRuleFailure "MEMPOOL" ConwayEra Source #
InjectRuleFailure "UTXO" AllegraUtxoPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo Methods injectFailure ∷ AllegraUtxoPredFailure ConwayEra → EraRuleFailure "UTXO" ConwayEra Source #
InjectRuleFailure "UTXO" AlonzoUtxoPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo Methods injectFailure ∷ AlonzoUtxoPredFailure ConwayEra → EraRuleFailure "UTXO" ConwayEra Source #
InjectRuleFailure "UTXO" AlonzoUtxosPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo Methods injectFailure ∷ AlonzoUtxosPredFailure ConwayEra → EraRuleFailure "UTXO" ConwayEra Source #
InjectRuleFailure "UTXO" BabbageUtxoPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo Methods injectFailure ∷ BabbageUtxoPredFailure ConwayEra → EraRuleFailure "UTXO" ConwayEra Source #
InjectRuleFailure "UTXO" ConwayUtxoPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo Methods injectFailure ∷ ConwayUtxoPredFailure ConwayEra → EraRuleFailure "UTXO" ConwayEra Source #
InjectRuleFailure "UTXO" ConwayUtxosPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo Methods injectFailure ∷ ConwayUtxosPredFailure ConwayEra → EraRuleFailure "UTXO" ConwayEra Source #
InjectRuleFailure "UTXO" ShelleyUtxoPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo Methods injectFailure ∷ ShelleyUtxoPredFailure ConwayEra → EraRuleFailure "UTXO" ConwayEra Source #
InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos Methods injectFailure ∷ AlonzoUtxosPredFailure ConwayEra → EraRuleFailure "UTXOS" ConwayEra Source #
InjectRuleFailure "UTXOS" ConwayUtxosPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos Methods injectFailure ∷ ConwayUtxosPredFailure ConwayEra → EraRuleFailure "UTXOS" ConwayEra Source #
InjectRuleFailure "UTXOW" AllegraUtxoPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Methods injectFailure ∷ AllegraUtxoPredFailure ConwayEra → EraRuleFailure "UTXOW" ConwayEra Source #
InjectRuleFailure "UTXOW" AlonzoUtxoPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Methods injectFailure ∷ AlonzoUtxoPredFailure ConwayEra → EraRuleFailure "UTXOW" ConwayEra Source #
InjectRuleFailure "UTXOW" AlonzoUtxosPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Methods injectFailure ∷ AlonzoUtxosPredFailure ConwayEra → EraRuleFailure "UTXOW" ConwayEra Source #
InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Methods injectFailure ∷ AlonzoUtxowPredFailure ConwayEra → EraRuleFailure "UTXOW" ConwayEra Source #
InjectRuleFailure "UTXOW" BabbageUtxoPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Methods injectFailure ∷ BabbageUtxoPredFailure ConwayEra → EraRuleFailure "UTXOW" ConwayEra Source #
InjectRuleFailure "UTXOW" BabbageUtxowPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Methods injectFailure ∷ BabbageUtxowPredFailure ConwayEra → EraRuleFailure "UTXOW" ConwayEra Source #
InjectRuleFailure "UTXOW" ConwayUtxoPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Methods injectFailure ∷ ConwayUtxoPredFailure ConwayEra → EraRuleFailure "UTXOW" ConwayEra Source #
InjectRuleFailure "UTXOW" ConwayUtxosPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Methods injectFailure ∷ ConwayUtxosPredFailure ConwayEra → EraRuleFailure "UTXOW" ConwayEra Source #
InjectRuleFailure "UTXOW" ConwayUtxowPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Methods injectFailure ∷ ConwayUtxowPredFailure ConwayEra → EraRuleFailure "UTXOW" ConwayEra Source #
InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Methods injectFailure ∷ ShelleyUtxoPredFailure ConwayEra → EraRuleFailure "UTXOW" ConwayEra Source #
InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Methods injectFailure ∷ ShelleyUtxowPredFailure ConwayEra → EraRuleFailure "UTXOW" ConwayEra Source #
FromJSON (TransitionConfig ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.Transition Methods parseJSON ∷ Value → Parser (TransitionConfig ConwayEra) Source # parseJSONList ∷ Value → Parser [TransitionConfig ConwayEra] Source # omittedField ∷ Maybe (TransitionConfig ConwayEra) Source #
ToJSON (TransitionConfig ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.Transition Methods toJSON ∷ TransitionConfig ConwayEra → Value Source # toEncoding ∷ TransitionConfig ConwayEra → Encoding Source # toJSONList ∷ [TransitionConfig ConwayEra] → Value Source # toEncodingList ∷ [TransitionConfig ConwayEra] → Encoding Source # omitField ∷ TransitionConfig ConwayEra → Bool Source #
Generic (PlutusScript ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.Scripts Associated Types type Rep (PlutusScript ConwayEra) ∷ Type → Type Source # Methods from ∷ PlutusScript ConwayEra → Rep (PlutusScript ConwayEra) x Source # to ∷ Rep (PlutusScript ConwayEra) x → PlutusScript ConwayEra Source #
Generic (TransitionConfig ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.Transition Associated Types type Rep (TransitionConfig ConwayEra) ∷ Type → Type Source # Methods from ∷ TransitionConfig ConwayEra → Rep (TransitionConfig ConwayEra) x Source # to ∷ Rep (TransitionConfig ConwayEra) x → TransitionConfig ConwayEra Source #
Show (PlutusScript ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.Scripts Methods showsPrec ∷ Int → PlutusScript ConwayEra → ShowS Source # show ∷ PlutusScript ConwayEra → String Source # showList ∷ [PlutusScript ConwayEra] → ShowS Source #
Show (TransitionConfig ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.Transition Methods showsPrec ∷ Int → TransitionConfig ConwayEra → ShowS Source # show ∷ TransitionConfig ConwayEra → String Source # showList ∷ [TransitionConfig ConwayEra] → ShowS Source #
SafeToHash (PlutusScript ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.Scripts Methods originalBytes ∷ PlutusScript ConwayEra → ByteString Source # originalBytesSize ∷ PlutusScript ConwayEra → Int Source # makeHashWithExplicitProxys ∷ Proxy i → PlutusScript ConwayEra → SafeHash i Source #
ToPlutusData (PParamsUpdate ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.TxInfo Methods toPlutusData ∷ PParamsUpdate ConwayEra → Data Source # fromPlutusData ∷ Data → Maybe (PParamsUpdate ConwayEra) Source #
NFData (PlutusScript ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.Scripts Methods rnf ∷ PlutusScript ConwayEra → () Source #
Eq (PlutusScript ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.Scripts Methods (==) ∷ PlutusScript ConwayEra → PlutusScript ConwayEra → Bool Source # (/=) ∷ PlutusScript ConwayEra → PlutusScript ConwayEra → Bool Source #
Eq (TransitionConfig ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.Transition Methods (==) ∷ TransitionConfig ConwayEra → TransitionConfig ConwayEra → Bool Source # (/=) ∷ TransitionConfig ConwayEra → TransitionConfig ConwayEra → Bool Source #
Ord (PlutusScript ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.Scripts Methods compare ∷ PlutusScript ConwayEra → PlutusScript ConwayEra → Ordering Source # (<) ∷ PlutusScript ConwayEra → PlutusScript ConwayEra → Bool Source # (<=) ∷ PlutusScript ConwayEra → PlutusScript ConwayEra → Bool Source # (>) ∷ PlutusScript ConwayEra → PlutusScript ConwayEra → Bool Source # (>=) ∷ PlutusScript ConwayEra → PlutusScript ConwayEra → Bool Source # max ∷ PlutusScript ConwayEra → PlutusScript ConwayEra → PlutusScript ConwayEra Source # min ∷ PlutusScript ConwayEra → PlutusScript ConwayEra → PlutusScript ConwayEra Source #
NoThunks (PlutusScript ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.Scripts 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 Defined in Cardano.Ledger.Conway.Transition Methods noThunks ∷ Context → TransitionConfig ConwayEra → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TransitionConfig ConwayEra → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TransitionConfig ConwayEra) → String Source #
ToJSON (ConwayPParams Identity ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.PParams Methods toJSON ∷ ConwayPParams Identity ConwayEra → Value Source # toEncoding ∷ ConwayPParams Identity ConwayEra → Encoding Source # toJSONList ∷ [ConwayPParams Identity ConwayEra] → Value Source # toEncodingList ∷ [ConwayPParams Identity ConwayEra] → Encoding Source # omitField ∷ ConwayPParams Identity ConwayEra → Bool Source #
type ContextError ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.TxInfo type ContextError ConwayEra = ConwayContextError ConwayEra
data PlutusScript ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Scripts data PlutusScript ConwayEra = ConwayPlutusV1 !(Plutus 'PlutusV1) \| ConwayPlutusV2 !(Plutus 'PlutusV2) \| ConwayPlutusV3 !(Plutus 'PlutusV3)
type NativeScript ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Scripts type NativeScript ConwayEra = Timelock ConwayEra
type Script ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Scripts type Script ConwayEra = AlonzoScript ConwayEra
type Tx ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Tx type Tx ConwayEra = AlonzoTx ConwayEra
type TxAuxData ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.TxAuxData type TxAuxData ConwayEra = AlonzoTxAuxData ConwayEra
type TxBody ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.TxBody.Internal type TxBody ConwayEra = ConwayTxBody ConwayEra
type TxBodyUpgradeError ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.TxBody.Internal type TxBodyUpgradeError ConwayEra
type TxOut ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.TxOut type TxOut ConwayEra = BabbageTxOut ConwayEra
type TxSeq ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Tx type TxSeq ConwayEra = AlonzoTxSeq ConwayEra
type TxUpgradeError ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Tx type TxUpgradeError ConwayEra = TxBodyUpgradeError 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 PreviousEra ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Era type PreviousEra ConwayEra = BabbageEra
type ProtVerHigh ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Era type ProtVerHigh ConwayEra = 10
type ProtVerLow ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Era type ProtVerLow ConwayEra = 9
type TranslationContext ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationContext ConwayEra = ConwayGenesis
type TxCert ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert type TxCert ConwayEra = ConwayTxCert ConwayEra
type TxCertUpgradeError ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.TxCert type TxCertUpgradeError ConwayEra = ConwayTxCertUpgradeError
type Genesis ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Genesis type Genesis ConwayEra = ConwayGenesis
type ScriptsNeeded ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.UTxO type ScriptsNeeded ConwayEra = AlonzoScriptsNeeded ConwayEra
type GovState ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Governance type GovState ConwayEra = ConwayGovState ConwayEra
data TransitionConfig ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Transition data TransitionConfig ConwayEra = ConwayTransitionConfig { ctcConwayGenesis ∷ !ConwayGenesis ctcBabbageTransitionConfig ∷ !(TransitionConfig BabbageEra) }
type PlutusPurpose f ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Scripts type PlutusPurpose f ConwayEra = ConwayPlutusPurpose f ConwayEra
type EraRule "BBODY" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "BBODY" ConwayEra = ConwayBBODY ConwayEra
type EraRule "CERT" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "CERT" ConwayEra = ConwayCERT ConwayEra
type EraRule "CERTS" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "CERTS" ConwayEra = ConwayCERTS ConwayEra
type EraRule "DELEG" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "DELEG" ConwayEra = ConwayDELEG 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 = ConwayENACT ConwayEra
type EraRule "EPOCH" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "EPOCH" ConwayEra = ConwayEPOCH ConwayEra
type EraRule "GOV" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "GOV" ConwayEra = ConwayGOV ConwayEra
type EraRule "GOVCERT" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "GOVCERT" ConwayEra = ConwayGOVCERT ConwayEra
type EraRule "HARDFORK" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "HARDFORK" ConwayEra = ConwayHARDFORK ConwayEra
type EraRule "LEDGER" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "LEDGER" ConwayEra = ConwayLEDGER ConwayEra
type EraRule "LEDGERS" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "LEDGERS" ConwayEra = ShelleyLEDGERS ConwayEra
type EraRule "MEMPOOL" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "MEMPOOL" ConwayEra = ConwayMEMPOOL 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 = ConwayNEWEPOCH 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 = ShelleyPOOL ConwayEra
type EraRule "POOLREAP" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "POOLREAP" ConwayEra = ShelleyPOOLREAP 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
type EraRule "RUPD" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "RUPD" ConwayEra = ShelleyRUPD ConwayEra
type EraRule "SNAP" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "SNAP" ConwayEra = ShelleySNAP ConwayEra
type EraRule "TICK" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "TICK" ConwayEra = ShelleyTICK ConwayEra
type EraRule "TICKF" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "TICKF" ConwayEra = ConwayTICKF 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
type EraRule "UTXOS" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "UTXOS" ConwayEra = ConwayUTXOS ConwayEra
type EraRule "UTXOW" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Era type EraRule "UTXOW" ConwayEra = ConwayUTXOW ConwayEra
type EraRuleEvent "BBODY" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody type EraRuleEvent "BBODY" ConwayEra = AlonzoBbodyEvent ConwayEra
type EraRuleEvent "CERT" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type EraRuleEvent "CERT" ConwayEra = ConwayCertEvent ConwayEra
type EraRuleEvent "CERTS" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs type EraRuleEvent "CERTS" ConwayEra = ConwayCertsEvent ConwayEra
type EraRuleEvent "DELEG" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg 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 Defined in Cardano.Ledger.Conway.Rules.Gov 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 Defined in Cardano.Ledger.Conway.Rules.Ledger type EraRuleEvent "LEDGER" ConwayEra = ConwayLedgerEvent ConwayEra
type EraRuleEvent "LEDGERS" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers type EraRuleEvent "LEDGERS" ConwayEra = ShelleyLedgersEvent ConwayEra
type EraRuleEvent "MEMPOOL" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool type EraRuleEvent "MEMPOOL" ConwayEra = ConwayMempoolEvent 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 Defined in Cardano.Ledger.Conway.Rules.Pool 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 Defined in Cardano.Ledger.Conway.Rules.Utxo type EraRuleEvent "UTXO" ConwayEra = AlonzoUtxoEvent ConwayEra
type EraRuleEvent "UTXOS" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type EraRuleEvent "UTXOS" ConwayEra = ConwayUtxosEvent ConwayEra
type EraRuleEvent "UTXOW" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type EraRuleEvent "UTXOW" ConwayEra = AlonzoUtxowEvent ConwayEra
type EraRuleFailure "BBODY" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody type EraRuleFailure "BBODY" ConwayEra = ConwayBbodyPredFailure ConwayEra
type EraRuleFailure "CERT" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type EraRuleFailure "CERT" ConwayEra = ConwayCertPredFailure ConwayEra
type EraRuleFailure "CERTS" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs type EraRuleFailure "CERTS" ConwayEra = ConwayCertsPredFailure ConwayEra
type EraRuleFailure "DELEG" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg 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 Defined in Cardano.Ledger.Conway.Rules.Gov 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 Defined in Cardano.Ledger.Conway.Rules.Ledger type EraRuleFailure "LEDGER" ConwayEra = ConwayLedgerPredFailure ConwayEra
type EraRuleFailure "LEDGERS" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers type EraRuleFailure "LEDGERS" ConwayEra = ShelleyLedgersPredFailure ConwayEra
type EraRuleFailure "MEMPOOL" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool type EraRuleFailure "MEMPOOL" ConwayEra = ConwayMempoolPredFailure 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 Defined in Cardano.Ledger.Conway.Rules.Pool 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 Defined in Cardano.Ledger.Conway.Rules.Utxo type EraRuleFailure "UTXO" ConwayEra = ConwayUtxoPredFailure ConwayEra
type EraRuleFailure "UTXOS" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type EraRuleFailure "UTXOS" ConwayEra = ConwayUtxosPredFailure ConwayEra
type EraRuleFailure "UTXOW" ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type EraRuleFailure "UTXOW" ConwayEra = ConwayUtxowPredFailure ConwayEra
type DowngradePParams f ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.PParams type DowngradePParams f ConwayEra = ()
type PParamsHKD f ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.PParams type PParamsHKD f ConwayEra = ConwayPParams f ConwayEra
type UpgradePParams f ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.PParams type UpgradePParams f ConwayEra = UpgradeConwayPParams f
type TranslationError ConwayEra Tx Source #
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra Tx = DecoderError
type TranslationError ConwayEra CertState Source #
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra CertState = Void
type TranslationError ConwayEra CommitteeState Source #
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra CommitteeState = Void
type TranslationError ConwayEra DState Source #
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra DState = Void
type TranslationError ConwayEra PState Source #
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra PState = Void
type TranslationError ConwayEra VState Source #
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra VState = Void
type TranslationError ConwayEra PParams Source #
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra PParams = Void
type TranslationError ConwayEra UTxO Source #
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra UTxO = Void
type TranslationError ConwayEra FuturePParams Source #
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra FuturePParams = Void
type TranslationError ConwayEra EpochState Source #
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra EpochState = Void
type TranslationError ConwayEra LedgerState Source #
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra LedgerState = Void
type TranslationError ConwayEra NewEpochState Source #
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra NewEpochState = Void
type TranslationError ConwayEra UTxOState Source #
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra UTxOState = Void
type Rep (PlutusScript ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.Scripts type Rep (PlutusScript ConwayEra) = D1 ('MetaData "PlutusScript" "Cardano.Ledger.Conway.Scripts" "cardano-ledger-conway-1.19.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 (TransitionConfig ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.Transition type Rep (TransitionConfig ConwayEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Conway.Transition" "cardano-ledger-conway-1.19.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))))

Orphan instances

RunConwayRatify ConwayEra Source #
Instance details Methods runConwayRatify ∷ Globals → RatifyEnv ConwayEra → RatifyState ConwayEra → RatifySignal ConwayEra → RatifyState ConwayEra Source #
ApplyTx ConwayEra Source #
Instance details Methods applyTxOpts ∷ ∀ (ep ∷ EventPolicy) m. (MonadError (ApplyTxError ConwayEra) m, EventReturnTypeRep ep) ⇒ ApplySTSOpts ep → Globals → MempoolEnv ConwayEra → MempoolState ConwayEra → Tx ConwayEra → m (EventReturnType ep (EraRule "LEDGER" ConwayEra) (MempoolState ConwayEra, Validated (Tx ConwayEra))) Source # reapplyTx ∷ MonadError (ApplyTxError ConwayEra) m ⇒ Globals → MempoolEnv ConwayEra → MempoolState ConwayEra → Validated (Tx ConwayEra) → m (MempoolState ConwayEra) Source #
ApplyBlock ConwayEra Source #
Instance details Methods applyTickOpts ∷ ∀ (ep ∷ EventPolicy). ApplySTSOpts ep → Globals → NewEpochState ConwayEra → SlotNo → EventReturnType ep (EraRule "TICK" ConwayEra) (NewEpochState ConwayEra) Source # applyBlockOpts ∷ ∀ (ep ∷ EventPolicy) m. (EventReturnTypeRep ep, MonadError (BlockTransitionError ConwayEra) m) ⇒ ApplySTSOpts ep → Globals → NewEpochState ConwayEra → Block BHeaderView ConwayEra → m (EventReturnType ep (EraRule "BBODY" ConwayEra) (NewEpochState ConwayEra)) Source # reapplyBlock ∷ Globals → NewEpochState ConwayEra → Block BHeaderView ConwayEra → NewEpochState ConwayEra Source #