cardano-ledger-conway-1.20.0.0: Cardano ledger with an updated on-chain governance system.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Conway

Synopsis

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

timelockScriptsTxAuxDataL ∷ Lens' (TxAuxData ConwayEra) (StrictSeq (Timelock 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 'Witness)) Source #

scriptIntegrityHashTxBodyL ∷ Lens' (TxBody ConwayEra) (StrictMaybe ScriptIntegrityHash) Source #

networkIdTxBodyL ∷ Lens' (TxBody ConwayEra) (StrictMaybe Network) Source #

redeemerPointer ∷ TxBody ConwayEra → PlutusPurpose AsItem ConwayEra → StrictMaybe (PlutusPurpose AsIx ConwayEra) Source #

redeemerPointerInverse ∷ TxBody ConwayEra → PlutusPurpose AsIx ConwayEra → StrictMaybe (PlutusPurpose AsIxItem ConwayEra) Source #

AlonzoEraTxOut ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxOut

Methods

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

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

AlonzoEraTxWits ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxWits

Methods

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

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

AlonzoEraUTxO ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.UTxO

Methods

getSupplementalDataHashes ∷ UTxO ConwayEra → TxBody ConwayEra → Set DataHash Source #

getSpendingDatum ∷ UTxO ConwayEra → Tx ConwayEra → PlutusPurpose AsItem ConwayEra → Maybe (Data ConwayEra) Source #

BabbageEraPParams ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

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

BabbageEraTxBody ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

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) Integer Source #

sizeTxForFeeCalculation ∷ Tx ConwayEra → Integer 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 #

Era ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Era

Associated Types

type PreviousEra ConwayEra = (r ∷ Type) Source #

type ProtVerLow ConwayEra ∷ Nat Source #

type ProtVerHigh ConwayEra ∷ Nat Source #

Methods

eraName ∷ String Source #

EraPParams ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Associated Types

type PParamsHKD f ConwayEra = (r ∷ Type) Source #

type UpgradePParams f ConwayEra Source #

type DowngradePParams f ConwayEra Source #

Methods

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

emptyPParamsIdentity ∷ PParamsHKD Identity ConwayEra Source #

emptyPParamsStrictMaybe ∷ PParamsHKD StrictMaybe ConwayEra Source #

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, ProtVerAtMost ConwayEra 6) ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f UnitInterval) Source #

ppDG ∷ SimpleGetter (PParams ConwayEra) UnitInterval Source #

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

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

ppProtocolVersionL ∷ Lens' (PParams ConwayEra) ProtVer Source #

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

hkdMinUTxOValueL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost ConwayEra 4) ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f Coin) Source #

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

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 ∷ PoolParams → TxCert ConwayEra Source #

getRegPoolTxCert ∷ TxCert ConwayEra → Maybe PoolParams Source #

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

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

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

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

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

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

EraGenesis ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Genesis

Associated Types

type Genesis ConwayEra Source #

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 #

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 #

EraPlutusTxInfo 'PlutusV2 ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxInfo

Methods

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

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

toPlutusTxInfo ∷ proxy 'PlutusV2 → LedgerTxInfo ConwayEra → Either (ContextError ConwayEra) (PlutusTxInfo 'PlutusV2) Source #

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

EraPlutusTxInfo 'PlutusV3 ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxInfo

Methods

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

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

toPlutusTxInfo ∷ proxy 'PlutusV3 → LedgerTxInfo ConwayEra → Either (ContextError ConwayEra) (PlutusTxInfo 'PlutusV3) Source #

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

ConwayEraPlutusTxInfo 'PlutusV3 ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxInfo

Methods

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

TranslateEra ConwayEra Tx Source # 
Instance details

Defined in Cardano.Ledger.Conway.Translation

Associated Types

type TranslationError ConwayEra Tx Source #

Methods

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

TranslateEra ConwayEra 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 "TICK" ConwayEpochEvent ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules

Methods

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

InjectRuleEvent "UTXOS" AlonzoUtxosEvent ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

Methods

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

InjectRuleEvent "UTXOS" ConwayUtxosEvent ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

Methods

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

InjectRuleFailure "BBODY" AllegraUtxoPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

Methods

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

InjectRuleFailure "BBODY" AlonzoBbodyPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

Methods

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

InjectRuleFailure "BBODY" AlonzoUtxoPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

Methods

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

InjectRuleFailure "BBODY" AlonzoUtxosPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

Methods

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

InjectRuleFailure "BBODY" AlonzoUtxowPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

Methods

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

InjectRuleFailure "BBODY" BabbageUtxoPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

Methods

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

InjectRuleFailure "BBODY" BabbageUtxowPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

Methods

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

InjectRuleFailure "BBODY" ConwayBbodyPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

Methods

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

InjectRuleFailure "BBODY" ConwayCertPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

Methods

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

InjectRuleFailure "BBODY" ConwayCertsPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

Methods

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

InjectRuleFailure "BBODY" ConwayDelegPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

Methods

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

InjectRuleFailure "BBODY" ConwayGovPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

Methods

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

InjectRuleFailure "BBODY" ConwayGovCertPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

Methods

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

InjectRuleFailure "BBODY" ConwayLedgerPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

Methods

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

InjectRuleFailure "BBODY" ConwayUtxoPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

Methods

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

InjectRuleFailure "BBODY" ConwayUtxosPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

Methods

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

InjectRuleFailure "BBODY" ConwayUtxowPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

Methods

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

InjectRuleFailure "BBODY" ShelleyBbodyPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

Methods

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

