plutus-ledger-api
Safe HaskellNone
LanguageHaskell2010

PlutusLedgerApi.V2.Data.Contexts

Synopsis

Pending transactions and related types

data TxInfo Source #

A pending transaction. This is the view as seen by validator scripts, so some details are stripped out.

Instances

Instances details
Generic TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Associated Types

type Rep TxInfo 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

type Rep TxInfo = D1 ('MetaData "TxInfo" "PlutusLedgerApi.V2.Data.Contexts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'True) (C1 ('MetaCons "TxInfo_6989586621680198976" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))

Methods

from :: TxInfo -> Rep TxInfo x Source #

to :: Rep TxInfo x -> TxInfo Source #

Show TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

showsPrec :: Int -> TxInfo -> ShowS Source #

show :: TxInfo -> String Source #

showList :: [TxInfo] -> ShowS Source #

FromData TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe TxInfo #

ToData TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

toBuiltinData :: TxInfo -> BuiltinData #

UnsafeFromData TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> TxInfo #

Pretty TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

pretty :: TxInfo -> Doc ann

prettyList :: [TxInfo] -> Doc ann

Lift DefaultUni TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

lift :: TxInfo -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

typeRep :: Proxy TxInfo -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

type Rep TxInfo = D1 ('MetaData "TxInfo" "PlutusLedgerApi.V2.Data.Contexts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'True) (C1 ('MetaCons "TxInfo_6989586621680198976" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))

pattern TxInfo :: List TxInInfo -> List TxInInfo -> List TxOut -> Value -> Value -> List DCert -> Map StakingCredential Integer -> POSIXTimeRange -> List PubKeyHash -> Map ScriptPurpose Redeemer -> Map DatumHash Datum -> TxId -> TxInfo Source #

matchTxInfo :: TxInfo -> (List TxInInfo -> List TxInInfo -> List TxOut -> Value -> Value -> List DCert -> Map StakingCredential Integer -> POSIXTimeRange -> List PubKeyHash -> Map ScriptPurpose Redeemer -> Map DatumHash Datum -> TxId -> r) -> r Source #

txInfoInputs :: TxInfo -> List TxInInfo Source #

txInfoReferenceInputs :: TxInfo -> List TxInInfo Source #

txInfoOutputs :: TxInfo -> List TxOut Source #

txInfoFee :: TxInfo -> Value Source #

txInfoMint :: TxInfo -> Value Source #

txInfoDCert :: TxInfo -> List DCert Source #

txInfoWdrl :: TxInfo -> Map StakingCredential Integer Source #

txInfoValidRange :: TxInfo -> POSIXTimeRange Source #

txInfoSignatories :: TxInfo -> List PubKeyHash Source #

txInfoRedeemers :: TxInfo -> Map ScriptPurpose Redeemer Source #

txInfoData :: TxInfo -> Map DatumHash Datum Source #

txInfoId :: TxInfo -> TxId Source #

data ScriptContext Source #

The context that the currently-executing script can access.

Instances

Instances details
Generic ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Associated Types

type Rep ScriptContext 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

type Rep ScriptContext = D1 ('MetaData "ScriptContext" "PlutusLedgerApi.V2.Data.Contexts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'True) (C1 ('MetaCons "ScriptContext_6989586621680200472" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))

Methods

from :: ScriptContext -> Rep ScriptContext x Source #

to :: Rep ScriptContext x -> ScriptContext Source #

Show ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

showsPrec :: Int -> ScriptContext -> ShowS Source #

show :: ScriptContext -> String Source #

showList :: [ScriptContext] -> ShowS Source #

FromData ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe ScriptContext #

ToData ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

toBuiltinData :: ScriptContext -> BuiltinData #

UnsafeFromData ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> ScriptContext #

Pretty ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

pretty :: ScriptContext -> Doc ann

prettyList :: [ScriptContext] -> Doc ann

Lift DefaultUni ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

lift :: ScriptContext -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

typeRep :: Proxy ScriptContext -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

type Rep ScriptContext = D1 ('MetaData "ScriptContext" "PlutusLedgerApi.V2.Data.Contexts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'True) (C1 ('MetaCons "ScriptContext_6989586621680200472" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))

pattern ScriptContext :: TxInfo -> ScriptPurpose -> ScriptContext Source #

matchScriptContext :: ScriptContext -> (TxInfo -> ScriptPurpose -> r) -> r Source #

scriptContextTxInfo :: ScriptContext -> TxInfo Source #

scriptContextPurpose :: ScriptContext -> ScriptPurpose Source #

data ScriptPurpose Source #

Purpose of the script that is currently running

Instances

Instances details
Generic ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Contexts

Associated Types

type Rep ScriptPurpose 
Instance details

Defined in PlutusLedgerApi.V1.Data.Contexts

type Rep ScriptPurpose = D1 ('MetaData "ScriptPurpose" "PlutusLedgerApi.V1.Data.Contexts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'True) (C1 ('MetaCons "ScriptPurpose_6989586621680163311" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))

Methods

from :: ScriptPurpose -> Rep ScriptPurpose x Source #

to :: Rep ScriptPurpose x -> ScriptPurpose Source #

Show ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Contexts

Methods

showsPrec :: Int -> ScriptPurpose -> ShowS Source #

show :: ScriptPurpose -> String Source #

showList :: [ScriptPurpose] -> ShowS Source #

Eq ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Contexts

Methods

(==) :: ScriptPurpose -> ScriptPurpose -> Bool Source #

(/=) :: ScriptPurpose -> ScriptPurpose -> Bool Source #

Eq ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Contexts

Methods

(==) :: ScriptPurpose -> ScriptPurpose -> Bool

FromData ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe ScriptPurpose #

ToData ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Contexts

Methods

toBuiltinData :: ScriptPurpose -> BuiltinData #

UnsafeFromData ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> ScriptPurpose #

Pretty ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Contexts

Methods

pretty :: ScriptPurpose -> Doc ann

prettyList :: [ScriptPurpose] -> Doc ann

Lift DefaultUni ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Contexts

Methods

lift :: ScriptPurpose -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Contexts

Methods

typeRep :: Proxy ScriptPurpose -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Contexts

type Rep ScriptPurpose = D1 ('MetaData "ScriptPurpose" "PlutusLedgerApi.V1.Data.Contexts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'True) (C1 ('MetaCons "ScriptPurpose_6989586621680163311" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))

pattern Minting :: CurrencySymbol -> ScriptPurpose Source #

pattern Spending :: TxOutRef -> ScriptPurpose Source #

pattern Rewarding :: StakingCredential -> ScriptPurpose Source #

pattern Certifying :: DCert -> ScriptPurpose Source #

newtype TxId Source #

A transaction ID, i.e. the hash of a transaction. Hashed with BLAKE2b-256. 32 byte.

This is a simple type without any validation, use with caution. You may want to add checks for its invariants. See the Shelley ledger specification. -- editorconfig-checker-disable-file

Constructors

TxId 

Fields

Instances

Instances details
IsString TxId Source #

from hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

fromString :: String -> TxId Source #

Generic TxId Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Associated Types

type Rep TxId 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

type Rep TxId = D1 ('MetaData "TxId" "PlutusLedgerApi.V1.Data.Tx" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'True) (C1 ('MetaCons "TxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))

Methods

from :: TxId -> Rep TxId x Source #

to :: Rep TxId x -> TxId Source #

Show TxId Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

showsPrec :: Int -> TxId -> ShowS Source #

show :: TxId -> String Source #

showList :: [TxId] -> ShowS Source #

NFData TxId Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

rnf :: TxId -> () Source #

Eq TxId Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

(==) :: TxId -> TxId -> Bool Source #

(/=) :: TxId -> TxId -> Bool Source #

Ord TxId Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

compare :: TxId -> TxId -> Ordering Source #

(<) :: TxId -> TxId -> Bool Source #

(<=) :: TxId -> TxId -> Bool Source #

(>) :: TxId -> TxId -> Bool Source #

(>=) :: TxId -> TxId -> Bool Source #

max :: TxId -> TxId -> TxId Source #

min :: TxId -> TxId -> TxId Source #

Eq TxId Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

(==) :: TxId -> TxId -> Bool

FromData TxId Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

fromBuiltinData :: BuiltinData -> Maybe TxId #

ToData TxId Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

toBuiltinData :: TxId -> BuiltinData #

UnsafeFromData TxId Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

unsafeFromBuiltinData :: BuiltinData -> TxId #

Ord TxId Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

compare :: TxId -> TxId -> Ordering

(<) :: TxId -> TxId -> Bool

(<=) :: TxId -> TxId -> Bool

(>) :: TxId -> TxId -> Bool

(>=) :: TxId -> TxId -> Bool

max :: TxId -> TxId -> TxId

min :: TxId -> TxId -> TxId

Pretty TxId Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

pretty :: TxId -> Doc ann

prettyList :: [TxId] -> Doc ann

Lift DefaultUni TxId Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

lift :: TxId -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni TxId Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

typeRep :: Proxy TxId -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep TxId Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

type Rep TxId = D1 ('MetaData "TxId" "PlutusLedgerApi.V1.Data.Tx" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'True) (C1 ('MetaCons "TxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))

data TxOut Source #

A transaction output, consisting of a target address, a value, optionally a datum/datum hash, and optionally a reference script.

Instances

Instances details
Generic TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Tx

Associated Types

type Rep TxOut 
Instance details

Defined in PlutusLedgerApi.V2.Data.Tx

type Rep TxOut = D1 ('MetaData "TxOut" "PlutusLedgerApi.V2.Data.Tx" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'True) (C1 ('MetaCons "TxOut_6989586621680147101" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))

Methods

from :: TxOut -> Rep TxOut x Source #

to :: Rep TxOut x -> TxOut Source #

Show TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Tx

Methods

showsPrec :: Int -> TxOut -> ShowS Source #

show :: TxOut -> String Source #

showList :: [TxOut] -> ShowS Source #

Eq TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Tx

Methods

(==) :: TxOut -> TxOut -> Bool Source #

(/=) :: TxOut -> TxOut -> Bool Source #

Eq TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Tx

Methods

(==) :: TxOut -> TxOut -> Bool

FromData TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Tx

Methods

fromBuiltinData :: BuiltinData -> Maybe TxOut #

ToData TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Tx

Methods

toBuiltinData :: TxOut -> BuiltinData #

UnsafeFromData TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Tx

Methods

unsafeFromBuiltinData :: BuiltinData -> TxOut #

Pretty TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Tx

Methods

pretty :: TxOut -> Doc ann

prettyList :: [TxOut] -> Doc ann

Lift DefaultUni TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Tx

Methods

lift :: TxOut -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Tx

Methods

typeRep :: Proxy TxOut -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Tx

type Rep TxOut = D1 ('MetaData "TxOut" "PlutusLedgerApi.V2.Data.Tx" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'True) (C1 ('MetaCons "TxOut_6989586621680147101" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))

pattern TxOut :: Address -> Value -> OutputDatum -> Maybe ScriptHash -> TxOut Source #

txOutAddress :: TxOut -> Address Source #

txOutValue :: TxOut -> Value Source #

txOutDatum :: TxOut -> OutputDatum Source #

txOutReferenceScript :: TxOut -> Maybe ScriptHash Source #

data TxOutRef Source #

A reference to a transaction output. This is a pair of a transaction ID (TxId), and an index indicating which of the outputs of that transaction we are referring to.

Instances

Instances details
Generic TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Associated Types

type Rep TxOutRef 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

type Rep TxOutRef = D1 ('MetaData "TxOutRef" "PlutusLedgerApi.V1.Data.Tx" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'True) (C1 ('MetaCons "TxOutRef_6989586621680121377" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))

Methods

from :: TxOutRef -> Rep TxOutRef x Source #

to :: Rep TxOutRef x -> TxOutRef Source #

Show TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

showsPrec :: Int -> TxOutRef -> ShowS Source #

show :: TxOutRef -> String Source #

showList :: [TxOutRef] -> ShowS Source #

NFData TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

rnf :: TxOutRef -> () Source #

Eq TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

(==) :: TxOutRef -> TxOutRef -> Bool Source #

(/=) :: TxOutRef -> TxOutRef -> Bool Source #

Ord TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

compare :: TxOutRef -> TxOutRef -> Ordering Source #

(<) :: TxOutRef -> TxOutRef -> Bool Source #

(<=) :: TxOutRef -> TxOutRef -> Bool Source #

(>) :: TxOutRef -> TxOutRef -> Bool Source #

(>=) :: TxOutRef -> TxOutRef -> Bool Source #

max :: TxOutRef -> TxOutRef -> TxOutRef Source #

min :: TxOutRef -> TxOutRef -> TxOutRef Source #

Eq TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

(==) :: TxOutRef -> TxOutRef -> Bool

FromData TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

fromBuiltinData :: BuiltinData -> Maybe TxOutRef #

ToData TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

toBuiltinData :: TxOutRef -> BuiltinData #

UnsafeFromData TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

unsafeFromBuiltinData :: BuiltinData -> TxOutRef #

Pretty TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

pretty :: TxOutRef -> Doc ann

prettyList :: [TxOutRef] -> Doc ann

Lift DefaultUni TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

lift :: TxOutRef -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

typeRep :: Proxy TxOutRef -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

type Rep TxOutRef = D1 ('MetaData "TxOutRef" "PlutusLedgerApi.V1.Data.Tx" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'True) (C1 ('MetaCons "TxOutRef_6989586621680121377" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))

pattern TxOutRef :: TxId -> Integer -> TxOutRef Source #

txOutRefId :: TxOutRef -> TxId Source #

txOutRefIdx :: TxOutRef -> Integer Source #

data TxInInfo Source #

An input of a pending transaction.

Instances

Instances details
Generic TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Associated Types

type Rep TxInInfo 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

type Rep TxInInfo = D1 ('MetaData "TxInInfo" "PlutusLedgerApi.V2.Data.Contexts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'True) (C1 ('MetaCons "TxInInfo_6989586621680197677" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))

Methods

from :: TxInInfo -> Rep TxInInfo x Source #

to :: Rep TxInInfo x -> TxInInfo Source #

Show TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

showsPrec :: Int -> TxInInfo -> ShowS Source #

show :: TxInInfo -> String Source #

showList :: [TxInInfo] -> ShowS Source #

Eq TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

(==) :: TxInInfo -> TxInInfo -> Bool Source #

(/=) :: TxInInfo -> TxInInfo -> Bool Source #

Eq TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

(==) :: TxInInfo -> TxInInfo -> Bool

FromData TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe TxInInfo #

ToData TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

toBuiltinData :: TxInInfo -> BuiltinData #

UnsafeFromData TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> TxInInfo #

Pretty TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

pretty :: TxInInfo -> Doc ann

prettyList :: [TxInInfo] -> Doc ann

Lift DefaultUni TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

lift :: TxInInfo -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

typeRep :: Proxy TxInInfo -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

type Rep TxInInfo = D1 ('MetaData "TxInInfo" "PlutusLedgerApi.V2.Data.Contexts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'True) (C1 ('MetaCons "TxInInfo_6989586621680197677" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))

pattern TxInInfo :: TxOutRef -> TxOut -> TxInInfo Source #

matchTxInInfo :: TxInInfo -> (TxOutRef -> TxOut -> r) -> r Source #

txInInfoOutRef :: TxInInfo -> TxOutRef Source #

txInInfoResolved :: TxInInfo -> TxOut Source #

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

findTxInByTxOutRef :: TxOutRef -> TxInfo -> Maybe TxInInfo Source #

Given a UTXO reference and a transaction (TxInfo), resolve it to one of the transaction's inputs (TxInInfo). Note: this only searches the true transaction inputs and not the referenced transaction inputs.

findContinuingOutputs :: ScriptContext -> List Integer Source #

Find the indices of all the outputs that pay to the same script address we are currently spending from, if any.

getContinuingOutputs :: ScriptContext -> List TxOut Source #

Get all the outputs that pay to the same script address we are currently spending from, if any.

Validator functions

pubKeyOutputsAt :: PubKeyHash -> TxInfo -> List Value Source #

Get the values paid to a public key address by a pending 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.