plutus-tx-constraints-1.2.0.0: Plutus Transaction Constraints

Index

addOwnInputLedger.Tx.Constraints.OffChain
addOwnOutputLedger.Tx.Constraints.OffChain
adjustUnbalancedTxLedger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
AmbiguousRedeemerLedger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
AmbiguousReferenceScriptLedger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
CannotSatisfyAnyLedger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
checkOwnInputConstraint 
1 (Function)Ledger.Tx.Constraints.OnChain.V2
2 (Function)Ledger.Tx.Constraints.OnChain.V1
checkOwnOutputConstraint 
1 (Function)Ledger.Tx.Constraints.OnChain.V2
2 (Function)Ledger.Tx.Constraints.OnChain.V1
checkScriptContext 
1 (Function)Ledger.Tx.Constraints.OnChain.V2
2 (Function)Ledger.Tx.Constraints.OnChain.V1
checkValueSpentLedger.Tx.Constraints.OffChain
ConstraintProcessingState 
1 (Type/Class)Ledger.Tx.Constraints.OffChain
2 (Data Constructor)Ledger.Tx.Constraints.OffChain
cpsParamsLedger.Tx.Constraints.OffChain
cpsUnbalancedTxLedger.Tx.Constraints.OffChain
cpsValueSpentBalancesInputsLedger.Tx.Constraints.OffChain
cpsValueSpentBalancesOutputsLedger.Tx.Constraints.OffChain
DatumInlineLedger.Tx.Constraints.OffChain
DatumInTxLedger.Tx.Constraints.OffChain
DatumNotFoundLedger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
DatumWithOriginLedger.Tx.Constraints.OffChain
datumWitnessLedger.Tx.Constraints.OffChain
DatumWrongHashLedger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
DeclaredInputMismatchLedger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
DeclaredOutputMismatchLedger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
emptyUnbalancedTxLedger.Tx.Constraints.OffChain
fromLedger.Tx.Constraints.ValidityInterval
fromPlutusIntervalLedger.Tx.Constraints.ValidityInterval
generaliseLedger.Tx.Constraints.OffChain
getDatumLedger.Tx.Constraints.OffChain
getTxOutDatumLedger.Tx.Constraints.TxConstraints
icRedeemerLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
icReferenceTxOutRefLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
icTxOutRefLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
initialStateLedger.Tx.Constraints.OffChain
intervalLedger.Tx.Constraints.ValidityInterval
invalidBeforeLedger.Tx.Constraints.ValidityInterval
invalidHereafterLedger.Tx.Constraints.ValidityInterval
isSatisfiableLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
isTxOutDatumHashLedger.Tx.Constraints.TxConstraints
isTxOutDatumInlineLedger.Tx.Constraints.TxConstraints
isTxOutDatumInTxLedger.Tx.Constraints.TxConstraints
lessThanLedger.Tx.Constraints.ValidityInterval
lookupMintingPolicyLedger.Tx.Constraints.OffChain
lookupScriptLedger.Tx.Constraints.OffChain
lookupScriptAsReferenceScriptLedger.Tx.Constraints.OffChain
lookupTxOutRefLedger.Tx.Constraints.OffChain
mintingPolicyLedger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
MintingPolicyNotFoundLedger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
missingValueSpentLedger.Tx.Constraints.OffChain
mkSomeTxLedger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
MkSortedConstraintsLedger.Tx.Constraints.OffChain
mkTxLedger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
MkTxErrorLedger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
mkTxWithParamsLedger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
modifiesUtxoSetLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
MultipleMatchingOutputsFoundLedger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
MustBeSignedByLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustBeSignedByLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
MustIncludeDatumInTxLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustIncludeDatumInTxLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
MustIncludeDatumInTxWithHashLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustIncludeDatumInTxWithHashLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustMintCurrencyLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustMintCurrencyWithRedeemerLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustMintCurrencyWithRedeemerAndReferenceLedger.Tx.Constraints.TxConstraints
mustMintCurrencyWithReferenceLedger.Tx.Constraints.TxConstraints
MustMintValueLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustMintValueLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustMintValueWithRedeemerLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustMintValueWithRedeemerAndReferenceLedger.Tx.Constraints.TxConstraints
mustMintValueWithReferenceLedger.Tx.Constraints.TxConstraints
MustPayToAddressLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustPayToAddressLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustPayToAddressWithDatumLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustPayToAddressWithDatumHashLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustPayToAddressWithDatumInTxLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustPayToAddressWithInlineDatumLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustPayToAddressWithReferenceMintingPolicyLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustPayToAddressWithReferenceScriptLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustPayToAddressWithReferenceValidatorLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustPayToOtherScriptLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustPayToOtherScriptAddressLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustPayToOtherScriptAddressWithDatumHashLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustPayToOtherScriptAddressWithDatumInTxLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustPayToOtherScriptAddressWithInlineDatumLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustPayToOtherScriptWithDatumHashLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustPayToOtherScriptWithDatumInTxLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustPayToOtherScriptWithInlineDatumLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustPayToPubKeyLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustPayToPubKeyAddressLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustPayToPubKeyAddressWithDatumHashLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustPayToPubKeyAddressWithDatumInTxLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustPayToPubKeyAddressWithInlineDatumLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustPayToPubKeyWithDatumHashLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustPayToPubKeyWithDatumInTxLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustPayToPubKeyWithInlineDatumLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustPayToTheScriptLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustPayToTheScriptWithDatumHashLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustPayToTheScriptWithDatumInTxLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustPayToTheScriptWithInlineDatumLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustPayToTheScriptWithReferenceScriptLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustPayWithDatumInTxToPubKeyLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustPayWithDatumInTxToPubKeyAddressLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustPayWithDatumToPubKeyLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustPayWithDatumToPubKeyAddressLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustPayWithInlineDatumToPubKeyLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustPayWithInlineDatumToPubKeyAddressLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
MustProduceAtLeastLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustProduceAtLeastLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustProduceAtLeastTotalLedger.Tx.Constraints.TxConstraints
MustReferenceOutputLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustReferenceOutputLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
MustSatisfyAnyOfLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustSatisfyAnyOfLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
MustSpendAtLeastLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustSpendAtLeastLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustSpendAtLeastTotalLedger.Tx.Constraints.TxConstraints
mustSpendOutputFromTheReferencedScriptLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustSpendOutputFromTheScriptLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
MustSpendPubKeyOutputLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustSpendPubKeyOutputLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
MustSpendScriptOutputLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustSpendScriptOutputLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
MustSpendScriptOutputWithMatchingDatumAndValueLedger.Tx.Constraints.TxConstraints
mustSpendScriptOutputWithMatchingDatumAndValueLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustSpendScriptOutputWithReferenceLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
MustUseOutputAsCollateralLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustUseOutputAsCollateralLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustValidateInLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustValidateInSlotRangeLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
MustValidateInTimeRangeLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
mustValidateInTimeRangeLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
NoMatchingOutputFoundLedger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
ocDatumLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
ocReferenceScriptHashLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
ocValueLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
otherConstraintsLedger.Tx.Constraints.OffChain
otherDataLedger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
otherScriptLedger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
paramsLLedger.Tx.Constraints.OffChain
paymentPubKeyLedger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
paymentPubKeyHashLedger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
plutusV1MintingPolicyLedger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
plutusV1OtherScriptLedger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
plutusV2MintingPolicyLedger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
plutusV2OtherScriptLedger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
prepareConstraintsLedger.Tx.Constraints.OffChain
processConstraintFunLedger.Tx.Constraints.OffChain
providedLedger.Tx.Constraints.OffChain
pubKeyPaymentsLedger.Tx.Constraints.TxConstraints
rangeConstraintsLedger.Tx.Constraints.OffChain
requiredLedger.Tx.Constraints.OffChain
requiredDatumsLedger.Tx.Constraints.TxConstraints
requiredMonetaryPoliciesLedger.Tx.Constraints.TxConstraints
requiredSignatoriesLedger.Tx.Constraints.TxConstraints
resolveScriptTxOutLedger.Tx.Constraints.OffChain
resolveScriptTxOutDatumAndValueLedger.Tx.Constraints.OffChain
resolveScriptTxOutValidatorLedger.Tx.Constraints.OffChain
ScriptHashNotFoundLedger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
ScriptInputConstraint 
1 (Type/Class)Ledger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
2 (Data Constructor)Ledger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
ScriptLookups 
1 (Type/Class)Ledger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
2 (Data Constructor)Ledger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
ScriptOutputConstraint 
1 (Type/Class)Ledger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
2 (Data Constructor)Ledger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
singletonLedger.Tx.Constraints.TxConstraints
slOtherDataLedger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
slOtherScriptsLedger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
slOwnPaymentPubKeyHashLedger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
slOwnStakingCredentialLedger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
slPaymentPubKeyHashesLedger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
slTxOutputsLedger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
slTypedValidatorLedger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
SomeLookupsAndConstraints 
1 (Type/Class)Ledger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
2 (Data Constructor)Ledger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
SortedConstraintsLedger.Tx.Constraints.OffChain
spendUtxosFromPlutusV1ScriptLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
spendUtxosFromPlutusV1ScriptFilterLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
spendUtxosFromPlutusV2ScriptLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
spendUtxosFromPlutusV2ScriptFilterLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
spendUtxosFromTheReferencedScriptLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
spendUtxosFromTheScriptLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
spendUtxosFromTheScriptFilterLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
ToCardanoErrorLedger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
toPlutusIntervalLedger.Tx.Constraints.ValidityInterval
txLedger.Tx.Constraints.OffChain
TxConstraintLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
TxConstraintFunLedger.Tx.Constraints.TxConstraints
TxConstraintFuns 
1 (Type/Class)Ledger.Tx.Constraints.TxConstraints
2 (Data Constructor)Ledger.Tx.Constraints.TxConstraints
txConstraintFunsLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
TxConstraints 
1 (Type/Class)Ledger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
2 (Data Constructor)Ledger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
txConstraintsLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
txInsCollateralLedger.Tx.Constraints.OffChain
TxOutDatumLedger.Tx.Constraints.TxConstraints
TxOutDatumHashLedger.Tx.Constraints.TxConstraints
TxOutDatumInlineLedger.Tx.Constraints.TxConstraints
TxOutDatumInTxLedger.Tx.Constraints.TxConstraints
TxOutRefNoReferenceScriptLedger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
TxOutRefNotFoundLedger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
TxOutRefWrongTypeLedger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
txOutsLedger.Tx.Constraints.OffChain
txOwnInputsLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
txOwnOutputsLedger.Tx.Constraints.TxConstraints, Ledger.Tx.Constraints
txValidityRangeLedger.Tx.Constraints.OffChain
TypeCheckFailedLedger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
typedValidatorLookupsLedger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
TypedValidatorMissingLedger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
unBalancedCardanoBuildTxLedger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
UnbalancedCardanoTxLedger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
UnbalancedTxLedger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
unbalancedTxLedger.Tx.Constraints.OffChain
unBalancedTxUtxoIndexLedger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
unspentOutputsLedger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
UntypedConstraintsLedger.Tx.Constraints.TxConstraints
updateUtxoIndexLedger.Tx.Constraints.OffChain
utxoIndexLedger.Tx.Constraints.OffChain
ValidityInterval 
1 (Type/Class)Ledger.Tx.Constraints.ValidityInterval
2 (Data Constructor)Ledger.Tx.Constraints.ValidityInterval
ValueSpentBalances 
1 (Type/Class)Ledger.Tx.Constraints.OffChain
2 (Data Constructor)Ledger.Tx.Constraints.OffChain
valueSpentInputsLedger.Tx.Constraints.OffChain
valueSpentOutputsLedger.Tx.Constraints.OffChain
vbsProvidedLedger.Tx.Constraints.OffChain
vbsRequiredLedger.Tx.Constraints.OffChain
_CannotSatisfyAnyLedger.Tx.Constraints.OffChain
_DatumNotFoundLedger.Tx.Constraints.OffChain
_DatumWrongHashLedger.Tx.Constraints.OffChain
_DeclaredInputMismatchLedger.Tx.Constraints.OffChain
_MintingPolicyNotFoundLedger.Tx.Constraints.OffChain
_MultipleMatchingOutputsFoundLedger.Tx.Constraints.OffChain
_NoMatchingOutputFoundLedger.Tx.Constraints.OffChain
_ScriptHashNotFoundLedger.Tx.Constraints.OffChain
_ToCardanoErrorLedger.Tx.Constraints.OffChain
_TxOutRefNoReferenceScriptLedger.Tx.Constraints.OffChain
_TxOutRefNotFoundLedger.Tx.Constraints.OffChain
_TxOutRefWrongTypeLedger.Tx.Constraints.OffChain
_TypeCheckFailedLedger.Tx.Constraints.OffChain
_TypedValidatorMissingLedger.Tx.Constraints.OffChain