Documentation

Associated Types

data PlutusScript BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Scripts data PlutusScript BabbageEra = BabbagePlutusV1 !(Plutus 'PlutusV1) \| BabbagePlutusV2 !(Plutus 'PlutusV2)
type PlutusPurpose f BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Scripts type PlutusPurpose f BabbageEra = AlonzoPlutusPurpose f BabbageEra

Methods

eraMaxLanguage ∷ Language Source #

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

fromPlutusScript ∷ PlutusScript BabbageEra → Script BabbageEra Source #

mkPlutusScript ∷ ∀ (l ∷ Language) m. (PlutusLanguage l, MonadFail m) ⇒ Plutus l → m (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 'TopTx 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

Methods

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

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

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

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

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

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

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

AlonzoEraTxOut BabbageEra Source #

Instance details

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 ∷ ∀ (l ∷ TxLevel). UTxO BabbageEra → TxBody l BabbageEra → Set DataHash Source #

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

BabbageEraPParams BabbageEra Source #

Instance details

Methods

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

BabbageEraTxBody BabbageEra Source #

Instance details

Methods

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

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

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

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

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

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

BabbageEraTxOut BabbageEra Source #

Instance details

Methods

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

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

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

EraBlockBody BabbageEra Source #

Instance details

Defined in Cardano.Ledger.Babbage.BlockBody

Associated Types

type BlockBody BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.BlockBody type BlockBody BabbageEra = AlonzoBlockBody BabbageEra

Methods

mkBasicBlockBody ∷ BlockBody BabbageEra Source #

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

hashBlockBody ∷ BlockBody BabbageEra → Hash HASH EraIndependentBlockBody Source #

numSegComponents ∷ Word64 Source #

EraScript BabbageEra Source #

Instance details

Associated Types

type Script BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Scripts type Script BabbageEra = AlonzoScript BabbageEra
type NativeScript BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Scripts type NativeScript BabbageEra = Timelock BabbageEra

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 #

EraTx BabbageEra Source #

Instance details

Defined in Cardano.Ledger.Babbage.Tx

Associated Types

newtype Tx l BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Tx newtype Tx l BabbageEra = MkBabbageTx { unBabbageTx ∷ AlonzoTx l BabbageEra }

Methods

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

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

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

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

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

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

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

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

EraTxAuxData BabbageEra Source #

Instance details

Defined in Cardano.Ledger.Babbage.TxAuxData

Associated Types

type TxAuxData BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.TxAuxData type TxAuxData BabbageEra = AlonzoTxAuxData BabbageEra

Methods

mkBasicTxAuxData ∷ TxAuxData BabbageEra Source #

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

validateTxAuxData ∷ ProtVer → TxAuxData BabbageEra → Bool Source #

EraTxBody BabbageEra Source #

Instance details

Associated Types

newtype TxBody l BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.TxBody newtype TxBody l BabbageEra = MkBabbageTxBody (MemoBytes (BabbageTxBodyRaw l BabbageEra))

Methods

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

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

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

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

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

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

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

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

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

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

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

getGenesisKeyHashCountTxBody ∷ TxBody 'TopTx BabbageEra → Int Source #

EraTxOut BabbageEra Source #

Instance details

Associated Types

type TxOut BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.TxOut type TxOut BabbageEra = BabbageTxOut BabbageEra

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
Instance details Defined in Cardano.Ledger.Babbage.TxWits type TxWits BabbageEra = AlonzoTxWits BabbageEra

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 #

EraPParams BabbageEra Source #

Instance details

Associated Types

type PParamsHKD f BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.PParams type PParamsHKD f BabbageEra = BabbagePParams f BabbageEra
type UpgradePParams f BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.PParams type UpgradePParams f BabbageEra = ()
type DowngradePParams f BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.PParams type DowngradePParams f BabbageEra = DowngradeBabbagePParams f

Methods

applyPPUpdates ∷ PParams BabbageEra → PParamsUpdate BabbageEra → PParams BabbageEra Source #

emptyPParamsIdentity ∷ PParamsHKD Identity BabbageEra Source #

emptyPParamsStrictMaybe ∷ PParamsHKD StrictMaybe BabbageEra Source #

emptyUpgradePParamsUpdate ∷ UpgradePParams 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 #

hkdPoolDepositCompactL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f (CompactForm 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, AtMostEra "Alonzo" BabbageEra) ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f UnitInterval) Source #

ppDG ∷ SimpleGetter (PParams BabbageEra) UnitInterval Source #

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

hkdProtocolVersionL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, AtMostEra "Babbage" BabbageEra) ⇒ 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, AtMostEra "Mary" BabbageEra) ⇒ 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

Associated Types

type TxCert BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.TxCert type TxCert BabbageEra = ShelleyTxCert BabbageEra
type TxCertUpgradeError BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.TxCert type TxCertUpgradeError BabbageEra = Void

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 ∷ StakePoolParams → TxCert BabbageEra Source #

getRegPoolTxCert ∷ TxCert BabbageEra → Maybe StakePoolParams 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 #

EraTxLevel BabbageEra Source #

Instance details

Associated Types

type STxLevel l BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type STxLevel l BabbageEra = STxTopLevel l BabbageEra

EraGenesis BabbageEra Source #

Instance details

Associated Types

type Genesis BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Era type Genesis BabbageEra = NoGenesis BabbageEra

EraAccounts BabbageEra Source #

Instance details

Associated Types

type AccountState BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.State.Account type AccountState BabbageEra = ShelleyAccountState BabbageEra
type Accounts BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.State.Account type Accounts BabbageEra = ShelleyAccounts BabbageEra

Methods

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

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

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

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

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

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

EraCertState BabbageEra Source #

Instance details

Defined in Cardano.Ledger.Babbage.State.CertState

Associated Types

type CertState BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.State.CertState type CertState BabbageEra = ShelleyCertState BabbageEra

Methods

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

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

obligationCertState ∷ CertState BabbageEra → Obligations Source #

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

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

EraGov BabbageEra Source #

Instance details

Associated Types

type GovState BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.PParams type GovState BabbageEra = ShelleyGovState BabbageEra

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
Instance details Defined in Cardano.Ledger.Babbage.State.Stake type InstantStake BabbageEra = ShelleyInstantStake BabbageEra

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 → Accounts BabbageEra → Stake Source #

EraUTxO BabbageEra Source #

Instance details

Defined in Cardano.Ledger.Babbage.UTxO

Associated Types

type ScriptsNeeded BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.UTxO type ScriptsNeeded BabbageEra = AlonzoScriptsNeeded BabbageEra

Methods

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

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

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

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

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

getScriptsHashesNeeded ∷ ScriptsNeeded BabbageEra → Set ScriptHash Source #

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

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

Era BabbageEra

Instance details

Associated Types

type EraName BabbageEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName BabbageEra = "Babbage"
type PreviousEra BabbageEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra BabbageEra = AlonzoEra
type ProtVerLow BabbageEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow BabbageEra = 7
type ProtVerHigh BabbageEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh BabbageEra = 8

Methods

eraName ∷ String Source #

MaryEraTxBody BabbageEra Source #

Instance details

Methods

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

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

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

ApplyTx BabbageEra Source #

Instance details

Defined in Cardano.Ledger.Babbage

Methods

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

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 #

ShelleyEraAccounts BabbageEra Source #

Instance details

Methods

mkShelleyAccountState ∷ Ptr → CompactForm Coin → AccountState BabbageEra Source #

accountsPtrsMapL ∷ Lens' (Accounts BabbageEra) (Map Ptr (Credential 'Staking))

