Moduleplutus-ledger-api-1.70.0.0

PlutusLedgerApi.V2.Data.Contexts

Synopsis

pattern Certifying
pattern Minting
pattern Rewarding
pattern Spending
pattern TxOutRef
value txOutRefId
value txOutRefIdx
pattern ScriptContext
pattern TxInInfo
pattern TxInfo
value findContinuingOutputs
value findDatum
value findDatumHash
value findOwnInput
value findTxInByTxOutRef
value getContinuingOutputs
value matchScriptContext
value matchTxInInfo
value matchTxInfo
value ownCurrencySymbol
value pubKeyOutputsAt
value scriptContextPurpose
value scriptContextTxInfo
value spendsOutput
value txInInfoOutRef
value txInInfoResolved
value txInfoDCert
value txInfoData
value txInfoFee
value txInfoId
value txInfoInputs
value txInfoMint
value txInfoOutputs
value txInfoRedeemers
value txInfoReferenceInputs
value txInfoSignatories
value txInfoValidRange
value txInfoWdrl
value txSignedBy
value valuePaidTo
value valueProduced
value valueSpent
pattern TxOut
value txOutAddress
value txOutDatum
value txOutReferenceScript
value txOutValue
newtype ScriptPurpose
newtype TxId
newtype TxOutRef
newtype ScriptContext
newtype TxInInfo
newtype TxInfo
newtype TxOut

Packageplutus-ledger-api-1.70.0.0
Exports54
LicenceApache-2.0

patternpattern Certifying :: DCert -> ScriptPurpose

patternpattern Minting :: CurrencySymbol -> ScriptPurpose

patternpattern Rewarding :: StakingCredential -> ScriptPurpose

patternpattern Spending :: TxOutRef -> ScriptPurpose

patternpattern TxOutRef :: TxId -> Integer -> TxOutRef

valuetxOutRefId :: TxOutRef -> TxId

valuetxOutRefIdx :: TxOutRef -> Integer

patternpattern ScriptContext :: TxInfo -> ScriptPurpose -> ScriptContext

patternpattern TxInInfo :: TxOutRef -> TxOut -> TxInInfo

pattern

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

valuefindContinuingOutputs :: ScriptContext -> List Integer

valuefindDatum :: DatumHash -> TxInfo -> Maybe Datum

valuefindDatumHash :: Datum -> TxInfo -> Maybe DatumHash

valuefindOwnInput :: ScriptContext -> Maybe TxInInfo

valuefindTxInByTxOutRef :: TxOutRef -> TxInfo -> Maybe TxInInfo

valuegetContinuingOutputs :: ScriptContext -> List TxOut

valuematchScriptContext :: ScriptContext -> (TxInfo -> ScriptPurpose -> r) -> r

valuematchTxInInfo :: TxInInfo -> (TxOutRef -> TxOut -> r) -> r

valuematchTxInfo

:: 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

valueownCurrencySymbol :: ScriptContext -> CurrencySymbol

valuepubKeyOutputsAt :: PubKeyHash -> TxInfo -> List Value

valuescriptContextPurpose :: ScriptContext -> ScriptPurpose

valuescriptContextTxInfo :: ScriptContext -> TxInfo

valuespendsOutput :: TxInfo -> TxId -> Integer -> Bool

valuetxInInfoOutRef :: TxInInfo -> TxOutRef

valuetxInInfoResolved :: TxInInfo -> TxOut

valuetxInfoDCert :: TxInfo -> List DCert

valuetxInfoData :: TxInfo -> Map DatumHash Datum

valuetxInfoFee :: TxInfo -> Value

valuetxInfoId :: TxInfo -> TxId

valuetxInfoInputs :: TxInfo -> List TxInInfo

valuetxInfoMint :: TxInfo -> Value

valuetxInfoOutputs :: TxInfo -> List TxOut

valuetxInfoRedeemers :: TxInfo -> Map ScriptPurpose Redeemer

valuetxInfoReferenceInputs :: TxInfo -> List TxInInfo

valuetxInfoSignatories :: TxInfo -> List PubKeyHash

valuetxInfoValidRange :: TxInfo -> POSIXTimeRange

valuetxInfoWdrl :: TxInfo -> Map StakingCredential Integer

valuetxSignedBy :: TxInfo -> PubKeyHash -> Bool

valuevaluePaidTo :: TxInfo -> PubKeyHash -> Value

valuevalueProduced :: TxInfo -> Value

valuevalueSpent :: TxInfo -> Value

patternpattern TxOut :: Address -> Value -> OutputDatum -> Maybe ScriptHash -> TxOut

valuetxOutAddress :: TxOut -> Address

valuetxOutDatum :: TxOut -> OutputDatum

valuetxOutReferenceScript :: TxOut -> Maybe ScriptHash

valuetxOutValue :: TxOut -> Value

newtypenewtype ScriptPurpose

Instances11Show, Generic, Pretty, FromData, ToData, UnsafeFromData, …

