Safe Haskell	None
Language	Haskell2010

Plutus.Script.Utils.V2.Contexts

Synopsis

data ScriptPurpose
- = Minting CurrencySymbol
- | Spending TxOutRef
- | Rewarding StakingCredential
- | Certifying DCert
data TxOutRef = TxOutRef {
- txOutRefId :: TxId
- txOutRefIdx :: Integer
}
data TxInfo = TxInfo {
- txInfoInputs :: [TxInInfo]
- txInfoReferenceInputs :: [TxInInfo]
- txInfoOutputs :: [TxOut]
- txInfoFee :: Value
- txInfoMint :: Value
- txInfoDCert :: [DCert]
- txInfoWdrl :: Map StakingCredential Integer
- txInfoValidRange :: POSIXTimeRange
- txInfoSignatories :: [PubKeyHash]
- txInfoRedeemers :: Map ScriptPurpose Redeemer
- txInfoData :: Map DatumHash Datum
- txInfoId :: TxId
}
fromSymbol :: CurrencySymbol -> ValidatorHash
pubKeyOutput :: TxOut -> Maybe PubKeyHash
findContinuingOutputs :: ScriptContext -> [Integer]
findDatum :: DatumHash -> TxInfo -> Maybe Datum
findDatumHash :: Datum -> TxInfo -> Maybe DatumHash
findOwnInput :: ScriptContext -> Maybe TxInInfo
getContinuingOutputs :: ScriptContext -> [TxOut]
ownCurrencySymbol :: ScriptContext -> CurrencySymbol
ownHash :: ScriptContext -> ValidatorHash
ownHashes :: ScriptContext -> (ValidatorHash, OutputDatum)
pubKeyOutputsAt :: PubKeyHash -> TxInfo -> [Value]
scriptOutputsAt :: ValidatorHash -> TxInfo -> [(OutputDatum, Value)]
spendsOutput :: TxInfo -> TxId -> Integer -> Bool
txSignedBy :: TxInfo -> PubKeyHash -> Bool
valueLockedBy :: TxInfo -> ValidatorHash -> Value
valueProduced :: TxInfo -> Value
valueSpent :: TxInfo -> Value
data ScriptContext = ScriptContext {
- scriptContextTxInfo :: TxInfo
- scriptContextPurpose :: ScriptPurpose
}
data TxInInfo = TxInInfo {
- txInInfoOutRef :: TxOutRef
- txInInfoResolved :: TxOut
}
data TxOut = TxOut {
- txOutAddress :: Address
- txOutValue :: Value
- txOutDatum :: OutputDatum
- txOutReferenceScript :: Maybe ScriptHash
}
findTxInByTxOutRef :: TxOutRef -> TxInfo -> Maybe TxInInfo
findTxRefInByTxOutRef :: TxOutRef -> TxInfo -> Maybe TxInInfo
outputsAt :: Address -> TxInfo -> [Value]
valuePaidTo :: TxInfo -> Address -> Value

Documentation

data ScriptPurpose #

Constructors

Minting CurrencySymbol
Spending TxOutRef
Rewarding StakingCredential
Certifying DCert

Instances

Instances details

Eq ScriptPurpose
Instance details Defined in Plutus.V1.Ledger.Contexts Methods (==) :: ScriptPurpose -> ScriptPurpose -> Bool Source # (/=) :: ScriptPurpose -> ScriptPurpose -> Bool Source #
Show ScriptPurpose
Instance details Defined in Plutus.V1.Ledger.Contexts Methods showsPrec :: Int -> ScriptPurpose -> ShowS Source # show :: ScriptPurpose -> String Source # showList :: [ScriptPurpose] -> ShowS Source #
Generic ScriptPurpose
Instance details Defined in Plutus.V1.Ledger.Contexts Associated Types type Rep ScriptPurpose :: Type -> Type Source # Methods from :: ScriptPurpose -> Rep ScriptPurpose x Source # to :: Rep ScriptPurpose x -> ScriptPurpose Source #
Eq ScriptPurpose
Instance details Defined in Plutus.V1.Ledger.Contexts Methods (==) :: ScriptPurpose -> ScriptPurpose -> Bool
FromData ScriptPurpose
Instance details Defined in Plutus.V1.Ledger.Contexts Methods fromBuiltinData :: BuiltinData -> Maybe ScriptPurpose
Pretty ScriptPurpose
Instance details Defined in Plutus.V1.Ledger.Contexts Methods pretty :: ScriptPurpose -> Doc ann prettyList :: [ScriptPurpose] -> Doc ann
ToData ScriptPurpose
Instance details Defined in Plutus.V1.Ledger.Contexts Methods toBuiltinData :: ScriptPurpose -> BuiltinData
UnsafeFromData ScriptPurpose
Instance details Defined in Plutus.V1.Ledger.Contexts Methods unsafeFromBuiltinData :: BuiltinData -> ScriptPurpose
Lift DefaultUni ScriptPurpose
Instance details Defined in Plutus.V1.Ledger.Contexts Methods lift :: ScriptPurpose -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())
Typeable DefaultUni ScriptPurpose
Instance details Defined in Plutus.V1.Ledger.Contexts Methods typeRep :: Proxy ScriptPurpose -> RTCompile DefaultUni fun (Type TyName DefaultUni ())
type Rep ScriptPurpose
Instance details Defined in Plutus.V1.Ledger.Contexts type Rep ScriptPurpose = D1 ('MetaData "ScriptPurpose" "Plutus.V1.Ledger.Contexts" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'False) ((C1 ('MetaCons "Minting" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CurrencySymbol)) :+: C1 ('MetaCons "Spending" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxOutRef))) :+: (C1 ('MetaCons "Rewarding" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 StakingCredential)) :+: C1 ('MetaCons "Certifying" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DCert))))