accountsPtrsMapG ∷ SimpleGetter (Accounts BabbageEra) (Map Ptr (Credential 'Staking)) Source #

ptrAccountStateG ∷ SimpleGetter (AccountState BabbageEra) Ptr Source #

EraTransition BabbageEra Source #

Instance details

Associated Types

newtype TransitionConfig BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Transition newtype TransitionConfig BabbageEra = BabbageTransitionConfig { btcAlonzoTransitionConfig ∷ TransitionConfig AlonzoEra }

ShelleyEraTxBody BabbageEra Source #

Instance details

Methods

ttlTxBodyL ∷ Lens' (TxBody 'TopTx BabbageEra) SlotNo Source #

updateTxBodyL ∷ Lens' (TxBody 'TopTx BabbageEra) (StrictMaybe (Update BabbageEra)) Source #

ShelleyEraTxCert BabbageEra Source #

Instance details

Methods

mkRegTxCert ∷ Credential 'Staking → TxCert BabbageEra Source #

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

mkUnRegTxCert ∷ Credential 'Staking → TxCert BabbageEra Source #

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

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

getDelegStakeTxCert ∷ TxCert BabbageEra → Maybe (Credential 'Staking, 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

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 #

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

EraPlutusTxInfo 'PlutusV2 BabbageEra Source #

Instance details

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 #

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

TranslateEra BabbageEra PParams Source #

Instance details

Associated Types

type TranslationError BabbageEra PParams
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra PParams = Void

Methods

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

TranslateEra BabbageEra CommitteeState Source #

Instance details

Associated Types

type TranslationError BabbageEra CommitteeState
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra CommitteeState = Void

Methods

translateEra ∷ TranslationContext BabbageEra → CommitteeState (PreviousEra BabbageEra) → Except (TranslationError BabbageEra CommitteeState) (CommitteeState BabbageEra) Source #

TranslateEra BabbageEra DState Source #

Instance details

Associated Types

type TranslationError BabbageEra DState
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra DState = Void

Methods

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

TranslateEra BabbageEra PState Source #

Instance details

Associated Types

type TranslationError BabbageEra PState
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra PState = Void

Methods

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

TranslateEra BabbageEra FuturePParams Source #

Instance details

Associated Types

type TranslationError BabbageEra FuturePParams
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra FuturePParams = Void

Methods

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

TranslateEra BabbageEra UTxO Source #

Instance details

Associated Types

type TranslationError BabbageEra UTxO
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra UTxO = Void

Methods

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

TranslateEra BabbageEra ShelleyGovState Source #

Instance details

Associated Types

type TranslationError BabbageEra ShelleyGovState
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra ShelleyGovState = Void

Methods

translateEra ∷ TranslationContext BabbageEra → ShelleyGovState (PreviousEra BabbageEra) → Except (TranslationError BabbageEra ShelleyGovState) (ShelleyGovState BabbageEra) Source #

TranslateEra BabbageEra EpochState Source #

Instance details

Associated Types

type TranslationError BabbageEra EpochState
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra EpochState = Void

Methods

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

TranslateEra BabbageEra LedgerState Source #

Instance details

Associated Types

type TranslationError BabbageEra LedgerState
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra LedgerState = Void

Methods

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

TranslateEra BabbageEra NewEpochState Source #

Instance details

Associated Types

type TranslationError BabbageEra NewEpochState
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra NewEpochState = Void

Methods

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

TranslateEra BabbageEra UTxOState Source #

Instance details

TranslateEra BabbageEra ProposedPPUpdates Source #

Associated Types

type TranslationError BabbageEra UTxOState
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra UTxOState = Void

Methods

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

Instance details

Associated Types

type TranslationError BabbageEra ProposedPPUpdates
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra ProposedPPUpdates = Void

Methods

translateEra ∷ TranslationContext BabbageEra → ProposedPPUpdates (PreviousEra BabbageEra) → Except (TranslationError BabbageEra ProposedPPUpdates) (ProposedPPUpdates BabbageEra) Source #

TranslateEra BabbageEra ShelleyAccounts Source #

Instance details

TranslateEra BabbageEra ShelleyCertState Source #

Associated Types

type TranslationError BabbageEra ShelleyAccounts
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra ShelleyAccounts = Void

Methods

translateEra ∷ TranslationContext BabbageEra → ShelleyAccounts (PreviousEra BabbageEra) → Except (TranslationError BabbageEra ShelleyAccounts) (ShelleyAccounts BabbageEra) Source #

Instance details

TranslateEra BabbageEra ShelleyInstantStake Source #

Associated Types

type TranslationError BabbageEra ShelleyCertState
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra ShelleyCertState = Void

Methods

translateEra ∷ TranslationContext BabbageEra → ShelleyCertState (PreviousEra BabbageEra) → Except (TranslationError BabbageEra ShelleyCertState) (ShelleyCertState BabbageEra) Source #

Instance details

HasEraTxLevel BabbageTxBodyRaw BabbageEra Source #

Associated Types

type TranslationError BabbageEra ShelleyInstantStake
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra ShelleyInstantStake = Void

Methods

translateEra ∷ TranslationContext BabbageEra → ShelleyInstantStake (PreviousEra BabbageEra) → Except (TranslationError BabbageEra ShelleyInstantStake) (ShelleyInstantStake BabbageEra) Source #

Instance details

Methods

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

HasEraTxLevel Tx BabbageEra Source #

Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

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

HasEraTxLevel TxBody BabbageEra Source #

Instance details

Methods

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

InjectRuleEvent "UTXOS" AlonzoUtxosEvent BabbageEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" AllegraUtxoPredFailure BabbageEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" AlonzoBbodyPredFailure BabbageEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" AlonzoUtxoPredFailure BabbageEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" AlonzoUtxosPredFailure BabbageEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" AlonzoUtxowPredFailure BabbageEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" BabbageUtxoPredFailure BabbageEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" BabbageUtxowPredFailure BabbageEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyBbodyPredFailure BabbageEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyDelegPredFailure BabbageEra Source #

Instance details

Methods

injectFailure ∷ ShelleyDelegPredFailure BabbageEra → EraRuleFailure "BBODY" BabbageEra Source #

InjectRuleFailure "BBODY" ShelleyDelegsPredFailure BabbageEra Source #

Instance details

Methods

injectFailure ∷ ShelleyDelegsPredFailure BabbageEra → EraRuleFailure "BBODY" BabbageEra Source #

InjectRuleFailure "BBODY" ShelleyDelplPredFailure BabbageEra Source #

Instance details

Methods

injectFailure ∷ ShelleyDelplPredFailure BabbageEra → EraRuleFailure "BBODY" BabbageEra Source #

InjectRuleFailure "BBODY" ShelleyLedgerPredFailure BabbageEra Source #

Instance details

Methods

injectFailure ∷ ShelleyLedgerPredFailure BabbageEra → EraRuleFailure "BBODY" BabbageEra Source #

InjectRuleFailure "BBODY" ShelleyLedgersPredFailure BabbageEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyPoolPredFailure BabbageEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyPpupPredFailure BabbageEra Source #

Instance details

Methods

injectFailure ∷ ShelleyPpupPredFailure BabbageEra → EraRuleFailure "BBODY" BabbageEra Source #

InjectRuleFailure "BBODY" ShelleyUtxoPredFailure BabbageEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyUtxowPredFailure BabbageEra Source #

Instance details

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

Methods

injectFailure ∷ ShelleyDelegPredFailure BabbageEra → EraRuleFailure "DELEGS" BabbageEra Source #

InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure BabbageEra Source #

Instance details

Methods

injectFailure ∷ ShelleyDelegsPredFailure BabbageEra → EraRuleFailure "DELEGS" BabbageEra Source #

InjectRuleFailure "DELEGS" ShelleyDelplPredFailure BabbageEra Source #

Instance details

Methods

injectFailure ∷ ShelleyDelplPredFailure BabbageEra → EraRuleFailure "DELEGS" BabbageEra Source #

InjectRuleFailure "DELEGS" ShelleyPoolPredFailure BabbageEra Source #

Instance details

Methods

injectFailure ∷ ShelleyPoolPredFailure BabbageEra → EraRuleFailure "DELEGS" BabbageEra Source #

InjectRuleFailure "DELPL" ShelleyDelegPredFailure BabbageEra Source #

Instance details

Methods

injectFailure ∷ ShelleyDelegPredFailure BabbageEra → EraRuleFailure "DELPL" BabbageEra Source #

InjectRuleFailure "DELPL" ShelleyDelplPredFailure BabbageEra Source #

Instance details

Methods

injectFailure ∷ ShelleyDelplPredFailure BabbageEra → EraRuleFailure "DELPL" BabbageEra Source #

InjectRuleFailure "DELPL" ShelleyPoolPredFailure BabbageEra Source #

Instance details

Methods

injectFailure ∷ ShelleyPoolPredFailure BabbageEra → EraRuleFailure "DELPL" BabbageEra Source #

InjectRuleFailure "LEDGER" AllegraUtxoPredFailure BabbageEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" AlonzoUtxoPredFailure BabbageEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" AlonzoUtxosPredFailure BabbageEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" AlonzoUtxowPredFailure BabbageEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" BabbageUtxoPredFailure BabbageEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" BabbageUtxowPredFailure BabbageEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" ShelleyDelegPredFailure BabbageEra Source #

Instance details

Methods

injectFailure ∷ ShelleyDelegPredFailure BabbageEra → EraRuleFailure "LEDGER" BabbageEra Source #

InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure BabbageEra Source #

Instance details

Methods

injectFailure ∷ ShelleyDelegsPredFailure BabbageEra → EraRuleFailure "LEDGER" BabbageEra Source #

InjectRuleFailure "LEDGER" ShelleyDelplPredFailure BabbageEra Source #

Instance details

Methods

injectFailure ∷ ShelleyDelplPredFailure BabbageEra → EraRuleFailure "LEDGER" BabbageEra Source #

InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure BabbageEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" ShelleyPoolPredFailure BabbageEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" ShelleyPpupPredFailure BabbageEra Source #

Instance details

Methods

injectFailure ∷ ShelleyPpupPredFailure BabbageEra → EraRuleFailure "LEDGER" BabbageEra Source #

InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure BabbageEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure BabbageEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" AllegraUtxoPredFailure BabbageEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" AlonzoUtxoPredFailure BabbageEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" AlonzoUtxosPredFailure BabbageEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" AlonzoUtxowPredFailure BabbageEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" BabbageUtxoPredFailure BabbageEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" BabbageUtxowPredFailure BabbageEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure BabbageEra Source #

Instance details

Methods

injectFailure ∷ ShelleyDelegPredFailure BabbageEra → EraRuleFailure "LEDGERS" BabbageEra Source #

InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure BabbageEra Source #

Instance details

Methods

injectFailure ∷ ShelleyDelegsPredFailure BabbageEra → EraRuleFailure "LEDGERS" BabbageEra Source #

InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure BabbageEra Source #

Instance details

Methods

injectFailure ∷ ShelleyDelplPredFailure BabbageEra → EraRuleFailure "LEDGERS" BabbageEra Source #

InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure BabbageEra Source #

Instance details

Methods

injectFailure ∷ ShelleyLedgerPredFailure BabbageEra → EraRuleFailure "LEDGERS" BabbageEra Source #

InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure BabbageEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure BabbageEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure BabbageEra Source #

Instance details

Methods

injectFailure ∷ ShelleyPpupPredFailure BabbageEra → EraRuleFailure "LEDGERS" BabbageEra Source #

InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure BabbageEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure BabbageEra Source #

Instance details

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

Methods

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

InjectRuleFailure "UTXO" AlonzoUtxoPredFailure BabbageEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXO" AlonzoUtxosPredFailure BabbageEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXO" BabbageUtxoPredFailure BabbageEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXO" ShelleyPpupPredFailure BabbageEra Source #

Instance details

Methods

injectFailure ∷ ShelleyPpupPredFailure BabbageEra → EraRuleFailure "UTXO" BabbageEra Source #

InjectRuleFailure "UTXO" ShelleyUtxoPredFailure BabbageEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure BabbageEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXOS" ShelleyPpupPredFailure BabbageEra Source #

Instance details

Methods

injectFailure ∷ ShelleyPpupPredFailure BabbageEra → EraRuleFailure "UTXOS" BabbageEra Source #

InjectRuleFailure "UTXOW" AllegraUtxoPredFailure BabbageEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXOW" AlonzoUtxoPredFailure BabbageEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXOW" AlonzoUtxosPredFailure BabbageEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure BabbageEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXOW" BabbageUtxoPredFailure BabbageEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXOW" BabbageUtxowPredFailure BabbageEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXOW" ShelleyPpupPredFailure BabbageEra Source #

Instance details

Methods

injectFailure ∷ ShelleyPpupPredFailure BabbageEra → EraRuleFailure "UTXOW" BabbageEra Source #

InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure BabbageEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure BabbageEra Source #

Instance details

Methods

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

TranslateEra BabbageEra (Tx 'TopTx) Source #

Instance details

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 #

Typeable l ⇒ DecCBOR (Annotator (BabbageTxBodyRaw l BabbageEra)) Source #

Instance details

Methods

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

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

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

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

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 (TxBody l BabbageEra)) Source #

Instance details

Methods

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

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

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

SafeToHash (PlutusScript BabbageEra) Source #

Instance details

Methods

originalBytes ∷ PlutusScript BabbageEra → ByteString Source #

originalBytesSize ∷ PlutusScript BabbageEra → Int Source #

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

NFData (PlutusScript BabbageEra) Source #

Instance details

Methods

rnf ∷ PlutusScript BabbageEra → () #

Generic (PlutusScript BabbageEra) Source #

Instance details

Associated Types

type Rep (PlutusScript BabbageEra)

Instance details

type Rep (PlutusScript BabbageEra) = D1 ('MetaData "PlutusScript" "Cardano.Ledger.Babbage.Scripts" "cardano-ledger-babbage-1.13.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))))

Methods

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

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

Show (PlutusScript BabbageEra) Source #

Instance details

Methods

showsPrec ∷ Int → PlutusScript BabbageEra → ShowS #

show ∷ PlutusScript BabbageEra → String #

showList ∷ [PlutusScript BabbageEra] → ShowS #

Show (TransitionConfig BabbageEra) Source #

Instance details

Methods

showsPrec ∷ Int → TransitionConfig BabbageEra → ShowS #

show ∷ TransitionConfig BabbageEra → String #

showList ∷ [TransitionConfig BabbageEra] → ShowS #

Eq (PlutusScript BabbageEra) Source #

Instance details

Methods

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

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

Eq (TransitionConfig BabbageEra) Source #

Instance details

Methods

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

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

Ord (PlutusScript BabbageEra) Source #

Instance details

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

Methods

typeName ∷ String Source #

packedByteCount ∷ PlutusScript BabbageEra → Int Source #

packM ∷ PlutusScript BabbageEra → Pack s () Source #

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

NoThunks (PlutusScript BabbageEra) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (PlutusScript BabbageEra) → String Source #

NoThunks (TransitionConfig BabbageEra) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (TransitionConfig BabbageEra) → String Source #

Typeable l ⇒ ToCBOR (Tx l BabbageEra) Source #

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 (TxBody l BabbageEra) Source #

Instance details

Methods

toCBOR ∷ TxBody l BabbageEra → Encoding Source #

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

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

Typeable l ⇒ DecCBOR (BabbageTxBodyRaw l BabbageEra) Source #

Instance details

Methods

decCBOR ∷ Decoder s (BabbageTxBodyRaw l BabbageEra) Source #

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

label ∷ Proxy (BabbageTxBodyRaw l BabbageEra) → Text Source #

EncCBOR (BabbageTxBodyRaw l BabbageEra) Source #

Instance details

Methods

encCBOR ∷ BabbageTxBodyRaw l BabbageEra → Encoding Source #

EncCBOR (Tx l BabbageEra) Source #

Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

encCBOR ∷ Tx l BabbageEra → Encoding Source #

EncCBOR (TxBody l BabbageEra) Source #

Encodes memoized bytes created upon construction.

Instance details

Methods

encCBOR ∷ TxBody l BabbageEra → Encoding Source #

SafeToHash (TxBody l BabbageEra) Source #

Instance details

Methods

originalBytes ∷ TxBody l BabbageEra → ByteString Source #

originalBytesSize ∷ TxBody l BabbageEra → Int Source #

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

EqRaw (BabbageTxBodyRaw l BabbageEra) Source #

Instance details

Methods

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

EqRaw (Tx l BabbageEra) Source #

Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

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

EqRaw (TxBody l BabbageEra) Source #

Instance details

Methods

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

Memoized (TxBody l BabbageEra) Source #

Instance details

Associated Types

type RawType (TxBody l BabbageEra)
Instance details Defined in Cardano.Ledger.Babbage.TxBody type RawType (TxBody l BabbageEra) = BabbageTxBodyRaw l BabbageEra

Methods

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

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

NFData (BabbageTxBodyRaw l BabbageEra) Source #

Instance details

Methods

rnf ∷ BabbageTxBodyRaw l BabbageEra → () #

NFData (Tx l BabbageEra) Source #

Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

rnf ∷ Tx l BabbageEra → () #

NFData (TxBody l BabbageEra) Source #

Instance details

Methods

rnf ∷ TxBody l BabbageEra → () #

Generic (Tx l BabbageEra) Source #

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 (TxBody l BabbageEra) Source #

Instance details

Associated Types

type Rep (TxBody l BabbageEra)
Instance details Defined in Cardano.Ledger.Babbage.TxBody type Rep (TxBody l BabbageEra) = Rep (MemoBytes (BabbageTxBodyRaw l BabbageEra))

Methods

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

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

Show (BabbageTxBodyRaw l BabbageEra) Source #

Instance details

Methods

showsPrec ∷ Int → BabbageTxBodyRaw l BabbageEra → ShowS #

show ∷ BabbageTxBodyRaw l BabbageEra → String #

showList ∷ [BabbageTxBodyRaw l BabbageEra] → ShowS #

Show (Tx l BabbageEra) Source #

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 (TxBody l BabbageEra) Source #

Instance details

Methods

showsPrec ∷ Int → TxBody l BabbageEra → ShowS #

show ∷ TxBody l BabbageEra → String #

showList ∷ [TxBody l BabbageEra] → ShowS #

Eq (BabbageTxBodyRaw l BabbageEra) Source #

Instance details

Methods

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

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

Eq (Tx l BabbageEra) Source #

Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

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

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

Eq (TxBody l BabbageEra) Source #

Instance details

Methods

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

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

Typeable l ⇒ NoThunks (BabbageTxBodyRaw l BabbageEra) Source #

Instance details

Methods

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

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

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

Typeable l ⇒ NoThunks (Tx l BabbageEra) Source #

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 (TxBody l BabbageEra) Source #

Instance details

Methods

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

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

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

HashAnnotated (TxBody l BabbageEra) EraIndependentTxBody Source #

Instance details

Methods

hashAnnotated ∷ TxBody l BabbageEra → SafeHash EraIndependentTxBody Source #

type ContextError BabbageEra Source #

Instance details

type ContextError BabbageEra = BabbageContextError BabbageEra

data TxInfoResult BabbageEra Source #

Instance details

data TxInfoResult BabbageEra = BabbageTxInfoResult (Either (ContextError BabbageEra) (PlutusTxInfo 'PlutusV1)) (Either (ContextError BabbageEra) (PlutusTxInfo 'PlutusV2))

data PlutusScript BabbageEra Source #

Instance details

data PlutusScript BabbageEra

= BabbagePlutusV1 !(Plutus 'PlutusV1)
| BabbagePlutusV2 !(Plutus 'PlutusV2)

type BlockBody BabbageEra Source #

Instance details

Defined in Cardano.Ledger.Babbage.BlockBody

type BlockBody BabbageEra = AlonzoBlockBody BabbageEra

type NativeScript BabbageEra Source #

Instance details

type NativeScript BabbageEra = Timelock BabbageEra

type Script BabbageEra Source #

Instance details

type Script BabbageEra = AlonzoScript BabbageEra

type TxAuxData BabbageEra Source #

Instance details

Defined in Cardano.Ledger.Babbage.TxAuxData

type TxAuxData BabbageEra = AlonzoTxAuxData BabbageEra

type TxOut BabbageEra Source #

Instance details

type TxOut BabbageEra = BabbageTxOut BabbageEra

type TxWits BabbageEra Source #

Instance details

Defined in Cardano.Ledger.Babbage.TxWits

type TxWits BabbageEra = AlonzoTxWits BabbageEra

type Value BabbageEra Source #

Instance details

type Value BabbageEra = MaryValue

type TranslationContext BabbageEra Source #

Instance details

type TranslationContext BabbageEra = NoGenesis BabbageEra

type TxCert BabbageEra Source #

Instance details

type TxCert BabbageEra = ShelleyTxCert BabbageEra

type TxCertUpgradeError BabbageEra Source #

Instance details

type TxCertUpgradeError BabbageEra = Void

type Genesis BabbageEra Source #

Instance details

type Genesis BabbageEra = NoGenesis BabbageEra

type AccountState BabbageEra Source #

Instance details

type AccountState BabbageEra = ShelleyAccountState BabbageEra

type Accounts BabbageEra Source #

Instance details

type Accounts BabbageEra = ShelleyAccounts 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

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

type EraName BabbageEra

Instance details

type EraName BabbageEra = "Babbage"

type PreviousEra BabbageEra

Instance details

type PreviousEra BabbageEra = AlonzoEra

type ProtVerHigh BabbageEra

Instance details

type ProtVerHigh BabbageEra = 8

type ProtVerLow BabbageEra

Instance details

type ProtVerLow BabbageEra = 7

newtype TransitionConfig BabbageEra Source #

Instance details

newtype TransitionConfig BabbageEra = BabbageTransitionConfig {

btcAlonzoTransitionConfig ∷ TransitionConfig AlonzoEra

}

type PlutusPurpose f BabbageEra Source #

Instance details

type PlutusPurpose f BabbageEra = AlonzoPlutusPurpose f BabbageEra

newtype Tx l BabbageEra Source #

Instance details

Defined in Cardano.Ledger.Babbage.Tx

newtype Tx l BabbageEra = MkBabbageTx {

unBabbageTx ∷ AlonzoTx l BabbageEra

}

newtype TxBody l BabbageEra Source #

Instance details

newtype TxBody l BabbageEra = MkBabbageTxBody (MemoBytes (BabbageTxBodyRaw l BabbageEra))

type EraRule "BBODY" BabbageEra Source #

Instance details

type EraRule "BBODY" BabbageEra = AlonzoBBODY BabbageEra

type EraRule "DELEG" BabbageEra Source #

Instance details

type EraRule "DELEG" BabbageEra = ShelleyDELEG BabbageEra

type EraRule "DELEGS" BabbageEra Source #

Instance details

type EraRule "DELEGS" BabbageEra = ShelleyDELEGS BabbageEra

type EraRule "DELPL" BabbageEra Source #

Instance details

type EraRule "DELPL" BabbageEra = ShelleyDELPL BabbageEra

type EraRule "EPOCH" BabbageEra Source #

Instance details

type EraRule "EPOCH" BabbageEra = ShelleyEPOCH BabbageEra

type EraRule "LEDGER" BabbageEra Source #

Instance details

type EraRule "LEDGER" BabbageEra = BabbageLEDGER BabbageEra

type EraRule "LEDGERS" BabbageEra Source #

Instance details

type EraRule "LEDGERS" BabbageEra = ShelleyLEDGERS BabbageEra

type EraRule "MIR" BabbageEra Source #

Instance details

type EraRule "MIR" BabbageEra = ShelleyMIR BabbageEra

type EraRule "NEWEPOCH" BabbageEra Source #

Instance details

type EraRule "NEWEPOCH" BabbageEra = ShelleyNEWEPOCH BabbageEra

type EraRule "NEWPP" BabbageEra Source #

Instance details

type EraRule "NEWPP" BabbageEra = ShelleyNEWPP BabbageEra

type EraRule "POOL" BabbageEra Source #

Instance details

type EraRule "POOL" BabbageEra = ShelleyPOOL BabbageEra

type EraRule "POOLREAP" BabbageEra Source #

Instance details

type EraRule "POOLREAP" BabbageEra = ShelleyPOOLREAP BabbageEra

type EraRule "PPUP" BabbageEra Source #

Instance details

type EraRule "PPUP" BabbageEra = ShelleyPPUP BabbageEra

type EraRule "RUPD" BabbageEra Source #

Instance details

type EraRule "RUPD" BabbageEra = ShelleyRUPD BabbageEra

type EraRule "SNAP" BabbageEra Source #

Instance details

type EraRule "SNAP" BabbageEra = ShelleySNAP BabbageEra

type EraRule "TICK" BabbageEra Source #

Instance details

type EraRule "TICK" BabbageEra = ShelleyTICK BabbageEra

type EraRule "TICKF" BabbageEra Source #

Instance details

type EraRule "TICKF" BabbageEra = ShelleyTICKF BabbageEra

type EraRule "UPEC" BabbageEra Source #

Instance details

type EraRule "UPEC" BabbageEra = ShelleyUPEC BabbageEra

type EraRule "UTXO" BabbageEra Source #

Instance details

type EraRule "UTXO" BabbageEra = BabbageUTXO BabbageEra

type EraRule "UTXOS" BabbageEra Source #

Instance details

type EraRule "UTXOS" BabbageEra = BabbageUTXOS BabbageEra

type EraRule "UTXOW" BabbageEra Source #

Instance details

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

type EraRuleEvent "UTXOS" BabbageEra = AlonzoUtxosEvent BabbageEra

type EraRuleFailure "BBODY" BabbageEra Source #

Instance details

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

type EraRuleFailure "DELEGS" BabbageEra = ShelleyDelegsPredFailure BabbageEra

type EraRuleFailure "DELPL" BabbageEra Source #

Instance details

type EraRuleFailure "DELPL" BabbageEra = ShelleyDelplPredFailure BabbageEra

type EraRuleFailure "LEDGER" BabbageEra Source #

Instance details

type EraRuleFailure "LEDGER" BabbageEra = ShelleyLedgerPredFailure BabbageEra

type EraRuleFailure "LEDGERS" BabbageEra Source #

Instance details

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

type EraRuleFailure "UTXO" BabbageEra = BabbageUtxoPredFailure BabbageEra

type EraRuleFailure "UTXOS" BabbageEra Source #

Instance details

type EraRuleFailure "UTXOS" BabbageEra = AlonzoUtxosPredFailure BabbageEra

type EraRuleFailure "UTXOW" BabbageEra Source #

Instance details

type EraRuleFailure "UTXOW" BabbageEra = BabbageUtxowPredFailure BabbageEra

type DowngradePParams f BabbageEra Source #

Instance details

type DowngradePParams f BabbageEra = DowngradeBabbagePParams f

type PParamsHKD f BabbageEra Source #

Instance details

type PParamsHKD f BabbageEra = BabbagePParams f BabbageEra

type UpgradePParams f BabbageEra Source #

Instance details

type UpgradePParams f BabbageEra = ()

type TranslationError BabbageEra PParams Source #

Instance details

type TranslationError BabbageEra PParams = Void

type TranslationError BabbageEra CommitteeState Source #

Instance details

type TranslationError BabbageEra CommitteeState = Void

type TranslationError BabbageEra DState Source #

Instance details

type TranslationError BabbageEra DState = Void

type TranslationError BabbageEra PState Source #

Instance details

type TranslationError BabbageEra PState = Void

type TranslationError BabbageEra FuturePParams Source #

Instance details

type TranslationError BabbageEra FuturePParams = Void

type TranslationError BabbageEra UTxO Source #

Instance details

type TranslationError BabbageEra UTxO = Void

type TranslationError BabbageEra ShelleyGovState Source #

Instance details

type TranslationError BabbageEra ShelleyGovState = Void

type TranslationError BabbageEra EpochState Source #

Instance details

type TranslationError BabbageEra EpochState = Void

type TranslationError BabbageEra LedgerState Source #

Instance details

type TranslationError BabbageEra LedgerState = Void

type TranslationError BabbageEra NewEpochState Source #

Instance details

type TranslationError BabbageEra NewEpochState = Void

type TranslationError BabbageEra UTxOState Source #

Instance details

type TranslationError BabbageEra UTxOState = Void

type TranslationError BabbageEra ProposedPPUpdates Source #

Instance details

type TranslationError BabbageEra ProposedPPUpdates = Void

type TranslationError BabbageEra ShelleyAccounts Source #

Instance details

type TranslationError BabbageEra ShelleyAccounts = Void

type TranslationError BabbageEra ShelleyCertState Source #

Instance details

type TranslationError BabbageEra ShelleyCertState = Void

type TranslationError BabbageEra ShelleyInstantStake Source #

Instance details

type TranslationError BabbageEra ShelleyInstantStake = Void

type STxLevel l BabbageEra Source #

Instance details

type STxLevel l BabbageEra = STxTopLevel l BabbageEra

type TranslationError BabbageEra (Tx 'TopTx) Source #

Instance details

type TranslationError BabbageEra (Tx 'TopTx) = DecoderError

type Rep (PlutusScript BabbageEra) Source #

Instance details

type Rep (PlutusScript BabbageEra) = D1 ('MetaData "PlutusScript" "Cardano.Ledger.Babbage.Scripts" "cardano-ledger-babbage-1.13.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 RawType (TxBody l BabbageEra) Source #

Instance details

type RawType (TxBody l BabbageEra) = BabbageTxBodyRaw l BabbageEra

type Rep (Tx l BabbageEra) Source #

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))))

type Rep (TxBody l BabbageEra) Source #

Instance details

type Rep (TxBody l BabbageEra) = Rep (MemoBytes (BabbageTxBodyRaw l BabbageEra))

data BabbageTxOut era Source #

Instances

Instances details

(Era era, Val (Value era), ToJSON (Script era)) ⇒ ToJSON (BabbageTxOut era) Source #

Instance details

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 #

(EraScript era, Val (Value era)) ⇒ FromCBOR (BabbageTxOut era) Source #

Instance details

Methods

fromCBOR ∷ Decoder s (BabbageTxOut era) Source #

label ∷ Proxy (BabbageTxOut era) → Text Source #

(EraScript era, Val (Value era)) ⇒ ToCBOR (BabbageTxOut era) Source #

Instance details

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

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

Associated Types

type Share (BabbageTxOut era)
Instance details Defined in Cardano.Ledger.Babbage.TxOut type Share (BabbageTxOut era) = Interns (Credential 'Staking)

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

Methods

encCBOR ∷ BabbageTxOut era → Encoding Source #

(Era era, Val (Value era), ToJSON (Script era)) ⇒ ToKeyValuePairs (BabbageTxOut era) Source #

Instance details

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ BabbageTxOut era → [kv] Source #

NFData (BabbageTxOut era) Source #

Already in NF

Instance details

Methods

rnf ∷ BabbageTxOut era → () #

Generic (BabbageTxOut era) Source #

Instance details

Associated Types

type Rep (BabbageTxOut era)

Instance details

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

Methods

showsPrec ∷ Int → BabbageTxOut era → ShowS #

show ∷ BabbageTxOut era → String #

showList ∷ [BabbageTxOut era] → ShowS #

(Era era, Eq (Script era), Eq (CompactForm (Value era))) ⇒ Eq (BabbageTxOut era) Source #

Instance details

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

Methods

typeName ∷ String Source #

packedByteCount ∷ BabbageTxOut era → Int Source #

packM ∷ BabbageTxOut era → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b (BabbageTxOut era) Source #

(Era era, NoThunks (Script era), Val (Value era)) ⇒ NoThunks (BabbageTxOut era) Source #

Instance details

Methods

noThunks ∷ Context → BabbageTxOut era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → BabbageTxOut era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (BabbageTxOut era) → String Source #

type Share (BabbageTxOut era) Source #

type Rep (BabbageTxOut era) Source #

Instance details

HasEraTxLevel TxBody AllegraEra

data family TxBody (l ∷ TxLevel) era Source #

The body of a transaction.

Instances

Instances details

Instance details

HasEraTxLevel TxBody AlonzoEra

Methods

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

Instance details

Methods

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

HasEraTxLevel TxBody BabbageEra Source #

Instance details

Methods

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

HasEraTxLevel TxBody MaryEra

Instance details

HasEraTxLevel TxBody ShelleyEra

Methods

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

Instance details

Methods

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

EraTxBody era ⇒ HasOKey TxId (TxBody l era)

Instance details

Defined in Cardano.Ledger.Core

Methods

toOKey ∷ TxBody l era → TxId Source #

Typeable l ⇒ DecCBOR (Annotator (TxBody l AllegraEra))

Instance details

Methods

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

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

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

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

Instance details

Methods

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

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

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

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

Instance details

Methods

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

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

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

Typeable l ⇒ DecCBOR (Annotator (TxBody l MaryEra))

Instance details

Methods

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

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

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

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

Instance details

Methods

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

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

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

Typeable l ⇒ ToCBOR (TxBody l AllegraEra)

Instance details

Methods

toCBOR ∷ TxBody l AllegraEra → Encoding Source #

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

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

Typeable l ⇒ ToCBOR (TxBody l AlonzoEra)

Instance details

Methods

toCBOR ∷ TxBody l AlonzoEra → Encoding Source #

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

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

Typeable l ⇒ ToCBOR (TxBody l BabbageEra) Source #

Instance details

Methods

toCBOR ∷ TxBody l BabbageEra → Encoding Source #

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

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

Typeable l ⇒ ToCBOR (TxBody l MaryEra)

Instance details

Methods

toCBOR ∷ TxBody l MaryEra → Encoding Source #

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

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

Typeable l ⇒ ToCBOR (TxBody l ShelleyEra)

Instance details

Methods

toCBOR ∷ TxBody l ShelleyEra → Encoding Source #

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

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

EncCBOR (TxBody l AllegraEra)

Instance details

Methods

encCBOR ∷ TxBody l AllegraEra → Encoding Source #

EncCBOR (TxBody l AlonzoEra)

Encodes memoized bytes created upon construction.

Instance details

Methods

encCBOR ∷ TxBody l AlonzoEra → Encoding Source #

EncCBOR (TxBody l BabbageEra) Source #

Encodes memoized bytes created upon construction.

Instance details

Methods

encCBOR ∷ TxBody l BabbageEra → Encoding Source #

EncCBOR (TxBody l MaryEra)

Instance details

Methods

encCBOR ∷ TxBody l MaryEra → Encoding Source #

EncCBOR (TxBody l ShelleyEra)

Instance details

Methods

encCBOR ∷ TxBody l ShelleyEra → Encoding Source #

SafeToHash (TxBody l AllegraEra)

Instance details

Methods

originalBytes ∷ TxBody l AllegraEra → ByteString Source #

originalBytesSize ∷ TxBody l AllegraEra → Int Source #

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

SafeToHash (TxBody l AlonzoEra)

Instance details

Methods

originalBytes ∷ TxBody l AlonzoEra → ByteString Source #

originalBytesSize ∷ TxBody l AlonzoEra → Int Source #

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

SafeToHash (TxBody l BabbageEra) Source #

Instance details

Methods

originalBytes ∷ TxBody l BabbageEra → ByteString Source #

originalBytesSize ∷ TxBody l BabbageEra → Int Source #

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

SafeToHash (TxBody l MaryEra)

Instance details

Methods

originalBytes ∷ TxBody l MaryEra → ByteString Source #

originalBytesSize ∷ TxBody l MaryEra → Int Source #

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

SafeToHash (TxBody l ShelleyEra)

Instance details

Methods

originalBytes ∷ TxBody l ShelleyEra → ByteString Source #

originalBytesSize ∷ TxBody l ShelleyEra → Int Source #

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

EqRaw (TxBody l AllegraEra)

Instance details

Methods

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

EqRaw (TxBody l AlonzoEra)

Instance details

Methods

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

EqRaw (TxBody l BabbageEra) Source #

Instance details

Methods

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

EqRaw (TxBody l MaryEra)

Instance details

Methods

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

EqRaw (TxBody l ShelleyEra)

Instance details

Methods

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

Memoized (TxBody l AllegraEra)

Instance details

Associated Types

type RawType (TxBody l AllegraEra)
Instance details Defined in Cardano.Ledger.Allegra.TxBody type RawType (TxBody l AllegraEra) = AllegraTxBodyRaw () l AllegraEra

Methods

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

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

Memoized (TxBody l AlonzoEra)

Instance details

Associated Types

type RawType (TxBody l AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.TxBody type RawType (TxBody l AlonzoEra) = AlonzoTxBodyRaw l AlonzoEra

Methods

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

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

Memoized (TxBody l BabbageEra) Source #

Instance details

Associated Types

type RawType (TxBody l BabbageEra)
Instance details Defined in Cardano.Ledger.Babbage.TxBody type RawType (TxBody l BabbageEra) = BabbageTxBodyRaw l BabbageEra

Methods

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

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

Memoized (TxBody l MaryEra)

Instance details

Associated Types

type RawType (TxBody l MaryEra)
Instance details Defined in Cardano.Ledger.Mary.TxBody type RawType (TxBody l MaryEra) = AllegraTxBodyRaw MultiAsset l MaryEra

Methods

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

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

Memoized (TxBody l ShelleyEra)

Instance details

Associated Types

type RawType (TxBody l ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.TxBody type RawType (TxBody l ShelleyEra) = ShelleyTxBodyRaw l ShelleyEra

Methods

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

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

NFData (TxBody l AllegraEra)

Instance details

Methods

rnf ∷ TxBody l AllegraEra → () #

NFData (TxBody l AlonzoEra)

Instance details

Methods

rnf ∷ TxBody l AlonzoEra → () #

NFData (TxBody l BabbageEra) Source #

Instance details

Methods

rnf ∷ TxBody l BabbageEra → () #

NFData (TxBody l MaryEra)

Instance details

Methods

rnf ∷ TxBody l MaryEra → () #

NFData (TxBody l ShelleyEra)

Instance details

Methods

rnf ∷ TxBody l ShelleyEra → () #

Generic (TxBody l AllegraEra)

Instance details

Associated Types

type Rep (TxBody l AllegraEra)
Instance details Defined in Cardano.Ledger.Allegra.TxBody type Rep (TxBody l AllegraEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Allegra.TxBody" "cardano-ledger-allegra-1.9.0.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AllegraTxBodyRaw () l AllegraEra)))))

Methods

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

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

Generic (TxBody l AlonzoEra)

Instance details

Associated Types

type Rep (TxBody l AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.TxBody type Rep (TxBody l AlonzoEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Alonzo.TxBody" "cardano-ledger-alonzo-1.15.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AlonzoTxBodyRaw l AlonzoEra)))))

