Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Babbage

Contents

Orphan instances

Synopsis

type Babbage = BabbageEra
data BabbageEra
data BabbageTxOut era
data family TxBody era
data AlonzoScript era
data AlonzoTxAuxData era

Documentation

type Babbage = BabbageEra Source #

Deprecated: In favor of BabbageEra

data BabbageEra Source #

The Babbage era

Instances

Instances details

AllegraEraScript BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Scripts Methods mkTimeStart ∷ SlotNo → NativeScript BabbageEra Source # getTimeStart ∷ NativeScript BabbageEra → Maybe SlotNo Source # mkTimeExpire ∷ SlotNo → NativeScript BabbageEra Source # getTimeExpire ∷ NativeScript BabbageEra → Maybe SlotNo Source #
AllegraEraTxAuxData BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.TxAuxData Methods timelockScriptsTxAuxDataL ∷ Lens' (TxAuxData BabbageEra) (StrictSeq (Timelock BabbageEra)) Source #
AllegraEraTxBody BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods vldtTxBodyL ∷ Lens' (TxBody BabbageEra) ValidityInterval Source #
AlonzoEraPParams BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods hkdCoinsPerUTxOWordL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ExactEra AlonzoEra BabbageEra) ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f CoinPerWord) Source # hkdCostModelsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f CostModels) Source # hkdPricesL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f Prices) Source # hkdMaxTxExUnitsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f ExUnits) Source # hkdMaxBlockExUnitsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f ExUnits) Source # hkdMaxValSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f Natural) Source # hkdCollateralPercentageL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f Natural) Source # hkdMaxCollateralInputsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f Natural) Source #
EraPlutusContext BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.TxInfo Associated Types type ContextError BabbageEra = (r ∷ Type) Source # data TxInfoResult BabbageEra Source # Methods mkSupportedLanguage ∷ Language → Maybe (SupportedLanguage BabbageEra) Source # mkTxInfoResult ∷ LedgerTxInfo BabbageEra → TxInfoResult BabbageEra Source # lookupTxInfoResult ∷ ∀ (l ∷ Language). EraPlutusTxInfo l BabbageEra ⇒ SLanguage l → TxInfoResult BabbageEra → Either (ContextError BabbageEra) (PlutusTxInfo l) Source # mkPlutusWithContext ∷ PlutusScript BabbageEra → ScriptHash → PlutusPurpose AsIxItem BabbageEra → LedgerTxInfo BabbageEra → TxInfoResult BabbageEra → (Data BabbageEra, ExUnits) → CostModel → Either (ContextError BabbageEra) PlutusWithContext Source #
AlonzoEraScript BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Scripts Associated Types data PlutusScript BabbageEra Source # type PlutusPurpose f BabbageEra = (r ∷ Type) Source # Methods eraMaxLanguage ∷ Language Source # toPlutusScript ∷ Script BabbageEra → Maybe (PlutusScript BabbageEra) Source # fromPlutusScript ∷ PlutusScript BabbageEra → Script BabbageEra Source # mkPlutusScript ∷ ∀ (l ∷ Language). PlutusLanguage l ⇒ Plutus l → Maybe (PlutusScript BabbageEra) Source # withPlutusScript ∷ PlutusScript BabbageEra → (∀ (l ∷ Language). PlutusLanguage l ⇒ Plutus l → a) → a Source # hoistPlutusPurpose ∷ (∀ ix it. g ix it → f ix it) → PlutusPurpose g BabbageEra → PlutusPurpose f BabbageEra Source # mkSpendingPurpose ∷ f Word32 TxIn → PlutusPurpose f BabbageEra Source # toSpendingPurpose ∷ PlutusPurpose f BabbageEra → Maybe (f Word32 TxIn) Source # mkMintingPurpose ∷ f Word32 PolicyID → PlutusPurpose f BabbageEra Source # toMintingPurpose ∷ PlutusPurpose f BabbageEra → Maybe (f Word32 PolicyID) Source # mkCertifyingPurpose ∷ f Word32 (TxCert BabbageEra) → PlutusPurpose f BabbageEra Source # toCertifyingPurpose ∷ PlutusPurpose f BabbageEra → Maybe (f Word32 (TxCert BabbageEra)) Source # mkRewardingPurpose ∷ f Word32 RewardAccount → PlutusPurpose f BabbageEra Source # toRewardingPurpose ∷ PlutusPurpose f BabbageEra → Maybe (f Word32 RewardAccount) Source # upgradePlutusPurposeAsIx ∷ PlutusPurpose AsIx (PreviousEra BabbageEra) → PlutusPurpose AsIx BabbageEra Source #
AlonzoEraTx BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Tx Methods isValidTxL ∷ Lens' (Tx BabbageEra) IsValid Source #
AlonzoEraTxAuxData BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.TxAuxData Methods plutusScriptsTxAuxDataL ∷ Lens' (TxAuxData BabbageEra) (Map Language (NonEmpty PlutusBinary)) Source #
AlonzoEraTxBody BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods collateralInputsTxBodyL ∷ Lens' (TxBody BabbageEra) (Set TxIn) Source # reqSignerHashesTxBodyL ∷ Lens' (TxBody BabbageEra) (Set (KeyHash 'Witness)) Source # scriptIntegrityHashTxBodyL ∷ Lens' (TxBody BabbageEra) (StrictMaybe ScriptIntegrityHash) Source # networkIdTxBodyL ∷ Lens' (TxBody BabbageEra) (StrictMaybe Network) Source # redeemerPointer ∷ TxBody BabbageEra → PlutusPurpose AsItem BabbageEra → StrictMaybe (PlutusPurpose AsIx BabbageEra) Source # redeemerPointerInverse ∷ TxBody BabbageEra → PlutusPurpose AsIx BabbageEra → StrictMaybe (PlutusPurpose AsIxItem BabbageEra) Source #
AlonzoEraTxOut BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.TxOut Methods dataHashTxOutL ∷ Lens' (TxOut BabbageEra) (StrictMaybe DataHash) Source # datumTxOutF ∷ SimpleGetter (TxOut BabbageEra) (Datum BabbageEra) Source #
AlonzoEraTxWits BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.TxWits Methods datsTxWitsL ∷ Lens' (TxWits BabbageEra) (TxDats BabbageEra) Source # rdmrsTxWitsL ∷ Lens' (TxWits BabbageEra) (Redeemers BabbageEra) Source #
AlonzoEraUTxO BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.UTxO Methods getSupplementalDataHashes ∷ UTxO BabbageEra → TxBody BabbageEra → Set DataHash Source # getSpendingDatum ∷ UTxO BabbageEra → Tx BabbageEra → PlutusPurpose AsItem BabbageEra → Maybe (Data BabbageEra) Source #
BabbageEraPParams BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods hkdCoinsPerUTxOByteL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f CoinPerByte) Source #
BabbageEraTxBody BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods sizedOutputsTxBodyL ∷ Lens' (TxBody BabbageEra) (StrictSeq (Sized (TxOut BabbageEra))) Source # referenceInputsTxBodyL ∷ Lens' (TxBody BabbageEra) (Set TxIn) Source # totalCollateralTxBodyL ∷ Lens' (TxBody BabbageEra) (StrictMaybe Coin) Source # collateralReturnTxBodyL ∷ Lens' (TxBody BabbageEra) (StrictMaybe (TxOut BabbageEra)) Source # sizedCollateralReturnTxBodyL ∷ Lens' (TxBody BabbageEra) (StrictMaybe (Sized (TxOut BabbageEra))) Source # allSizedOutputsTxBodyF ∷ SimpleGetter (TxBody BabbageEra) (StrictSeq (Sized (TxOut BabbageEra))) Source #
BabbageEraTxOut BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.TxOut Methods referenceScriptTxOutL ∷ Lens' (TxOut BabbageEra) (StrictMaybe (Script BabbageEra)) Source # dataTxOutL ∷ Lens' (TxOut BabbageEra) (StrictMaybe (Data BabbageEra)) Source # datumTxOutL ∷ Lens' (TxOut BabbageEra) (Datum BabbageEra) Source #
EraScript BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Scripts Associated Types type Script BabbageEra = (r ∷ Type) Source # type NativeScript BabbageEra = (r ∷ Type) Source # Methods upgradeScript ∷ Script (PreviousEra BabbageEra) → Script BabbageEra Source # scriptPrefixTag ∷ Script BabbageEra → ByteString Source # getNativeScript ∷ Script BabbageEra → Maybe (NativeScript BabbageEra) Source # fromNativeScript ∷ NativeScript BabbageEra → Script BabbageEra Source #
EraSegWits BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Tx Associated Types type TxSeq BabbageEra = (r ∷ Type) Source # Methods fromTxSeq ∷ TxSeq BabbageEra → StrictSeq (Tx BabbageEra) Source # toTxSeq ∷ StrictSeq (Tx BabbageEra) → TxSeq BabbageEra Source # hashTxSeq ∷ TxSeq BabbageEra → Hash HASH EraIndependentBlockBody Source # numSegComponents ∷ Word64 Source #
EraTx BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Tx Associated Types type Tx BabbageEra = (r ∷ Type) Source # type TxUpgradeError BabbageEra Source # Methods mkBasicTx ∷ TxBody BabbageEra → Tx BabbageEra Source # bodyTxL ∷ Lens' (Tx BabbageEra) (TxBody BabbageEra) Source # witsTxL ∷ Lens' (Tx BabbageEra) (TxWits BabbageEra) Source # auxDataTxL ∷ Lens' (Tx BabbageEra) (StrictMaybe (TxAuxData BabbageEra)) Source # sizeTxF ∷ SimpleGetter (Tx BabbageEra) Integer Source # wireSizeTxF ∷ SimpleGetter (Tx BabbageEra) Word32 Source # sizeTxForFeeCalculation ∷ Tx BabbageEra → Integer Source # validateNativeScript ∷ Tx BabbageEra → NativeScript BabbageEra → Bool Source # getMinFeeTx ∷ PParams BabbageEra → Tx BabbageEra → Int → Coin Source # upgradeTx ∷ Tx (PreviousEra BabbageEra) → Either (TxUpgradeError BabbageEra) (Tx BabbageEra) Source #
EraTxAuxData BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.TxAuxData Associated Types type TxAuxData BabbageEra = (r ∷ Type) Source # Methods mkBasicTxAuxData ∷ TxAuxData BabbageEra Source # metadataTxAuxDataL ∷ Lens' (TxAuxData BabbageEra) (Map Word64 Metadatum) Source # upgradeTxAuxData ∷ TxAuxData (PreviousEra BabbageEra) → TxAuxData BabbageEra Source # validateTxAuxData ∷ ProtVer → TxAuxData BabbageEra → Bool Source #
EraTxBody BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Associated Types data TxBody BabbageEra Source # type TxBodyUpgradeError BabbageEra Source # Methods mkBasicTxBody ∷ TxBody BabbageEra Source # inputsTxBodyL ∷ Lens' (TxBody BabbageEra) (Set TxIn) Source # outputsTxBodyL ∷ Lens' (TxBody BabbageEra) (StrictSeq (TxOut BabbageEra)) Source # feeTxBodyL ∷ Lens' (TxBody BabbageEra) Coin Source # withdrawalsTxBodyL ∷ Lens' (TxBody BabbageEra) Withdrawals Source # auxDataHashTxBodyL ∷ Lens' (TxBody BabbageEra) (StrictMaybe TxAuxDataHash) Source # spendableInputsTxBodyF ∷ SimpleGetter (TxBody BabbageEra) (Set TxIn) Source # allInputsTxBodyF ∷ SimpleGetter (TxBody BabbageEra) (Set TxIn) Source # certsTxBodyL ∷ Lens' (TxBody BabbageEra) (StrictSeq (TxCert BabbageEra)) Source # getTotalDepositsTxBody ∷ PParams BabbageEra → (KeyHash 'StakePool → Bool) → TxBody BabbageEra → Coin Source # getTotalRefundsTxBody ∷ PParams BabbageEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → TxBody BabbageEra → Coin Source # getGenesisKeyHashCountTxBody ∷ TxBody BabbageEra → Int Source # upgradeTxBody ∷ TxBody (PreviousEra BabbageEra) → Either (TxBodyUpgradeError BabbageEra) (TxBody BabbageEra) Source #
EraTxOut BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.TxOut Associated Types type TxOut BabbageEra = (r ∷ Type) Source # Methods mkBasicTxOut ∷ Addr → Value BabbageEra → TxOut BabbageEra Source # upgradeTxOut ∷ TxOut (PreviousEra BabbageEra) → TxOut BabbageEra Source # valueTxOutL ∷ Lens' (TxOut BabbageEra) (Value BabbageEra) Source # compactValueTxOutL ∷ Lens' (TxOut BabbageEra) (CompactForm (Value BabbageEra)) Source # valueEitherTxOutL ∷ Lens' (TxOut BabbageEra) (Either (Value BabbageEra) (CompactForm (Value BabbageEra))) Source # addrTxOutL ∷ Lens' (TxOut BabbageEra) Addr Source # compactAddrTxOutL ∷ Lens' (TxOut BabbageEra) CompactAddr Source # addrEitherTxOutL ∷ Lens' (TxOut BabbageEra) (Either Addr CompactAddr) Source # getMinCoinSizedTxOut ∷ PParams BabbageEra → Sized (TxOut BabbageEra) → Coin Source # getMinCoinTxOut ∷ PParams BabbageEra → TxOut BabbageEra → Coin Source #
EraTxWits BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.TxWits Associated Types type TxWits BabbageEra = (r ∷ Type) Source # Methods mkBasicTxWits ∷ TxWits BabbageEra Source # addrTxWitsL ∷ Lens' (TxWits BabbageEra) (Set (WitVKey 'Witness)) Source # bootAddrTxWitsL ∷ Lens' (TxWits BabbageEra) (Set BootstrapWitness) Source # scriptTxWitsL ∷ Lens' (TxWits BabbageEra) (Map ScriptHash (Script BabbageEra)) Source # upgradeTxWits ∷ TxWits (PreviousEra BabbageEra) → TxWits BabbageEra Source #
Era BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Era Associated Types type PreviousEra BabbageEra = (r ∷ Type) Source # type ProtVerLow BabbageEra ∷ Nat Source # type ProtVerHigh BabbageEra ∷ Nat Source # Methods eraName ∷ String Source #
EraPParams BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.PParams Associated Types type PParamsHKD f BabbageEra = (r ∷ Type) Source # type UpgradePParams f BabbageEra Source # type DowngradePParams f BabbageEra Source # Methods applyPPUpdates ∷ PParams BabbageEra → PParamsUpdate BabbageEra → PParams BabbageEra Source # emptyPParamsIdentity ∷ PParamsHKD Identity BabbageEra Source # emptyPParamsStrictMaybe ∷ PParamsHKD StrictMaybe BabbageEra Source # upgradePParamsHKD ∷ ∀ (f ∷ Type → Type). (HKDApplicative f, EraPParams (PreviousEra BabbageEra)) ⇒ UpgradePParams f BabbageEra → PParamsHKD f (PreviousEra BabbageEra) → PParamsHKD f BabbageEra Source # downgradePParamsHKD ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, EraPParams (PreviousEra BabbageEra)) ⇒ DowngradePParams f BabbageEra → PParamsHKD f BabbageEra → PParamsHKD f (PreviousEra BabbageEra) Source # hkdMinFeeAL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f Coin) Source # hkdMinFeeBL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f Coin) Source # hkdMaxBBSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f Word32) Source # hkdMaxTxSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f Word32) Source # hkdMaxBHSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f Word16) Source # hkdKeyDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f Coin) Source # hkdPoolDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f Coin) Source # hkdEMaxL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f EpochInterval) Source # hkdNOptL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f Word16) Source # hkdA0L ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f NonNegativeInterval) Source # hkdRhoL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f UnitInterval) Source # hkdTauL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f UnitInterval) Source # hkdDL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost BabbageEra 6) ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f UnitInterval) Source # ppDG ∷ SimpleGetter (PParams BabbageEra) UnitInterval Source # hkdExtraEntropyL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost BabbageEra 6) ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f Nonce) Source # hkdProtocolVersionL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost BabbageEra 8) ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f ProtVer) Source # ppProtocolVersionL ∷ Lens' (PParams BabbageEra) ProtVer Source # ppuProtocolVersionL ∷ Lens' (PParamsUpdate BabbageEra) (StrictMaybe ProtVer) Source # hkdMinUTxOValueL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost BabbageEra 4) ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f Coin) Source # hkdMinPoolCostL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f Coin) Source # eraPParams ∷ [PParam BabbageEra] Source #
EraTxCert BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.TxCert Associated Types type TxCert BabbageEra = (r ∷ Type) Source # type TxCertUpgradeError BabbageEra Source # Methods upgradeTxCert ∷ TxCert (PreviousEra BabbageEra) → Either (TxCertUpgradeError BabbageEra) (TxCert BabbageEra) Source # getVKeyWitnessTxCert ∷ TxCert BabbageEra → Maybe (KeyHash 'Witness) Source # getScriptWitnessTxCert ∷ TxCert BabbageEra → Maybe ScriptHash Source # mkRegPoolTxCert ∷ PoolParams → TxCert BabbageEra Source # getRegPoolTxCert ∷ TxCert BabbageEra → Maybe PoolParams Source # mkRetirePoolTxCert ∷ KeyHash 'StakePool → EpochNo → TxCert BabbageEra Source # getRetirePoolTxCert ∷ TxCert BabbageEra → Maybe (KeyHash 'StakePool, EpochNo) Source # lookupRegStakeTxCert ∷ TxCert BabbageEra → Maybe (Credential 'Staking) Source # lookupUnRegStakeTxCert ∷ TxCert BabbageEra → Maybe (Credential 'Staking) Source # getTotalDepositsTxCerts ∷ Foldable f ⇒ PParams BabbageEra → (KeyHash 'StakePool → Bool) → f (TxCert BabbageEra) → Coin Source # getTotalRefundsTxCerts ∷ Foldable f ⇒ PParams BabbageEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → f (TxCert BabbageEra) → Coin Source #
EraGenesis BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Era Associated Types type Genesis BabbageEra Source #
EraCertState BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.State.CertState Associated Types type CertState BabbageEra = (r ∷ Type) Source # Methods certDStateL ∷ Lens' (CertState BabbageEra) (DState BabbageEra) Source # certPStateL ∷ Lens' (CertState BabbageEra) (PState BabbageEra) Source # obligationCertState ∷ CertState BabbageEra → Obligations Source # certsTotalDepositsTxBody ∷ PParams BabbageEra → CertState BabbageEra → TxBody BabbageEra → Coin Source # certsTotalRefundsTxBody ∷ PParams BabbageEra → CertState BabbageEra → TxBody BabbageEra → Coin Source #
EraGov BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.PParams Associated Types type GovState BabbageEra = (r ∷ Type) Source # Methods emptyGovState ∷ GovState BabbageEra Source # curPParamsGovStateL ∷ Lens' (GovState BabbageEra) (PParams BabbageEra) Source # prevPParamsGovStateL ∷ Lens' (GovState BabbageEra) (PParams BabbageEra) Source # futurePParamsGovStateL ∷ Lens' (GovState BabbageEra) (FuturePParams BabbageEra) Source # obligationGovState ∷ GovState BabbageEra → Obligations Source #
EraStake BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.State.Stake Associated Types type InstantStake BabbageEra = (r ∷ Type) Source # Methods instantStakeCredentialsL ∷ Lens' (InstantStake BabbageEra) (Map (Credential 'Staking) (CompactForm Coin)) Source # addInstantStake ∷ UTxO BabbageEra → InstantStake BabbageEra → InstantStake BabbageEra Source # deleteInstantStake ∷ UTxO BabbageEra → InstantStake BabbageEra → InstantStake BabbageEra Source # resolveInstantStake ∷ InstantStake BabbageEra → UMap → Stake Source #
EraUTxO BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.UTxO Associated Types type ScriptsNeeded BabbageEra = (r ∷ Type) Source # Methods consumed ∷ PParams BabbageEra → CertState BabbageEra → UTxO BabbageEra → TxBody BabbageEra → Value BabbageEra Source # getConsumedValue ∷ PParams BabbageEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → UTxO BabbageEra → TxBody BabbageEra → Value BabbageEra Source # getProducedValue ∷ PParams BabbageEra → (KeyHash 'StakePool → Bool) → TxBody BabbageEra → Value BabbageEra Source # getScriptsProvided ∷ UTxO BabbageEra → Tx BabbageEra → ScriptsProvided BabbageEra Source # getScriptsNeeded ∷ UTxO BabbageEra → TxBody BabbageEra → ScriptsNeeded BabbageEra Source # getScriptsHashesNeeded ∷ ScriptsNeeded BabbageEra → Set ScriptHash Source # getWitsVKeyNeeded ∷ CertState BabbageEra → UTxO BabbageEra → TxBody BabbageEra → Set (KeyHash 'Witness) Source # getMinFeeTxUtxo ∷ PParams BabbageEra → Tx BabbageEra → UTxO BabbageEra → Coin Source #
MaryEraTxBody BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods mintTxBodyL ∷ Lens' (TxBody BabbageEra) MultiAsset Source # mintedTxBodyF ∷ SimpleGetter (TxBody BabbageEra) (Set PolicyID) Source # mintValueTxBodyF ∷ SimpleGetter (TxBody BabbageEra) (Value BabbageEra) Source #
ApplyTx BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage Methods applyTxValidation ∷ ValidationPolicy → Globals → MempoolEnv BabbageEra → MempoolState BabbageEra → Tx BabbageEra → Either (ApplyTxError BabbageEra) (MempoolState BabbageEra, Validated (Tx BabbageEra)) Source #
ApplyBlock BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage Methods applyBlock ∷ ∀ (ep ∷ EventPolicy). SingEP ep → ValidationPolicy → Globals → NewEpochState BabbageEra → Block BHeaderView BabbageEra → (NewEpochState BabbageEra, [PredicateFailure (EraRule "BBODY" BabbageEra)], [Event (EraRule "BBODY" BabbageEra)]) Source # applyTick ∷ ∀ (ep ∷ EventPolicy). SingEP ep → Globals → NewEpochState BabbageEra → SlotNo → (NewEpochState BabbageEra, [Event (EraRule "TICK" BabbageEra)]) Source #
ShelleyEraScript BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Scripts Methods mkRequireSignature ∷ KeyHash 'Witness → NativeScript BabbageEra Source # getRequireSignature ∷ NativeScript BabbageEra → Maybe (KeyHash 'Witness) Source # mkRequireAllOf ∷ StrictSeq (NativeScript BabbageEra) → NativeScript BabbageEra Source # getRequireAllOf ∷ NativeScript BabbageEra → Maybe (StrictSeq (NativeScript BabbageEra)) Source # mkRequireAnyOf ∷ StrictSeq (NativeScript BabbageEra) → NativeScript BabbageEra Source # getRequireAnyOf ∷ NativeScript BabbageEra → Maybe (StrictSeq (NativeScript BabbageEra)) Source # mkRequireMOf ∷ Int → StrictSeq (NativeScript BabbageEra) → NativeScript BabbageEra Source # getRequireMOf ∷ NativeScript BabbageEra → Maybe (Int, StrictSeq (NativeScript BabbageEra)) Source #
EraTransition BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Transition Associated Types data TransitionConfig BabbageEra Source # Methods mkTransitionConfig ∷ TranslationContext BabbageEra → TransitionConfig (PreviousEra BabbageEra) → TransitionConfig BabbageEra Source # injectIntoTestState ∷ TransitionConfig BabbageEra → NewEpochState BabbageEra → NewEpochState BabbageEra Source # tcPreviousEraConfigL ∷ Lens' (TransitionConfig BabbageEra) (TransitionConfig (PreviousEra BabbageEra)) Source # tcTranslationContextL ∷ Lens' (TransitionConfig BabbageEra) (TranslationContext BabbageEra) Source # tcShelleyGenesisL ∷ Lens' (TransitionConfig BabbageEra) ShelleyGenesis Source # tcInitialPParamsG ∷ SimpleGetter (TransitionConfig BabbageEra) (PParams BabbageEra) Source #
ShelleyEraTxBody BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods ttlTxBodyL ∷ Lens' (TxBody BabbageEra) SlotNo Source # updateTxBodyL ∷ Lens' (TxBody BabbageEra) (StrictMaybe (Update BabbageEra)) Source #
ShelleyEraTxCert BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.TxCert Methods mkRegTxCert ∷ StakeCredential → TxCert BabbageEra Source # getRegTxCert ∷ TxCert BabbageEra → Maybe StakeCredential Source # mkUnRegTxCert ∷ StakeCredential → TxCert BabbageEra Source # getUnRegTxCert ∷ TxCert BabbageEra → Maybe StakeCredential Source # mkDelegStakeTxCert ∷ StakeCredential → KeyHash 'StakePool → TxCert BabbageEra Source # getDelegStakeTxCert ∷ TxCert BabbageEra → Maybe (StakeCredential, KeyHash 'StakePool) Source # mkGenesisDelegTxCert ∷ GenesisDelegCert → TxCert BabbageEra Source # getGenesisDelegTxCert ∷ TxCert BabbageEra → Maybe GenesisDelegCert Source # mkMirTxCert ∷ MIRCert → TxCert BabbageEra Source # getMirTxCert ∷ TxCert BabbageEra → Maybe MIRCert Source #
EraPlutusTxInfo 'PlutusV1 BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.TxInfo Methods toPlutusTxCert ∷ proxy 'PlutusV1 → ProtVer → TxCert BabbageEra → Either (ContextError BabbageEra) (PlutusTxCert 'PlutusV1) Source # toPlutusScriptPurpose ∷ proxy 'PlutusV1 → ProtVer → PlutusPurpose AsIxItem BabbageEra → Either (ContextError BabbageEra) (PlutusScriptPurpose 'PlutusV1) Source # toPlutusTxInfo ∷ proxy 'PlutusV1 → LedgerTxInfo BabbageEra → Either (ContextError BabbageEra) (PlutusTxInfo 'PlutusV1) Source # toPlutusArgs ∷ proxy 'PlutusV1 → ProtVer → PlutusTxInfo 'PlutusV1 → PlutusPurpose AsIxItem BabbageEra → Maybe (Data BabbageEra) → Data BabbageEra → Either (ContextError BabbageEra) (PlutusArgs 'PlutusV1) Source #
EraPlutusTxInfo 'PlutusV2 BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.TxInfo Methods toPlutusTxCert ∷ proxy 'PlutusV2 → ProtVer → TxCert BabbageEra → Either (ContextError BabbageEra) (PlutusTxCert 'PlutusV2) Source # toPlutusScriptPurpose ∷ proxy 'PlutusV2 → ProtVer → PlutusPurpose AsIxItem BabbageEra → Either (ContextError BabbageEra) (PlutusScriptPurpose 'PlutusV2) Source # toPlutusTxInfo ∷ proxy 'PlutusV2 → LedgerTxInfo BabbageEra → Either (ContextError BabbageEra) (PlutusTxInfo 'PlutusV2) Source # toPlutusArgs ∷ proxy 'PlutusV2 → ProtVer → PlutusTxInfo 'PlutusV2 → PlutusPurpose AsIxItem BabbageEra → Maybe (Data BabbageEra) → Data BabbageEra → Either (ContextError BabbageEra) (PlutusArgs 'PlutusV2) Source #
TranslateEra BabbageEra Tx Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation Associated Types type TranslationError BabbageEra Tx Source # Methods translateEra ∷ TranslationContext BabbageEra → Tx (PreviousEra BabbageEra) → Except (TranslationError BabbageEra Tx) (Tx BabbageEra) Source #
TranslateEra BabbageEra PParams Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation Associated Types type TranslationError BabbageEra PParams Source # Methods translateEra ∷ TranslationContext BabbageEra → PParams (PreviousEra BabbageEra) → Except (TranslationError BabbageEra PParams) (PParams BabbageEra) Source #
TranslateEra BabbageEra CommitteeState Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation Associated Types type TranslationError BabbageEra CommitteeState Source # Methods translateEra ∷ TranslationContext BabbageEra → CommitteeState (PreviousEra BabbageEra) → Except (TranslationError BabbageEra CommitteeState) (CommitteeState BabbageEra) Source #
TranslateEra BabbageEra DState Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation Associated Types type TranslationError BabbageEra DState Source # Methods translateEra ∷ TranslationContext BabbageEra → DState (PreviousEra BabbageEra) → Except (TranslationError BabbageEra DState) (DState BabbageEra) Source #
TranslateEra BabbageEra PState Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation Associated Types type TranslationError BabbageEra PState Source # Methods translateEra ∷ TranslationContext BabbageEra → PState (PreviousEra BabbageEra) → Except (TranslationError BabbageEra PState) (PState BabbageEra) Source #
TranslateEra BabbageEra FuturePParams Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation Associated Types type TranslationError BabbageEra FuturePParams Source # Methods translateEra ∷ TranslationContext BabbageEra → FuturePParams (PreviousEra BabbageEra) → Except (TranslationError BabbageEra FuturePParams) (FuturePParams BabbageEra) Source #
TranslateEra BabbageEra UTxO Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation Associated Types type TranslationError BabbageEra UTxO Source # Methods translateEra ∷ TranslationContext BabbageEra → UTxO (PreviousEra BabbageEra) → Except (TranslationError BabbageEra UTxO) (UTxO BabbageEra) Source #
TranslateEra BabbageEra ShelleyGovState Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation Associated Types type TranslationError BabbageEra ShelleyGovState Source # Methods translateEra ∷ TranslationContext BabbageEra → ShelleyGovState (PreviousEra BabbageEra) → Except (TranslationError BabbageEra ShelleyGovState) (ShelleyGovState BabbageEra) Source #
TranslateEra BabbageEra EpochState Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation Associated Types type TranslationError BabbageEra EpochState Source # Methods translateEra ∷ TranslationContext BabbageEra → EpochState (PreviousEra BabbageEra) → Except (TranslationError BabbageEra EpochState) (EpochState BabbageEra) Source #
TranslateEra BabbageEra LedgerState Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation Associated Types type TranslationError BabbageEra LedgerState Source # Methods translateEra ∷ TranslationContext BabbageEra → LedgerState (PreviousEra BabbageEra) → Except (TranslationError BabbageEra LedgerState) (LedgerState BabbageEra) Source #
TranslateEra BabbageEra NewEpochState Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation Associated Types type TranslationError BabbageEra NewEpochState Source # Methods translateEra ∷ TranslationContext BabbageEra → NewEpochState (PreviousEra BabbageEra) → Except (TranslationError BabbageEra NewEpochState) (NewEpochState BabbageEra) Source #
TranslateEra BabbageEra UTxOState Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation Associated Types type TranslationError BabbageEra UTxOState Source # Methods translateEra ∷ TranslationContext BabbageEra → UTxOState (PreviousEra BabbageEra) → Except (TranslationError BabbageEra UTxOState) (UTxOState BabbageEra) Source #
TranslateEra BabbageEra ProposedPPUpdates Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation Associated Types type TranslationError BabbageEra ProposedPPUpdates Source # Methods translateEra ∷ TranslationContext BabbageEra → ProposedPPUpdates (PreviousEra BabbageEra) → Except (TranslationError BabbageEra ProposedPPUpdates) (ProposedPPUpdates BabbageEra) Source #
TranslateEra BabbageEra ShelleyCertState Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation Associated Types type TranslationError BabbageEra ShelleyCertState Source # Methods translateEra ∷ TranslationContext BabbageEra → ShelleyCertState (PreviousEra BabbageEra) → Except (TranslationError BabbageEra ShelleyCertState) (ShelleyCertState BabbageEra) Source #
TranslateEra BabbageEra ShelleyInstantStake Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation Associated Types type TranslationError BabbageEra ShelleyInstantStake Source # Methods translateEra ∷ TranslationContext BabbageEra → ShelleyInstantStake (PreviousEra BabbageEra) → Except (TranslationError BabbageEra ShelleyInstantStake) (ShelleyInstantStake BabbageEra) Source #
InjectRuleEvent "UTXOS" AlonzoUtxosEvent BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos Methods injectEvent ∷ AlonzoUtxosEvent BabbageEra → EraRuleEvent "UTXOS" BabbageEra Source #
InjectRuleFailure "BBODY" AllegraUtxoPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Bbody Methods injectFailure ∷ AllegraUtxoPredFailure BabbageEra → EraRuleFailure "BBODY" BabbageEra Source #
InjectRuleFailure "BBODY" AlonzoBbodyPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Bbody Methods injectFailure ∷ AlonzoBbodyPredFailure BabbageEra → EraRuleFailure "BBODY" BabbageEra Source #
InjectRuleFailure "BBODY" AlonzoUtxoPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Bbody Methods injectFailure ∷ AlonzoUtxoPredFailure BabbageEra → EraRuleFailure "BBODY" BabbageEra Source #
InjectRuleFailure "BBODY" AlonzoUtxosPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Bbody Methods injectFailure ∷ AlonzoUtxosPredFailure BabbageEra → EraRuleFailure "BBODY" BabbageEra Source #
InjectRuleFailure "BBODY" AlonzoUtxowPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Bbody Methods injectFailure ∷ AlonzoUtxowPredFailure BabbageEra → EraRuleFailure "BBODY" BabbageEra Source #
InjectRuleFailure "BBODY" BabbageUtxoPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Bbody Methods injectFailure ∷ BabbageUtxoPredFailure BabbageEra → EraRuleFailure "BBODY" BabbageEra Source #
InjectRuleFailure "BBODY" BabbageUtxowPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Bbody Methods injectFailure ∷ BabbageUtxowPredFailure BabbageEra → EraRuleFailure "BBODY" BabbageEra Source #
InjectRuleFailure "BBODY" ShelleyBbodyPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Bbody Methods injectFailure ∷ ShelleyBbodyPredFailure BabbageEra → EraRuleFailure "BBODY" BabbageEra Source #
InjectRuleFailure "BBODY" ShelleyDelegPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Bbody Methods injectFailure ∷ ShelleyDelegPredFailure BabbageEra → EraRuleFailure "BBODY" BabbageEra Source #
InjectRuleFailure "BBODY" ShelleyDelegsPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Bbody Methods injectFailure ∷ ShelleyDelegsPredFailure BabbageEra → EraRuleFailure "BBODY" BabbageEra Source #
InjectRuleFailure "BBODY" ShelleyDelplPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Bbody Methods injectFailure ∷ ShelleyDelplPredFailure BabbageEra → EraRuleFailure "BBODY" BabbageEra Source #
InjectRuleFailure "BBODY" ShelleyLedgerPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Bbody Methods injectFailure ∷ ShelleyLedgerPredFailure BabbageEra → EraRuleFailure "BBODY" BabbageEra Source #
InjectRuleFailure "BBODY" ShelleyLedgersPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Bbody Methods injectFailure ∷ ShelleyLedgersPredFailure BabbageEra → EraRuleFailure "BBODY" BabbageEra Source #
InjectRuleFailure "BBODY" ShelleyPoolPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Bbody Methods injectFailure ∷ ShelleyPoolPredFailure BabbageEra → EraRuleFailure "BBODY" BabbageEra Source #
InjectRuleFailure "BBODY" ShelleyPpupPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Bbody Methods injectFailure ∷ ShelleyPpupPredFailure BabbageEra → EraRuleFailure "BBODY" BabbageEra Source #
InjectRuleFailure "BBODY" ShelleyUtxoPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Bbody Methods injectFailure ∷ ShelleyUtxoPredFailure BabbageEra → EraRuleFailure "BBODY" BabbageEra Source #
InjectRuleFailure "BBODY" ShelleyUtxowPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Bbody Methods injectFailure ∷ ShelleyUtxowPredFailure BabbageEra → EraRuleFailure "BBODY" BabbageEra Source #
InjectRuleFailure "DELEG" ShelleyDelegPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Deleg Methods injectFailure ∷ ShelleyDelegPredFailure BabbageEra → EraRuleFailure "DELEG" BabbageEra Source #
InjectRuleFailure "DELEGS" ShelleyDelegPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Delegs Methods injectFailure ∷ ShelleyDelegPredFailure BabbageEra → EraRuleFailure "DELEGS" BabbageEra Source #
InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Delegs Methods injectFailure ∷ ShelleyDelegsPredFailure BabbageEra → EraRuleFailure "DELEGS" BabbageEra Source #
InjectRuleFailure "DELEGS" ShelleyDelplPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Delegs Methods injectFailure ∷ ShelleyDelplPredFailure BabbageEra → EraRuleFailure "DELEGS" BabbageEra Source #
InjectRuleFailure "DELEGS" ShelleyPoolPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Delegs Methods injectFailure ∷ ShelleyPoolPredFailure BabbageEra → EraRuleFailure "DELEGS" BabbageEra Source #
InjectRuleFailure "DELPL" ShelleyDelegPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Delpl Methods injectFailure ∷ ShelleyDelegPredFailure BabbageEra → EraRuleFailure "DELPL" BabbageEra Source #
InjectRuleFailure "DELPL" ShelleyDelplPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Delpl Methods injectFailure ∷ ShelleyDelplPredFailure BabbageEra → EraRuleFailure "DELPL" BabbageEra Source #
InjectRuleFailure "DELPL" ShelleyPoolPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Delpl Methods injectFailure ∷ ShelleyPoolPredFailure BabbageEra → EraRuleFailure "DELPL" BabbageEra Source #
InjectRuleFailure "LEDGER" AllegraUtxoPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger Methods injectFailure ∷ AllegraUtxoPredFailure BabbageEra → EraRuleFailure "LEDGER" BabbageEra Source #
InjectRuleFailure "LEDGER" AlonzoUtxoPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger Methods injectFailure ∷ AlonzoUtxoPredFailure BabbageEra → EraRuleFailure "LEDGER" BabbageEra Source #
InjectRuleFailure "LEDGER" AlonzoUtxosPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger Methods injectFailure ∷ AlonzoUtxosPredFailure BabbageEra → EraRuleFailure "LEDGER" BabbageEra Source #
InjectRuleFailure "LEDGER" AlonzoUtxowPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger Methods injectFailure ∷ AlonzoUtxowPredFailure BabbageEra → EraRuleFailure "LEDGER" BabbageEra Source #
InjectRuleFailure "LEDGER" BabbageUtxoPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger Methods injectFailure ∷ BabbageUtxoPredFailure BabbageEra → EraRuleFailure "LEDGER" BabbageEra Source #
InjectRuleFailure "LEDGER" BabbageUtxowPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger Methods injectFailure ∷ BabbageUtxowPredFailure BabbageEra → EraRuleFailure "LEDGER" BabbageEra Source #
InjectRuleFailure "LEDGER" ShelleyDelegPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger Methods injectFailure ∷ ShelleyDelegPredFailure BabbageEra → EraRuleFailure "LEDGER" BabbageEra Source #
InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger Methods injectFailure ∷ ShelleyDelegsPredFailure BabbageEra → EraRuleFailure "LEDGER" BabbageEra Source #
InjectRuleFailure "LEDGER" ShelleyDelplPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger Methods injectFailure ∷ ShelleyDelplPredFailure BabbageEra → EraRuleFailure "LEDGER" BabbageEra Source #
InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger Methods injectFailure ∷ ShelleyLedgerPredFailure BabbageEra → EraRuleFailure "LEDGER" BabbageEra Source #
InjectRuleFailure "LEDGER" ShelleyPoolPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger Methods injectFailure ∷ ShelleyPoolPredFailure BabbageEra → EraRuleFailure "LEDGER" BabbageEra Source #
InjectRuleFailure "LEDGER" ShelleyPpupPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger Methods injectFailure ∷ ShelleyPpupPredFailure BabbageEra → EraRuleFailure "LEDGER" BabbageEra Source #
InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger Methods injectFailure ∷ ShelleyUtxoPredFailure BabbageEra → EraRuleFailure "LEDGER" BabbageEra Source #
InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger Methods injectFailure ∷ ShelleyUtxowPredFailure BabbageEra → EraRuleFailure "LEDGER" BabbageEra Source #
InjectRuleFailure "LEDGERS" AllegraUtxoPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledgers Methods injectFailure ∷ AllegraUtxoPredFailure BabbageEra → EraRuleFailure "LEDGERS" BabbageEra Source #
InjectRuleFailure "LEDGERS" AlonzoUtxoPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledgers Methods injectFailure ∷ AlonzoUtxoPredFailure BabbageEra → EraRuleFailure "LEDGERS" BabbageEra Source #
InjectRuleFailure "LEDGERS" AlonzoUtxosPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledgers Methods injectFailure ∷ AlonzoUtxosPredFailure BabbageEra → EraRuleFailure "LEDGERS" BabbageEra Source #
InjectRuleFailure "LEDGERS" AlonzoUtxowPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledgers Methods injectFailure ∷ AlonzoUtxowPredFailure BabbageEra → EraRuleFailure "LEDGERS" BabbageEra Source #
InjectRuleFailure "LEDGERS" BabbageUtxoPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledgers Methods injectFailure ∷ BabbageUtxoPredFailure BabbageEra → EraRuleFailure "LEDGERS" BabbageEra Source #
InjectRuleFailure "LEDGERS" BabbageUtxowPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledgers Methods injectFailure ∷ BabbageUtxowPredFailure BabbageEra → EraRuleFailure "LEDGERS" BabbageEra Source #
InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledgers Methods injectFailure ∷ ShelleyDelegPredFailure BabbageEra → EraRuleFailure "LEDGERS" BabbageEra Source #
InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledgers Methods injectFailure ∷ ShelleyDelegsPredFailure BabbageEra → EraRuleFailure "LEDGERS" BabbageEra Source #
InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledgers Methods injectFailure ∷ ShelleyDelplPredFailure BabbageEra → EraRuleFailure "LEDGERS" BabbageEra Source #
InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledgers Methods injectFailure ∷ ShelleyLedgerPredFailure BabbageEra → EraRuleFailure "LEDGERS" BabbageEra Source #
InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledgers Methods injectFailure ∷ ShelleyLedgersPredFailure BabbageEra → EraRuleFailure "LEDGERS" BabbageEra Source #
InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledgers Methods injectFailure ∷ ShelleyPoolPredFailure BabbageEra → EraRuleFailure "LEDGERS" BabbageEra Source #
InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledgers Methods injectFailure ∷ ShelleyPpupPredFailure BabbageEra → EraRuleFailure "LEDGERS" BabbageEra Source #
InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledgers Methods injectFailure ∷ ShelleyUtxoPredFailure BabbageEra → EraRuleFailure "LEDGERS" BabbageEra Source #
InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledgers Methods injectFailure ∷ ShelleyUtxowPredFailure BabbageEra → EraRuleFailure "LEDGERS" BabbageEra Source #
InjectRuleFailure "POOL" ShelleyPoolPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Pool Methods injectFailure ∷ ShelleyPoolPredFailure BabbageEra → EraRuleFailure "POOL" BabbageEra Source #
InjectRuleFailure "PPUP" ShelleyPpupPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ppup Methods injectFailure ∷ ShelleyPpupPredFailure BabbageEra → EraRuleFailure "PPUP" BabbageEra Source #
InjectRuleFailure "UTXO" AllegraUtxoPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxo Methods injectFailure ∷ AllegraUtxoPredFailure BabbageEra → EraRuleFailure "UTXO" BabbageEra Source #
InjectRuleFailure "UTXO" AlonzoUtxoPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxo Methods injectFailure ∷ AlonzoUtxoPredFailure BabbageEra → EraRuleFailure "UTXO" BabbageEra Source #
InjectRuleFailure "UTXO" AlonzoUtxosPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxo Methods injectFailure ∷ AlonzoUtxosPredFailure BabbageEra → EraRuleFailure "UTXO" BabbageEra Source #
InjectRuleFailure "UTXO" BabbageUtxoPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxo Methods injectFailure ∷ BabbageUtxoPredFailure BabbageEra → EraRuleFailure "UTXO" BabbageEra Source #
InjectRuleFailure "UTXO" ShelleyPpupPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxo Methods injectFailure ∷ ShelleyPpupPredFailure BabbageEra → EraRuleFailure "UTXO" BabbageEra Source #
InjectRuleFailure "UTXO" ShelleyUtxoPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxo Methods injectFailure ∷ ShelleyUtxoPredFailure BabbageEra → EraRuleFailure "UTXO" BabbageEra Source #
InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos Methods injectFailure ∷ AlonzoUtxosPredFailure BabbageEra → EraRuleFailure "UTXOS" BabbageEra Source #
InjectRuleFailure "UTXOS" ShelleyPpupPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos Methods injectFailure ∷ ShelleyPpupPredFailure BabbageEra → EraRuleFailure "UTXOS" BabbageEra Source #
InjectRuleFailure "UTXOW" AllegraUtxoPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow Methods injectFailure ∷ AllegraUtxoPredFailure BabbageEra → EraRuleFailure "UTXOW" BabbageEra Source #
InjectRuleFailure "UTXOW" AlonzoUtxoPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow Methods injectFailure ∷ AlonzoUtxoPredFailure BabbageEra → EraRuleFailure "UTXOW" BabbageEra Source #
InjectRuleFailure "UTXOW" AlonzoUtxosPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow Methods injectFailure ∷ AlonzoUtxosPredFailure BabbageEra → EraRuleFailure "UTXOW" BabbageEra Source #
InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow Methods injectFailure ∷ AlonzoUtxowPredFailure BabbageEra → EraRuleFailure "UTXOW" BabbageEra Source #
InjectRuleFailure "UTXOW" BabbageUtxoPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow Methods injectFailure ∷ BabbageUtxoPredFailure BabbageEra → EraRuleFailure "UTXOW" BabbageEra Source #
InjectRuleFailure "UTXOW" BabbageUtxowPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow Methods injectFailure ∷ BabbageUtxowPredFailure BabbageEra → EraRuleFailure "UTXOW" BabbageEra Source #
InjectRuleFailure "UTXOW" ShelleyPpupPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow Methods injectFailure ∷ ShelleyPpupPredFailure BabbageEra → EraRuleFailure "UTXOW" BabbageEra Source #
InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow Methods injectFailure ∷ ShelleyUtxoPredFailure BabbageEra → EraRuleFailure "UTXOW" BabbageEra Source #
InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow Methods injectFailure ∷ ShelleyUtxowPredFailure BabbageEra → EraRuleFailure "UTXOW" BabbageEra Source #
FromJSON (TransitionConfig BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.Transition Methods parseJSON ∷ Value → Parser (TransitionConfig BabbageEra) Source # parseJSONList ∷ Value → Parser [TransitionConfig BabbageEra] Source # omittedField ∷ Maybe (TransitionConfig BabbageEra) Source #
ToJSON (TransitionConfig BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.Transition Methods toJSON ∷ TransitionConfig BabbageEra → Value Source # toEncoding ∷ TransitionConfig BabbageEra → Encoding Source # toJSONList ∷ [TransitionConfig BabbageEra] → Value Source # toEncodingList ∷ [TransitionConfig BabbageEra] → Encoding Source # omitField ∷ TransitionConfig BabbageEra → Bool Source #
Generic (PlutusScript BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.Scripts Associated Types type Rep (PlutusScript BabbageEra) ∷ Type → Type # Methods from ∷ PlutusScript BabbageEra → Rep (PlutusScript BabbageEra) x # to ∷ Rep (PlutusScript BabbageEra) x → PlutusScript BabbageEra #
Generic (TxBody BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Associated Types type Rep (TxBody BabbageEra) ∷ Type → Type # Methods from ∷ TxBody BabbageEra → Rep (TxBody BabbageEra) x # to ∷ Rep (TxBody BabbageEra) x → TxBody BabbageEra #
Show (PlutusScript BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.Scripts Methods showsPrec ∷ Int → PlutusScript BabbageEra → ShowS # show ∷ PlutusScript BabbageEra → String # showList ∷ [PlutusScript BabbageEra] → ShowS #
Show (TxBody BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods showsPrec ∷ Int → TxBody BabbageEra → ShowS # show ∷ TxBody BabbageEra → String # showList ∷ [TxBody BabbageEra] → ShowS #
Show (TransitionConfig BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.Transition Methods showsPrec ∷ Int → TransitionConfig BabbageEra → ShowS # show ∷ TransitionConfig BabbageEra → String # showList ∷ [TransitionConfig BabbageEra] → ShowS #
ToCBOR (TxBody BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods toCBOR ∷ TxBody BabbageEra → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxBody BabbageEra) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxBody BabbageEra] → Size Source #
DecCBOR (TxBody BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods decCBOR ∷ Decoder s (TxBody BabbageEra) Source # dropCBOR ∷ Proxy (TxBody BabbageEra) → Decoder s () Source # label ∷ Proxy (TxBody BabbageEra) → Text Source #
EncCBOR (TxBody BabbageEra) Source #	Encodes memoized bytes created upon construction.
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods encCBOR ∷ TxBody BabbageEra → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (TxBody BabbageEra) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [TxBody BabbageEra] → Size Source #
SafeToHash (PlutusScript BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.Scripts Methods originalBytes ∷ PlutusScript BabbageEra → ByteString Source # originalBytesSize ∷ PlutusScript BabbageEra → Int Source # makeHashWithExplicitProxys ∷ Proxy i → PlutusScript BabbageEra → SafeHash i Source #
SafeToHash (TxBody BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods originalBytes ∷ TxBody BabbageEra → ByteString Source # originalBytesSize ∷ TxBody BabbageEra → Int Source # makeHashWithExplicitProxys ∷ Proxy i → TxBody BabbageEra → SafeHash i Source #
EqRaw (TxBody BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods eqRaw ∷ TxBody BabbageEra → TxBody BabbageEra → Bool Source #
Memoized (TxBody BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Associated Types type RawType (TxBody BabbageEra) = (r ∷ Type) Source # Methods getMemoBytes ∷ TxBody BabbageEra → MemoBytes (RawType (TxBody BabbageEra)) wrapMemoBytes ∷ MemoBytes (RawType (TxBody BabbageEra)) → TxBody BabbageEra
NFData (PlutusScript BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.Scripts Methods rnf ∷ PlutusScript BabbageEra → () #
NFData (TxBody BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods rnf ∷ TxBody BabbageEra → () #
Eq (PlutusScript BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.Scripts Methods (==) ∷ PlutusScript BabbageEra → PlutusScript BabbageEra → Bool # (/=) ∷ PlutusScript BabbageEra → PlutusScript BabbageEra → Bool #
Eq (TxBody BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods (==) ∷ TxBody BabbageEra → TxBody BabbageEra → Bool # (/=) ∷ TxBody BabbageEra → TxBody BabbageEra → Bool #
Eq (TransitionConfig BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.Transition Methods (==) ∷ TransitionConfig BabbageEra → TransitionConfig BabbageEra → Bool # (/=) ∷ TransitionConfig BabbageEra → TransitionConfig BabbageEra → Bool #
Ord (PlutusScript BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.Scripts Methods compare ∷ PlutusScript BabbageEra → PlutusScript BabbageEra → Ordering # (<) ∷ PlutusScript BabbageEra → PlutusScript BabbageEra → Bool # (<=) ∷ PlutusScript BabbageEra → PlutusScript BabbageEra → Bool # (>) ∷ PlutusScript BabbageEra → PlutusScript BabbageEra → Bool # (>=) ∷ PlutusScript BabbageEra → PlutusScript BabbageEra → Bool # max ∷ PlutusScript BabbageEra → PlutusScript BabbageEra → PlutusScript BabbageEra # min ∷ PlutusScript BabbageEra → PlutusScript BabbageEra → PlutusScript BabbageEra #
MemPack (PlutusScript BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.Scripts Methods typeName ∷ String Source # packedByteCount ∷ PlutusScript BabbageEra → Int Source # packM ∷ PlutusScript BabbageEra → Pack s () Source # unpackM ∷ Buffer b ⇒ Unpack b (PlutusScript BabbageEra) Source #
NoThunks (PlutusScript BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.Scripts Methods noThunks ∷ Context → PlutusScript BabbageEra → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PlutusScript BabbageEra → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PlutusScript BabbageEra) → String Source #
NoThunks (TxBody BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods noThunks ∷ Context → TxBody BabbageEra → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxBody BabbageEra → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TxBody BabbageEra) → String Source #
NoThunks (TransitionConfig BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.Transition Methods noThunks ∷ Context → TransitionConfig BabbageEra → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TransitionConfig BabbageEra → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TransitionConfig BabbageEra) → String Source #
HashAnnotated (TxBody BabbageEra) EraIndependentTxBody Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods hashAnnotated ∷ TxBody BabbageEra → SafeHash EraIndependentTxBody Source #
type ContextError BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.TxInfo type ContextError BabbageEra = BabbageContextError BabbageEra
data TxInfoResult BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.TxInfo data TxInfoResult BabbageEra = BabbageTxInfoResult (Either (ContextError BabbageEra) (PlutusTxInfo 'PlutusV1)) (Either (ContextError BabbageEra) (PlutusTxInfo 'PlutusV2))
data PlutusScript BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Scripts data PlutusScript BabbageEra = BabbagePlutusV1 !(Plutus 'PlutusV1) \| BabbagePlutusV2 !(Plutus 'PlutusV2)
type NativeScript BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Scripts type NativeScript BabbageEra = Timelock BabbageEra
type Script BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Scripts type Script BabbageEra = AlonzoScript BabbageEra
type Tx BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Tx type Tx BabbageEra = AlonzoTx BabbageEra
type TxAuxData BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.TxAuxData type TxAuxData BabbageEra = AlonzoTxAuxData BabbageEra
newtype TxBody BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody newtype TxBody BabbageEra = MkBabbageTxBody (MemoBytes BabbageTxBodyRaw)
type TxBodyUpgradeError BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody type TxBodyUpgradeError BabbageEra = BabbageTxBodyUpgradeError
type TxOut BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.TxOut type TxOut BabbageEra = BabbageTxOut BabbageEra
type TxSeq BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Tx type TxSeq BabbageEra = AlonzoTxSeq BabbageEra
type TxUpgradeError BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Tx type TxUpgradeError BabbageEra
type TxWits BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.TxWits type TxWits BabbageEra = AlonzoTxWits BabbageEra
type Value BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type Value BabbageEra = MaryValue
type PreviousEra BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type PreviousEra BabbageEra = AlonzoEra
type ProtVerHigh BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type ProtVerHigh BabbageEra = 8
type ProtVerLow BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type ProtVerLow BabbageEra = 7
type TranslationContext BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type TranslationContext BabbageEra = NoGenesis BabbageEra
type TxCert BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.TxCert type TxCert BabbageEra = ShelleyTxCert BabbageEra
type TxCertUpgradeError BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.TxCert type TxCertUpgradeError BabbageEra = Void
type Genesis BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type Genesis BabbageEra = NoGenesis BabbageEra
type CertState BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.State.CertState type CertState BabbageEra = ShelleyCertState BabbageEra
type GovState BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.PParams type GovState BabbageEra = ShelleyGovState BabbageEra
type InstantStake BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.State.Stake type InstantStake BabbageEra = ShelleyInstantStake BabbageEra
type ScriptsNeeded BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.UTxO type ScriptsNeeded BabbageEra = AlonzoScriptsNeeded BabbageEra
newtype TransitionConfig BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Transition newtype TransitionConfig BabbageEra = BabbageTransitionConfig { btcAlonzoTransitionConfig ∷ TransitionConfig AlonzoEra }
type PlutusPurpose f BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Scripts type PlutusPurpose f BabbageEra = AlonzoPlutusPurpose f BabbageEra
type EraRule "BBODY" BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "BBODY" BabbageEra = AlonzoBBODY BabbageEra
type EraRule "DELEG" BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "DELEG" BabbageEra = ShelleyDELEG BabbageEra
type EraRule "DELEGS" BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "DELEGS" BabbageEra = ShelleyDELEGS BabbageEra
type EraRule "DELPL" BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "DELPL" BabbageEra = ShelleyDELPL BabbageEra
type EraRule "EPOCH" BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "EPOCH" BabbageEra = ShelleyEPOCH BabbageEra
type EraRule "LEDGER" BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "LEDGER" BabbageEra = BabbageLEDGER BabbageEra
type EraRule "LEDGERS" BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "LEDGERS" BabbageEra = ShelleyLEDGERS BabbageEra
type EraRule "MIR" BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "MIR" BabbageEra = ShelleyMIR BabbageEra
type EraRule "NEWEPOCH" BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "NEWEPOCH" BabbageEra = ShelleyNEWEPOCH BabbageEra
type EraRule "NEWPP" BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "NEWPP" BabbageEra = ShelleyNEWPP BabbageEra
type EraRule "POOL" BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "POOL" BabbageEra = ShelleyPOOL BabbageEra
type EraRule "POOLREAP" BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "POOLREAP" BabbageEra = ShelleyPOOLREAP BabbageEra
type EraRule "PPUP" BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "PPUP" BabbageEra = ShelleyPPUP BabbageEra
type EraRule "RUPD" BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "RUPD" BabbageEra = ShelleyRUPD BabbageEra
type EraRule "SNAP" BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "SNAP" BabbageEra = ShelleySNAP BabbageEra
type EraRule "TICK" BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "TICK" BabbageEra = ShelleyTICK BabbageEra
type EraRule "TICKF" BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "TICKF" BabbageEra = ShelleyTICKF BabbageEra
type EraRule "UPEC" BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "UPEC" BabbageEra = ShelleyUPEC BabbageEra
type EraRule "UTXO" BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "UTXO" BabbageEra = BabbageUTXO BabbageEra
type EraRule "UTXOS" BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "UTXOS" BabbageEra = BabbageUTXOS BabbageEra
type EraRule "UTXOW" BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Era type EraRule "UTXOW" BabbageEra = BabbageUTXOW BabbageEra
type EraRuleEvent "LEDGER" BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules type EraRuleEvent "LEDGER" BabbageEra = ShelleyLedgerEvent BabbageEra
type EraRuleEvent "PPUP" BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules type EraRuleEvent "PPUP" BabbageEra = PpupEvent BabbageEra
type EraRuleEvent "TICK" BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules type EraRuleEvent "TICK" BabbageEra = ShelleyTickEvent BabbageEra
type EraRuleEvent "UTXOS" BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos type EraRuleEvent "UTXOS" BabbageEra = AlonzoUtxosEvent BabbageEra
type EraRuleFailure "BBODY" BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Bbody type EraRuleFailure "BBODY" BabbageEra = AlonzoBbodyPredFailure BabbageEra
type EraRuleFailure "DELEG" BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Deleg type EraRuleFailure "DELEG" BabbageEra = ShelleyDelegPredFailure BabbageEra
type EraRuleFailure "DELEGS" BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Delegs type EraRuleFailure "DELEGS" BabbageEra = ShelleyDelegsPredFailure BabbageEra
type EraRuleFailure "DELPL" BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Delpl type EraRuleFailure "DELPL" BabbageEra = ShelleyDelplPredFailure BabbageEra
type EraRuleFailure "LEDGER" BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger type EraRuleFailure "LEDGER" BabbageEra = ShelleyLedgerPredFailure BabbageEra
type EraRuleFailure "LEDGERS" BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledgers type EraRuleFailure "LEDGERS" BabbageEra = ShelleyLedgersPredFailure BabbageEra
type EraRuleFailure "POOL" BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Pool type EraRuleFailure "POOL" BabbageEra = ShelleyPoolPredFailure BabbageEra
type EraRuleFailure "PPUP" BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ppup type EraRuleFailure "PPUP" BabbageEra = ShelleyPpupPredFailure BabbageEra
type EraRuleFailure "UTXO" BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxo type EraRuleFailure "UTXO" BabbageEra = BabbageUtxoPredFailure BabbageEra
type EraRuleFailure "UTXOS" BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos type EraRuleFailure "UTXOS" BabbageEra = AlonzoUtxosPredFailure BabbageEra
type EraRuleFailure "UTXOW" BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow type EraRuleFailure "UTXOW" BabbageEra = BabbageUtxowPredFailure BabbageEra
type DowngradePParams f BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.PParams type DowngradePParams f BabbageEra = DowngradeBabbagePParams f
type PParamsHKD f BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.PParams type PParamsHKD f BabbageEra = BabbagePParams f BabbageEra
type UpgradePParams f BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.PParams type UpgradePParams f BabbageEra = ()
type TranslationError BabbageEra Tx Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra Tx = DecoderError
type TranslationError BabbageEra PParams Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra PParams = Void
type TranslationError BabbageEra CommitteeState Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra CommitteeState = Void
type TranslationError BabbageEra DState Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra DState = Void
type TranslationError BabbageEra PState Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra PState = Void
type TranslationError BabbageEra FuturePParams Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra FuturePParams = Void
type TranslationError BabbageEra UTxO Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra UTxO = Void
type TranslationError BabbageEra ShelleyGovState Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra ShelleyGovState = Void
type TranslationError BabbageEra EpochState Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra EpochState = Void
type TranslationError BabbageEra LedgerState Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra LedgerState = Void
type TranslationError BabbageEra NewEpochState Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra NewEpochState = Void
type TranslationError BabbageEra UTxOState Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra UTxOState = Void
type TranslationError BabbageEra ProposedPPUpdates Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra ProposedPPUpdates = Void
type TranslationError BabbageEra ShelleyCertState Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra ShelleyCertState = Void
type TranslationError BabbageEra ShelleyInstantStake Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra ShelleyInstantStake = Void
type Rep (PlutusScript BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.Scripts type Rep (PlutusScript BabbageEra) = D1 ('MetaData "PlutusScript" "Cardano.Ledger.Babbage.Scripts" "cardano-ledger-babbage-1.12.0.0-inplace" 'False) (C1 ('MetaCons "BabbagePlutusV1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV1))) :+: C1 ('MetaCons "BabbagePlutusV2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV2))))
type Rep (TxBody BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody type Rep (TxBody BabbageEra) = Rep (MemoBytes BabbageTxBodyRaw)
type RawType (TxBody BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody type RawType (TxBody BabbageEra) = BabbageTxBodyRaw

data BabbageTxOut era Source #

Instances

Instances details

(Era era, ToJSON (Datum era), ToJSON (Script era), Val (Value era)) ⇒ ToJSON (BabbageTxOut era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxOut Methods toJSON ∷ BabbageTxOut era → Value Source # toEncoding ∷ BabbageTxOut era → Encoding Source # toJSONList ∷ [BabbageTxOut era] → Value Source # toEncodingList ∷ [BabbageTxOut era] → Encoding Source # omitField ∷ BabbageTxOut era → Bool Source #
Generic (BabbageTxOut era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxOut Associated Types type Rep (BabbageTxOut era) ∷ Type → Type # Methods from ∷ BabbageTxOut era → Rep (BabbageTxOut era) x # to ∷ Rep (BabbageTxOut era) x → BabbageTxOut era #
(Era era, Show (Script era), Val (Value era)) ⇒ Show (BabbageTxOut era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxOut Methods showsPrec ∷ Int → BabbageTxOut era → ShowS # show ∷ BabbageTxOut era → String # showList ∷ [BabbageTxOut era] → ShowS #
(EraScript era, Val (Value era)) ⇒ FromCBOR (BabbageTxOut era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxOut Methods fromCBOR ∷ Decoder s (BabbageTxOut era) Source # label ∷ Proxy (BabbageTxOut era) → Text Source #
(EraScript era, Val (Value era)) ⇒ ToCBOR (BabbageTxOut era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxOut Methods toCBOR ∷ BabbageTxOut era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (BabbageTxOut era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [BabbageTxOut era] → Size Source #
(EraScript era, Val (Value era)) ⇒ DecCBOR (BabbageTxOut era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxOut Methods decCBOR ∷ Decoder s (BabbageTxOut era) Source # dropCBOR ∷ Proxy (BabbageTxOut era) → Decoder s () Source # label ∷ Proxy (BabbageTxOut era) → Text Source #
(EraScript era, Val (Value era), MemPack (Script era), MemPack (CompactForm (Value era))) ⇒ DecShareCBOR (BabbageTxOut era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxOut Associated Types type Share (BabbageTxOut era) Source # Methods getShare ∷ BabbageTxOut era → Share (BabbageTxOut era) Source # decShareCBOR ∷ Share (BabbageTxOut era) → Decoder s (BabbageTxOut era) Source # decSharePlusCBOR ∷ StateT (Share (BabbageTxOut era)) (Decoder s) (BabbageTxOut era) Source #
(EraScript era, Val (Value era)) ⇒ EncCBOR (BabbageTxOut era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxOut Methods encCBOR ∷ BabbageTxOut era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (BabbageTxOut era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [BabbageTxOut era] → Size Source #
NFData (BabbageTxOut era) Source #	Already in NF
Instance details Defined in Cardano.Ledger.Babbage.TxOut Methods rnf ∷ BabbageTxOut era → () #
(Era era, Eq (Script era), Eq (CompactForm (Value era))) ⇒ Eq (BabbageTxOut era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxOut Methods (==) ∷ BabbageTxOut era → BabbageTxOut era → Bool # (/=) ∷ BabbageTxOut era → BabbageTxOut era → Bool #
(Era era, MemPack (Script era), MemPack (CompactForm (Value era))) ⇒ MemPack (BabbageTxOut era) Source #	This instance is backwards compatible in binary representation with TxOut instances for all previous era
Instance details Defined in Cardano.Ledger.Babbage.TxOut Methods typeName ∷ String Source # packedByteCount ∷ BabbageTxOut era → Int Source # packM ∷ BabbageTxOut era → Pack s () Source # unpackM ∷ Buffer b ⇒ Unpack b (BabbageTxOut era) Source #
(Era era, NoThunks (Script era), Val (Value era)) ⇒ NoThunks (BabbageTxOut era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxOut Methods noThunks ∷ Context → BabbageTxOut era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BabbageTxOut era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (BabbageTxOut era) → String Source #
type Rep (BabbageTxOut era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxOut type Rep (BabbageTxOut era) = D1 ('MetaData "BabbageTxOut" "Cardano.Ledger.Babbage.TxOut" "cardano-ledger-babbage-1.12.0.0-inplace" 'False) ((C1 ('MetaCons "TxOutCompact'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 CompactAddr) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era)))) :+: (C1 ('MetaCons "TxOutCompactDH'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 CompactAddr) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era))) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DataHash))) :+: C1 ('MetaCons "TxOutCompactDatum" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 CompactAddr) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era))) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (BinaryData era)))))) :+: (C1 ('MetaCons "TxOutCompactRefScript" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 CompactAddr) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era)))) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Datum era)) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Script era)))) :+: (C1 ('MetaCons "TxOut_AddrHash28_AdaOnly" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking)) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Addr28Extra) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm Coin)))) :+: C1 ('MetaCons "TxOut_AddrHash28_AdaOnly_DataHash32" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking)) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Addr28Extra)) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm Coin)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 DataHash32))))))
type Share (BabbageTxOut era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxOut type Share (BabbageTxOut era) = Interns (Credential 'Staking)

data family TxBody era Source #

The body of a transaction.

Instances

Instances details

Generic (TxBody BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Associated Types type Rep (TxBody BabbageEra) ∷ Type → Type # Methods from ∷ TxBody BabbageEra → Rep (TxBody BabbageEra) x # to ∷ Rep (TxBody BabbageEra) x → TxBody BabbageEra #
Show (TxBody BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods showsPrec ∷ Int → TxBody BabbageEra → ShowS # show ∷ TxBody BabbageEra → String # showList ∷ [TxBody BabbageEra] → ShowS #
ToCBOR (TxBody BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods toCBOR ∷ TxBody BabbageEra → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxBody BabbageEra) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxBody BabbageEra] → Size Source #
DecCBOR (TxBody BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods decCBOR ∷ Decoder s (TxBody BabbageEra) Source # dropCBOR ∷ Proxy (TxBody BabbageEra) → Decoder s () Source # label ∷ Proxy (TxBody BabbageEra) → Text Source #
EncCBOR (TxBody BabbageEra) Source #	Encodes memoized bytes created upon construction.
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods encCBOR ∷ TxBody BabbageEra → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (TxBody BabbageEra) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [TxBody BabbageEra] → Size Source #
SafeToHash (TxBody BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods originalBytes ∷ TxBody BabbageEra → ByteString Source # originalBytesSize ∷ TxBody BabbageEra → Int Source # makeHashWithExplicitProxys ∷ Proxy i → TxBody BabbageEra → SafeHash i Source #
EqRaw (TxBody BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods eqRaw ∷ TxBody BabbageEra → TxBody BabbageEra → Bool Source #
Memoized (TxBody BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Associated Types type RawType (TxBody BabbageEra) = (r ∷ Type) Source # Methods getMemoBytes ∷ TxBody BabbageEra → MemoBytes (RawType (TxBody BabbageEra)) wrapMemoBytes ∷ MemoBytes (RawType (TxBody BabbageEra)) → TxBody BabbageEra
NFData (TxBody BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods rnf ∷ TxBody BabbageEra → () #
Eq (TxBody BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods (==) ∷ TxBody BabbageEra → TxBody BabbageEra → Bool # (/=) ∷ TxBody BabbageEra → TxBody BabbageEra → Bool #
NoThunks (TxBody BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods noThunks ∷ Context → TxBody BabbageEra → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxBody BabbageEra → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TxBody BabbageEra) → String Source #
HashAnnotated (TxBody BabbageEra) EraIndependentTxBody Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods hashAnnotated ∷ TxBody BabbageEra → SafeHash EraIndependentTxBody Source #
newtype TxBody AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.TxBody newtype TxBody AllegraEra = MkAllegraTxBody (MemoBytes (AllegraTxBodyRaw () AllegraEra))
newtype TxBody AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxBody newtype TxBody AlonzoEra = MkAlonzoTxBody (MemoBytes AlonzoTxBodyRaw)
newtype TxBody BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody newtype TxBody BabbageEra = MkBabbageTxBody (MemoBytes BabbageTxBodyRaw)
newtype TxBody MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxBody newtype TxBody MaryEra = MkMaryTxBody (MemoBytes MaryTxBodyRaw)
newtype TxBody ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.TxBody newtype TxBody ShelleyEra = MkShelleyTxBody (MemoBytes ShelleyTxBodyRaw)
type Rep (TxBody AllegraEra)
Instance details Defined in Cardano.Ledger.Allegra.TxBody type Rep (TxBody AllegraEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Allegra.TxBody" "cardano-ledger-allegra-1.8.0.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AllegraTxBodyRaw () AllegraEra)))))
type Rep (TxBody AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.TxBody type Rep (TxBody AlonzoEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Alonzo.TxBody" "cardano-ledger-alonzo-1.14.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes AlonzoTxBodyRaw))))
type Rep (TxBody BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody type Rep (TxBody BabbageEra) = Rep (MemoBytes BabbageTxBodyRaw)
type Rep (TxBody MaryEra)
Instance details Defined in Cardano.Ledger.Mary.TxBody type Rep (TxBody MaryEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Mary.TxBody" "cardano-ledger-mary-1.9.0.0-inplace" 'True) (C1 ('MetaCons "MkMaryTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes MaryTxBodyRaw))))
type Rep (TxBody ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.TxBody type Rep (TxBody ShelleyEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-1.17.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes ShelleyTxBodyRaw))))
type RawType (TxBody AllegraEra)
Instance details Defined in Cardano.Ledger.Allegra.TxBody type RawType (TxBody AllegraEra) = AllegraTxBodyRaw () AllegraEra
type RawType (TxBody AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.TxBody type RawType (TxBody AlonzoEra) = AlonzoTxBodyRaw
type RawType (TxBody BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody type RawType (TxBody BabbageEra) = BabbageTxBodyRaw
type RawType (TxBody MaryEra)
Instance details Defined in Cardano.Ledger.Mary.TxBody type RawType (TxBody MaryEra) = MaryTxBodyRaw
type RawType (TxBody ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.TxBody type RawType (TxBody ShelleyEra) = ShelleyTxBodyRaw

data AlonzoScript era Source #

Scripts in the Alonzo Era, Either a Timelock script or a Plutus script.

Instances

Instances details

AlonzoEraScript era ⇒ ToJSON (AlonzoScript era)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods toJSON ∷ AlonzoScript era → Value Source # toEncoding ∷ AlonzoScript era → Encoding Source # toJSONList ∷ [AlonzoScript era] → Value Source # toEncodingList ∷ [AlonzoScript era] → Encoding Source # omitField ∷ AlonzoScript era → Bool Source #
Generic (AlonzoScript era)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Associated Types type Rep (AlonzoScript era) ∷ Type → Type # Methods from ∷ AlonzoScript era → Rep (AlonzoScript era) x # to ∷ Rep (AlonzoScript era) x → AlonzoScript era #
(AlonzoEraScript era, Script era ~ AlonzoScript era) ⇒ Show (AlonzoScript era)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods showsPrec ∷ Int → AlonzoScript era → ShowS # show ∷ AlonzoScript era → String # showList ∷ [AlonzoScript era] → ShowS #
AlonzoEraScript era ⇒ ToCBOR (AlonzoScript era)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods toCBOR ∷ AlonzoScript era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoScript era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoScript era] → Size Source #
AlonzoEraScript era ⇒ DecCBOR (AlonzoScript era)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods decCBOR ∷ Decoder s (AlonzoScript era) Source # dropCBOR ∷ Proxy (AlonzoScript era) → Decoder s () Source # label ∷ Proxy (AlonzoScript era) → Text Source #
AlonzoEraScript era ⇒ EncCBOR (AlonzoScript era)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods encCBOR ∷ AlonzoScript era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoScript era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoScript era] → Size Source #
SafeToHash (PlutusScript era) ⇒ SafeToHash (AlonzoScript era)	Both constructors know their original bytes
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods originalBytes ∷ AlonzoScript era → ByteString Source # originalBytesSize ∷ AlonzoScript era → Int Source # makeHashWithExplicitProxys ∷ Proxy i → AlonzoScript era → SafeHash i Source #
Eq (PlutusScript era) ⇒ EqRaw (AlonzoScript era)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods eqRaw ∷ AlonzoScript era → AlonzoScript era → Bool Source #
NFData (PlutusScript era) ⇒ NFData (AlonzoScript era)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods rnf ∷ AlonzoScript era → () #
Eq (PlutusScript era) ⇒ Eq (AlonzoScript era)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods (==) ∷ AlonzoScript era → AlonzoScript era → Bool # (/=) ∷ AlonzoScript era → AlonzoScript era → Bool #
(Era era, MemPack (PlutusScript era)) ⇒ MemPack (AlonzoScript era)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods typeName ∷ String Source # packedByteCount ∷ AlonzoScript era → Int Source # packM ∷ AlonzoScript era → Pack s () Source # unpackM ∷ Buffer b ⇒ Unpack b (AlonzoScript era) Source #
(Era era, NoThunks (PlutusScript era)) ⇒ NoThunks (AlonzoScript era)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods noThunks ∷ Context → AlonzoScript era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → AlonzoScript era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (AlonzoScript era) → String Source #
type Rep (AlonzoScript era)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts type Rep (AlonzoScript era) = D1 ('MetaData "AlonzoScript" "Cardano.Ledger.Alonzo.Scripts" "cardano-ledger-alonzo-1.14.0.0-inplace" 'False) (C1 ('MetaCons "TimelockScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Timelock era))) :+: C1 ('MetaCons "PlutusScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PlutusScript era))))

data AlonzoTxAuxData era Source #

Instances

Instances details

Generic (AlonzoTxAuxData era)
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Associated Types type Rep (AlonzoTxAuxData era) ∷ Type → Type # Methods from ∷ AlonzoTxAuxData era → Rep (AlonzoTxAuxData era) x # to ∷ Rep (AlonzoTxAuxData era) x → AlonzoTxAuxData era #
Show (AlonzoTxAuxData era)
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods showsPrec ∷ Int → AlonzoTxAuxData era → ShowS # show ∷ AlonzoTxAuxData era → String # showList ∷ [AlonzoTxAuxData era] → ShowS #
Typeable era ⇒ ToCBOR (AlonzoTxAuxData era)
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods toCBOR ∷ AlonzoTxAuxData era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoTxAuxData era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoTxAuxData era] → Size Source #
Era era ⇒ DecCBOR (AlonzoTxAuxData era)
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods decCBOR ∷ Decoder s (AlonzoTxAuxData era) Source # dropCBOR ∷ Proxy (AlonzoTxAuxData era) → Decoder s () Source # label ∷ Proxy (AlonzoTxAuxData era) → Text Source #
Era era ⇒ EncCBOR (AlonzoTxAuxData era)	Encodes memoized bytes created upon construction.
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods encCBOR ∷ AlonzoTxAuxData era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoTxAuxData era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoTxAuxData era] → Size Source #
SafeToHash (AlonzoTxAuxData era)
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods originalBytes ∷ AlonzoTxAuxData era → ByteString Source # originalBytesSize ∷ AlonzoTxAuxData era → Int Source # makeHashWithExplicitProxys ∷ Proxy i → AlonzoTxAuxData era → SafeHash i Source #
EqRaw (AlonzoTxAuxData era)
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods eqRaw ∷ AlonzoTxAuxData era → AlonzoTxAuxData era → Bool Source #
Memoized (AlonzoTxAuxData era)
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Associated Types type RawType (AlonzoTxAuxData era) = (r ∷ Type) Source # Methods getMemoBytes ∷ AlonzoTxAuxData era → MemoBytes (RawType (AlonzoTxAuxData era)) wrapMemoBytes ∷ MemoBytes (RawType (AlonzoTxAuxData era)) → AlonzoTxAuxData era
NFData (AlonzoTxAuxData era)
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods rnf ∷ AlonzoTxAuxData era → () #
Eq (AlonzoTxAuxData era)
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods (==) ∷ AlonzoTxAuxData era → AlonzoTxAuxData era → Bool # (/=) ∷ AlonzoTxAuxData era → AlonzoTxAuxData era → Bool #
NoThunks (AlonzoTxAuxData era)
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods noThunks ∷ Context → AlonzoTxAuxData era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → AlonzoTxAuxData era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (AlonzoTxAuxData era) → String Source #
HashAnnotated (AlonzoTxAuxData era) EraIndependentTxAuxData
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods hashAnnotated ∷ AlonzoTxAuxData era → SafeHash EraIndependentTxAuxData Source #
type Rep (AlonzoTxAuxData era)
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData type Rep (AlonzoTxAuxData era) = D1 ('MetaData "AlonzoTxAuxData" "Cardano.Ledger.Alonzo.TxAuxData" "cardano-ledger-alonzo-1.14.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTxAuxData" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AlonzoTxAuxDataRaw era)))))
type RawType (AlonzoTxAuxData era)
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData type RawType (AlonzoTxAuxData era) = AlonzoTxAuxDataRaw era

Orphan instances

ApplyTx BabbageEra Source #
Instance details Methods applyTxValidation ∷ ValidationPolicy → Globals → MempoolEnv BabbageEra → MempoolState BabbageEra → Tx BabbageEra → Either (ApplyTxError BabbageEra) (MempoolState BabbageEra, Validated (Tx BabbageEra)) Source #
ApplyBlock BabbageEra Source #
Instance details Methods applyBlock ∷ ∀ (ep ∷ EventPolicy). SingEP ep → ValidationPolicy → Globals → NewEpochState BabbageEra → Block BHeaderView BabbageEra → (NewEpochState BabbageEra, [PredicateFailure (EraRule "BBODY" BabbageEra)], [Event (EraRule "BBODY" BabbageEra)]) Source # applyTick ∷ ∀ (ep ∷ EventPolicy). SingEP ep → Globals → NewEpochState BabbageEra → SlotNo → (NewEpochState BabbageEra, [Event (EraRule "TICK" BabbageEra)]) Source #