cardano-ledger-core-1.15.0.0: Core components of Cardano ledgers from the Shelley release on.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Plutus.TxInfo

Synopsis

Documentation

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

Defined in Cardano.Ledger.Plutus.TxInfo

Generic (TxOutSource c) Source # 
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) Source # 
Instance details

Defined in Cardano.Ledger.Plutus.TxInfo

Crypto c ⇒ DecCBOR (TxOutSource c) Source # 
Instance details

Defined in Cardano.Ledger.Plutus.TxInfo

Crypto c ⇒ EncCBOR (TxOutSource c) Source # 
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) Source # 
Instance details

Defined in Cardano.Ledger.Plutus.TxInfo

Methods

rnfTxOutSource era → () Source #

Eq (TxOutSource c) Source # 
Instance details

Defined in Cardano.Ledger.Plutus.TxInfo

NoThunks (TxOutSource c) Source # 
Instance details

Defined in Cardano.Ledger.Plutus.TxInfo

type Rep (TxOutSource c) Source # 
Instance details

Defined in Cardano.Ledger.Plutus.TxInfo

type Rep (TxOutSource c) = D1 ('MetaData "TxOutSource" "Cardano.Ledger.Plutus.TxInfo" "cardano-ledger-core-1.15.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 'DecidedStrict) (Rec0 TxIx)))

transAddrAddr c → Maybe Address Source #

Translate an address. NetworkId is discarded and Byron Addresses will result in Nothing.

transRewardAccountRewardAccount c → Credential Source #

Translate reward account by discarding NetowrkId and only translating the staking credential.

Note - This function is the right one to use starting with PlutusV3, prior to that an extra StakingHash wrapper is needed.