Methods

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

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

Generic (TxBody l BabbageEra) Source #

Instance details

Associated Types

type Rep (TxBody l BabbageEra)
Instance details Defined in Cardano.Ledger.Babbage.TxBody type Rep (TxBody l BabbageEra) = Rep (MemoBytes (BabbageTxBodyRaw l BabbageEra))

Methods

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

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

Generic (TxBody l MaryEra)

Instance details

Associated Types

type Rep (TxBody l MaryEra)
Instance details Defined in Cardano.Ledger.Mary.TxBody type Rep (TxBody l MaryEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Mary.TxBody" "cardano-ledger-mary-1.10.0.0-inplace" 'True) (C1 ('MetaCons "MkMaryTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (MaryTxBodyRaw l)))))

Methods

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

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

Generic (TxBody l ShelleyEra)

Instance details

Associated Types

type Rep (TxBody l ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.TxBody type Rep (TxBody l ShelleyEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxBodyRaw l ShelleyEra)))))

Methods

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

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

Show (TxBody l AllegraEra)

Instance details

Methods

showsPrec ∷ Int → TxBody l AllegraEra → ShowS #

show ∷ TxBody l AllegraEra → String #

showList ∷ [TxBody l AllegraEra] → ShowS #

Show (TxBody l AlonzoEra)