data TxOutRef #

Constructors

TxOutRef
Fields txOutRefId :: TxId txOutRefIdx :: Integer

Instances

Instances details

Eq TxOutRef
Instance details Defined in Plutus.V1.Ledger.Tx Methods (==) :: TxOutRef -> TxOutRef -> Bool Source # (/=) :: TxOutRef -> TxOutRef -> Bool Source #
Ord TxOutRef
Instance details Defined in Plutus.V1.Ledger.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 #
Show TxOutRef
Instance details Defined in Plutus.V1.Ledger.Tx Methods showsPrec :: Int -> TxOutRef -> ShowS Source # show :: TxOutRef -> String Source # showList :: [TxOutRef] -> ShowS Source #
Generic TxOutRef
Instance details Defined in Plutus.V1.Ledger.Tx Associated Types type Rep TxOutRef :: Type -> Type Source # Methods from :: TxOutRef -> Rep TxOutRef x Source # to :: Rep TxOutRef x -> TxOutRef Source #
NFData TxOutRef
Instance details Defined in Plutus.V1.Ledger.Tx Methods rnf :: TxOutRef -> () Source #
Eq TxOutRef
Instance details Defined in Plutus.V1.Ledger.Tx Methods (==) :: TxOutRef -> TxOutRef -> Bool
FromData TxOutRef
Instance details Defined in Plutus.V1.Ledger.Tx Methods fromBuiltinData :: BuiltinData -> Maybe TxOutRef
Pretty TxOutRef
Instance details Defined in Plutus.V1.Ledger.Tx Methods pretty :: TxOutRef -> Doc ann prettyList :: [TxOutRef] -> Doc ann
ToData TxOutRef
Instance details Defined in Plutus.V1.Ledger.Tx Methods toBuiltinData :: TxOutRef -> BuiltinData
UnsafeFromData TxOutRef
Instance details Defined in Plutus.V1.Ledger.Tx Methods unsafeFromBuiltinData :: BuiltinData -> TxOutRef
Lift DefaultUni TxOutRef
Instance details Defined in Plutus.V1.Ledger.Tx Methods lift :: TxOutRef -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())
Typeable DefaultUni TxOutRef
Instance details Defined in Plutus.V1.Ledger.Tx Methods typeRep :: Proxy TxOutRef -> RTCompile DefaultUni fun (Type TyName DefaultUni ())
type Rep TxOutRef
Instance details Defined in Plutus.V1.Ledger.Tx type Rep TxOutRef = D1 ('MetaData "TxOutRef" "Plutus.V1.Ledger.Tx" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'False) (C1 ('MetaCons "TxOutRef" 'PrefixI 'True) (S1 ('MetaSel ('Just "txOutRefId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxId) :*: S1 ('MetaSel ('Just "txOutRefIdx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

data TxInfo #

Constructors

TxInfo
Fields txInfoInputs :: [TxInInfo] txInfoReferenceInputs :: [TxInInfo] txInfoOutputs :: [TxOut] txInfoFee :: Value txInfoMint :: Value txInfoDCert :: [DCert] txInfoWdrl :: Map StakingCredential Integer txInfoValidRange :: POSIXTimeRange txInfoSignatories :: [PubKeyHash] txInfoRedeemers :: Map ScriptPurpose Redeemer txInfoData :: Map DatumHash Datum txInfoId :: TxId

Instances

Instances details

Eq TxInfo
Instance details Defined in Plutus.V2.Ledger.Contexts Methods (==) :: TxInfo -> TxInfo -> Bool Source # (/=) :: TxInfo -> TxInfo -> Bool Source #
Show TxInfo
Instance details Defined in Plutus.V2.Ledger.Contexts Methods showsPrec :: Int -> TxInfo -> ShowS Source # show :: TxInfo -> String Source # showList :: [TxInfo] -> ShowS Source #
Generic TxInfo
Instance details Defined in Plutus.V2.Ledger.Contexts Associated Types type Rep TxInfo :: Type -> Type Source # Methods from :: TxInfo -> Rep TxInfo x Source # to :: Rep TxInfo x -> TxInfo Source #
Eq TxInfo
Instance details Defined in Plutus.V2.Ledger.Contexts Methods (==) :: TxInfo -> TxInfo -> Bool
FromData TxInfo
Instance details Defined in Plutus.V2.Ledger.Contexts Methods fromBuiltinData :: BuiltinData -> Maybe TxInfo
Pretty TxInfo
Instance details Defined in Plutus.V2.Ledger.Contexts Methods pretty :: TxInfo -> Doc ann prettyList :: [TxInfo] -> Doc ann
ToData TxInfo
Instance details Defined in Plutus.V2.Ledger.Contexts Methods toBuiltinData :: TxInfo -> BuiltinData
UnsafeFromData TxInfo
Instance details Defined in Plutus.V2.Ledger.Contexts Methods unsafeFromBuiltinData :: BuiltinData -> TxInfo
Lift DefaultUni TxInfo
Instance details Defined in Plutus.V2.Ledger.Contexts Methods lift :: TxInfo -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())
Typeable DefaultUni TxInfo
Instance details Defined in Plutus.V2.Ledger.Contexts Methods typeRep :: Proxy TxInfo -> RTCompile DefaultUni fun (Type TyName DefaultUni ())
type Rep TxInfo
Instance details Defined in Plutus.V2.Ledger.Contexts type Rep TxInfo = D1 ('MetaData "TxInfo" "Plutus.V2.Ledger.Contexts" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'False) (C1 ('MetaCons "TxInfo" 'PrefixI 'True) (((S1 ('MetaSel ('Just "txInfoInputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TxInInfo]) :: (S1 ('MetaSel ('Just "txInfoReferenceInputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TxInInfo]) :: S1 ('MetaSel ('Just "txInfoOutputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TxOut]))) :: (S1 ('MetaSel ('Just "txInfoFee") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value) :: (S1 ('MetaSel ('Just "txInfoMint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value) :: S1 ('MetaSel ('Just "txInfoDCert") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DCert])))) :: ((S1 ('MetaSel ('Just "txInfoWdrl") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map StakingCredential Integer)) :: (S1 ('MetaSel ('Just "txInfoValidRange") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 POSIXTimeRange) :: S1 ('MetaSel ('Just "txInfoSignatories") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [PubKeyHash]))) :: (S1 ('MetaSel ('Just "txInfoRedeemers") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map ScriptPurpose Redeemer)) :: (S1 ('MetaSel ('Just "txInfoData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map DatumHash Datum)) :*: S1 ('MetaSel ('Just "txInfoId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxId))))))

fromSymbol :: CurrencySymbol -> ValidatorHash #

pubKeyOutput :: TxOut -> Maybe PubKeyHash #

findContinuingOutputs :: ScriptContext -> [Integer] #

findDatum :: DatumHash -> TxInfo -> Maybe Datum #

findDatumHash :: Datum -> TxInfo -> Maybe DatumHash #

findOwnInput :: ScriptContext -> Maybe TxInInfo #

getContinuingOutputs :: ScriptContext -> [TxOut] #

ownCurrencySymbol :: ScriptContext -> CurrencySymbol #

ownHash :: ScriptContext -> ValidatorHash #

ownHashes :: ScriptContext -> (ValidatorHash, OutputDatum) #

pubKeyOutputsAt :: PubKeyHash -> TxInfo -> [Value] #

scriptOutputsAt :: ValidatorHash -> TxInfo -> [(OutputDatum, Value)] #

spendsOutput :: TxInfo -> TxId -> Integer -> Bool #

txSignedBy :: TxInfo -> PubKeyHash -> Bool #

valueLockedBy :: TxInfo -> ValidatorHash -> Value #

valueProduced :: TxInfo -> Value #

valueSpent :: TxInfo -> Value #

data ScriptContext #

Constructors

ScriptContext
Fields scriptContextTxInfo :: TxInfo scriptContextPurpose :: ScriptPurpose

Instances

Instances details

Eq ScriptContext
Instance details Defined in Plutus.V2.Ledger.Contexts Methods (==) :: ScriptContext -> ScriptContext -> Bool Source # (/=) :: ScriptContext -> ScriptContext -> Bool Source #
Show ScriptContext
Instance details Defined in Plutus.V2.Ledger.Contexts Methods showsPrec :: Int -> ScriptContext -> ShowS Source # show :: ScriptContext -> String Source # showList :: [ScriptContext] -> ShowS Source #
Generic ScriptContext
Instance details Defined in Plutus.V2.Ledger.Contexts Associated Types type Rep ScriptContext :: Type -> Type Source # Methods from :: ScriptContext -> Rep ScriptContext x Source # to :: Rep ScriptContext x -> ScriptContext Source #
Eq ScriptContext
Instance details Defined in Plutus.V2.Ledger.Contexts Methods (==) :: ScriptContext -> ScriptContext -> Bool
FromData ScriptContext
Instance details Defined in Plutus.V2.Ledger.Contexts Methods fromBuiltinData :: BuiltinData -> Maybe ScriptContext
Pretty ScriptContext
Instance details Defined in Plutus.V2.Ledger.Contexts Methods pretty :: ScriptContext -> Doc ann prettyList :: [ScriptContext] -> Doc ann
ToData ScriptContext
Instance details Defined in Plutus.V2.Ledger.Contexts Methods toBuiltinData :: ScriptContext -> BuiltinData
UnsafeFromData ScriptContext
Instance details Defined in Plutus.V2.Ledger.Contexts Methods unsafeFromBuiltinData :: BuiltinData -> ScriptContext
IsScriptContext ScriptContext Source #
Instance details Defined in Plutus.Script.Utils.Typed Methods mkUntypedValidator :: (UnsafeFromData d, UnsafeFromData r) => (d -> r -> ScriptContext -> Bool) -> UntypedValidator Source # mkUntypedStakeValidator :: UnsafeFromData r => (r -> ScriptContext -> Bool) -> UntypedStakeValidator Source # mkUntypedMintingPolicy :: UnsafeFromData r => (r -> ScriptContext -> Bool) -> UntypedMintingPolicy Source #
Lift DefaultUni ScriptContext
Instance details Defined in Plutus.V2.Ledger.Contexts Methods lift :: ScriptContext -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())
Typeable DefaultUni ScriptContext
Instance details Defined in Plutus.V2.Ledger.Contexts Methods typeRep :: Proxy ScriptContext -> RTCompile DefaultUni fun (Type TyName DefaultUni ())
type Rep ScriptContext
Instance details Defined in Plutus.V2.Ledger.Contexts type Rep ScriptContext = D1 ('MetaData "ScriptContext" "Plutus.V2.Ledger.Contexts" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'False) (C1 ('MetaCons "ScriptContext" 'PrefixI 'True) (S1 ('MetaSel ('Just "scriptContextTxInfo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxInfo) :*: S1 ('MetaSel ('Just "scriptContextPurpose") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScriptPurpose)))

data TxInInfo #

Constructors

TxInInfo
Fields txInInfoOutRef :: TxOutRef txInInfoResolved :: TxOut

Instances

Instances details

Eq TxInInfo
Instance details Defined in Plutus.V2.Ledger.Contexts Methods (==) :: TxInInfo -> TxInInfo -> Bool Source # (/=) :: TxInInfo -> TxInInfo -> Bool Source #
Show TxInInfo
Instance details Defined in Plutus.V2.Ledger.Contexts Methods showsPrec :: Int -> TxInInfo -> ShowS Source # show :: TxInInfo -> String Source # showList :: [TxInInfo] -> ShowS Source #
Generic TxInInfo
Instance details Defined in Plutus.V2.Ledger.Contexts Associated Types type Rep TxInInfo :: Type -> Type Source # Methods from :: TxInInfo -> Rep TxInInfo x Source # to :: Rep TxInInfo x -> TxInInfo Source #
Eq TxInInfo
Instance details Defined in Plutus.V2.Ledger.Contexts Methods (==) :: TxInInfo -> TxInInfo -> Bool
FromData TxInInfo
Instance details Defined in Plutus.V2.Ledger.Contexts Methods fromBuiltinData :: BuiltinData -> Maybe TxInInfo
Pretty TxInInfo
Instance details Defined in Plutus.V2.Ledger.Contexts Methods pretty :: TxInInfo -> Doc ann prettyList :: [TxInInfo] -> Doc ann
ToData TxInInfo
Instance details Defined in Plutus.V2.Ledger.Contexts Methods toBuiltinData :: TxInInfo -> BuiltinData
UnsafeFromData TxInInfo
Instance details Defined in Plutus.V2.Ledger.Contexts Methods unsafeFromBuiltinData :: BuiltinData -> TxInInfo
Lift DefaultUni TxInInfo
Instance details Defined in Plutus.V2.Ledger.Contexts Methods lift :: TxInInfo -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())
Typeable DefaultUni TxInInfo
Instance details Defined in Plutus.V2.Ledger.Contexts Methods typeRep :: Proxy TxInInfo -> RTCompile DefaultUni fun (Type TyName DefaultUni ())
type Rep TxInInfo
Instance details Defined in Plutus.V2.Ledger.Contexts type Rep TxInInfo = D1 ('MetaData "TxInInfo" "Plutus.V2.Ledger.Contexts" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'False) (C1 ('MetaCons "TxInInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "txInInfoOutRef") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxOutRef) :*: S1 ('MetaSel ('Just "txInInfoResolved") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxOut)))

data TxOut #

Constructors

TxOut
Fields txOutAddress :: Address txOutValue :: Value txOutDatum :: OutputDatum txOutReferenceScript :: Maybe ScriptHash

Instances

Instances details

Eq TxOut
Instance details Defined in Plutus.V2.Ledger.Tx Methods (==) :: TxOut -> TxOut -> Bool Source # (/=) :: TxOut -> TxOut -> Bool Source #
Show TxOut
Instance details Defined in Plutus.V2.Ledger.Tx Methods showsPrec :: Int -> TxOut -> ShowS Source # show :: TxOut -> String Source # showList :: [TxOut] -> ShowS Source #
Generic TxOut
Instance details Defined in Plutus.V2.Ledger.Tx Associated Types type Rep TxOut :: Type -> Type Source # Methods from :: TxOut -> Rep TxOut x Source # to :: Rep TxOut x -> TxOut Source #
NFData TxOut
Instance details Defined in Plutus.V2.Ledger.Tx Methods rnf :: TxOut -> () Source #
Eq TxOut
Instance details Defined in Plutus.V2.Ledger.Tx Methods (==) :: TxOut -> TxOut -> Bool
FromData TxOut
Instance details Defined in Plutus.V2.Ledger.Tx Methods fromBuiltinData :: BuiltinData -> Maybe TxOut
Pretty TxOut
Instance details Defined in Plutus.V2.Ledger.Tx Methods pretty :: TxOut -> Doc ann prettyList :: [TxOut] -> Doc ann
ToData TxOut
Instance details Defined in Plutus.V2.Ledger.Tx Methods toBuiltinData :: TxOut -> BuiltinData
UnsafeFromData TxOut
Instance details Defined in Plutus.V2.Ledger.Tx Methods unsafeFromBuiltinData :: BuiltinData -> TxOut
Lift DefaultUni TxOut
Instance details Defined in Plutus.V2.Ledger.Tx Methods lift :: TxOut -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())
Typeable DefaultUni TxOut
Instance details Defined in Plutus.V2.Ledger.Tx Methods typeRep :: Proxy TxOut -> RTCompile DefaultUni fun (Type TyName DefaultUni ())
type Rep TxOut
Instance details Defined in Plutus.V2.Ledger.Tx type Rep TxOut = D1 ('MetaData "TxOut" "Plutus.V2.Ledger.Tx" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'False) (C1 ('MetaCons "TxOut" 'PrefixI 'True) ((S1 ('MetaSel ('Just "txOutAddress") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Address) :: S1 ('MetaSel ('Just "txOutValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value)) :: (S1 ('MetaSel ('Just "txOutDatum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OutputDatum) :*: S1 ('MetaSel ('Just "txOutReferenceScript") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ScriptHash)))))

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

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

outputsAt :: Address -> TxInfo -> [Value] Source #

Get the values paid to a public key address by a pending transaction.

valuePaidTo :: TxInfo -> Address -> Value Source #

Get the total value paid to a public key address by a pending transaction.