Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Conway

Contents

Orphan instances

Synopsis

type Conway = ConwayEra
data ConwayEra
hardforkConwayBootstrapPhase ∷ ProtVer → Bool
hardforkConwayDisallowUnelectedCommitteeFromVoting ∷ ProtVer → Bool
hardforkConwayDELEGIncorrectDepositsAndRefunds ∷ ProtVer → Bool
hardforkConwayMoveWithdrawalsAndDRepChecksToLedgerRule ∷ ProtVer → Bool
data family Tx era

Documentation

type Conway = ConwayEra Source #

Deprecated: In favor of ConwayEra

data ConwayEra Source #

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 nativeScriptsTxAuxDataL ∷ Lens' (TxAuxData ConwayEra) (StrictSeq (NativeScript ConwayEra)) Source #
AllegraEraTxBody ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.TxBody 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 # data TxInfoResult ConwayEra Source # Methods mkSupportedLanguage ∷ Language → Maybe (SupportedLanguage ConwayEra) Source # mkTxInfoResult ∷ LedgerTxInfo ConwayEra → TxInfoResult ConwayEra Source # lookupTxInfoResult ∷ ∀ (l ∷ Language). EraPlutusTxInfo l ConwayEra ⇒ SLanguage l → TxInfoResult ConwayEra → Either (ContextError ConwayEra) (PlutusTxInfo l) Source # mkPlutusWithContext ∷ PlutusScript ConwayEra → ScriptHash → PlutusPurpose AsIxItem ConwayEra → LedgerTxInfo ConwayEra → TxInfoResult 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) 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 # 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 Methods collateralInputsTxBodyL ∷ Lens' (TxBody ConwayEra) (Set TxIn) Source # reqSignerHashesTxBodyL ∷ Lens' (TxBody ConwayEra) (Set (KeyHash 'Guard)) Source # reqSignerHashesTxBodyG ∷ SimpleGetter (TxBody ConwayEra) (Set (KeyHash 'Guard)) 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 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 # 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 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 #
ConwayEraAccounts ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.State.Account 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 Defined in Cardano.Ledger.Conway.Transition Methods tcConwayGenesisL ∷ Lens' (TransitionConfig ConwayEra) ConwayGenesis Source #
ConwayEraTxBody ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.TxBody 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 #
EraBlockBody ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.BlockBody Associated Types type BlockBody ConwayEra = (r ∷ Type) Source # Methods mkBasicBlockBody ∷ BlockBody ConwayEra Source # txSeqBlockBodyL ∷ Lens' (BlockBody ConwayEra) (StrictSeq (Tx ConwayEra)) Source # fromTxSeq ∷ BlockBody ConwayEra → StrictSeq (Tx ConwayEra) Source # toTxSeq ∷ StrictSeq (Tx ConwayEra) → BlockBody ConwayEra Source # hashBlockBody ∷ BlockBody ConwayEra → Hash HASH EraIndependentBlockBody Source # hashTxSeq ∷ BlockBody ConwayEra → Hash HASH EraIndependentBlockBody Source # numSegComponents ∷ Word64 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 #
EraTx ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Tx Associated Types data Tx 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) Word32 Source # sizeTxForFeeCalculation ∷ Tx ConwayEra → Word32 Source # validateNativeScript ∷ Tx ConwayEra → NativeScript ConwayEra → Bool Source # getMinFeeTx ∷ PParams ConwayEra → Tx ConwayEra → Int → Coin 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 # validateTxAuxData ∷ ProtVer → TxAuxData ConwayEra → Bool Source #
EraTxBody ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.TxBody Associated Types data TxBody 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 #
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 #
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 # emptyUpgradePParamsUpdate ∷ UpgradePParams 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 # 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 # hkdMinUTxOValueL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, AtMostEra "Mary" ConwayEra) ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f Coin) Source # hkdMinPoolCostL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f Coin) Source # eraPParams ∷ [PParam ConwayEra] 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 ∷ StakePoolParams → TxCert ConwayEra Source # getRegPoolTxCert ∷ TxCert ConwayEra → Maybe StakePoolParams 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 #
EraAccounts ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.State.Account Associated Types type AccountState ConwayEra = (r ∷ Type) Source # type Accounts ConwayEra = (r ∷ Type) Source # 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 = (r ∷ Type) Source # 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 ConwayEra → Coin Source # certsTotalRefundsTxBody ∷ PParams ConwayEra → CertState ConwayEra → TxBody ConwayEra → Coin Source #
EraGov ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Governance Associated Types type GovState ConwayEra = (r ∷ Type) Source # 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 = (r ∷ Type) Source # 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 → Stake Source #
EraUTxO ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.UTxO Associated Types type ScriptsNeeded ConwayEra = (r ∷ Type) Source # Methods consumed ∷ PParams ConwayEra → CertState ConwayEra → UTxO ConwayEra → TxBody ConwayEra → Value ConwayEra Source # 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 #
Era ConwayEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era Associated Types type EraName ConwayEra ∷ Symbol Source # type PreviousEra ConwayEra = (r ∷ Type) Source # type ProtVerLow ConwayEra ∷ Nat Source # type ProtVerHigh ConwayEra ∷ Nat Source # Methods eraName ∷ String Source #
MaryEraTxBody ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.TxBody Methods mintTxBodyL ∷ Lens' (TxBody ConwayEra) MultiAsset Source # mintedTxBodyF ∷ SimpleGetter (TxBody ConwayEra) (Set PolicyID) Source # mintValueTxBodyF ∷ SimpleGetter (TxBody ConwayEra) (Value ConwayEra) Source #
ApplyTx ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway Methods applyTxValidation ∷ ValidationPolicy → Globals → MempoolEnv ConwayEra → MempoolState ConwayEra → Tx ConwayEra → Either (ApplyTxError ConwayEra) (MempoolState ConwayEra, Validated (Tx ConwayEra)) Source #
ApplyBlock ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway Methods applyBlock ∷ ∀ (ep ∷ EventPolicy). SingEP ep → ValidationPolicy → Globals → NewEpochState ConwayEra → Block BHeaderView ConwayEra → (NewEpochState ConwayEra, [PredicateFailure (EraRule "BBODY" ConwayEra)], [Event (EraRule "BBODY" ConwayEra)]) Source # applyTick ∷ ∀ (ep ∷ EventPolicy). SingEP ep → Globals → NewEpochState ConwayEra → SlotNo → (NewEpochState ConwayEra, [Event (EraRule "TICK" ConwayEra)]) 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 # toTransitionConfigKeyValuePairs ∷ KeyValue e a ⇒ TransitionConfig ConwayEra → [a] parseTransitionConfigJSON ∷ Value → Parser (TransitionConfig ConwayEra)
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 # toPlutusTxInInfo ∷ proxy 'PlutusV1 → UTxO ConwayEra → TxIn → Either (ContextError ConwayEra) (PlutusTxInInfo ConwayEra '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 # toPlutusTxInInfo ∷ proxy 'PlutusV2 → UTxO ConwayEra → TxIn → Either (ContextError ConwayEra) (PlutusTxInInfo ConwayEra '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 # toPlutusTxInInfo ∷ proxy 'PlutusV3 → UTxO ConwayEra → TxIn → Either (ContextError ConwayEra) (PlutusTxInInfo ConwayEra '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 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 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 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 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 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 "EPOCH" ConwayHardForkEvent ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch Methods injectEvent ∷ ConwayHardForkEvent ConwayEra → EraRuleEvent "EPOCH" 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 "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 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" 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" ShelleyLedgerPredFailure ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ShelleyLedgerPredFailure 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 "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 #
Generic (PlutusScript ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.Scripts Associated Types type Rep (PlutusScript ConwayEra) ∷ Type → Type # Methods from ∷ PlutusScript ConwayEra → Rep (PlutusScript ConwayEra) x # to ∷ Rep (PlutusScript ConwayEra) x → PlutusScript ConwayEra #
Generic (Tx ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.Tx Associated Types type Rep (Tx ConwayEra) ∷ Type → Type # Methods from ∷ Tx ConwayEra → Rep (Tx ConwayEra) x # to ∷ Rep (Tx ConwayEra) x → Tx ConwayEra #
Generic (TxBody ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.TxBody Associated Types type Rep (TxBody ConwayEra) ∷ Type → Type # Methods from ∷ TxBody ConwayEra → Rep (TxBody ConwayEra) x # to ∷ Rep (TxBody ConwayEra) x → TxBody ConwayEra #
Generic (TransitionConfig ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.Transition Associated Types type Rep (TransitionConfig ConwayEra) ∷ Type → Type # Methods from ∷ TransitionConfig ConwayEra → Rep (TransitionConfig ConwayEra) x # to ∷ Rep (TransitionConfig ConwayEra) x → TransitionConfig ConwayEra #
Show (PlutusScript ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.Scripts Methods showsPrec ∷ Int → PlutusScript ConwayEra → ShowS # show ∷ PlutusScript ConwayEra → String # showList ∷ [PlutusScript ConwayEra] → ShowS #
Show (Tx ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.Tx Methods showsPrec ∷ Int → Tx ConwayEra → ShowS # show ∷ Tx ConwayEra → String # showList ∷ [Tx ConwayEra] → ShowS #
Show (TxBody ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.TxBody Methods showsPrec ∷ Int → TxBody ConwayEra → ShowS # show ∷ TxBody ConwayEra → String # showList ∷ [TxBody ConwayEra] → ShowS #
Show (TransitionConfig ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.Transition Methods showsPrec ∷ Int → TransitionConfig ConwayEra → ShowS # show ∷ TransitionConfig ConwayEra → String # showList ∷ [TransitionConfig ConwayEra] → ShowS #
ToCBOR (Tx ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.Tx Methods toCBOR ∷ Tx ConwayEra → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Tx ConwayEra) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Tx ConwayEra] → Size Source #
ToCBOR (TxBody ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.TxBody Methods toCBOR ∷ TxBody ConwayEra → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxBody ConwayEra) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxBody ConwayEra] → Size Source #
DecCBOR (Annotator (Tx ConwayEra)) Source #
Instance details Defined in Cardano.Ledger.Conway.Tx Methods decCBOR ∷ Decoder s (Annotator (Tx ConwayEra)) Source # dropCBOR ∷ Proxy (Annotator (Tx ConwayEra)) → Decoder s () Source # label ∷ Proxy (Annotator (Tx ConwayEra)) → Text Source #
DecCBOR (Annotator (TxBody ConwayEra)) Source #
Instance details Defined in Cardano.Ledger.Conway.TxBody Methods decCBOR ∷ Decoder s (Annotator (TxBody ConwayEra)) Source # dropCBOR ∷ Proxy (Annotator (TxBody ConwayEra)) → Decoder s () Source # label ∷ Proxy (Annotator (TxBody ConwayEra)) → Text Source #
EncCBOR (Tx ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.Tx Methods encCBOR ∷ Tx ConwayEra → Encoding Source #
EncCBOR (TxBody ConwayEra) Source #	Encodes memoized bytes created upon construction.
Instance details Defined in Cardano.Ledger.Conway.TxBody Methods encCBOR ∷ TxBody ConwayEra → Encoding 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 #
SafeToHash (TxBody ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.TxBody Methods originalBytes ∷ TxBody ConwayEra → ByteString Source # originalBytesSize ∷ TxBody ConwayEra → Int Source # makeHashWithExplicitProxys ∷ Proxy i → TxBody ConwayEra → SafeHash i Source #
EqRaw (Tx ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.Tx Methods eqRaw ∷ Tx ConwayEra → Tx ConwayEra → Bool Source #
EqRaw (TxBody ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.TxBody Methods eqRaw ∷ TxBody ConwayEra → TxBody ConwayEra → Bool Source #
Memoized (TxBody ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.TxBody Associated Types type RawType (TxBody ConwayEra) = (r ∷ Type) Source # Methods getMemoBytes ∷ TxBody ConwayEra → MemoBytes (RawType (TxBody ConwayEra)) wrapMemoBytes ∷ MemoBytes (RawType (TxBody ConwayEra)) → TxBody ConwayEra
NFData (PlutusScript ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.Scripts Methods rnf ∷ PlutusScript ConwayEra → () #
NFData (Tx ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.Tx Methods rnf ∷ Tx ConwayEra → () #
NFData (TxBody ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.TxBody Methods rnf ∷ TxBody ConwayEra → () #
Eq (PlutusScript ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.Scripts Methods (==) ∷ PlutusScript ConwayEra → PlutusScript ConwayEra → Bool # (/=) ∷ PlutusScript ConwayEra → PlutusScript ConwayEra → Bool #
Eq (Tx ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.Tx Methods (==) ∷ Tx ConwayEra → Tx ConwayEra → Bool # (/=) ∷ Tx ConwayEra → Tx ConwayEra → Bool #
Eq (TxBody ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.TxBody Methods (==) ∷ TxBody ConwayEra → TxBody ConwayEra → Bool # (/=) ∷ TxBody ConwayEra → TxBody ConwayEra → Bool #
Eq (TransitionConfig ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.Transition Methods (==) ∷ TransitionConfig ConwayEra → TransitionConfig ConwayEra → Bool # (/=) ∷ TransitionConfig ConwayEra → TransitionConfig ConwayEra → Bool #
Ord (PlutusScript ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.Scripts 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 Defined in Cardano.Ledger.Conway.Scripts 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 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 (Tx ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.Tx Methods noThunks ∷ Context → Tx ConwayEra → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Tx ConwayEra → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Tx ConwayEra) → String Source #
NoThunks (TxBody ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.TxBody Methods noThunks ∷ Context → TxBody ConwayEra → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxBody ConwayEra → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TxBody 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 #
HashAnnotated (TxBody ConwayEra) EraIndependentTxBody Source #
Instance details Defined in Cardano.Ledger.Conway.TxBody Methods hashAnnotated ∷ TxBody ConwayEra → SafeHash EraIndependentTxBody Source #
type ContextError ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.TxInfo type ContextError ConwayEra = ConwayContextError ConwayEra
data TxInfoResult ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.TxInfo data TxInfoResult ConwayEra = ConwayTxInfoResult (Either (ContextError ConwayEra) (PlutusTxInfo 'PlutusV1)) (Either (ContextError ConwayEra) (PlutusTxInfo 'PlutusV2)) (Either (ContextError ConwayEra) (PlutusTxInfo 'PlutusV3))
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 BlockBody ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.BlockBody type BlockBody ConwayEra = AlonzoBlockBody ConwayEra
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
newtype Tx ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Tx newtype Tx ConwayEra = MkConwayTx { unConwayTx ∷ AlonzoTx ConwayEra }
type TxAuxData ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.TxAuxData type TxAuxData ConwayEra = AlonzoTxAuxData ConwayEra
newtype TxBody ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.TxBody newtype TxBody ConwayEra = MkConwayTxBody (MemoBytes ConwayTxBodyRaw)
type TxOut ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.TxOut 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 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 AccountState ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.State.Account type AccountState ConwayEra = ConwayAccountState ConwayEra
type Accounts ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.State.Account 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 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 ProtVerHigh ConwayEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh ConwayEra = 11
type ProtVerLow ConwayEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow ConwayEra = 9
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 = ConwayRATIFY 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 = ConwayUTXO 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 "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 "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 PParams Source #
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra PParams = 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 FuturePParams Source #
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra FuturePParams = Void
type TranslationError ConwayEra UTxO Source #
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra UTxO = 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.21.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 (Tx ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.Tx type Rep (Tx ConwayEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Conway.Tx" "cardano-ledger-conway-1.21.0.0-inplace" 'True) (C1 ('MetaCons "MkConwayTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unConwayTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoTx ConwayEra))))
type Rep (TxBody ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.TxBody type Rep (TxBody ConwayEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Conway.TxBody" "cardano-ledger-conway-1.21.0.0-inplace" 'True) (C1 ('MetaCons "MkConwayTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes ConwayTxBodyRaw))))
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.21.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 RawType (TxBody ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.TxBody type RawType (TxBody ConwayEra) = ConwayTxBodyRaw

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

hardforkConwayMoveWithdrawalsAndDRepChecksToLedgerRule ∷ ProtVer → Bool Source #

Starting with protocol version 11, we move a predicate check and updates related to DRep dormancy and expiry from CERTS to LEDGER since that is a more suitable place for them.

updates to drep expiry for all voting dreps
drep dormancy tracking updates
withdrawals draining - (split into two)

NOTE: In addition, we split the predicate check for withdrawals into two to make it better: both invalid withdrawals (submitted in the wrong network or with missing reward accounts) and incomplete withdrawals were being reported with WithdrawalsNotInRewardsCERTS but now ConwayWithdrawalsMissingAccounts and ConwayIncompleteWithdrawals are the new predicate failures we use to report the two separate cases in LEDGER

data family Tx era Source #

Instances

Instances details

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 #
Generic (Tx ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.Tx Associated Types type Rep (Tx ConwayEra) ∷ Type → Type # Methods from ∷ Tx ConwayEra → Rep (Tx ConwayEra) x # to ∷ Rep (Tx ConwayEra) x → Tx ConwayEra #
Show (Tx ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.Tx Methods showsPrec ∷ Int → Tx ConwayEra → ShowS # show ∷ Tx ConwayEra → String # showList ∷ [Tx ConwayEra] → ShowS #
ToCBOR (Tx ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.Tx Methods toCBOR ∷ Tx ConwayEra → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Tx ConwayEra) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Tx ConwayEra] → Size Source #
DecCBOR (Annotator (Tx ConwayEra)) Source #
Instance details Defined in Cardano.Ledger.Conway.Tx Methods decCBOR ∷ Decoder s (Annotator (Tx ConwayEra)) Source # dropCBOR ∷ Proxy (Annotator (Tx ConwayEra)) → Decoder s () Source # label ∷ Proxy (Annotator (Tx ConwayEra)) → Text Source #
EncCBOR (Tx ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.Tx Methods encCBOR ∷ Tx ConwayEra → Encoding Source #
EqRaw (Tx ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.Tx Methods eqRaw ∷ Tx ConwayEra → Tx ConwayEra → Bool Source #
NFData (Tx ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.Tx Methods rnf ∷ Tx ConwayEra → () #
Eq (Tx ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.Tx Methods (==) ∷ Tx ConwayEra → Tx ConwayEra → Bool # (/=) ∷ Tx ConwayEra → Tx ConwayEra → Bool #
NoThunks (Tx ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.Tx Methods noThunks ∷ Context → Tx ConwayEra → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Tx ConwayEra → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Tx ConwayEra) → String Source #
newtype Tx AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Tx newtype Tx AllegraEra = MkAllegraTx { unAllegraTx ∷ ShelleyTx AllegraEra }
newtype Tx AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Tx newtype Tx AlonzoEra = MkAlonzoTx { unAlonzoTx ∷ AlonzoTx AlonzoEra }
newtype Tx BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Tx newtype Tx BabbageEra = MkBabbageTx { unBabbageTx ∷ AlonzoTx BabbageEra }
newtype Tx ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Tx newtype Tx ConwayEra = MkConwayTx { unConwayTx ∷ AlonzoTx ConwayEra }
newtype Tx MaryEra
Instance details Defined in Cardano.Ledger.Mary.Tx newtype Tx MaryEra = MkMaryTx { unMaryTx ∷ ShelleyTx MaryEra }
newtype Tx ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Tx newtype Tx ShelleyEra = MkShelleyTx { unShelleyTx ∷ ShelleyTx ShelleyEra }
type TranslationError AllegraEra Tx
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra Tx = DecoderError
type TranslationError AlonzoEra Tx
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra Tx = DecoderError
type TranslationError BabbageEra Tx
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra Tx = DecoderError
type TranslationError ConwayEra Tx Source #
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra Tx = DecoderError
type TranslationError MaryEra Tx
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra Tx = DecoderError
type Rep (Tx AllegraEra)
Instance details Defined in Cardano.Ledger.Allegra.Tx type Rep (Tx AllegraEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Allegra.Tx" "cardano-ledger-allegra-1.9.0.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAllegraTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx AllegraEra))))
type Rep (Tx AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.Tx type Rep (Tx AlonzoEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Alonzo.Tx" "cardano-ledger-alonzo-1.15.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAlonzoTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoTx AlonzoEra))))
type Rep (Tx BabbageEra)
Instance details Defined in Cardano.Ledger.Babbage.Tx type Rep (Tx BabbageEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Babbage.Tx" "cardano-ledger-babbage-1.12.1.0-inplace" 'True) (C1 ('MetaCons "MkBabbageTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unBabbageTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoTx BabbageEra))))
type Rep (Tx ConwayEra) Source #
Instance details Defined in Cardano.Ledger.Conway.Tx type Rep (Tx ConwayEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Conway.Tx" "cardano-ledger-conway-1.21.0.0-inplace" 'True) (C1 ('MetaCons "MkConwayTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unConwayTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoTx ConwayEra))))
type Rep (Tx MaryEra)
Instance details Defined in Cardano.Ledger.Mary.Tx type Rep (Tx MaryEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Mary.Tx" "cardano-ledger-mary-1.9.0.1-inplace" 'True) (C1 ('MetaCons "MkMaryTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMaryTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx MaryEra))))
type Rep (Tx ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.Tx type Rep (Tx ShelleyEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Shelley.Tx" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unShelleyTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx ShelleyEra))))

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 applyTxValidation ∷ ValidationPolicy → Globals → MempoolEnv ConwayEra → MempoolState ConwayEra → Tx ConwayEra → Either (ApplyTxError ConwayEra) (MempoolState ConwayEra, Validated (Tx ConwayEra)) Source #
ApplyBlock ConwayEra Source #
Instance details Methods applyBlock ∷ ∀ (ep ∷ EventPolicy). SingEP ep → ValidationPolicy → Globals → NewEpochState ConwayEra → Block BHeaderView ConwayEra → (NewEpochState ConwayEra, [PredicateFailure (EraRule "BBODY" ConwayEra)], [Event (EraRule "BBODY" ConwayEra)]) Source # applyTick ∷ ∀ (ep ∷ EventPolicy). SingEP ep → Globals → NewEpochState ConwayEra → SlotNo → (NewEpochState ConwayEra, [Event (EraRule "TICK" ConwayEra)]) Source #