Instance details

Methods

showsPrec ∷ Int → TxBody l AlonzoEra → ShowS #

show ∷ TxBody l AlonzoEra → String #

showList ∷ [TxBody l AlonzoEra] → ShowS #

Show (TxBody l BabbageEra) Source #

Instance details

Methods

showsPrec ∷ Int → TxBody l BabbageEra → ShowS #

show ∷ TxBody l BabbageEra → String #

showList ∷ [TxBody l BabbageEra] → ShowS #

Show (TxBody l MaryEra)

Instance details

Methods

showsPrec ∷ Int → TxBody l MaryEra → ShowS #

show ∷ TxBody l MaryEra → String #

showList ∷ [TxBody l MaryEra] → ShowS #

Show (TxBody l ShelleyEra)

Instance details

Methods

showsPrec ∷ Int → TxBody l ShelleyEra → ShowS #

show ∷ TxBody l ShelleyEra → String #

showList ∷ [TxBody l ShelleyEra] → ShowS #

Eq (TxBody l AllegraEra)

Instance details

Methods

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

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

Eq (TxBody l AlonzoEra)

Instance details

Methods

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

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

Eq (TxBody l BabbageEra) Source #

Instance details

Methods

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

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

Eq (TxBody l MaryEra)

Instance details

Methods

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

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

