Safe Haskell | None |
---|---|
Language | Haskell2010 |
Plutus.V1.Ledger.Contexts
Synopsis
-
data
TxInfo
=
TxInfo
{
- txInfoInputs :: [ TxInInfo ]
- txInfoOutputs :: [ TxOut ]
- txInfoFee :: Value
- txInfoMint :: Value
- txInfoDCert :: [ DCert ]
- txInfoWdrl :: [( StakingCredential , Integer )]
- txInfoValidRange :: POSIXTimeRange
- txInfoSignatories :: [ PubKeyHash ]
- txInfoData :: [( DatumHash , Datum )]
- txInfoId :: TxId
- data ScriptContext = ScriptContext { }
- data ScriptPurpose
- newtype TxId = TxId { }
- data TxOut = TxOut { }
-
data
TxOutRef
=
TxOutRef
{
- txOutRefId :: TxId
- txOutRefIdx :: Integer
- data TxInInfo = TxInInfo { }
- findOwnInput :: ScriptContext -> Maybe TxInInfo
- findDatum :: DatumHash -> TxInfo -> Maybe Datum
- findDatumHash :: Datum -> TxInfo -> Maybe DatumHash
- findTxInByTxOutRef :: TxOutRef -> TxInfo -> Maybe TxInInfo
- findContinuingOutputs :: ScriptContext -> [ Integer ]
- getContinuingOutputs :: ScriptContext -> [ TxOut ]
- pubKeyOutput :: TxOut -> Maybe PubKeyHash
- scriptOutputsAt :: ValidatorHash -> TxInfo -> [( DatumHash , Value )]
- pubKeyOutputsAt :: PubKeyHash -> TxInfo -> [ Value ]
- valueLockedBy :: TxInfo -> ValidatorHash -> Value
- valuePaidTo :: TxInfo -> PubKeyHash -> Value
- spendsOutput :: TxInfo -> TxId -> Integer -> Bool
- txSignedBy :: TxInfo -> PubKeyHash -> Bool
- valueSpent :: TxInfo -> Value
- valueProduced :: TxInfo -> Value
- ownCurrencySymbol :: ScriptContext -> CurrencySymbol
- ownHashes :: ScriptContext -> ( ValidatorHash , DatumHash )
- ownHash :: ScriptContext -> ValidatorHash
- fromSymbol :: CurrencySymbol -> ValidatorHash
Pending transactions and related types
A pending transaction. This is the view as seen by validator scripts, so some details are stripped out.
Constructors
TxInfo | |
Fields
|
Instances
data ScriptContext Source #
Constructors
ScriptContext | |
Fields |
Instances
data ScriptPurpose Source #
Purpose of the script that is currently running
Constructors
Minting CurrencySymbol | |
Spending TxOutRef | |
Rewarding StakingCredential | |
Certifying DCert |
Instances
A transaction ID, using a SHA256 hash as the transaction id.
Constructors
TxId | |
Fields |
Instances
A transaction output, consisting of a target address, a value, and optionally a datum hash.
Constructors
TxOut | |
Fields |
Instances
A reference to a transaction output. This is a pair of a transaction reference, and an index indicating which of the outputs of that transaction we are referring to.
Constructors
TxOutRef | |
Fields
|
Instances
An input of a pending transaction.
Constructors
TxInInfo | |
Fields |
Instances
findOwnInput :: ScriptContext -> Maybe TxInInfo Source #
Find the input currently being validated.
findDatum :: DatumHash -> TxInfo -> Maybe Datum Source #
Find the data corresponding to a data hash, if there is one
findDatumHash :: Datum -> TxInfo -> Maybe DatumHash Source #
Find the hash of a datum, if it is part of the pending transaction's hashes
findContinuingOutputs :: ScriptContext -> [ Integer ] Source #
Finds all the outputs that pay to the same script address that we are currently spending from, if any.
getContinuingOutputs :: ScriptContext -> [ TxOut ] Source #
Validator functions
pubKeyOutput :: TxOut -> Maybe PubKeyHash Source #
Get the public key hash that locks the transaction output, if any.
scriptOutputsAt :: ValidatorHash -> TxInfo -> [( DatumHash , Value )] Source #
Get the list of
TxOut
outputs of the pending transaction at
a given script address.
pubKeyOutputsAt :: PubKeyHash -> TxInfo -> [ Value ] Source #
Get the values paid to a public key address by a pending transaction.
valueLockedBy :: TxInfo -> ValidatorHash -> Value Source #
Get the total value locked by the given validator in this transaction.
valuePaidTo :: TxInfo -> PubKeyHash -> Value Source #
Get the total value paid to a public key address by a pending transaction.
spendsOutput :: TxInfo -> TxId -> Integer -> Bool Source #
Check if the pending transaction spends a specific transaction output (identified by the hash of a transaction and an index into that transactions' outputs)
txSignedBy :: TxInfo -> PubKeyHash -> Bool Source #
Check if a transaction was signed by the given public key.
valueSpent :: TxInfo -> Value Source #
Get the total value of inputs spent by this transaction.
valueProduced :: TxInfo -> Value Source #
Get the total value of outputs produced by this transaction.
ownCurrencySymbol :: ScriptContext -> CurrencySymbol Source #
The
CurrencySymbol
of the current validator script.
ownHashes :: ScriptContext -> ( ValidatorHash , DatumHash ) Source #
Get the validator and datum hashes of the output that is curently being validated
ownHash :: ScriptContext -> ValidatorHash Source #
Get the hash of the validator script that is currently being validated.
fromSymbol :: CurrencySymbol -> ValidatorHash Source #
Convert a
CurrencySymbol
to a
ValidatorHash