InjectRuleFailure "BBODY" ShelleyLedgersPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

Methods

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

InjectRuleFailure "BBODY" ShelleyPoolPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

Methods

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

InjectRuleFailure "BBODY" ShelleyUtxoPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

Methods

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

InjectRuleFailure "BBODY" ShelleyUtxowPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

Methods

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

InjectRuleFailure "CERT" ConwayCertPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

Methods

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

InjectRuleFailure "CERT" ConwayDelegPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

Methods

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

InjectRuleFailure "CERT" ConwayGovCertPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

Methods

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

InjectRuleFailure "CERT" ShelleyPoolPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

Methods

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

InjectRuleFailure "CERTS" ConwayCertPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

Methods

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

InjectRuleFailure "CERTS" ConwayCertsPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

Methods

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

InjectRuleFailure "CERTS" ConwayDelegPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

Methods

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

InjectRuleFailure "CERTS" ConwayGovCertPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

Methods

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

InjectRuleFailure "CERTS" ShelleyPoolPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

Methods

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

InjectRuleFailure "DELEG" ConwayDelegPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

Methods

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

InjectRuleFailure "GOV" ConwayGovPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

Methods

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

InjectRuleFailure "GOVCERT" ConwayGovCertPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

Methods

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

InjectRuleFailure "LEDGER" AllegraUtxoPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

Methods

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

InjectRuleFailure "LEDGER" AlonzoUtxoPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

Methods

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

InjectRuleFailure "LEDGER" AlonzoUtxosPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

Methods

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

InjectRuleFailure "LEDGER" AlonzoUtxowPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

Methods

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

InjectRuleFailure "LEDGER" BabbageUtxoPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

Methods

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

InjectRuleFailure "LEDGER" BabbageUtxowPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

Methods

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

InjectRuleFailure "LEDGER" ConwayCertPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

Methods

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

InjectRuleFailure "LEDGER" ConwayCertsPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

Methods

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

InjectRuleFailure "LEDGER" ConwayDelegPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

Methods

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

InjectRuleFailure "LEDGER" ConwayGovPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

Methods

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

InjectRuleFailure "LEDGER" ConwayGovCertPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

Methods

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

InjectRuleFailure "LEDGER" ConwayLedgerPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

Methods

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

InjectRuleFailure "LEDGER" ConwayUtxoPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

Methods

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

InjectRuleFailure "LEDGER" ConwayUtxosPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

Methods

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

InjectRuleFailure "LEDGER" ConwayUtxowPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

Methods

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

InjectRuleFailure "LEDGER" ShelleyPoolPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

Methods

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

InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

Methods

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

InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

Methods

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

InjectRuleFailure "LEDGERS" AllegraUtxoPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

Methods

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

InjectRuleFailure "LEDGERS" AlonzoUtxoPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

Methods

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

InjectRuleFailure "LEDGERS" AlonzoUtxosPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

Methods

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

InjectRuleFailure "LEDGERS" AlonzoUtxowPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

Methods

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

InjectRuleFailure "LEDGERS" BabbageUtxoPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

Methods

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

InjectRuleFailure "LEDGERS" BabbageUtxowPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

Methods

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

InjectRuleFailure "LEDGERS" ConwayCertPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

Methods

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

InjectRuleFailure "LEDGERS" ConwayCertsPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

Methods

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

InjectRuleFailure "LEDGERS" ConwayDelegPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

Methods

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

InjectRuleFailure "LEDGERS" ConwayGovPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

Methods

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

InjectRuleFailure "LEDGERS" ConwayGovCertPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

Methods

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

InjectRuleFailure "LEDGERS" ConwayLedgerPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

Methods

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

InjectRuleFailure "LEDGERS" ConwayUtxoPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

Methods

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

InjectRuleFailure "LEDGERS" ConwayUtxosPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

Methods

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

InjectRuleFailure "LEDGERS" ConwayUtxowPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

Methods

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

InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

Methods

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

InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

Methods

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

InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

Methods

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

InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

Methods

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

InjectRuleFailure "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 #

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

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Tx ConwayEra] → Size 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 #

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

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [TxBody ConwayEra] → Size 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 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
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 {}
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 PreviousEra ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Era

type PreviousEra ConwayEra = BabbageEra
type ProtVerHigh ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Era

type ProtVerHigh ConwayEra = 11
type ProtVerLow ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Era

type ProtVerLow ConwayEra = 9
type TranslationContext ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Translation

type TranslationContext ConwayEra = ConwayGenesis
type TxCert ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

type TxCert ConwayEra = ConwayTxCert ConwayEra
type TxCertUpgradeError ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxCert

type TxCertUpgradeError ConwayEra = ConwayTxCertUpgradeError
type Genesis ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Genesis

type Genesis ConwayEra = ConwayGenesis
type 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
data TransitionConfig ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Transition

data TransitionConfig ConwayEra = ConwayTransitionConfig {}
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.20.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.20.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.20.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.20.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.

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 #

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

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Tx ConwayEra] → Size 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 {}
newtype Tx AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

newtype Tx AlonzoEra = MkAlonzoTx {}
newtype Tx BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Tx

newtype Tx BabbageEra = MkBabbageTx {}
newtype Tx ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Tx

newtype Tx ConwayEra = MkConwayTx {}
newtype Tx MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Tx

newtype Tx MaryEra = MkMaryTx {}
newtype Tx ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

newtype Tx ShelleyEra = MkShelleyTx {}
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.8.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.14.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.0.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.20.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.0-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.17.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unShelleyTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx ShelleyEra))))

Orphan instances