Eq (TxBody l ShelleyEra)

Instance details

Methods

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

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

Typeable l ⇒ NoThunks (TxBody l AllegraEra)

Instance details

Methods

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

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

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

Typeable l ⇒ NoThunks (TxBody l AlonzoEra)

Instance details

Methods

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

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

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

Typeable l ⇒ NoThunks (TxBody l BabbageEra) Source #

Instance details

Methods

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

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

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

Typeable l ⇒ NoThunks (TxBody l MaryEra)

Instance details

Methods

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

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

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

Typeable l ⇒ NoThunks (TxBody l ShelleyEra)

Instance details

Methods

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

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

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

HashAnnotated (TxBody l AllegraEra) EraIndependentTxBody

Instance details

Methods

hashAnnotated ∷ TxBody l AllegraEra → SafeHash EraIndependentTxBody Source #

HashAnnotated (TxBody l AlonzoEra) EraIndependentTxBody

Instance details

Methods

hashAnnotated ∷ TxBody l AlonzoEra → SafeHash EraIndependentTxBody Source #

HashAnnotated (TxBody l BabbageEra) EraIndependentTxBody Source #

Instance details

Methods

hashAnnotated ∷ TxBody l BabbageEra → SafeHash EraIndependentTxBody Source #

HashAnnotated (TxBody l MaryEra) EraIndependentTxBody