Eq ScriptPurposeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Contexts
Show ScriptPurposeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Contexts
Generic ScriptPurposeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Contexts
Pretty ScriptPurposeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Contexts
FromData ScriptPurposeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Contexts
ToData ScriptPurposeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Contexts
UnsafeFromData ScriptPurposeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Contexts
Eq ScriptPurposeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Contexts
Lift DefaultUni ScriptPurposeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Contexts
Typeable DefaultUni ScriptPurposeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Contexts
type Rep ScriptPurpose = D1 ('MetaData "ScriptPurpose" "PlutusLedgerApi.V1.Data.Contexts" "plutus-ledger-api-1.70.0.0-5wPGiL5tUsXGZcBy6AE4fo" 'True) (C1 ('MetaCons "ScriptPurpose_6989586621679894515" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Contexts

newtypenewtype TxId

Constructors

TxId
- getTxId :: BuiltinByteString

Instances15Show, IsString, Generic, NFData, Pretty, FromData, …

Eq TxIdDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Tx
Ord TxIdDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Tx
Show TxIdDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Tx
IsString TxIdDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Tx
Generic TxIdDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Tx
NFData TxIdDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Tx
Pretty TxIdDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Tx
FromData TxIdDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Tx
ToData TxIdDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Tx
UnsafeFromData TxIdDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Tx
Eq TxIdDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Tx
Ord TxIdDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Tx
Lift DefaultUni TxIdDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Tx
Typeable DefaultUni TxIdDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Tx
type Rep TxId = D1 ('MetaData "TxId" "PlutusLedgerApi.V1.Data.Tx" "plutus-ledger-api-1.70.0.0-5wPGiL5tUsXGZcBy6AE4fo" 'True) (C1 ('MetaCons "TxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Tx

newtypenewtype TxOutRef

Instances13Ord, Show, Generic, NFData, Pretty, FromData, …

Eq TxOutRefDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Tx
Ord TxOutRefDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Tx
Show TxOutRefDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Tx
Generic TxOutRefDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Tx
NFData TxOutRefDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Tx
Pretty TxOutRefDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Tx
FromData TxOutRefDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Tx
ToData TxOutRefDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Tx
UnsafeFromData TxOutRefDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Tx
Eq TxOutRefDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Tx
Lift DefaultUni TxOutRefDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Tx
Typeable DefaultUni TxOutRefDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Tx
type Rep TxOutRef = D1 ('MetaData "TxOutRef" "PlutusLedgerApi.V1.Data.Tx" "plutus-ledger-api-1.70.0.0-5wPGiL5tUsXGZcBy6AE4fo" 'True) (C1 ('MetaCons "TxOutRef_6989586621679742218" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Tx

newtypenewtype ScriptContext

Instances9Show, Generic, Pretty, FromData, ToData, UnsafeFromData, …

Show ScriptContextDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V2.Data.Contexts
Generic ScriptContextDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V2.Data.Contexts
Pretty ScriptContextDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V2.Data.Contexts
FromData ScriptContextDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V2.Data.Contexts
ToData ScriptContextDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V2.Data.Contexts
UnsafeFromData ScriptContextDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V2.Data.Contexts
Lift DefaultUni ScriptContextDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V2.Data.Contexts
Typeable DefaultUni ScriptContextDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V2.Data.Contexts
type Rep ScriptContext = D1 ('MetaData "ScriptContext" "PlutusLedgerApi.V2.Data.Contexts" "plutus-ledger-api-1.70.0.0-5wPGiL5tUsXGZcBy6AE4fo" 'True) (C1 ('MetaCons "ScriptContext_6989586621680001293" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V2.Data.Contexts

newtypenewtype TxInInfo

Instances11Show, Generic, Pretty, FromData, ToData, UnsafeFromData, …

Eq TxInInfoDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V2.Data.Contexts
Show TxInInfoDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V2.Data.Contexts
Generic TxInInfoDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V2.Data.Contexts
Pretty TxInInfoDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V2.Data.Contexts
FromData TxInInfoDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V2.Data.Contexts
ToData TxInInfoDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V2.Data.Contexts
UnsafeFromData TxInInfoDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V2.Data.Contexts
Eq TxInInfoDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V2.Data.Contexts
Lift DefaultUni TxInInfoDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V2.Data.Contexts
Typeable DefaultUni TxInInfoDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V2.Data.Contexts
type Rep TxInInfo = D1 ('MetaData "TxInInfo" "PlutusLedgerApi.V2.Data.Contexts" "plutus-ledger-api-1.70.0.0-5wPGiL5tUsXGZcBy6AE4fo" 'True) (C1 ('MetaCons "TxInInfo_6989586621679997349" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V2.Data.Contexts

newtypenewtype TxInfo

Instances9Show, Generic, Pretty, FromData, ToData, UnsafeFromData, …

Show TxInfoDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V2.Data.Contexts
Generic TxInfoDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V2.Data.Contexts
Pretty TxInfoDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V2.Data.Contexts
FromData TxInfoDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V2.Data.Contexts
ToData TxInfoDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V2.Data.Contexts
UnsafeFromData TxInfoDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V2.Data.Contexts
Lift DefaultUni TxInfoDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V2.Data.Contexts
Typeable DefaultUni TxInfoDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V2.Data.Contexts
type Rep TxInfo = D1 ('MetaData "TxInfo" "PlutusLedgerApi.V2.Data.Contexts" "plutus-ledger-api-1.70.0.0-5wPGiL5tUsXGZcBy6AE4fo" 'True) (C1 ('MetaCons "TxInfo_6989586621679999393" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V2.Data.Contexts

newtypenewtype TxOut

Instances11Show, Generic, Pretty, FromData, ToData, UnsafeFromData, …

Eq TxOutDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V2.Data.Tx
Show TxOutDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V2.Data.Tx
Generic TxOutDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V2.Data.Tx
Pretty TxOutDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V2.Data.Tx
FromData TxOutDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V2.Data.Tx
ToData TxOutDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V2.Data.Tx
UnsafeFromData TxOutDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V2.Data.Tx
Eq TxOutDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V2.Data.Tx
Lift DefaultUni TxOutDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V2.Data.Tx
Typeable DefaultUni TxOutDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V2.Data.Tx
type Rep TxOut = D1 ('MetaData "TxOut" "PlutusLedgerApi.V2.Data.Tx" "plutus-ledger-api-1.70.0.0-5wPGiL5tUsXGZcBy6AE4fo" 'True) (C1 ('MetaCons "TxOut_6989586621679893268" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V2.Data.Tx