Documentation

Associated Types

newtype PlutusScript AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Scripts newtype PlutusScript AlonzoEra = AlonzoPlutusV1 (Plutus 'PlutusV1)
type PlutusPurpose f AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Scripts type PlutusPurpose f AlonzoEra = AlonzoPlutusPurpose f AlonzoEra

Methods

eraMaxLanguage ∷ Language Source #

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

fromPlutusScript ∷ PlutusScript AlonzoEra → Script AlonzoEra Source #

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

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

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

mkSpendingPurpose ∷ f Word32 TxIn → PlutusPurpose f AlonzoEra Source #

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

mkMintingPurpose ∷ f Word32 PolicyID → PlutusPurpose f AlonzoEra Source #

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

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

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

mkRewardingPurpose ∷ f Word32 RewardAccount → PlutusPurpose f AlonzoEra Source #

toRewardingPurpose ∷ PlutusPurpose f AlonzoEra → Maybe (f Word32 RewardAccount) Source #

upgradePlutusPurposeAsIx ∷ PlutusPurpose AsIx (PreviousEra AlonzoEra) → PlutusPurpose AsIx AlonzoEra Source #

AlonzoEraTx AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

isValidTxL ∷ Lens' (Tx 'TopTx AlonzoEra) IsValid Source #

AlonzoEraTxAuxData AlonzoEra Source #

Instance details

Methods

plutusScriptsTxAuxDataL ∷ Lens' (TxAuxData AlonzoEra) (Map Language (NonEmpty PlutusBinary)) Source #

AlonzoEraTxBody AlonzoEra Source #

Instance details

Methods

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

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

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

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

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

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

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

AlonzoEraTxOut AlonzoEra Source #

Instance details

Methods

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

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

AlonzoEraTxWits AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

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

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

AlonzoEraUTxO AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.UTxO

Methods

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

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

EraBlockBody AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.BlockBody.Internal

Associated Types

type BlockBody AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.BlockBody.Internal type BlockBody AlonzoEra = AlonzoBlockBody AlonzoEra

Methods

mkBasicBlockBody ∷ BlockBody AlonzoEra Source #

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

hashBlockBody ∷ BlockBody AlonzoEra → Hash HASH EraIndependentBlockBody Source #

numSegComponents ∷ Word64 Source #

EraScript AlonzoEra Source #

Instance details

Associated Types

type Script AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Scripts type Script AlonzoEra = AlonzoScript AlonzoEra
type NativeScript AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Scripts type NativeScript AlonzoEra = Timelock AlonzoEra

Methods

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

scriptPrefixTag ∷ Script AlonzoEra → ByteString Source #

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

fromNativeScript ∷ NativeScript AlonzoEra → Script AlonzoEra Source #

EraTx AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Associated Types

newtype Tx l AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Tx newtype Tx l AlonzoEra = MkAlonzoTx { unAlonzoTx ∷ AlonzoTx l AlonzoEra }

Methods

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

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

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

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

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

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

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

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

EraTxAuxData AlonzoEra Source #

Instance details

Associated Types

type TxAuxData AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData type TxAuxData AlonzoEra = AlonzoTxAuxData AlonzoEra

Methods

mkBasicTxAuxData ∷ TxAuxData AlonzoEra Source #

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

validateTxAuxData ∷ ProtVer → TxAuxData AlonzoEra → Bool Source #

EraTxBody AlonzoEra Source #

Instance details

Associated Types

newtype TxBody l AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxBody newtype TxBody l AlonzoEra = MkAlonzoTxBody (MemoBytes (AlonzoTxBodyRaw l AlonzoEra))

Methods

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

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

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

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

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

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

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

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

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

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

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

getGenesisKeyHashCountTxBody ∷ TxBody 'TopTx AlonzoEra → Int Source #

EraTxOut AlonzoEra Source #

Instance details

Associated Types

type TxOut AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxOut type TxOut AlonzoEra = AlonzoTxOut AlonzoEra

Methods

mkBasicTxOut ∷ Addr → Value AlonzoEra → TxOut AlonzoEra Source #

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

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

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

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

addrTxOutL ∷ Lens' (TxOut AlonzoEra) Addr Source #

compactAddrTxOutL ∷ Lens' (TxOut AlonzoEra) CompactAddr Source #

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

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

getMinCoinTxOut ∷ PParams AlonzoEra → TxOut AlonzoEra → Coin Source #

EraTxWits AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Associated Types

type TxWits AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxWits type TxWits AlonzoEra = AlonzoTxWits AlonzoEra

Methods

mkBasicTxWits ∷ TxWits AlonzoEra Source #

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

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

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

EraPParams AlonzoEra Source #

Instance details

Associated Types

type PParamsHKD f AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.PParams type PParamsHKD f AlonzoEra = AlonzoPParams f AlonzoEra
type UpgradePParams f AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.PParams type UpgradePParams f AlonzoEra = UpgradeAlonzoPParams f
type DowngradePParams f AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.PParams type DowngradePParams f AlonzoEra = DowngradeAlonzoPParams f

Methods

applyPPUpdates ∷ PParams AlonzoEra → PParamsUpdate AlonzoEra → PParams AlonzoEra Source #

emptyPParamsIdentity ∷ PParamsHKD Identity AlonzoEra Source #

emptyPParamsStrictMaybe ∷ PParamsHKD StrictMaybe AlonzoEra Source #

emptyUpgradePParamsUpdate ∷ UpgradePParams StrictMaybe AlonzoEra Source #

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ppDG ∷ SimpleGetter (PParams AlonzoEra) UnitInterval Source #

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

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

ppProtocolVersionL ∷ Lens' (PParams AlonzoEra) ProtVer Source #

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

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

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

eraPParams ∷ [PParam AlonzoEra] Source #

EraTxCert AlonzoEra Source #

