cardano-ledger-alonzo-1.10.0.1: Cardano ledger introducing Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Alonzo.Plutus.TxInfo

Synopsis

Documentation

data AlonzoContextError era Source #

Instances

Instances details
ToJSON (AlonzoContextError era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo

Generic (AlonzoContextError era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo

Associated Types

type Rep (AlonzoContextError era) ∷ TypeType Source #

Show (AlonzoContextError era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo

Era era ⇒ DecCBOR (AlonzoContextError era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo

Era era ⇒ EncCBOR (AlonzoContextError era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo

Methods

encCBORAlonzoContextError era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoContextError era) → Size Source #

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

Era era ⇒ NFData (AlonzoContextError era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo

Methods

rnfAlonzoContextError era → () Source #

Eq (AlonzoContextError era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo

NoThunks (AlonzoContextError era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo

type Rep (AlonzoContextError era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo

type Rep (AlonzoContextError era) = D1 ('MetaData "AlonzoContextError" "Cardano.Ledger.Alonzo.Plutus.TxInfo" "cardano-ledger-alonzo-1.10.0.1-inplace" 'False) (C1 ('MetaCons "TranslationLogicMissingInput" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxIn (EraCrypto era)))) :+: C1 ('MetaCons "TimeTranslationPastHorizon" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)))

data TxOutSource c Source #

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.

Instances

Instances details
ToJSON (TxOutSource c) 
Instance details

Defined in Cardano.Ledger.Plutus.TxInfo

Generic (TxOutSource c) 
Instance details

Defined in Cardano.Ledger.Plutus.TxInfo

Associated Types

type Rep (TxOutSource c) ∷ TypeType Source #

Methods

fromTxOutSource c → Rep (TxOutSource c) x Source #

toRep (TxOutSource c) x → TxOutSource c Source #

Show (TxOutSource c) 
Instance details

Defined in Cardano.Ledger.Plutus.TxInfo

Crypto c ⇒ DecCBOR (TxOutSource c) 
Instance details

Defined in Cardano.Ledger.Plutus.TxInfo

Crypto c ⇒ EncCBOR (TxOutSource c) 
Instance details

Defined in Cardano.Ledger.Plutus.TxInfo

Methods

encCBORTxOutSource c → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (TxOutSource c) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [TxOutSource c] → Size Source #

NFData (TxOutSource era) 
Instance details

Defined in Cardano.Ledger.Plutus.TxInfo

Methods

rnfTxOutSource era → () Source #

Eq (TxOutSource c) 
Instance details

Defined in Cardano.Ledger.Plutus.TxInfo

NoThunks (TxOutSource c) 
Instance details

Defined in Cardano.Ledger.Plutus.TxInfo

type Rep (TxOutSource c) 
Instance details

Defined in Cardano.Ledger.Plutus.TxInfo

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

transLookupTxOut ∷ ∀ era a. Inject (AlonzoContextError era) a ⇒ UTxO era → TxIn (EraCrypto era) → Either a (TxOut era) Source #

transTxOut ∷ (Value era ~ MaryValue c, AlonzoEraTxOut era) ⇒ TxOut era → Maybe TxOut Source #

Translate a TxOut. Returns Nothing if a Byron address is present in the TxOut.

transValidityInterval ∷ ∀ proxy era a. Inject (AlonzoContextError era) a ⇒ proxy era → ProtVerEpochInfo (Either Text) → SystemStartValidityIntervalEither a POSIXTimeRange Source #

Translate a validity interval to POSIX time

transMintValueMultiAsset c → 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.

transTxCertCommonShelleyEraTxCert era ⇒ TxCert era → Maybe DCert Source #

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

transTxBodyCerts ∷ (EraPlutusTxInfo l era, EraTxBody era) ⇒ proxy l → TxBody era → Either (ContextError era) [PlutusTxCert l] Source #

Translate all TxCerts from within a TxBody

transTxBodyWithdrawalsEraTxBody era ⇒ TxBody era → [(StakingCredential, Integer)] Source #

Translate all Withdrawals from within a TxBody

transTxBodyReqSignerHashesAlonzoEraTxBody era ⇒ TxBody era → [PubKeyHash] Source #

Translate all required signers produced by reqSignerHashesTxBodyLs from within a TxBody

transTxWitsDatumsAlonzoEraTxWits era ⇒ TxWits era → [(DatumHash, Datum)] Source #

Translate all TxDatss from within TxWits

LgacyPlutusArgs helpers

Orphan instances