Instance details

Methods

hashAnnotated ∷ TxBody l MaryEra → SafeHash EraIndependentTxBody Source #

HashAnnotated (TxBody l ShelleyEra) EraIndependentTxBody

Instance details

Methods

hashAnnotated ∷ TxBody l ShelleyEra → SafeHash EraIndependentTxBody Source #

newtype TxBody l AllegraEra

Instance details

newtype TxBody l AllegraEra = MkAllegraTxBody (MemoBytes (AllegraTxBodyRaw () l AllegraEra))

newtype TxBody l AlonzoEra

Instance details

newtype TxBody l AlonzoEra = MkAlonzoTxBody (MemoBytes (AlonzoTxBodyRaw l AlonzoEra))

newtype TxBody l BabbageEra Source #

Instance details

newtype TxBody l BabbageEra = MkBabbageTxBody (MemoBytes (BabbageTxBodyRaw l BabbageEra))

newtype TxBody l MaryEra

Instance details

newtype TxBody l MaryEra = MkMaryTxBody (MemoBytes (MaryTxBodyRaw l))

newtype TxBody l ShelleyEra

Instance details

newtype TxBody l ShelleyEra = MkShelleyTxBody (MemoBytes (ShelleyTxBodyRaw l ShelleyEra))

type RawType (TxBody l AllegraEra)