Instance details

Associated Types

type TxCert AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxCert type TxCert AlonzoEra = ShelleyTxCert AlonzoEra
type TxCertUpgradeError AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxCert type TxCertUpgradeError AlonzoEra = Void

Methods

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

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

getScriptWitnessTxCert ∷ TxCert AlonzoEra → Maybe ScriptHash Source #

mkRegPoolTxCert ∷ StakePoolParams → TxCert AlonzoEra Source #

getRegPoolTxCert ∷ TxCert AlonzoEra → Maybe StakePoolParams Source #

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

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

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

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

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

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

EraTxLevel AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Era

Associated Types

type STxLevel l AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type STxLevel l AlonzoEra = STxTopLevel l AlonzoEra

EraGenesis AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Genesis

Associated Types

type Genesis AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Genesis type Genesis AlonzoEra = AlonzoGenesis

EraAccounts AlonzoEra Source #

Instance details

Associated Types

type AccountState AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.State.Account type AccountState AlonzoEra = ShelleyAccountState AlonzoEra
type Accounts AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.State.Account type Accounts AlonzoEra = ShelleyAccounts AlonzoEra

Methods

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

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

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

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

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

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

EraCertState AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.State.CertState

Associated Types

type CertState AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.State.CertState type CertState AlonzoEra = ShelleyCertState AlonzoEra

Methods

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

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

obligationCertState ∷ CertState AlonzoEra → Obligations Source #

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

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

EraGov AlonzoEra Source #

Instance details

Associated Types

type GovState AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.PParams type GovState AlonzoEra = ShelleyGovState AlonzoEra

Methods

emptyGovState ∷ GovState AlonzoEra Source #

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

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

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

obligationGovState ∷ GovState AlonzoEra → Obligations Source #

EraStake AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.State.Stake

Associated Types

type InstantStake AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.State.Stake type InstantStake AlonzoEra = ShelleyInstantStake AlonzoEra

Methods

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

addInstantStake ∷ UTxO AlonzoEra → InstantStake AlonzoEra → InstantStake AlonzoEra Source #

deleteInstantStake ∷ UTxO AlonzoEra → InstantStake AlonzoEra → InstantStake AlonzoEra Source #

resolveInstantStake ∷ InstantStake AlonzoEra → Accounts AlonzoEra → Stake Source #

EraUTxO AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.UTxO

Associated Types

type ScriptsNeeded AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.UTxO type ScriptsNeeded AlonzoEra = AlonzoScriptsNeeded AlonzoEra

Methods

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

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

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

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

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

getScriptsHashesNeeded ∷ ScriptsNeeded AlonzoEra → Set ScriptHash Source #

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

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

Era AlonzoEra

Instance details

Associated Types

type EraName AlonzoEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName AlonzoEra = "Alonzo"
type PreviousEra AlonzoEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra AlonzoEra = MaryEra
type ProtVerLow AlonzoEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow AlonzoEra = 5
type ProtVerHigh AlonzoEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh AlonzoEra = 6

Methods

eraName ∷ String Source #

MaryEraTxBody AlonzoEra Source #

Instance details

Methods

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

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

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

ApplyTx AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo

Methods

applyTxValidation ∷ ValidationPolicy → Globals → MempoolEnv AlonzoEra → MempoolState AlonzoEra → Tx 'TopTx AlonzoEra → Either (ApplyTxError AlonzoEra) (MempoolState AlonzoEra, Validated (Tx 'TopTx AlonzoEra)) Source #

ApplyBlock AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo

Methods

applyBlock ∷ ∀ (ep ∷ EventPolicy). SingEP ep → ValidationPolicy → Globals → NewEpochState AlonzoEra → Block BHeaderView AlonzoEra → (NewEpochState AlonzoEra, [PredicateFailure (EraRule "BBODY" AlonzoEra)], [Event (EraRule "BBODY" AlonzoEra)]) Source #

applyTick ∷ ∀ (ep ∷ EventPolicy). SingEP ep → Globals → NewEpochState AlonzoEra → SlotNo → (NewEpochState AlonzoEra, [Event (EraRule "TICK" AlonzoEra)]) Source #

ShelleyEraScript AlonzoEra Source #

Instance details

Methods

mkRequireSignature ∷ KeyHash 'Witness → NativeScript AlonzoEra Source #

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

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

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

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

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

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

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

ShelleyEraAccounts AlonzoEra Source #

Instance details

Methods

mkShelleyAccountState ∷ Ptr → CompactForm Coin → AccountState AlonzoEra Source #

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

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

ptrAccountStateG ∷ SimpleGetter (AccountState AlonzoEra) Ptr Source #

EraTransition AlonzoEra Source #

Instance details

Associated Types

data TransitionConfig AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Transition data TransitionConfig AlonzoEra = AlonzoTransitionConfig { atcAlonzoGenesis ∷ !AlonzoGenesis atcMaryTransitionConfig ∷ !(TransitionConfig MaryEra) }

ShelleyEraTxBody AlonzoEra Source #

Instance details

Methods

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

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

ShelleyEraTxCert AlonzoEra Source #

Instance details

Methods

mkRegTxCert ∷ Credential 'Staking → TxCert AlonzoEra Source #

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

mkUnRegTxCert ∷ Credential 'Staking → TxCert AlonzoEra Source #

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

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

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

mkGenesisDelegTxCert ∷ GenesisDelegCert → TxCert AlonzoEra Source #

getGenesisDelegTxCert ∷ TxCert AlonzoEra → Maybe GenesisDelegCert Source #

mkMirTxCert ∷ MIRCert → TxCert AlonzoEra Source #

getMirTxCert ∷ TxCert AlonzoEra → Maybe MIRCert Source #

EraPlutusTxInfo 'PlutusV1 AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo

Methods

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

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

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

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

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

