| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Alonzo.Plutus.TxInfo
Synopsis
- mkPlutusWithContext ∷ ∀ era (level ∷ TxLevel). SupportedPlutusRunnable era → PlutusPurpose AsIxItem era → LedgerTxInfo level era → TxInfoResult era → Data era → ExUnits → CostModel → Either (ContextError era) PlutusWithContext
- data AlonzoContextError era
- transLookupTxOut ∷ Inject (AlonzoContextError era) (ContextError era) ⇒ UTxO era → TxIn → Either (ContextError era) (TxOut era)
- transTxOut ∷ (Value era ~ MaryValue, AlonzoEraTxOut era) ⇒ TxOut era → Maybe TxOut
- transValidityInterval ∷ ∀ proxy era. Inject (AlonzoContextError era) (ContextError era) ⇒ proxy era → EpochInfo (Either Text) → SystemStart → ValidityInterval → Either (ContextError era) POSIXTimeRange
- transPolicyID ∷ PolicyID → CurrencySymbol
- transAssetName ∷ AssetName → TokenName
- transMultiAsset ∷ MultiAsset → Value
- transMintValue ∷ MultiAsset → Value
- transValue ∷ MaryValue → Value
- transWithdrawals ∷ Withdrawals → Map StakingCredential Integer
- transDataPair ∷ (DataHash, Data era) → (DatumHash, Datum)
- transTxCert ∷ (ShelleyEraTxCert era, AtMostEra "Babbage" era, Inject (AlonzoContextError era) (ContextError era)) ⇒ TxCert era → Either (ContextError era) DCert
- transTxCertCommon ∷ (ShelleyEraTxCert era, Inject (AlonzoContextError era) (ContextError era)) ⇒ TxCert era → Either (ContextError era) DCert
- transPlutusPurpose ∷ ∀ (l ∷ Language) era proxy. (PlutusTxCert l ~ DCert, EraPlutusTxInfo l era, Inject (AlonzoContextError era) (ContextError era)) ⇒ proxy l → ProtVer → PlutusPurpose AsIxItem era → Either (ContextError era) ScriptPurpose
- transTxBodyId ∷ ∀ era (l ∷ TxLevel). EraTxBody era ⇒ TxBody l era → TxId
- transTxBodyCerts ∷ ∀ (l ∷ Language) era proxy (t ∷ TxLevel). (EraPlutusTxInfo l era, EraTxBody era) ⇒ proxy l → ProtVer → TxBody t era → Either (ContextError era) [PlutusTxCert l]
- transTxBodyWithdrawals ∷ ∀ era (t ∷ TxLevel). EraTxBody era ⇒ TxBody t era → [(StakingCredential, Integer)]
- transTxBodyReqSignerHashes ∷ ∀ era (t ∷ TxLevel). AlonzoEraTxBody era ⇒ TxBody t era → [PubKeyHash]
- transTxWitsDatums ∷ AlonzoEraTxWits era ⇒ TxWits era → [(DatumHash, Datum)]
- transDatums ∷ TxDats era → [(DatumHash, Datum)]
- toPlutusV1Args ∷ ∀ era proxy (level ∷ TxLevel). (AlonzoEraUTxO era, EraPlutusTxInfo 'PlutusV1 era) ⇒ proxy 'PlutusV1 → LedgerTxInfo level era → TxInfo → PlutusPurpose AsIxItem era → Data era → Either (ContextError era) (PlutusArgs 'PlutusV1)
- toLegacyPlutusArgs ∷ ∀ (l ∷ Language) era proxy (level ∷ TxLevel). EraPlutusTxInfo l era ⇒ proxy l → LedgerTxInfo level era → (PlutusScriptPurpose l → PlutusScriptContext l) → PlutusPurpose AsIxItem era → Maybe (Data era) → Data era → Either (ContextError era) (LegacyPlutusArgs l)
Documentation
mkPlutusWithContext ∷ ∀ era (level ∷ TxLevel). SupportedPlutusRunnable era → PlutusPurpose AsIxItem era → LedgerTxInfo level era → TxInfoResult era → Data era → ExUnits → CostModel → Either (ContextError era) PlutusWithContext Source #
data AlonzoContextError era Source #
Constructors
| TranslationLogicMissingInput TxIn | |
| TimeTranslationPastHorizon Text | |
| CertificateNotSupported (TxCert era) | |
| PlutusPurposeNotSupported (PlutusPurpose AsItem era) | |
| ImpossibleContextError Text | This is a freeform failure message for impossible scenarios. It is better to produce an
impossible message than crash with an |
Instances
transLookupTxOut ∷ Inject (AlonzoContextError era) (ContextError era) ⇒ UTxO era → TxIn → Either (ContextError era) (TxOut era) Source #
transTxOut ∷ (Value era ~ MaryValue, AlonzoEraTxOut era) ⇒ TxOut era → Maybe TxOut Source #
Translate a TxOut. Returns Nothing if a Byron address is present in the TxOut.
transValidityInterval ∷ ∀ proxy era. Inject (AlonzoContextError era) (ContextError era) ⇒ proxy era → EpochInfo (Either Text) → SystemStart → ValidityInterval → Either (ContextError era) POSIXTimeRange Source #
Translate a validity interval to POSIX time
transMintValue ∷ MultiAsset → Value Source #
Hysterical raisins:
Previously transaction body contained a mint field with MaryValue instead of a MultiAsset, which has changed since then to just MultiAsset (because minting ADA makes no sense). However, if we don't preserve previous translation, scripts that previously succeeded will fail.
transValue ∷ MaryValue → Value Source #
transTxCert ∷ (ShelleyEraTxCert era, AtMostEra "Babbage" era, Inject (AlonzoContextError era) (ContextError era)) ⇒ TxCert era → Either (ContextError era) DCert Source #
transTxCertCommon ∷ (ShelleyEraTxCert era, Inject (AlonzoContextError era) (ContextError era)) ⇒ TxCert era → Either (ContextError era) DCert Source #
Just like transTxCert, but do not translate certificates that were deprecated in Conway
transPlutusPurpose ∷ ∀ (l ∷ Language) era proxy. (PlutusTxCert l ~ DCert, EraPlutusTxInfo l era, Inject (AlonzoContextError era) (ContextError era)) ⇒ proxy l → ProtVer → PlutusPurpose AsIxItem era → Either (ContextError era) ScriptPurpose Source #
transTxBodyCerts ∷ ∀ (l ∷ Language) era proxy (t ∷ TxLevel). (EraPlutusTxInfo l era, EraTxBody era) ⇒ proxy l → ProtVer → TxBody t era → Either (ContextError era) [PlutusTxCert l] Source #
transTxBodyWithdrawals ∷ ∀ era (t ∷ TxLevel). EraTxBody era ⇒ TxBody t era → [(StakingCredential, Integer)] Source #
Translate all Withdrawals from within a TxBody
transTxBodyReqSignerHashes ∷ ∀ era (t ∷ TxLevel). AlonzoEraTxBody era ⇒ TxBody t era → [PubKeyHash] Source #
Translate all required signers produced by reqSignerHashesTxBodyLs from within a
TxBody
transTxWitsDatums ∷ AlonzoEraTxWits era ⇒ TxWits era → [(DatumHash, Datum)] Source #
LegacyPlutusArgs helpers
toPlutusV1Args ∷ ∀ era proxy (level ∷ TxLevel). (AlonzoEraUTxO era, EraPlutusTxInfo 'PlutusV1 era) ⇒ proxy 'PlutusV1 → LedgerTxInfo level era → TxInfo → PlutusPurpose AsIxItem era → Data era → Either (ContextError era) (PlutusArgs 'PlutusV1) Source #
toLegacyPlutusArgs ∷ ∀ (l ∷ Language) era proxy (level ∷ TxLevel). EraPlutusTxInfo l era ⇒ proxy l → LedgerTxInfo level era → (PlutusScriptPurpose l → PlutusScriptContext l) → PlutusPurpose AsIxItem era → Maybe (Data era) → Data era → Either (ContextError era) (LegacyPlutusArgs l) Source #
Orphan instances
| EraPlutusContext AlonzoEra Source # | |||||||||
Associated Types
Methods mkSupportedLanguage ∷ Language → Maybe (SupportedLanguage AlonzoEra) Source # mkSupportedPlutusRunnable ∷ Version → PlutusScript AlonzoEra → SupportedPlutusRunnable AlonzoEra Source # mkTxInfoResult ∷ ∀ (level ∷ TxLevel). LedgerTxInfo level AlonzoEra → TxInfoResult AlonzoEra Source # lookupTxInfoResult ∷ ∀ (l ∷ Language). EraPlutusTxInfo l AlonzoEra ⇒ SLanguage l → TxInfoResult AlonzoEra → PlutusTxInfoResult l AlonzoEra Source # | |||||||||
| EraPlutusTxInfo 'PlutusV1 AlonzoEra Source # | |||||||||
Methods toPlutusTxCert ∷ proxy 'PlutusV1 → ProtVer → TxCert AlonzoEra → Either (ContextError AlonzoEra) (PlutusTxCert 'PlutusV1) Source # toPlutusScriptPurpose ∷ ∀ proxy (level ∷ TxLevel). proxy 'PlutusV1 → LedgerTxInfo level AlonzoEra → PlutusPurpose AsIxItem AlonzoEra → Either (ContextError AlonzoEra) (PlutusScriptPurpose 'PlutusV1) Source # toPlutusTxInfo ∷ ∀ proxy (level ∷ TxLevel). proxy 'PlutusV1 → LedgerTxInfo level AlonzoEra → PlutusTxInfoResult 'PlutusV1 AlonzoEra Source # toPlutusArgs ∷ ∀ proxy (level ∷ TxLevel). proxy 'PlutusV1 → LedgerTxInfo level AlonzoEra → PlutusTxInfo 'PlutusV1 → PlutusPurpose AsIxItem AlonzoEra → Data AlonzoEra → Either (ContextError AlonzoEra) (PlutusArgs 'PlutusV1) Source # toPlutusTxInInfo ∷ proxy 'PlutusV1 → UTxO AlonzoEra → TxIn → Either (ContextError AlonzoEra) (PlutusTxInInfo AlonzoEra 'PlutusV1) Source # | |||||||||