Instance details

type RawType (TxBody l AllegraEra) = AllegraTxBodyRaw () l AllegraEra

type RawType (TxBody l AlonzoEra)

Instance details

type RawType (TxBody l AlonzoEra) = AlonzoTxBodyRaw l AlonzoEra

type RawType (TxBody l BabbageEra) Source #

Instance details

type RawType (TxBody l BabbageEra) = BabbageTxBodyRaw l BabbageEra

type RawType (TxBody l MaryEra)

Instance details

type RawType (TxBody l MaryEra) = AllegraTxBodyRaw MultiAsset l MaryEra

type RawType (TxBody l ShelleyEra)

Instance details

type RawType (TxBody l ShelleyEra) = ShelleyTxBodyRaw l ShelleyEra

type Rep (TxBody l AllegraEra)

Instance details

type Rep (TxBody l AllegraEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Allegra.TxBody" "cardano-ledger-allegra-1.9.0.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AllegraTxBodyRaw () l AllegraEra)))))

type Rep (TxBody l AlonzoEra)

Instance details

type Rep (TxBody l AlonzoEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Alonzo.TxBody" "cardano-ledger-alonzo-1.15.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AlonzoTxBodyRaw l AlonzoEra)))))

type Rep (TxBody l BabbageEra) Source #

Instance details

type Rep (TxBody l BabbageEra) = Rep (MemoBytes (BabbageTxBodyRaw l BabbageEra))

type Rep (TxBody l MaryEra)

Instance details

type Rep (TxBody l MaryEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Mary.TxBody" "cardano-ledger-mary-1.10.0.0-inplace" 'True) (C1 ('MetaCons "MkMaryTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (MaryTxBodyRaw l)))))

type Rep (TxBody l ShelleyEra)

Instance details