TranslateEra AlonzoEra PParams Source #

Instance details

Associated Types

type TranslationError AlonzoEra PParams
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra PParams = Void

Methods

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

TranslateEra AlonzoEra CommitteeState Source #

Instance details

Associated Types

type TranslationError AlonzoEra CommitteeState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra CommitteeState = Void

Methods

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

TranslateEra AlonzoEra DState Source #

Instance details

Associated Types

type TranslationError AlonzoEra DState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra DState = Void

Methods

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

TranslateEra AlonzoEra PState Source #

Instance details

Associated Types

type TranslationError AlonzoEra PState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra PState = Void

Methods

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

TranslateEra AlonzoEra FuturePParams Source #

Instance details

Associated Types

type TranslationError AlonzoEra FuturePParams
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra FuturePParams = Void

Methods

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

TranslateEra AlonzoEra UTxO Source #

Instance details

Associated Types

type TranslationError AlonzoEra UTxO
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra UTxO = Void

Methods

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

TranslateEra AlonzoEra ShelleyGovState Source #

Instance details

Associated Types

type TranslationError AlonzoEra ShelleyGovState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra ShelleyGovState = Void

Methods

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

TranslateEra AlonzoEra EpochState Source #

Instance details

Associated Types

type TranslationError AlonzoEra EpochState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra EpochState = Void

Methods

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

TranslateEra AlonzoEra LedgerState Source #

Instance details

Associated Types

type TranslationError AlonzoEra LedgerState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra LedgerState = Void

Methods

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

TranslateEra AlonzoEra NewEpochState Source #

Instance details

Associated Types

type TranslationError AlonzoEra NewEpochState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra NewEpochState = Void

Methods

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

TranslateEra AlonzoEra UTxOState Source #

Instance details

TranslateEra AlonzoEra ProposedPPUpdates Source #

Associated Types

type TranslationError AlonzoEra UTxOState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra UTxOState = Void

Methods

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

Instance details

Associated Types

type TranslationError AlonzoEra ProposedPPUpdates
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra ProposedPPUpdates = Void

Methods

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

TranslateEra AlonzoEra ShelleyAccounts Source #

Instance details

Associated Types

type TranslationError AlonzoEra ShelleyAccounts
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra ShelleyAccounts = Void

Methods

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

TranslateEra AlonzoEra ShelleyCertState Source #

Instance details

TranslateEra AlonzoEra ShelleyInstantStake Source #

Associated Types

type TranslationError AlonzoEra ShelleyCertState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra ShelleyCertState = Void

Methods

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

Instance details

Associated Types

type TranslationError AlonzoEra ShelleyInstantStake
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra ShelleyInstantStake = Void

Methods

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

HasEraTxLevel AlonzoTxBodyRaw AlonzoEra Source #

Instance details

Methods

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

HasEraTxLevel Tx AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

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

HasEraTxLevel TxBody AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" AllegraUtxoPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" AlonzoBbodyPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" AlonzoUtxoPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" AlonzoUtxosPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" AlonzoUtxowPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyBbodyPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyDelegPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyDelegsPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyDelplPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyLedgerPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyLedgersPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyPoolPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyPpupPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyUtxoPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyUtxowPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "DELEG" ShelleyDelegPredFailure AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Deleg

Methods

injectFailure ∷ ShelleyDelegPredFailure AlonzoEra → EraRuleFailure "DELEG" AlonzoEra Source #

InjectRuleFailure "DELEGS" ShelleyDelegPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "DELEGS" ShelleyDelplPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "DELEGS" ShelleyPoolPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "DELPL" ShelleyDelegPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "DELPL" ShelleyDelplPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "DELPL" ShelleyPoolPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" AllegraUtxoPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" AlonzoUtxoPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" AlonzoUtxosPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" AlonzoUtxowPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" ShelleyDelegPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" ShelleyDelplPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" ShelleyPoolPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" ShelleyPpupPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" AllegraUtxoPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" AlonzoUtxoPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" AlonzoUtxosPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" AlonzoUtxowPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "POOL" ShelleyPoolPredFailure AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Pool

Methods

injectFailure ∷ ShelleyPoolPredFailure AlonzoEra → EraRuleFailure "POOL" AlonzoEra Source #

InjectRuleFailure "PPUP" ShelleyPpupPredFailure AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ppup

Methods

injectFailure ∷ ShelleyPpupPredFailure AlonzoEra → EraRuleFailure "PPUP" AlonzoEra Source #

InjectRuleFailure "UTXO" AllegraUtxoPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXO" AlonzoUtxoPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXO" AlonzoUtxosPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXO" ShelleyPpupPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXO" ShelleyUtxoPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

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

InjectRuleFailure "UTXOS" ShelleyPpupPredFailure AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

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

InjectRuleFailure "UTXOW" AllegraUtxoPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXOW" AlonzoUtxoPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXOW" AlonzoUtxosPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXOW" ShelleyPpupPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure AlonzoEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure AlonzoEra Source #

Instance details

Methods

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

