Documentation

Associated Types

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

Methods

eraMaxLanguage ∷ Language Source #

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

fromPlutusScript ∷ PlutusScript ConwayEra → Script ConwayEra Source #

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

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

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

mkSpendingPurpose ∷ f Word32 TxIn → PlutusPurpose f ConwayEra Source #

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

mkMintingPurpose ∷ f Word32 PolicyID → PlutusPurpose f ConwayEra Source #

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

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

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

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 'TopTx 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

Methods

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

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

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

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

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

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

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

AlonzoEraTxOut ConwayEra Source #

Instance details

Methods

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

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

AlonzoEraTxWits ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.TxWits

Methods

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

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

AlonzoEraUTxO ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.UTxO

Methods

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

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

BabbageEraPParams ConwayEra Source #

Instance details

Methods

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

BabbageEraTxBody ConwayEra Source #

Instance details

Methods

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

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

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

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

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

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

BabbageEraTxOut ConwayEra Source #

Instance details

Methods

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

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

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

ConwayEraGov ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Governance

Methods

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

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

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

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

RunConwayRatify ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway

Methods

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

ConwayEraPParams ConwayEra Source #

Instance details

Methods

modifiedPPGroups ∷ PParamsUpdate ConwayEra → Set PPGroups Source #

ppuWellFormed ∷ ProtVer → PParamsUpdate ConwayEra → Bool Source #

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

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

hkdCommitteeMinSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f 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

Methods

mkVotingPurpose ∷ f Word32 Voter → PlutusPurpose f ConwayEra Source #

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

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

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

ConwayEraAccounts ConwayEra Source #

Instance details

Methods

mkConwayAccountState ∷ CompactForm Coin → AccountState ConwayEra Source #

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

ConwayEraCertState ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.State.CertState

Methods

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

ConwayEraTransition ConwayEra Source #

Instance details

Methods

tcConwayGenesisL ∷ Lens' (TransitionConfig ConwayEra) ConwayGenesis Source #

ConwayEraTxBody ConwayEra Source #

Instance details

Methods

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

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

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

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

ConwayEraTxCert ConwayEra Source #

Instance details

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

EraBlockBody ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.BlockBody

Associated Types

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

Methods

mkBasicBlockBody ∷ BlockBody ConwayEra Source #

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

hashBlockBody ∷ BlockBody ConwayEra → Hash HASH EraIndependentBlockBody Source #

numSegComponents ∷ Word64 Source #

EraScript ConwayEra Source #

Instance details

Associated Types

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

Methods

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

scriptPrefixTag ∷ Script ConwayEra → ByteString Source #

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

fromNativeScript ∷ NativeScript ConwayEra → Script ConwayEra Source #

EraTx ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

Associated Types

newtype Tx l ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Tx newtype Tx l ConwayEra = MkConwayTx { unConwayTx ∷ AlonzoTx l ConwayEra }

Methods

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

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

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

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

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

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

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

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

EraTxAuxData ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.TxAuxData

Associated Types

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

Methods

mkBasicTxAuxData ∷ TxAuxData ConwayEra Source #

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

validateTxAuxData ∷ ProtVer → TxAuxData ConwayEra → Bool Source #

EraTxBody ConwayEra Source #

Instance details

Associated Types

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

Methods

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

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

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

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

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

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

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

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

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

