Moduleplutus-ledger-api-1.70.0.0

PlutusLedgerApi.V2.Data.Contexts

7 types
38 values

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-2kzbRKFI5dn6ejDVdmogkH" 'True) (C1 ('MetaCons "ScriptPurpose_6989586621679880926" '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-2kzbRKFI5dn6ejDVdmogkH" '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-2kzbRKFI5dn6ejDVdmogkH" 'True) (C1 ('MetaCons "TxOutRef_6989586621679735518" '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-2kzbRKFI5dn6ejDVdmogkH" 'True) (C1 ('MetaCons "ScriptContext_6989586621679995525" '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-2kzbRKFI5dn6ejDVdmogkH" 'True) (C1 ('MetaCons "TxInInfo_6989586621679990768" '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-2kzbRKFI5dn6ejDVdmogkH" 'True) (C1 ('MetaCons "TxInfo_6989586621679993310" '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-2kzbRKFI5dn6ejDVdmogkH" 'True) (C1 ('MetaCons "TxOut_6989586621679880062" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V2.Data.Tx