type Rep (TxBody l ShelleyEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxBodyRaw l ShelleyEra)))))

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

Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). Tx l BabbageEra → STxLevel l BabbageEra 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) Source #

Instance details

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

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

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

Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

encCBOR ∷ Tx l BabbageEra → 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) Source #

Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

eqRaw ∷ Tx l BabbageEra → Tx l BabbageEra → 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) Source #

Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

rnf ∷ Tx l BabbageEra → () #

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

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

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

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

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

Instance details

Defined in Cardano.Ledger.Babbage.Tx

newtype Tx l BabbageEra = MkBabbageTx {

unBabbageTx ∷ AlonzoTx l BabbageEra

}

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

Instance details

type TranslationError BabbageEra (Tx 'TopTx) = DecoderError

type TranslationError MaryEra (Tx 'TopTx)

Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra (Tx 'TopTx) = DecoderError

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))))

type Rep (Tx l BabbageEra) Source #

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))))

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))))

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))))

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))))

data AlonzoScript era Source #

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

Instances

Instances details

AlonzoEraScript era ⇒ ToJSON (AlonzoScript era)

Instance details

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 #

AlonzoEraScript era ⇒ ToCBOR (AlonzoScript era)

Instance details

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 (Annotator (AlonzoScript era))

Instance details

Methods

decCBOR ∷ Decoder s (Annotator (AlonzoScript era)) Source #

dropCBOR ∷ Proxy (Annotator (AlonzoScript era)) → Decoder s () Source #

label ∷ Proxy (Annotator (AlonzoScript era)) → Text Source #

AlonzoEraScript era ⇒ EncCBOR (AlonzoScript era)

Instance details

Methods

encCBOR ∷ AlonzoScript era → Encoding Source #

(SafeToHash (PlutusScript era), SafeToHash (NativeScript era)) ⇒ SafeToHash (AlonzoScript era)

Both constructors know their original bytes

Instance details

Methods

originalBytes ∷ AlonzoScript era → ByteString Source #

originalBytesSize ∷ AlonzoScript era → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → AlonzoScript era → SafeHash i Source #

(Eq (PlutusScript era), EqRaw (NativeScript era)) ⇒ EqRaw (AlonzoScript era)

Instance details

Methods

eqRaw ∷ AlonzoScript era → AlonzoScript era → Bool Source #

(NFData (PlutusScript era), NFData (NativeScript era)) ⇒ NFData (AlonzoScript era)

Instance details

Methods

rnf ∷ AlonzoScript era → () #

Generic (AlonzoScript era)

Instance details

Associated Types

type Rep (AlonzoScript era)

Instance details

type Rep (AlonzoScript era) = D1 ('MetaData "AlonzoScript" "Cardano.Ledger.Alonzo.Scripts" "cardano-ledger-alonzo-1.15.0.0-inplace" 'False) (C1 ('MetaCons "NativeScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NativeScript era))) :+: C1 ('MetaCons "PlutusScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PlutusScript era))))

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

Methods

showsPrec ∷ Int → AlonzoScript era → ShowS #

show ∷ AlonzoScript era → String #

showList ∷ [AlonzoScript era] → ShowS #

(Eq (PlutusScript era), Eq (NativeScript era)) ⇒ Eq (AlonzoScript era)

Instance details

Methods

(==) ∷ AlonzoScript era → AlonzoScript era → Bool #

(/=) ∷ AlonzoScript era → AlonzoScript era → Bool #

(Era era, MemPack (PlutusScript era), MemPack (NativeScript era)) ⇒ MemPack (AlonzoScript era)

Instance details

Methods

typeName ∷ String Source #

packedByteCount ∷ AlonzoScript era → Int Source #

packM ∷ AlonzoScript era → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b (AlonzoScript era) Source #

(Era era, NoThunks (PlutusScript era), NoThunks (NativeScript era)) ⇒ NoThunks (AlonzoScript era)

Instance details

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

type Rep (AlonzoScript era) = D1 ('MetaData "AlonzoScript" "Cardano.Ledger.Alonzo.Scripts" "cardano-ledger-alonzo-1.15.0.0-inplace" 'False) (C1 ('MetaCons "NativeScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NativeScript era))) :+: C1 ('MetaCons "PlutusScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PlutusScript era))))

data AlonzoTxAuxData era Source #

Instances

Instances details

Typeable era ⇒ ToCBOR (AlonzoTxAuxData era)

Instance details

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 (Annotator (NativeScript era)), Typeable (NativeScript era)) ⇒ DecCBOR (Annotator (AlonzoTxAuxData era))

Instance details

Methods

decCBOR ∷ Decoder s (Annotator (AlonzoTxAuxData era)) Source #

dropCBOR ∷ Proxy (Annotator (AlonzoTxAuxData era)) → Decoder s () Source #

label ∷ Proxy (Annotator (AlonzoTxAuxData era)) → Text Source #

Era era ⇒ EncCBOR (AlonzoTxAuxData era)

Encodes memoized bytes created upon construction.

Instance details

Methods

encCBOR ∷ AlonzoTxAuxData era → Encoding Source #

SafeToHash (AlonzoTxAuxData era)

Instance details

Methods

originalBytes ∷ AlonzoTxAuxData era → ByteString Source #

originalBytesSize ∷ AlonzoTxAuxData era → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → AlonzoTxAuxData era → SafeHash i Source #

Eq (NativeScript era) ⇒ EqRaw (AlonzoTxAuxData era)

Instance details

Methods

eqRaw ∷ AlonzoTxAuxData era → AlonzoTxAuxData era → Bool Source #

Memoized (AlonzoTxAuxData era)

Instance details

Associated Types

type RawType (AlonzoTxAuxData era)
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData type RawType (AlonzoTxAuxData era) = AlonzoTxAuxDataRaw era

Methods

getMemoBytes ∷ AlonzoTxAuxData era → MemoBytes (RawType (AlonzoTxAuxData era))

wrapMemoBytes ∷ MemoBytes (RawType (AlonzoTxAuxData era)) → AlonzoTxAuxData era

NFData (NativeScript era) ⇒ NFData (AlonzoTxAuxData era)

Instance details

Methods

rnf ∷ AlonzoTxAuxData era → () #

Generic (AlonzoTxAuxData era)

Instance details

Associated Types

type Rep (AlonzoTxAuxData era)

Instance details

type Rep (AlonzoTxAuxData era) = D1 ('MetaData "AlonzoTxAuxData" "Cardano.Ledger.Alonzo.TxAuxData" "cardano-ledger-alonzo-1.15.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTxAuxData" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AlonzoTxAuxDataRaw era)))))

Methods

from ∷ AlonzoTxAuxData era → Rep (AlonzoTxAuxData era) x #

to ∷ Rep (AlonzoTxAuxData era) x → AlonzoTxAuxData era #

Show (NativeScript era) ⇒ Show (AlonzoTxAuxData era)

Instance details

Methods

showsPrec ∷ Int → AlonzoTxAuxData era → ShowS #

show ∷ AlonzoTxAuxData era → String #

showList ∷ [AlonzoTxAuxData era] → ShowS #

Eq (NativeScript era) ⇒ Eq (AlonzoTxAuxData era)

Instance details

Methods

(==) ∷ AlonzoTxAuxData era → AlonzoTxAuxData era → Bool #

(/=) ∷ AlonzoTxAuxData era → AlonzoTxAuxData era → Bool #

NoThunks (AlonzoTxAuxData era)

Instance details

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

Methods

hashAnnotated ∷ AlonzoTxAuxData era → SafeHash EraIndependentTxAuxData Source #

type RawType (AlonzoTxAuxData era)

Instance details

type RawType (AlonzoTxAuxData era) = AlonzoTxAuxDataRaw era

type Rep (AlonzoTxAuxData era)

Instance details