A transaction output can be translated because it is a newly created output, or because it is the output which is connected to a transaction input being spent.

Constructors

TxOutFromInput !TxIn
TxOutFromOutput !TxIx

Instances

Instances details

ToJSON TxOutSource

Instance details

Defined in Cardano.Ledger.Plutus.TxInfo

Methods

toJSON ∷ TxOutSource → Value Source #

toEncoding ∷ TxOutSource → Encoding Source #

toJSONList ∷ [TxOutSource] → Value Source #

toEncodingList ∷ [TxOutSource] → Encoding Source #

omitField ∷ TxOutSource → Bool Source #

DecCBOR TxOutSource

Instance details

Defined in Cardano.Ledger.Plutus.TxInfo

Methods

decCBOR ∷ Decoder s TxOutSource Source #

dropCBOR ∷ Proxy TxOutSource → Decoder s () Source #

label ∷ Proxy TxOutSource → Text Source #

EncCBOR TxOutSource

Instance details

Defined in Cardano.Ledger.Plutus.TxInfo

Methods

encCBOR ∷ TxOutSource → Encoding Source #

NFData TxOutSource

Instance details

Defined in Cardano.Ledger.Plutus.TxInfo

Methods

rnf ∷ TxOutSource → () #

Generic TxOutSource

Instance details

Defined in Cardano.Ledger.Plutus.TxInfo

Associated Types

type Rep TxOutSource

Instance details

Defined in Cardano.Ledger.Plutus.TxInfo

type Rep TxOutSource = D1 ('MetaData "TxOutSource" "Cardano.Ledger.Plutus.TxInfo" "cardano-ledger-core-1.19.0.0-inplace" 'False) (C1 ('MetaCons "TxOutFromInput" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxIn)) :+: C1 ('MetaCons "TxOutFromOutput" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 TxIx)))

Methods

from ∷ TxOutSource → Rep TxOutSource x #

to ∷ Rep TxOutSource x → TxOutSource #

Show TxOutSource

Instance details

Defined in Cardano.Ledger.Plutus.TxInfo

Methods

showsPrec ∷ Int → TxOutSource → ShowS #

show ∷ TxOutSource → String #

showList ∷ [TxOutSource] → ShowS #

Eq TxOutSource

Instance details

Defined in Cardano.Ledger.Plutus.TxInfo

Methods

(==) ∷ TxOutSource → TxOutSource → Bool #

(/=) ∷ TxOutSource → TxOutSource → Bool #

NoThunks TxOutSource

Instance details

Defined in Cardano.Ledger.Plutus.TxInfo

Methods

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

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

showTypeOf ∷ Proxy TxOutSource → String Source #

type Rep TxOutSource

Instance details

Defined in Cardano.Ledger.Plutus.TxInfo

type Rep TxOutSource = D1 ('MetaData "TxOutSource" "Cardano.Ledger.Plutus.TxInfo" "cardano-ledger-core-1.19.0.0-inplace" 'False) (C1 ('MetaCons "TxOutFromInput" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxIn)) :+: C1 ('MetaCons "TxOutFromOutput" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 TxIx)))

transLookupTxOut ∷ Inject (AlonzoContextError era) a ⇒ UTxO era → TxIn → Either a (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 ∷ ∀ {k} proxy (era ∷ k) a. Inject (AlonzoContextError era) a ⇒ proxy era → EpochInfo (Either Text) → SystemStart → ValidityInterval → Either a POSIXTimeRange Source #

Translate a validity interval to POSIX time

transPolicyID ∷ PolicyID → CurrencySymbol Source #

transAssetName ∷ AssetName → TokenName Source #

transMultiAsset ∷ MultiAsset → Value Source #

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 #

transWithdrawals ∷ Withdrawals → Map StakingCredential Integer Source #

transDataPair ∷ (DataHash, Data era) → (DatumHash, Datum) Source #

transTxCert ∷ (ShelleyEraTxCert era, AtMostEra "Babbage" era) ⇒ TxCert era → DCert Source #

transTxCertCommon ∷ ShelleyEraTxCert era ⇒ TxCert era → Maybe DCert Source #

Just like transTxCert, but do not translate certificates that were deprecated in Conway

transPlutusPurpose ∷ ∀ (l ∷ Language) era proxy. (EraPlutusTxInfo l era, PlutusTxCert l ~ DCert) ⇒ proxy l → ProtVer → AlonzoPlutusPurpose AsItem era → Either (ContextError era) ScriptPurpose Source #

transTxBodyId ∷ ∀ era (l ∷ TxLevel). EraTxBody era ⇒ TxBody l era → TxId 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 #

Translate all TxCerts from within a TxBody

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 #

Translate all TxDatss from within TxWits

LgacyPlutusArgs helpers

toPlutusV1Args ∷ EraPlutusTxInfo 'PlutusV1 era ⇒ proxy 'PlutusV1 → ProtVer → TxInfo → PlutusPurpose AsIxItem era → Maybe (Data era) → Data era → Either (ContextError era) (PlutusArgs 'PlutusV1) Source #

toLegacyPlutusArgs ∷ ∀ (l ∷ Language) era proxy. EraPlutusTxInfo l era ⇒ proxy l → ProtVer → (PlutusScriptPurpose l → PlutusScriptContext l) → PlutusPurpose AsIxItem era → Maybe (Data era) → Data era → Either (ContextError era) (LegacyPlutusArgs l) Source #

Orphan instances

EraPlutusContext AlonzoEra Source #

Instance details

Associated Types

type ContextError AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo type ContextError AlonzoEra = AlonzoContextError AlonzoEra
newtype TxInfoResult AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo newtype TxInfoResult AlonzoEra = AlonzoTxInfoResult (Either (ContextError AlonzoEra) (PlutusTxInfo 'PlutusV1))

Methods

mkSupportedLanguage ∷ Language → Maybe (SupportedLanguage AlonzoEra) Source #

mkTxInfoResult ∷ LedgerTxInfo AlonzoEra → TxInfoResult AlonzoEra Source #

lookupTxInfoResult ∷ ∀ (l ∷ Language). EraPlutusTxInfo l AlonzoEra ⇒ SLanguage l → TxInfoResult AlonzoEra → Either (ContextError AlonzoEra) (PlutusTxInfo l) Source #

mkPlutusWithContext ∷ PlutusScript AlonzoEra → ScriptHash → PlutusPurpose AsIxItem AlonzoEra → LedgerTxInfo AlonzoEra → TxInfoResult AlonzoEra → (Data AlonzoEra, ExUnits) → CostModel → Either (ContextError AlonzoEra) PlutusWithContext Source #

EraPlutusTxInfo 'PlutusV1 AlonzoEra Source #

Instance details

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 #