Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Plutus.TxInfo

Synopsis

data TxOutSource c
- = TxOutFromInput !(TxIn c)
- | TxOutFromOutput !TxIx
txOutSourceToText ∷ TxOutSource c → Text
transAddr ∷ Addr c → Maybe Address
transRewardAccount ∷ RewardAccount c → Credential
transDataHash ∷ DataHash c → DatumHash
transKeyHash ∷ KeyHash d c → PubKeyHash
transSafeHash ∷ SafeHash c i → BuiltinByteString
transScriptHash ∷ ScriptHash c → ScriptHash
transTxId ∷ TxId c → TxId
transStakeReference ∷ StakeReference c → Maybe StakingCredential
transCred ∷ Credential kr c → Credential
slotToPOSIXTime ∷ EpochInfo (Either Text) → SystemStart → SlotNo → Either Text POSIXTime
transTxIn ∷ TxIn c → TxOutRef
transCoinToValue ∷ Coin → Value
transCoinToLovelace ∷ Coin → Lovelace
transDataPair ∷ (DataHash c, Data era) → (DatumHash, Datum)
transExUnits ∷ ExUnits → ExBudget
exBudgetToExUnits ∷ ExBudget → Maybe ExUnits
transBoundedRational ∷ BoundedRational r ⇒ r → Rational
transEpochNo ∷ EpochNo → Integer
transEpochInterval ∷ EpochInterval → Integer

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.

Constructors

TxOutFromInput !(TxIn c)
TxOutFromOutput !TxIx

Instances

Instances details

ToJSON (TxOutSource c) Source #
Instance details Defined in Cardano.Ledger.Plutus.TxInfo Methods toJSON ∷ TxOutSource c → Value Source # toEncoding ∷ TxOutSource c → Encoding Source # toJSONList ∷ [TxOutSource c] → Value Source # toEncodingList ∷ [TxOutSource c] → Encoding Source # omitField ∷ TxOutSource c → Bool Source #
Generic (TxOutSource c) Source #
Instance details Defined in Cardano.Ledger.Plutus.TxInfo Associated Types type Rep (TxOutSource c) ∷ Type → Type Source # Methods from ∷ TxOutSource c → Rep (TxOutSource c) x Source # to ∷ Rep (TxOutSource c) x → TxOutSource c Source #
Show (TxOutSource c) Source #
Instance details Defined in Cardano.Ledger.Plutus.TxInfo Methods showsPrec ∷ Int → TxOutSource c → ShowS Source # show ∷ TxOutSource c → String Source # showList ∷ [TxOutSource c] → ShowS Source #
Crypto c ⇒ DecCBOR (TxOutSource c) Source #
Instance details Defined in Cardano.Ledger.Plutus.TxInfo Methods decCBOR ∷ Decoder s (TxOutSource c) Source # dropCBOR ∷ Proxy (TxOutSource c) → Decoder s () Source # label ∷ Proxy (TxOutSource c) → Text Source #
Crypto c ⇒ EncCBOR (TxOutSource c) Source #
Instance details Defined in Cardano.Ledger.Plutus.TxInfo Methods encCBOR ∷ TxOutSource 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 rnf ∷ TxOutSource era → () Source #
Eq (TxOutSource c) Source #
Instance details Defined in Cardano.Ledger.Plutus.TxInfo Methods (==) ∷ TxOutSource c → TxOutSource c → Bool Source # (/=) ∷ TxOutSource c → TxOutSource c → Bool Source #
NoThunks (TxOutSource c) Source #
Instance details Defined in Cardano.Ledger.Plutus.TxInfo Methods noThunks ∷ Context → TxOutSource c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxOutSource c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TxOutSource c) → String Source #
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.12.0.0-inplace" 'False) (C1 ('MetaCons "TxOutFromInput" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxIn c))) :+: C1 ('MetaCons "TxOutFromOutput" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxIx)))