TranslateEra AlonzoEra (Tx 'TopTx) Source #

Instance details

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 #

Typeable l ⇒ DecCBOR (Annotator (AlonzoTxBodyRaw l AlonzoEra)) Source #

Instance details

Methods

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

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

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

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

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

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 #

SafeToHash (PlutusScript AlonzoEra) Source #

Instance details

Methods

originalBytes ∷ PlutusScript AlonzoEra → ByteString Source #

originalBytesSize ∷ PlutusScript AlonzoEra → Int Source #

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

NFData (PlutusScript AlonzoEra) Source #

Instance details

Methods

rnf ∷ PlutusScript AlonzoEra → () #

Generic (PlutusScript AlonzoEra) Source #

Instance details

Associated Types

type Rep (PlutusScript AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts type Rep (PlutusScript AlonzoEra) = Rep (Plutus 'PlutusV1)

Methods

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

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

Generic (TransitionConfig AlonzoEra) Source #

Instance details

Associated Types

type Rep (TransitionConfig AlonzoEra)

Instance details

type Rep (TransitionConfig AlonzoEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Alonzo.Transition" "cardano-ledger-alonzo-1.15.0.0-inplace" 'False) (C1 ('MetaCons "AlonzoTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "atcAlonzoGenesis") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 AlonzoGenesis) :*: S1 ('MetaSel ('Just "atcMaryTransitionConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TransitionConfig MaryEra))))

Methods

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

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

Show (PlutusScript AlonzoEra) Source #

Instance details

Methods

showsPrec ∷ Int → PlutusScript AlonzoEra → ShowS #

show ∷ PlutusScript AlonzoEra → String #

showList ∷ [PlutusScript AlonzoEra] → ShowS #

Show (TransitionConfig AlonzoEra) Source #

Instance details

Methods

showsPrec ∷ Int → TransitionConfig AlonzoEra → ShowS #

show ∷ TransitionConfig AlonzoEra → String #

showList ∷ [TransitionConfig AlonzoEra] → ShowS #

Eq (PlutusScript AlonzoEra) Source #

Instance details

Methods

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

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

Eq (TransitionConfig AlonzoEra) Source #

Instance details

Methods

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

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

Ord (PlutusScript AlonzoEra) Source #

Instance details

Methods

compare ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Ordering #

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

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

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

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

max ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → PlutusScript AlonzoEra #

min ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → PlutusScript AlonzoEra #

MemPack (PlutusScript AlonzoEra) Source #

It might seem that this instance unnecessarily utilizes a zero Tag, but it is needed for forward compatibility with plutus scripts from future eras.

That being said, currently this instance is not used at all, since reference scripts where introduced in Babbage era and MemPack for now is only used for TxOuts

Instance details

Methods

packedByteCount ∷ PlutusScript AlonzoEra → Int Source #

packM ∷ PlutusScript AlonzoEra → Pack s () Source #

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

NoThunks (PlutusScript AlonzoEra) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (PlutusScript AlonzoEra) → String Source #

NoThunks (TransitionConfig AlonzoEra) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (TransitionConfig AlonzoEra) → String Source #

Typeable l ⇒ ToCBOR (Tx l AlonzoEra) Source #

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

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 ⇒ DecCBOR (AlonzoTxBodyRaw l AlonzoEra) Source #

Instance details

Methods

decCBOR ∷ Decoder s (AlonzoTxBodyRaw l AlonzoEra) Source #

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

label ∷ Proxy (AlonzoTxBodyRaw l AlonzoEra) → Text Source #

EncCBOR (AlonzoTxBodyRaw l AlonzoEra) Source #

Instance details

Methods

encCBOR ∷ AlonzoTxBodyRaw l AlonzoEra → Encoding Source #

EncCBOR (Tx l AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

encCBOR ∷ Tx l AlonzoEra → Encoding Source #

EncCBOR (TxBody l AlonzoEra) Source #

Encodes memoized bytes created upon construction.

Instance details

Methods

encCBOR ∷ TxBody l AlonzoEra → Encoding Source #

SafeToHash (TxBody l AlonzoEra) Source #

Instance details

Methods

originalBytes ∷ TxBody l AlonzoEra → ByteString Source #

originalBytesSize ∷ TxBody l AlonzoEra → Int Source #

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

EqRaw (Tx l AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

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

EqRaw (TxBody l AlonzoEra) Source #

Instance details

Methods

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

Memoized (TxBody l AlonzoEra) Source #

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

NFData (Tx l AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

rnf ∷ Tx l AlonzoEra → () #

NFData (TxBody l AlonzoEra) Source #

Instance details

Methods

rnf ∷ TxBody l AlonzoEra → () #

Generic (Tx l AlonzoEra) Source #

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

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 #

Show (AlonzoTxBodyRaw l AlonzoEra) Source #

Instance details

Methods

showsPrec ∷ Int → AlonzoTxBodyRaw l AlonzoEra → ShowS #

show ∷ AlonzoTxBodyRaw l AlonzoEra → String #

showList ∷ [AlonzoTxBodyRaw l AlonzoEra] → ShowS #

Show (Tx l AlonzoEra) Source #

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

Instance details

Methods

showsPrec ∷ Int → TxBody l AlonzoEra → ShowS #

show ∷ TxBody l AlonzoEra → String #

showList ∷ [TxBody l AlonzoEra] → ShowS #

Eq (AlonzoTxBodyRaw l AlonzoEra) Source #

Instance details

Methods

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

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

Eq (Tx l AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

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

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

Eq (TxBody l AlonzoEra) Source #

Instance details

Methods

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

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

Typeable l ⇒ NoThunks (AlonzoTxBodyRaw l AlonzoEra) Source #

Instance details

Methods

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

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

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

Typeable l ⇒ NoThunks (Tx l AlonzoEra) Source #

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

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 #

HashAnnotated (TxBody l AlonzoEra) EraIndependentTxBody Source #

Instance details

Methods

hashAnnotated ∷ TxBody l AlonzoEra → SafeHash EraIndependentTxBody Source #

type ContextError AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo

type ContextError AlonzoEra = AlonzoContextError AlonzoEra

newtype TxInfoResult AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo

newtype TxInfoResult AlonzoEra = AlonzoTxInfoResult (Either (ContextError AlonzoEra) (PlutusTxInfo 'PlutusV1))

newtype PlutusScript AlonzoEra Source #

Instance details

newtype PlutusScript AlonzoEra = AlonzoPlutusV1 (Plutus 'PlutusV1)

type BlockBody AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.BlockBody.Internal

type BlockBody AlonzoEra = AlonzoBlockBody AlonzoEra

type NativeScript AlonzoEra Source #

Instance details

type NativeScript AlonzoEra = Timelock AlonzoEra

type Script AlonzoEra Source #

Instance details

type Script AlonzoEra = AlonzoScript AlonzoEra

type TxAuxData AlonzoEra Source #

Instance details

type TxAuxData AlonzoEra = AlonzoTxAuxData AlonzoEra

type TxOut AlonzoEra Source #

Instance details

type TxOut AlonzoEra = AlonzoTxOut AlonzoEra

type TxWits AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type TxWits AlonzoEra = AlonzoTxWits AlonzoEra

type Value AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type Value AlonzoEra = MaryValue

type TranslationContext AlonzoEra Source #

Instance details

type TranslationContext AlonzoEra = AlonzoGenesis

type TxCert AlonzoEra Source #

Instance details

type TxCert AlonzoEra = ShelleyTxCert AlonzoEra

type TxCertUpgradeError AlonzoEra Source #

Instance details

type TxCertUpgradeError AlonzoEra = Void

type Genesis AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Genesis

type Genesis AlonzoEra = AlonzoGenesis

type AccountState AlonzoEra Source #

Instance details

type AccountState AlonzoEra = ShelleyAccountState AlonzoEra

type Accounts AlonzoEra Source #

Instance details

type Accounts AlonzoEra = ShelleyAccounts AlonzoEra

type CertState AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.State.CertState

type CertState AlonzoEra = ShelleyCertState AlonzoEra

type GovState AlonzoEra Source #

Instance details

type GovState AlonzoEra = ShelleyGovState AlonzoEra

type InstantStake AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.State.Stake

type InstantStake AlonzoEra = ShelleyInstantStake AlonzoEra

type ScriptsNeeded AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.UTxO

type ScriptsNeeded AlonzoEra = AlonzoScriptsNeeded AlonzoEra

type EraName AlonzoEra

Instance details

type EraName AlonzoEra = "Alonzo"

type PreviousEra AlonzoEra

Instance details

type PreviousEra AlonzoEra = MaryEra

type ProtVerHigh AlonzoEra

Instance details

type ProtVerHigh AlonzoEra = 6

type ProtVerLow AlonzoEra

Instance details

type ProtVerLow AlonzoEra = 5

data TransitionConfig AlonzoEra Source #

Instance details

data TransitionConfig AlonzoEra = AlonzoTransitionConfig {

atcAlonzoGenesis ∷ !AlonzoGenesis
atcMaryTransitionConfig ∷ !(TransitionConfig MaryEra)

}

type PlutusPurpose f AlonzoEra Source #

Instance details

type PlutusPurpose f AlonzoEra = AlonzoPlutusPurpose f AlonzoEra

newtype Tx l AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

newtype Tx l AlonzoEra = MkAlonzoTx {

unAlonzoTx ∷ AlonzoTx l AlonzoEra

}

newtype TxBody l AlonzoEra Source #

Instance details

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

type EraRule "BBODY" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "BBODY" AlonzoEra = AlonzoBBODY AlonzoEra

type EraRule "DELEG" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "DELEG" AlonzoEra = ShelleyDELEG AlonzoEra

type EraRule "DELEGS" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "DELEGS" AlonzoEra = ShelleyDELEGS AlonzoEra

type EraRule "DELPL" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "DELPL" AlonzoEra = ShelleyDELPL AlonzoEra

type EraRule "EPOCH" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "EPOCH" AlonzoEra = ShelleyEPOCH AlonzoEra

type EraRule "LEDGER" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "LEDGER" AlonzoEra = AlonzoLEDGER AlonzoEra

type EraRule "LEDGERS" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "LEDGERS" AlonzoEra = ShelleyLEDGERS AlonzoEra

type EraRule "MIR" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "MIR" AlonzoEra = ShelleyMIR AlonzoEra

type EraRule "NEWEPOCH" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "NEWEPOCH" AlonzoEra = ShelleyNEWEPOCH AlonzoEra

type EraRule "NEWPP" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "NEWPP" AlonzoEra = ShelleyNEWPP AlonzoEra

type EraRule "POOL" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "POOL" AlonzoEra = ShelleyPOOL AlonzoEra

type EraRule "POOLREAP" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "POOLREAP" AlonzoEra = ShelleyPOOLREAP AlonzoEra

type EraRule "PPUP" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "PPUP" AlonzoEra = ShelleyPPUP AlonzoEra

type EraRule "RUPD" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "RUPD" AlonzoEra = ShelleyRUPD AlonzoEra

type EraRule "SNAP" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "SNAP" AlonzoEra = ShelleySNAP AlonzoEra

type EraRule "TICK" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "TICK" AlonzoEra = ShelleyTICK AlonzoEra

type EraRule "TICKF" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "TICKF" AlonzoEra = ShelleyTICKF AlonzoEra

type EraRule "UPEC" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "UPEC" AlonzoEra = ShelleyUPEC AlonzoEra

type EraRule "UTXO" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "UTXO" AlonzoEra = AlonzoUTXO AlonzoEra

type EraRule "UTXOS" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "UTXOS" AlonzoEra = AlonzoUTXOS AlonzoEra

type EraRule "UTXOW" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "UTXOW" AlonzoEra = AlonzoUTXOW AlonzoEra

type EraRuleEvent "LEDGER" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Rules

type EraRuleEvent "LEDGER" AlonzoEra = ShelleyLedgerEvent AlonzoEra

type EraRuleEvent "PPUP" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ppup

type EraRuleEvent "PPUP" AlonzoEra = PpupEvent AlonzoEra

type EraRuleEvent "TICK" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Rules

type EraRuleEvent "TICK" AlonzoEra = ShelleyTickEvent AlonzoEra

type EraRuleFailure "BBODY" AlonzoEra Source #

Instance details

type EraRuleFailure "BBODY" AlonzoEra = AlonzoBbodyPredFailure AlonzoEra

type EraRuleFailure "DELEG" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Deleg

type EraRuleFailure "DELEG" AlonzoEra = ShelleyDelegPredFailure AlonzoEra

type EraRuleFailure "DELEGS" AlonzoEra Source #

Instance details

type EraRuleFailure "DELEGS" AlonzoEra = ShelleyDelegsPredFailure AlonzoEra

type EraRuleFailure "DELPL" AlonzoEra Source #

Instance details

type EraRuleFailure "DELPL" AlonzoEra = ShelleyDelplPredFailure AlonzoEra

type EraRuleFailure "LEDGER" AlonzoEra Source #

Instance details

type EraRuleFailure "LEDGER" AlonzoEra = ShelleyLedgerPredFailure AlonzoEra

type EraRuleFailure "LEDGERS" AlonzoEra Source #

Instance details

type EraRuleFailure "LEDGERS" AlonzoEra = ShelleyLedgersPredFailure AlonzoEra

type EraRuleFailure "POOL" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Pool

type EraRuleFailure "POOL" AlonzoEra = ShelleyPoolPredFailure AlonzoEra

type EraRuleFailure "PPUP" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ppup

type EraRuleFailure "PPUP" AlonzoEra = ShelleyPpupPredFailure AlonzoEra

type EraRuleFailure "UTXO" AlonzoEra Source #

Instance details

type EraRuleFailure "UTXO" AlonzoEra = AlonzoUtxoPredFailure AlonzoEra

type EraRuleFailure "UTXOS" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

type EraRuleFailure "UTXOS" AlonzoEra = AlonzoUtxosPredFailure AlonzoEra

type EraRuleFailure "UTXOW" AlonzoEra Source #

Instance details

type EraRuleFailure "UTXOW" AlonzoEra = AlonzoUtxowPredFailure AlonzoEra

type DowngradePParams f AlonzoEra Source #

Instance details

type DowngradePParams f AlonzoEra = DowngradeAlonzoPParams f

type PParamsHKD f AlonzoEra Source #

Instance details

type PParamsHKD f AlonzoEra = AlonzoPParams f AlonzoEra

type UpgradePParams f AlonzoEra Source #

Instance details

type UpgradePParams f AlonzoEra = UpgradeAlonzoPParams f

type TranslationError AlonzoEra PParams Source #

Instance details

type TranslationError AlonzoEra PParams = Void

type TranslationError AlonzoEra CommitteeState Source #

Instance details

type TranslationError AlonzoEra CommitteeState = Void

type TranslationError AlonzoEra DState Source #

Instance details

type TranslationError AlonzoEra DState = Void

type TranslationError AlonzoEra PState Source #

Instance details

type TranslationError AlonzoEra PState = Void

type TranslationError AlonzoEra FuturePParams Source #

Instance details

type TranslationError AlonzoEra FuturePParams = Void

type TranslationError AlonzoEra UTxO Source #

Instance details

type TranslationError AlonzoEra UTxO = Void

type TranslationError AlonzoEra ShelleyGovState Source #

Instance details

type TranslationError AlonzoEra ShelleyGovState = Void

type TranslationError AlonzoEra EpochState Source #

Instance details

type TranslationError AlonzoEra EpochState = Void

type TranslationError AlonzoEra LedgerState Source #

Instance details

type TranslationError AlonzoEra LedgerState = Void

type TranslationError AlonzoEra NewEpochState Source #

Instance details

type TranslationError AlonzoEra NewEpochState = Void

type TranslationError AlonzoEra UTxOState Source #

Instance details

type TranslationError AlonzoEra UTxOState = Void

type TranslationError AlonzoEra ProposedPPUpdates Source #

Instance details

type TranslationError AlonzoEra ProposedPPUpdates = Void

type TranslationError AlonzoEra ShelleyAccounts Source #

Instance details

type TranslationError AlonzoEra ShelleyAccounts = Void

type TranslationError AlonzoEra ShelleyCertState Source #

Instance details

type TranslationError AlonzoEra ShelleyCertState = Void

type TranslationError AlonzoEra ShelleyInstantStake Source #

Instance details

type TranslationError AlonzoEra ShelleyInstantStake = Void

type STxLevel l AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type STxLevel l AlonzoEra = STxTopLevel l AlonzoEra

type TranslationError AlonzoEra (Tx 'TopTx) Source #

Instance details

type TranslationError AlonzoEra (Tx 'TopTx) = DecoderError

type Rep (PlutusScript AlonzoEra) Source #

Instance details

type Rep (PlutusScript AlonzoEra) = Rep (Plutus 'PlutusV1)

type Rep (TransitionConfig AlonzoEra) Source #

Instance details

type Rep (TransitionConfig AlonzoEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Alonzo.Transition" "cardano-ledger-alonzo-1.15.0.0-inplace" 'False) (C1 ('MetaCons "AlonzoTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "atcAlonzoGenesis") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 AlonzoGenesis) :*: S1 ('MetaSel ('Just "atcMaryTransitionConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TransitionConfig MaryEra))))

type RawType (TxBody l AlonzoEra) Source #

Instance details

type RawType (TxBody l AlonzoEra) = AlonzoTxBodyRaw l AlonzoEra

type Rep (Tx l AlonzoEra) Source #

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

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

data AlonzoTxOut era Source #

Instances

Instances details

(Era era, Val (Value era)) ⇒ ToJSON (AlonzoTxOut era) Source #

Instance details

Methods

toJSON ∷ AlonzoTxOut era → Value Source #

toEncoding ∷ AlonzoTxOut era → Encoding Source #

toJSONList ∷ [AlonzoTxOut era] → Value Source #

toEncodingList ∷ [AlonzoTxOut era] → Encoding Source #

omitField ∷ AlonzoTxOut era → Bool Source #

(Era era, Val (Value era)) ⇒ FromCBOR (AlonzoTxOut era) Source #

Instance details

Methods

fromCBOR ∷ Decoder s (AlonzoTxOut era) Source #

label ∷ Proxy (AlonzoTxOut era) → Text Source #

(Era era, Val (Value era)) ⇒ ToCBOR (AlonzoTxOut era) Source #

Instance details

Methods

toCBOR ∷ AlonzoTxOut era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoTxOut era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoTxOut era] → Size Source #

(Era era, Val (Value era)) ⇒ DecCBOR (AlonzoTxOut era) Source #

Instance details

Methods

decCBOR ∷ Decoder s (AlonzoTxOut era) Source #

dropCBOR ∷ Proxy (AlonzoTxOut era) → Decoder s () Source #

label ∷ Proxy (AlonzoTxOut era) → Text Source #

(Era era, Val (Value era), MemPack (CompactForm (Value era))) ⇒ DecShareCBOR (AlonzoTxOut era) Source #

Instance details

Associated Types

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

Methods

getShare ∷ AlonzoTxOut era → Share (AlonzoTxOut era) Source #

decShareCBOR ∷ Share (AlonzoTxOut era) → Decoder s (AlonzoTxOut era) Source #

decSharePlusCBOR ∷ StateT (Share (AlonzoTxOut era)) (Decoder s) (AlonzoTxOut era) Source #

(Era era, Val (Value era)) ⇒ EncCBOR (AlonzoTxOut era) Source #

Instance details

Methods

encCBOR ∷ AlonzoTxOut era → Encoding Source #

NFData (AlonzoTxOut era) Source #

Already in NF

Instance details

Methods

rnf ∷ AlonzoTxOut era → () #

Generic (AlonzoTxOut era) Source #

Instance details

Associated Types

type Rep (AlonzoTxOut era)

Instance details

Methods

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

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

(Era era, Val (Value era)) ⇒ Show (AlonzoTxOut era) Source #

Instance details

Methods

showsPrec ∷ Int → AlonzoTxOut era → ShowS #

show ∷ AlonzoTxOut era → String #

showList ∷ [AlonzoTxOut era] → ShowS #

(Eq (Value era), Compactible (Value era)) ⇒ Eq (AlonzoTxOut era) Source #

Instance details

Methods

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

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

(Era era, MemPack (CompactForm (Value era))) ⇒ MemPack (AlonzoTxOut era) Source #

This instance is backwards compatible in binary representation with TxOut instances for all previous era

Instance details

Methods

packedByteCount ∷ AlonzoTxOut era → Int Source #

packM ∷ AlonzoTxOut era → Pack s () Source #

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

NoThunks (AlonzoTxOut era) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (AlonzoTxOut era) → String Source #

type Share (AlonzoTxOut era) Source #

type Rep (AlonzoTxOut era) Source #

Instance details

ToKeyValuePairs MaryValue

data MaryValue Source #

The Value representing MultiAssets

Instances

Instances details

ToJSON MaryValue

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

toJSON ∷ MaryValue → Value Source #

toEncoding ∷ MaryValue → Encoding Source #

toJSONList ∷ [MaryValue] → Value Source #

toEncodingList ∷ [MaryValue] → Encoding Source #

omitField ∷ MaryValue → Bool Source #

DecCBOR MaryValue

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

decCBOR ∷ Decoder s MaryValue Source #

dropCBOR ∷ Proxy MaryValue → Decoder s () Source #

label ∷ Proxy MaryValue → Text Source #

EncCBOR MaryValue

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

encCBOR ∷ MaryValue → Encoding Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ MaryValue → [kv] Source #

Compactible MaryValue

Instance details

Defined in Cardano.Ledger.Mary.Value

Associated Types

newtype CompactForm MaryValue
Instance details Defined in Cardano.Ledger.Mary.Value newtype CompactForm MaryValue = CompactValue CompactValue

Methods

toCompact ∷ MaryValue → Maybe (CompactForm MaryValue) Source #

fromCompact ∷ CompactForm MaryValue → MaryValue Source #

Val MaryValue

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

zero ∷ MaryValue Source #

(<+>) ∷ MaryValue → MaryValue → MaryValue Source #

(<×>) ∷ Integral i ⇒ i → MaryValue → MaryValue Source #

(<->) ∷ MaryValue → MaryValue → MaryValue Source #

isZero ∷ MaryValue → Bool Source #

coin ∷ MaryValue → Coin Source #

modifyCoin ∷ (Coin → Coin) → MaryValue → MaryValue Source #

size ∷ MaryValue → Integer Source #

pointwise ∷ (Integer → Integer → Bool) → MaryValue → MaryValue → Bool Source #

isAdaOnly ∷ MaryValue → Bool Source #

isAdaOnlyCompact ∷ CompactForm MaryValue → Bool Source #

coinCompact ∷ CompactForm MaryValue → CompactForm Coin Source #

injectCompact ∷ CompactForm Coin → CompactForm MaryValue Source #

modifyCompactCoin ∷ (CompactForm Coin → CompactForm Coin) → CompactForm MaryValue → CompactForm MaryValue Source #

NFData MaryValue

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

rnf ∷ MaryValue → () #

Monoid MaryValue

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

mempty ∷ MaryValue #

mappend ∷ MaryValue → MaryValue → MaryValue #

mconcat ∷ [MaryValue] → MaryValue #

Semigroup MaryValue

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

(<>) ∷ MaryValue → MaryValue → MaryValue #

sconcat ∷ NonEmpty MaryValue → MaryValue #

stimes ∷ Integral b ⇒ b → MaryValue → MaryValue #

Generic MaryValue

Instance details

Defined in Cardano.Ledger.Mary.Value

Associated Types

type Rep MaryValue

Instance details

Defined in Cardano.Ledger.Mary.Value

type Rep MaryValue = D1 ('MetaData "MaryValue" "Cardano.Ledger.Mary.Value" "cardano-ledger-mary-1.10.0.0-inplace" 'False) (C1 ('MetaCons "MaryValue" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 MultiAsset)))

Methods

from ∷ MaryValue → Rep MaryValue x #

to ∷ Rep MaryValue x → MaryValue #

Show MaryValue

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

showsPrec ∷ Int → MaryValue → ShowS #

show ∷ MaryValue → String #

showList ∷ [MaryValue] → ShowS #

Eq MaryValue

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

(==) ∷ MaryValue → MaryValue → Bool #

(/=) ∷ MaryValue → MaryValue → Bool #

Abelian MaryValue

Instance details

Defined in Cardano.Ledger.Mary.Value

Group MaryValue

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

invert ∷ MaryValue → MaryValue Source #

(~~) ∷ MaryValue → MaryValue → MaryValue Source #

pow ∷ Integral x ⇒ MaryValue → x → MaryValue Source #

NoThunks MaryValue

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

noThunks ∷ Context → MaryValue → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → MaryValue → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy MaryValue → String Source #

Inject Coin MaryValue

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

inject ∷ Coin → MaryValue Source #

DecCBOR (CompactForm MaryValue)

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

decCBOR ∷ Decoder s (CompactForm MaryValue) Source #

dropCBOR ∷ Proxy (CompactForm MaryValue) → Decoder s () Source #

label ∷ Proxy (CompactForm MaryValue) → Text Source #

EncCBOR (CompactForm MaryValue)

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

encCBOR ∷ CompactForm MaryValue → Encoding Source #

NFData (CompactForm MaryValue)

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

rnf ∷ CompactForm MaryValue → () #

Show (CompactForm MaryValue)

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

showsPrec ∷ Int → CompactForm MaryValue → ShowS #

show ∷ CompactForm MaryValue → String #

showList ∷ [CompactForm MaryValue] → ShowS #

Eq (CompactForm MaryValue)

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

(==) ∷ CompactForm MaryValue → CompactForm MaryValue → Bool #

(/=) ∷ CompactForm MaryValue → CompactForm MaryValue → Bool #

MemPack (CompactForm MaryValue)

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

packedByteCount ∷ CompactForm MaryValue → Int Source #

packM ∷ CompactForm MaryValue → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b (CompactForm MaryValue) Source #

NoThunks (CompactForm MaryValue)

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

noThunks ∷ Context → CompactForm MaryValue → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → CompactForm MaryValue → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (CompactForm MaryValue) → String Source #

newtype CompactForm MaryValue

Instance details

Defined in Cardano.Ledger.Mary.Value

newtype CompactForm MaryValue = CompactValue CompactValue

type Rep MaryValue

Instance details

Defined in Cardano.Ledger.Mary.Value

type Rep MaryValue = D1 ('MetaData "MaryValue" "Cardano.Ledger.Mary.Value" "cardano-ledger-mary-1.10.0.0-inplace" 'False) (C1 ('MetaCons "MaryValue" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 MultiAsset)))

pattern AlonzoTxBody ∷ Set TxIn → Set TxIn → StrictSeq (TxOut AlonzoEra) → StrictSeq (TxCert AlonzoEra) → Withdrawals → Coin → ValidityInterval → StrictMaybe (Update AlonzoEra) → Set (KeyHash 'Guard) → MultiAsset → StrictMaybe ScriptIntegrityHash → StrictMaybe TxAuxDataHash → StrictMaybe Network → TxBody 'TopTx AlonzoEra Source #

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

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

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

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

Instance details

Methods

encCBOR ∷ AlonzoScript era → Encoding Source #

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

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

Instance details

Methods

eqRaw ∷ AlonzoScript era → AlonzoScript era → Bool Source #

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

Instance details

Methods

rnf ∷ AlonzoScript era → () #

Generic (AlonzoScript era) Source #

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

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

Instance details

Methods

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

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

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

Instance details

Methods

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

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

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

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

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

Encodes memoized bytes created upon construction.

Instance details

Methods

encCBOR ∷ AlonzoTxAuxData era → Encoding Source #

SafeToHash (AlonzoTxAuxData era) Source #

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

Instance details

Methods

eqRaw ∷ AlonzoTxAuxData era → AlonzoTxAuxData era → Bool Source #

Memoized (AlonzoTxAuxData era) Source #

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

Instance details

Methods

rnf ∷ AlonzoTxAuxData era → () #

Generic (AlonzoTxAuxData era) Source #

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

Instance details

Methods

showsPrec ∷ Int → AlonzoTxAuxData era → ShowS #

show ∷ AlonzoTxAuxData era → String #

showList ∷ [AlonzoTxAuxData era] → ShowS #

Eq (NativeScript era) ⇒ Eq (AlonzoTxAuxData era) Source #

Instance details

Methods

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

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

NoThunks (AlonzoTxAuxData era) Source #

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

Instance details

Methods

hashAnnotated ∷ AlonzoTxAuxData era → SafeHash EraIndependentTxAuxData Source #

type RawType (AlonzoTxAuxData era) Source #

Instance details

type RawType (AlonzoTxAuxData era) = AlonzoTxAuxDataRaw era

type Rep (AlonzoTxAuxData era) Source #

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

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

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

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

Instance details

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

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

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

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

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

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

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

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

rnf ∷ Tx l AlonzoEra → () #

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

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

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

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

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

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

newtype Tx l AlonzoEra = MkAlonzoTx {

unAlonzoTx ∷ AlonzoTx l AlonzoEra

}

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

Instance details