| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Plutus.TxInfo
Synopsis
- data TxOutSource
- txOutSourceToText ∷ TxOutSource → Text
- transAddr ∷ Addr → Maybe Address
- transRewardAccount ∷ RewardAccount → Credential
- transDataHash ∷ DataHash → DatumHash
- transKeyHash ∷ KeyHash d → PubKeyHash
- transSafeHash ∷ SafeHash i → BuiltinByteString
- transScriptHash ∷ ScriptHash → ScriptHash
- transTxId ∷ TxId → TxId
- transStakeReference ∷ StakeReference → Maybe StakingCredential
- transCred ∷ Credential kr → Credential
- slotToPOSIXTime ∷ EpochInfo (Either Text) → SystemStart → SlotNo → Either Text POSIXTime
- transTxIn ∷ TxIn → TxOutRef
- transCoinToValue ∷ Coin → Value
- transCoinToLovelace ∷ Coin → Lovelace
- transDataPair ∷ (DataHash, Data era) → (DatumHash, Datum)
- transExUnits ∷ ExUnits → ExBudget
- exBudgetToExUnits ∷ ExBudget → Maybe ExUnits
- transBoundedRational ∷ BoundedRational r ⇒ r → Rational
- transEpochNo ∷ EpochNo → Integer
- transEpochInterval ∷ EpochInterval → Integer
- transDatum ∷ Data era → Datum
Documentation
data TxOutSource 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 | |
| TxOutFromOutput !TxIx |
Instances
transAddr ∷ Addr → Maybe Address Source #
Translate an address. NetworkId is discarded and Byron
Addresses will result in Nothing.
transRewardAccount ∷ RewardAccount → 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.
transKeyHash ∷ KeyHash d → PubKeyHash Source #
transCred ∷ Credential kr → Credential Source #
transCoinToValue ∷ Coin → Value Source #
transBoundedRational ∷ BoundedRational r ⇒ r → Rational Source #
transDatum ∷ Data era → Datum Source #