getTotalDepositsTxBody ∷ ∀ (l ∷ TxLevel). PParams ConwayEra → (KeyHash 'StakePool → Bool) → TxBody l ConwayEra → Coin Source #

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

getGenesisKeyHashCountTxBody ∷ TxBody 'TopTx ConwayEra → Int Source #

EraTxOut ConwayEra Source #

Instance details

Associated Types

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

Methods

mkBasicTxOut ∷ Addr → Value ConwayEra → TxOut ConwayEra Source #

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

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

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

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

addrTxOutL ∷ Lens' (TxOut ConwayEra) Addr Source #

compactAddrTxOutL ∷ Lens' (TxOut ConwayEra) CompactAddr Source #

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

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

getMinCoinTxOut ∷ PParams ConwayEra → TxOut ConwayEra → Coin Source #

EraTxWits ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.TxWits

Associated Types

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

Methods

mkBasicTxWits ∷ TxWits ConwayEra Source #

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

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

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

EraPParams ConwayEra Source #

Instance details

Associated Types

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

Methods

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

emptyPParamsIdentity ∷ PParamsHKD Identity ConwayEra Source #

emptyPParamsStrictMaybe ∷ PParamsHKD StrictMaybe ConwayEra Source #

emptyUpgradePParamsUpdate ∷ UpgradePParams StrictMaybe ConwayEra Source #

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ppDG ∷ SimpleGetter (PParams ConwayEra) UnitInterval Source #

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

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

ppProtocolVersionL ∷ Lens' (PParams ConwayEra) ProtVer Source #

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

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

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

eraPParams ∷ [PParam ConwayEra] Source #

EraTxCert ConwayEra Source #

Instance details

Associated Types

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

Methods

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

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

getScriptWitnessTxCert ∷ TxCert ConwayEra → Maybe ScriptHash Source #

mkRegPoolTxCert ∷ StakePoolParams → TxCert ConwayEra Source #

getRegPoolTxCert ∷ TxCert ConwayEra → Maybe StakePoolParams Source #

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

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

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

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

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

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

EraTxLevel ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

Associated Types

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

EraGenesis ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Genesis

Associated Types

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

EraAccounts ConwayEra Source #

Instance details

Associated Types

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

Methods

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

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

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

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

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

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

EraCertState ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.State.CertState

Associated Types

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

Methods

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

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

obligationCertState ∷ CertState ConwayEra → Obligations Source #

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

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

EraGov ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Governance

Associated Types

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

Methods

emptyGovState ∷ GovState ConwayEra Source #

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

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

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

obligationGovState ∷ GovState ConwayEra → Obligations Source #

EraStake ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.State.Stake

Associated Types

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

Methods

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

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

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

resolveInstantStake ∷ InstantStake ConwayEra → Accounts ConwayEra → Stake Source #

EraUTxO ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.UTxO

Associated Types

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

Methods

consumed ∷ ∀ (t ∷ TxLevel). PParams ConwayEra → CertState ConwayEra → UTxO ConwayEra → TxBody t ConwayEra → Value ConwayEra Source #

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

getProducedValue ∷ ∀ (t ∷ TxLevel). PParams ConwayEra → (KeyHash 'StakePool → Bool) → TxBody t ConwayEra → Value ConwayEra Source #

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

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

getScriptsHashesNeeded ∷ ScriptsNeeded ConwayEra → Set ScriptHash Source #

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

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

Era ConwayEra

Instance details

Associated Types

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

Methods

eraName ∷ String Source #

MaryEraTxBody ConwayEra Source #

Instance details

Methods

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

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

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

ApplyTx ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway

Methods

applyTxValidation ∷ ValidationPolicy → Globals → MempoolEnv ConwayEra → MempoolState ConwayEra → Tx 'TopTx ConwayEra → Either (ApplyTxError ConwayEra) (MempoolState ConwayEra, Validated (Tx 'TopTx 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

Methods

mkRequireSignature ∷ KeyHash 'Witness → NativeScript ConwayEra Source #

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

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

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

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

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

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

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

EraTransition ConwayEra Source #

Instance details

Associated Types

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

ShelleyEraTxCert ConwayEra Source #

Instance details

Methods

mkRegTxCert ∷ Credential 'Staking → TxCert ConwayEra Source #

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

mkUnRegTxCert ∷ Credential 'Staking → TxCert ConwayEra Source #

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

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

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

mkGenesisDelegTxCert ∷ GenesisDelegCert → TxCert ConwayEra Source #

getGenesisDelegTxCert ∷ TxCert ConwayEra → Maybe GenesisDelegCert Source #

mkMirTxCert ∷ MIRCert → TxCert ConwayEra Source #

getMirTxCert ∷ TxCert ConwayEra → Maybe MIRCert Source #

EraPlutusTxInfo 'PlutusV1 ConwayEra Source #

Instance details

Methods

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

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

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

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

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

EraPlutusTxInfo 'PlutusV2 ConwayEra Source #

Instance details

Methods

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

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

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

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

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

EraPlutusTxInfo 'PlutusV3 ConwayEra Source #

Instance details

Methods

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

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

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

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

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

ConwayEraPlutusTxInfo 'PlutusV3 ConwayEra Source #

Instance details

Methods

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

TranslateEra ConwayEra PParams Source #

Instance details

Associated Types

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

Methods

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

TranslateEra ConwayEra DState Source #

Instance details

Associated Types

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

Methods

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

TranslateEra ConwayEra PState Source #

Instance details

Associated Types

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

Methods

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

TranslateEra ConwayEra FuturePParams Source #

Instance details

Associated Types

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

Methods

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

TranslateEra ConwayEra UTxO Source #

Instance details

Associated Types

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

Methods

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

TranslateEra ConwayEra EpochState Source #

Instance details

Associated Types

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

Methods

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

TranslateEra ConwayEra LedgerState Source #

Instance details

Associated Types

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

Methods

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

TranslateEra ConwayEra NewEpochState Source #

Instance details

Associated Types

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

Methods

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

TranslateEra ConwayEra UTxOState Source #

Instance details

Associated Types

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

Methods

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

HasEraTxLevel ConwayTxBodyRaw ConwayEra Source #

Instance details

Methods

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

HasEraTxLevel Tx ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

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

HasEraTxLevel TxBody ConwayEra Source #

Instance details

Methods

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

InjectRuleEvent "EPOCH" ConwayHardForkEvent ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Rules.Epoch

Methods

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

InjectRuleEvent "NEWEPOCH" ConwayEpochEvent ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

Methods

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

InjectRuleEvent "NEWEPOCH" ConwayHardForkEvent ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

Methods

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

InjectRuleEvent "TICK" ConwayEpochEvent ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Rules

Methods

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

InjectRuleEvent "TICK" ConwayHardForkEvent ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Rules

Methods

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

InjectRuleEvent "UTXOS" AlonzoUtxosEvent ConwayEra Source #

Instance details

Methods

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

InjectRuleEvent "UTXOS" ConwayUtxosEvent ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" AllegraUtxoPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" AlonzoBbodyPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" AlonzoUtxoPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" AlonzoUtxosPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" AlonzoUtxowPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" BabbageUtxoPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" BabbageUtxowPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ConwayBbodyPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ConwayCertPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ConwayCertsPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ConwayDelegPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ConwayGovPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ConwayGovCertPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ConwayLedgerPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ConwayUtxoPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ConwayUtxosPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ConwayUtxowPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyBbodyPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyLedgersPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyPoolPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyUtxoPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyUtxowPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "CERT" ConwayCertPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "CERT" ConwayDelegPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "CERT" ConwayGovCertPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "CERT" ShelleyPoolPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "CERTS" ConwayCertPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "CERTS" ConwayCertsPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "CERTS" ConwayDelegPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "CERTS" ConwayGovCertPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "CERTS" ShelleyPoolPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "DELEG" ConwayDelegPredFailure ConwayEra Source #

Instance details

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

Methods

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

InjectRuleFailure "LEDGER" AlonzoUtxoPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" AlonzoUtxosPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" AlonzoUtxowPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" BabbageUtxoPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" BabbageUtxowPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" ConwayCertPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" ConwayCertsPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" ConwayDelegPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" ConwayGovPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" ConwayGovCertPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" ConwayLedgerPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" ConwayUtxoPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" ConwayUtxosPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" ConwayUtxowPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" ShelleyPoolPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" AllegraUtxoPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" AlonzoUtxoPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" AlonzoUtxosPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" AlonzoUtxowPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" BabbageUtxoPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" BabbageUtxowPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ConwayCertPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ConwayCertsPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ConwayDelegPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ConwayGovPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ConwayGovCertPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ConwayLedgerPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ConwayUtxoPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ConwayUtxosPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ConwayUtxowPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXO" AllegraUtxoPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXO" AlonzoUtxoPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXO" AlonzoUtxosPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXO" BabbageUtxoPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXO" ConwayUtxoPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXO" ConwayUtxosPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXO" ShelleyUtxoPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXOS" ConwayUtxosPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXOW" AllegraUtxoPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXOW" AlonzoUtxoPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXOW" AlonzoUtxosPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXOW" BabbageUtxoPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXOW" BabbageUtxowPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXOW" ConwayUtxoPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXOW" ConwayUtxosPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXOW" ConwayUtxowPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure ConwayEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure ConwayEra Source #

Instance details

Methods

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

TranslateEra ConwayEra (Tx 'TopTx) Source #

Instance details

Associated Types

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

Methods

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

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

Instance details

Methods

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

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

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

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

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

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

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

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

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

Instance details

Methods

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

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

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

SafeToHash (PlutusScript ConwayEra) Source #

Instance details

Methods

originalBytes ∷ PlutusScript ConwayEra → ByteString Source #

originalBytesSize ∷ PlutusScript ConwayEra → Int Source #

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

NFData (PlutusScript ConwayEra) Source #

Instance details

Methods

rnf ∷ PlutusScript ConwayEra → () #

Generic (PlutusScript ConwayEra) Source #

Instance details

Associated Types

type Rep (PlutusScript ConwayEra)

Instance details

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

Methods

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

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

Generic (TransitionConfig ConwayEra) Source #

Instance details

Associated Types

type Rep (TransitionConfig ConwayEra)

Instance details

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

Methods

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

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

Show (PlutusScript ConwayEra) Source #

Instance details

Methods

showsPrec ∷ Int → PlutusScript ConwayEra → ShowS #

show ∷ PlutusScript ConwayEra → String #

showList ∷ [PlutusScript ConwayEra] → ShowS #

Show (TransitionConfig ConwayEra) Source #

Instance details

Methods

showsPrec ∷ Int → TransitionConfig ConwayEra → ShowS #

show ∷ TransitionConfig ConwayEra → String #

showList ∷ [TransitionConfig ConwayEra] → ShowS #

Eq (PlutusScript ConwayEra) Source #

Instance details

Methods

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

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

Eq (TransitionConfig ConwayEra) Source #

Instance details

Methods

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

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

Ord (PlutusScript ConwayEra) Source #

Instance details

Methods

compare ∷ PlutusScript ConwayEra → PlutusScript ConwayEra → Ordering #

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

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

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

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

max ∷ PlutusScript ConwayEra → PlutusScript ConwayEra → PlutusScript ConwayEra #

min ∷ PlutusScript ConwayEra → PlutusScript ConwayEra → PlutusScript ConwayEra #

MemPack (PlutusScript ConwayEra) Source #

Instance details

Methods

typeName ∷ String Source #

packedByteCount ∷ PlutusScript ConwayEra → Int Source #

packM ∷ PlutusScript ConwayEra → Pack s () Source #

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

NoThunks (PlutusScript ConwayEra) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (PlutusScript ConwayEra) → String Source #

NoThunks (TransitionConfig ConwayEra) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (TransitionConfig ConwayEra) → String Source #

Typeable l ⇒ ToCBOR (Tx l ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

toCBOR ∷ Tx l ConwayEra → Encoding Source #

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

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

Typeable l ⇒ ToCBOR (TxBody l ConwayEra) Source #

Instance details

Methods

toCBOR ∷ TxBody l ConwayEra → Encoding Source #

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

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

Typeable l ⇒ DecCBOR (ConwayTxBodyRaw l ConwayEra) Source #

Instance details

Methods

decCBOR ∷ Decoder s (ConwayTxBodyRaw l ConwayEra) Source #

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

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

EncCBOR (ConwayTxBodyRaw l ConwayEra) Source #

Instance details

Methods

encCBOR ∷ ConwayTxBodyRaw l ConwayEra → Encoding Source #

EncCBOR (Tx l ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

encCBOR ∷ Tx l ConwayEra → Encoding Source #

EncCBOR (TxBody l ConwayEra) Source #

Encodes memoized bytes created upon construction.

Instance details

Methods

encCBOR ∷ TxBody l ConwayEra → Encoding Source #

SafeToHash (TxBody l ConwayEra) Source #

Instance details

Methods

originalBytes ∷ TxBody l ConwayEra → ByteString Source #

originalBytesSize ∷ TxBody l ConwayEra → Int Source #

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

EqRaw (Tx l ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

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

EqRaw (TxBody l ConwayEra) Source #

Instance details

Methods

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

Memoized (TxBody l ConwayEra) Source #

Instance details

Associated Types

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

Methods

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

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

NFData (ConwayTxBodyRaw l ConwayEra) Source #

Instance details

Methods

rnf ∷ ConwayTxBodyRaw l ConwayEra → () #

NFData (Tx l ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

rnf ∷ Tx l ConwayEra → () #

NFData (TxBody l ConwayEra) Source #

Instance details

Methods

rnf ∷ TxBody l ConwayEra → () #

Generic (Tx l ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

Associated Types

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

Methods

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

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

Generic (TxBody l ConwayEra) Source #

Instance details

Associated Types

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

Methods

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

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

Show (ConwayTxBodyRaw l ConwayEra) Source #

Instance details

Methods

showsPrec ∷ Int → ConwayTxBodyRaw l ConwayEra → ShowS #

show ∷ ConwayTxBodyRaw l ConwayEra → String #

showList ∷ [ConwayTxBodyRaw l ConwayEra] → ShowS #

Show (Tx l ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

showsPrec ∷ Int → Tx l ConwayEra → ShowS #

show ∷ Tx l ConwayEra → String #

showList ∷ [Tx l ConwayEra] → ShowS #

Show (TxBody l ConwayEra) Source #

Instance details

Methods

showsPrec ∷ Int → TxBody l ConwayEra → ShowS #

show ∷ TxBody l ConwayEra → String #

showList ∷ [TxBody l ConwayEra] → ShowS #

Eq (ConwayTxBodyRaw l ConwayEra) Source #

Instance details

Methods

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

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

Eq (Tx l ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

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

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

Eq (TxBody l ConwayEra) Source #

Instance details

Methods

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

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

Typeable l ⇒ NoThunks (ConwayTxBodyRaw l ConwayEra) Source #

Instance details

Methods

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

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

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

Typeable l ⇒ NoThunks (Tx l ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

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

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

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

Typeable l ⇒ NoThunks (TxBody l ConwayEra) Source #

Instance details

Methods

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

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

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

HashAnnotated (TxBody l ConwayEra) EraIndependentTxBody Source #

Instance details

Methods

hashAnnotated ∷ TxBody l ConwayEra → SafeHash EraIndependentTxBody Source #

type ContextError ConwayEra Source #

Instance details

type ContextError ConwayEra = ConwayContextError ConwayEra

data TxInfoResult ConwayEra Source #

Instance details

data TxInfoResult ConwayEra = ConwayTxInfoResult (Either (ContextError ConwayEra) (PlutusTxInfo 'PlutusV1)) (Either (ContextError ConwayEra) (PlutusTxInfo 'PlutusV2)) (Either (ContextError ConwayEra) (PlutusTxInfo 'PlutusV3))

data PlutusScript ConwayEra Source #

Instance details

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

type NativeScript ConwayEra = Timelock ConwayEra

type Script ConwayEra Source #

Instance details

type Script ConwayEra = AlonzoScript ConwayEra

type TxAuxData ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.TxAuxData

type TxAuxData ConwayEra = AlonzoTxAuxData ConwayEra

type TxOut ConwayEra Source #

Instance details

type TxOut ConwayEra = BabbageTxOut ConwayEra

type TxWits ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.TxWits

type TxWits ConwayEra = AlonzoTxWits ConwayEra

type Value ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

type Value ConwayEra = MaryValue

type TranslationContext ConwayEra Source #

Instance details

type TranslationContext ConwayEra = ConwayGenesis

type TxCert ConwayEra Source #

Instance details

type TxCert ConwayEra = ConwayTxCert ConwayEra

type TxCertUpgradeError ConwayEra Source #

Instance details

type TxCertUpgradeError ConwayEra = ConwayTxCertUpgradeError

type Genesis ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Genesis

type Genesis ConwayEra = ConwayGenesis

type AccountState ConwayEra Source #

Instance details

type AccountState ConwayEra = ConwayAccountState ConwayEra

type Accounts ConwayEra Source #

Instance details

type Accounts ConwayEra = ConwayAccounts ConwayEra

type CertState ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.State.CertState

type CertState ConwayEra = ConwayCertState ConwayEra

type GovState ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Governance

type GovState ConwayEra = ConwayGovState ConwayEra

type InstantStake ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.State.Stake

type InstantStake ConwayEra = ConwayInstantStake ConwayEra

type ScriptsNeeded ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.UTxO

type ScriptsNeeded ConwayEra = AlonzoScriptsNeeded ConwayEra

type EraName ConwayEra

Instance details

type EraName ConwayEra = "Conway"

type PreviousEra ConwayEra

Instance details

type PreviousEra ConwayEra = BabbageEra

type ProtVerHigh ConwayEra

Instance details

type ProtVerHigh ConwayEra = 11

type ProtVerLow ConwayEra

Instance details

type ProtVerLow ConwayEra = 9

data TransitionConfig ConwayEra Source #

Instance details

data TransitionConfig ConwayEra = ConwayTransitionConfig {

ctcConwayGenesis ∷ !ConwayGenesis
ctcBabbageTransitionConfig ∷ !(TransitionConfig BabbageEra)

}

type PlutusPurpose f ConwayEra Source #

Instance details

type PlutusPurpose f ConwayEra = ConwayPlutusPurpose f ConwayEra

newtype Tx l ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

newtype Tx l ConwayEra = MkConwayTx {

unConwayTx ∷ AlonzoTx l ConwayEra

}

newtype TxBody l ConwayEra Source #

Instance details

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

type EraRule "BBODY" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

type EraRule "BBODY" ConwayEra = 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

type EraRuleEvent "BBODY" ConwayEra = AlonzoBbodyEvent ConwayEra

type EraRuleEvent "CERT" ConwayEra Source #

Instance details

type EraRuleEvent "CERT" ConwayEra = ConwayCertEvent ConwayEra

type EraRuleEvent "CERTS" ConwayEra Source #

Instance details

type EraRuleEvent "CERTS" ConwayEra = ConwayCertsEvent ConwayEra

type EraRuleEvent "DELEG" ConwayEra Source #

Instance details

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

type EraRuleEvent "LEDGER" ConwayEra = ConwayLedgerEvent ConwayEra

type EraRuleEvent "LEDGERS" ConwayEra Source #

Instance details

type EraRuleEvent "LEDGERS" ConwayEra = ShelleyLedgersEvent ConwayEra

type EraRuleEvent "MIR" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

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

type EraRuleEvent "NEWEPOCH" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

type EraRuleEvent "NEWEPOCH" ConwayEra = ConwayNewEpochEvent ConwayEra

type EraRuleEvent "NEWPP" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

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

type EraRuleEvent "POOL" ConwayEra Source #

Instance details

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

type EraRuleEvent "UTXO" ConwayEra = AlonzoUtxoEvent ConwayEra

type EraRuleEvent "UTXOS" ConwayEra Source #

Instance details

type EraRuleEvent "UTXOS" ConwayEra = ConwayUtxosEvent ConwayEra

type EraRuleEvent "UTXOW" ConwayEra Source #

Instance details

type EraRuleEvent "UTXOW" ConwayEra = AlonzoUtxowEvent ConwayEra

type EraRuleFailure "BBODY" ConwayEra Source #

Instance details

type EraRuleFailure "BBODY" ConwayEra = ConwayBbodyPredFailure ConwayEra

type EraRuleFailure "CERT" ConwayEra Source #

Instance details

type EraRuleFailure "CERT" ConwayEra = ConwayCertPredFailure ConwayEra

type EraRuleFailure "CERTS" ConwayEra Source #

Instance details

type EraRuleFailure "CERTS" ConwayEra = ConwayCertsPredFailure ConwayEra

type EraRuleFailure "DELEG" ConwayEra Source #

Instance details

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

type EraRuleFailure "LEDGER" ConwayEra = ConwayLedgerPredFailure ConwayEra

type EraRuleFailure "LEDGERS" ConwayEra Source #

Instance details

type EraRuleFailure "LEDGERS" ConwayEra = ShelleyLedgersPredFailure ConwayEra

type EraRuleFailure "MIR" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

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

type EraRuleFailure "NEWPP" ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

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

type EraRuleFailure "POOL" ConwayEra Source #

Instance details

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

type EraRuleFailure "UTXO" ConwayEra = ConwayUtxoPredFailure ConwayEra

type EraRuleFailure "UTXOS" ConwayEra Source #

Instance details

type EraRuleFailure "UTXOS" ConwayEra = ConwayUtxosPredFailure ConwayEra

type EraRuleFailure "UTXOW" ConwayEra Source #

Instance details

type EraRuleFailure "UTXOW" ConwayEra = ConwayUtxowPredFailure ConwayEra

type DowngradePParams f ConwayEra Source #

Instance details

type DowngradePParams f ConwayEra = ()

type PParamsHKD f ConwayEra Source #

Instance details

type PParamsHKD f ConwayEra = ConwayPParams f ConwayEra

type UpgradePParams f ConwayEra Source #

Instance details

type UpgradePParams f ConwayEra = UpgradeConwayPParams f

type TranslationError ConwayEra PParams Source #

Instance details

type TranslationError ConwayEra PParams = Void

type TranslationError ConwayEra DState Source #

Instance details

type TranslationError ConwayEra DState = Void

type TranslationError ConwayEra PState Source #

Instance details

type TranslationError ConwayEra PState = Void

type TranslationError ConwayEra FuturePParams Source #

Instance details

type TranslationError ConwayEra FuturePParams = Void

type TranslationError ConwayEra UTxO Source #

Instance details

type TranslationError ConwayEra UTxO = Void

type TranslationError ConwayEra EpochState Source #

Instance details

type TranslationError ConwayEra EpochState = Void

type TranslationError ConwayEra LedgerState Source #

Instance details

type TranslationError ConwayEra LedgerState = Void

type TranslationError ConwayEra NewEpochState Source #

Instance details

type TranslationError ConwayEra NewEpochState = Void

type TranslationError ConwayEra UTxOState Source #

Instance details

type TranslationError ConwayEra UTxOState = Void

type STxLevel l ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Era

type STxLevel l ConwayEra = STxTopLevel l ConwayEra

type TranslationError ConwayEra (Tx 'TopTx) Source #

Instance details

type TranslationError ConwayEra (Tx 'TopTx) = DecoderError

type Rep (PlutusScript ConwayEra) Source #

Instance details

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

type Rep (TransitionConfig ConwayEra) Source #

Instance details

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

type MemoHashIndex (ConwayTxBodyRaw l ConwayEra) Source #

Instance details

type MemoHashIndex (ConwayTxBodyRaw l ConwayEra) = EraIndependentTxBody

type RawType (TxBody l ConwayEra) Source #

Instance details

type RawType (TxBody l ConwayEra) = ConwayTxBodyRaw l ConwayEra

type Rep (Tx l ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

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

type Rep (TxBody l ConwayEra) Source #

Instance details

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

hardforkConwayBootstrapPhase ∷ ProtVer → Bool Source #

Bootstrap phase

hardforkConwayDisallowUnelectedCommitteeFromVoting ∷ ProtVer → Bool Source #

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

hardforkConwayDELEGIncorrectDepositsAndRefunds ∷ ProtVer → Bool Source #

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

hardforkConwayMoveWithdrawalsAndDRepChecksToLedgerRule ∷ ProtVer → Bool Source #

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

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

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

data family Tx (l ∷ TxLevel) era Source #

Instances

Instances details

HasEraTxLevel Tx AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

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

HasEraTxLevel Tx AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

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

HasEraTxLevel Tx BabbageEra

Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

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

HasEraTxLevel Tx ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

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

HasEraTxLevel Tx MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

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

HasEraTxLevel Tx ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

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

TranslateEra AllegraEra (Tx 'TopTx)

Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

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

Methods

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

TranslateEra AlonzoEra (Tx 'TopTx)

Instance details

Defined in Cardano.Ledger.Alonzo.Translation

Associated Types

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

Methods

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

TranslateEra BabbageEra (Tx 'TopTx)

Instance details

Defined in Cardano.Ledger.Babbage.Translation

Associated Types

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

Methods

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

TranslateEra ConwayEra (Tx 'TopTx) Source #

Instance details

Associated Types

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

Methods

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

TranslateEra MaryEra (Tx 'TopTx)

Instance details

Defined in Cardano.Ledger.Mary.Translation

Associated Types

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

Methods

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

EraTx era ⇒ HasOKey TxId (Tx l era)

Instance details

Defined in Cardano.Ledger.Core

Methods

toOKey ∷ Tx l era → TxId Source #

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

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

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

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

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

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

Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

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

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

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

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

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

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

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

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

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

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

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

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

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

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

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

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

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

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

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

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

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

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

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

Typeable l ⇒ ToCBOR (Tx l AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

toCBOR ∷ Tx l AlonzoEra → Encoding Source #

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

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

Typeable l ⇒ ToCBOR (Tx l BabbageEra)

Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

toCBOR ∷ Tx l BabbageEra → Encoding Source #

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

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

Typeable l ⇒ ToCBOR (Tx l ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

toCBOR ∷ Tx l ConwayEra → Encoding Source #

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

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

Typeable l ⇒ ToCBOR (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

toCBOR ∷ Tx l ShelleyEra → Encoding Source #

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

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

Typeable t ⇒ ToCBOR (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

toCBOR ∷ Tx t AllegraEra → Encoding Source #

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

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

Typeable t ⇒ ToCBOR (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

toCBOR ∷ Tx t MaryEra → Encoding Source #

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

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

EncCBOR (Tx l AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

encCBOR ∷ Tx l AlonzoEra → Encoding Source #

EncCBOR (Tx l BabbageEra)

Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

encCBOR ∷ Tx l BabbageEra → Encoding Source #

EncCBOR (Tx l ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

encCBOR ∷ Tx l ConwayEra → Encoding Source #

EncCBOR (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

encCBOR ∷ Tx l ShelleyEra → Encoding Source #

EncCBOR (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

encCBOR ∷ Tx t AllegraEra → Encoding Source #

EncCBOR (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

encCBOR ∷ Tx t MaryEra → Encoding Source #

EqRaw (Tx l AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

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

EqRaw (Tx l BabbageEra)

Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

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

EqRaw (Tx l ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

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

EqRaw (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

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

EqRaw (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

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

EqRaw (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

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

NFData (Tx l AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

rnf ∷ Tx l AlonzoEra → () #

NFData (Tx l BabbageEra)

Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

rnf ∷ Tx l BabbageEra → () #

NFData (Tx l ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

rnf ∷ Tx l ConwayEra → () #

NFData (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

rnf ∷ Tx l ShelleyEra → () #

NFData (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

rnf ∷ Tx t AllegraEra → () #

NFData (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

rnf ∷ Tx t MaryEra → () #

Generic (Tx l AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Associated Types

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

Methods

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

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

Generic (Tx l BabbageEra)

Instance details

Defined in Cardano.Ledger.Babbage.Tx

Associated Types

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

Methods

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

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

Generic (Tx l ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

Associated Types

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

Methods

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

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

Generic (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Associated Types

type Rep (Tx l ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.Tx type Rep (Tx l ShelleyEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Shelley.Tx" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unShelleyTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx l ShelleyEra))))

Methods

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

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

Generic (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Associated Types

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

Methods

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

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

Generic (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Associated Types

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

Methods

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

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

Show (Tx l AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

showsPrec ∷ Int → Tx l AlonzoEra → ShowS #

show ∷ Tx l AlonzoEra → String #

showList ∷ [Tx l AlonzoEra] → ShowS #

Show (Tx l BabbageEra)

Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

showsPrec ∷ Int → Tx l BabbageEra → ShowS #

show ∷ Tx l BabbageEra → String #

showList ∷ [Tx l BabbageEra] → ShowS #

Show (Tx l ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

showsPrec ∷ Int → Tx l ConwayEra → ShowS #

show ∷ Tx l ConwayEra → String #

showList ∷ [Tx l ConwayEra] → ShowS #

Show (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

showsPrec ∷ Int → Tx l ShelleyEra → ShowS #

show ∷ Tx l ShelleyEra → String #

showList ∷ [Tx l ShelleyEra] → ShowS #

Show (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

showsPrec ∷ Int → Tx t AllegraEra → ShowS #

show ∷ Tx t AllegraEra → String #

showList ∷ [Tx t AllegraEra] → ShowS #

Show (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

showsPrec ∷ Int → Tx t MaryEra → ShowS #

show ∷ Tx t MaryEra → String #

showList ∷ [Tx t MaryEra] → ShowS #

Eq (Tx l AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

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

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

Eq (Tx l BabbageEra)

Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

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

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

Eq (Tx l ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

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

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

Eq (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

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

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

Eq (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

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

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

Eq (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

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

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

Typeable l ⇒ NoThunks (Tx l AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

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

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

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

Typeable l ⇒ NoThunks (Tx l BabbageEra)

Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

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

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

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

Typeable l ⇒ NoThunks (Tx l ConwayEra) Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

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

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

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

Typeable l ⇒ NoThunks (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

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

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

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

Typeable t ⇒ NoThunks (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

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

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

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

Typeable t ⇒ NoThunks (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

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

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

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

newtype Tx l AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

newtype Tx l AlonzoEra = MkAlonzoTx {

unAlonzoTx ∷ AlonzoTx l AlonzoEra

}

newtype Tx l BabbageEra

Instance details

Defined in Cardano.Ledger.Babbage.Tx

newtype Tx l BabbageEra = MkBabbageTx {

unBabbageTx ∷ AlonzoTx l BabbageEra

}

newtype Tx l ConwayEra Source #

Instance details

Defined in Cardano.Ledger.Conway.Tx

newtype Tx l ConwayEra = MkConwayTx {

unConwayTx ∷ AlonzoTx l ConwayEra

}

newtype Tx l ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Tx

newtype Tx l ShelleyEra = MkShelleyTx {

unShelleyTx ∷ ShelleyTx l ShelleyEra

}

newtype Tx t AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.Tx

newtype Tx t AllegraEra = MkAllegraTx {

unAllegraTx ∷ ShelleyTx t AllegraEra

}

newtype Tx t MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Tx

newtype Tx t MaryEra = MkMaryTx {

unMaryTx ∷ ShelleyTx t MaryEra

}

type TranslationError AllegraEra (Tx 'TopTx)

Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra (Tx 'TopTx) = DecoderError

type TranslationError AlonzoEra (Tx 'TopTx)

Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra (Tx 'TopTx) = DecoderError

type TranslationError BabbageEra (Tx 'TopTx)

Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError BabbageEra (Tx 'TopTx) = DecoderError

type TranslationError ConwayEra (Tx 'TopTx) Source #

Instance details