Index - A

A 
1 (Data Constructor)Plutus.Contracts.Uniswap.Types, Plutus.Contracts.Uniswap
2 (Type/Class)Plutus.Contracts.Uniswap.Types, Plutus.Contracts.Uniswap
abbreviateData.Text.Extras
abs 
1 (Function)PlutusTx.Ratio
2 (Function)PlutusTx.Numeric, PlutusTx.Prelude
AbsurdPlutusCore.Examples.Builtins
acceptedTest.QuickCheck.ContractModel.Internal.ChainIndex, Test.QuickCheck.ContractModel
acceptingMintingPolicyPlutus.PAB.Arbitrary
acceptingValidatorPlutus.PAB.Arbitrary
acCLIConfigOverridesPlutus.ChainIndex.CommandLine
acCommandPlutus.ChainIndex.CommandLine
acConfigPathPlutus.ChainIndex.CommandLine
Account 
1 (Data Constructor)Plutus.Contracts.TokenAccount
2 (Type/Class)Plutus.Contracts.TokenAccount
accountOwnerPlutus.Contracts.TokenAccount
accountTokenPlutus.Contracts.TokenAccount
acLogConfigPathPlutus.ChainIndex.CommandLine
acMinLogLevelPlutus.ChainIndex.CommandLine
AContinuationPlutus.Contract.Resumable
AcquireFailPlutusExample.ScriptContextChecker
ActTest.QuickCheck.ContractModel.Internal.Model, Test.QuickCheck.ContractModel
Action 
1 (Type/Class)Plutus.Contract.Test.ContractModel.Interface, Plutus.Contract.Test.ContractModel, Plutus.Contract.Test.ContractModel
2 (Type/Class)Plutus.Contracts.Tutorial.EscrowStrict
3 (Type/Class)Plutus.Contracts.Tutorial.Escrow
4 (Type/Class)Plutus.Contracts.SimpleEscrow
5 (Type/Class)Plutus.Contracts.Escrow
6 (Type/Class)Test.QuickCheck.ContractModel.Internal.Model, Test.QuickCheck.ContractModel
action 
1 (Function)Plutus.Contract.Test.ContractModel.Interface, Plutus.Contract.Test.ContractModel
2 (Function)Test.QuickCheck.ContractModel.DL, Test.QuickCheck.ContractModel
ActionLikeTest.QuickCheck.ContractModel.DL, Test.QuickCheck.ContractModel
actionName 
1 (Function)Plutus.Contract.Test.ContractModel.Interface, Plutus.Contract.Test.ContractModel
2 (Function)Test.QuickCheck.ContractModel.Internal.Model, Test.QuickCheck.ContractModel
actionOfTest.QuickCheck.ContractModel.Internal.Model, Test.QuickCheck.ContractModel
Actions 
1 (Type/Class)Cardano.Node.Emulator.Test, Cardano.Node.Emulator
2 (Type/Class)Plutus.Contract.Test.ContractModel.Interface, Plutus.Contract.Test.ContractModel
3 (Data Constructor)Test.QuickCheck.ContractModel.Internal.Model, Test.QuickCheck.ContractModel
4 (Type/Class)Test.QuickCheck.ContractModel.Internal.Model, Test.QuickCheck.ContractModel
actionsFromListPlutus.Contract.Test.ContractModel.Internal
Actions_Test.QuickCheck.ContractModel.Internal.Model
ActivateContract 
1 (Data Constructor)Plutus.Trace.Effects.RunContract
2 (Data Constructor)Plutus.PAB.Events
activateContract 
1 (Function)Plutus.Trace.Effects.RunContract, Plutus.Trace.Emulator, Plutus.Trace
2 (Function)Plutus.PAB.Simulator
3 (Function)Plutus.PAB.Core
4 (Function)Plutus.PAB.Webserver.Client
activateContract'Plutus.PAB.Core
activateContractSTMPlutus.PAB.Core.ContractInstance
activateContractSTM'Plutus.PAB.Core.ContractInstance
activateContractWalletPlutus.Trace.Effects.RunContract, Plutus.Trace.Emulator, Plutus.Trace
ActivatedContractInstancePlutus.PAB.Core.ContractInstance.RequestHandlers, Plutus.PAB.Core.ContractInstance
activateWalletsPlutus.Contract.Test.ContractModel.Internal
Active 
1 (Data Constructor)Wallet.Types
2 (Data Constructor)Plutus.PAB.Core.ContractInstance.STM, Plutus.PAB.Simulator
3 (Data Constructor)Plutus.Contracts.Prism.StateMachine
activeContracts 
1 (Function)Plutus.PAB.Simulator
2 (Function)Plutus.PAB.Core
ActiveContractsMsgPlutus.PAB.Monitoring.PABLogMsg, Plutus.PAB.Monitoring.Monitoring
ActiveEndpoint 
1 (Data Constructor)Plutus.Contract.Effects
2 (Type/Class)Plutus.Contract.Effects
activeEndpoints 
1 (Function)Plutus.Trace.Effects.RunContract, Plutus.Trace.Emulator, Plutus.Trace
2 (Function)Plutus.PAB.Simulator
3 (Function)Plutus.PAB.Core
ActivityPlutus.PAB.Core.ContractInstance.STM, Plutus.PAB.Simulator
ActObservationTest.QuickCheck.ContractModel.Internal.Model, Test.QuickCheck.ContractModel
actualValPartTest.QuickCheck.ContractModel.Internal.Symbolics
ActWaitUntilTest.QuickCheck.ContractModel.Internal.Model, Test.QuickCheck.ContractModel
AdaPlutus.Script.Utils.Ada
AdaAssetIdLedger.Value.CardanoAPI, Ledger
adaOfPlutus.Script.Utils.Ada
adaOnlyValue 
1 (Function)Ledger.Value.CardanoAPI, Ledger
2 (Function)Plutus.Script.Utils.Value
adaSymbol 
1 (Function)Plutus.V1.Ledger.Value, Plutus.V1.Ledger.Api, Plutus.V2.Ledger.Api
2 (Function)Plutus.Script.Utils.Ada
3 (Function)Plutus.Script.Utils.Value
adaToCardanoValue 
1 (Function)Plutus.Contract.CardanoAPI
2 (Function)Ledger.Tx.CardanoAPI.Internal, Ledger.Value.CardanoAPI, Ledger.Tx.CardanoAPI, Ledger
adaToken 
1 (Function)Plutus.V1.Ledger.Value, Plutus.V1.Ledger.Api, Plutus.V2.Ledger.Api
2 (Function)Plutus.Script.Utils.Ada
3 (Function)Plutus.Script.Utils.Value
adaValueOf 
1 (Function)Ledger.Value.CardanoAPI, Ledger
2 (Function)Plutus.Script.Utils.Ada
AddPlutus.Contracts.Uniswap.Types, Plutus.Contracts.Uniswap
addPlutus.Contracts.Uniswap.OffChain, Plutus.Contracts.Uniswap
addAddressLedger.AddressMap
addAddressesLedger.AddressMap
addBlockCardano.Node.Emulator.Internal.Node.Chain, Cardano.Node.Emulator.Internal.Node
addBoolCaseToCoverageIndexPlutusTx.Coverage
addCardanoTxSignatureLedger.Tx, Ledger
addCoverageMetadataPlutusTx.Coverage
addDatumTest.QuickCheck.ContractModel.ThreatModel.Cardano.Api
AddDefinitionPlutus.PAB.Effects.Contract
addDefinitionPlutus.PAB.Effects.Contract
AddedPlutus.Contracts.Uniswap.OffChain, Plutus.Contracts.Uniswap
addEndpointPlutus.PAB.Core.ContractInstance.STM
addEventInstanceStatePlutus.Trace.Emulator.Types, Plutus.Trace.Emulator.ContractInstance
AddInputTest.QuickCheck.ContractModel.ThreatModel.TxModifier
AddIntegerPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
addInteger 
1 (Function)PlutusTx.Builtins
2 (Function)PlutusTx.Builtins.Internal
Additive 
1 (Data Constructor)PlutusTx.Numeric, PlutusTx.Prelude
2 (Type/Class)PlutusTx.Numeric, PlutusTx.Prelude
AdditiveGroupPlutusTx.Numeric, PlutusTx.Prelude
AdditiveMonoidPlutusTx.Numeric, PlutusTx.Prelude
AdditiveSemigroupPlutusTx.Numeric, PlutusTx.Prelude
addKeyInputTest.QuickCheck.ContractModel.ThreatModel.TxModifier, Test.QuickCheck.ContractModel.ThreatModel
addLocationToCoverageIndexPlutusTx.Coverage
AddOutputTest.QuickCheck.ContractModel.ThreatModel.TxModifier
addOutputTest.QuickCheck.ContractModel.ThreatModel.TxModifier, Test.QuickCheck.ContractModel.ThreatModel
addOwnInputLedger.Tx.Constraints.OffChain
addOwnOutputLedger.Tx.Constraints.OffChain
AddParams 
1 (Data Constructor)Plutus.Contracts.Uniswap.OffChain, Plutus.Contracts.Uniswap
2 (Type/Class)Plutus.Contracts.Uniswap.OffChain, Plutus.Contracts.Uniswap
AddPlutusScriptInputTest.QuickCheck.ContractModel.ThreatModel.TxModifier
addPlutusScriptInputTest.QuickCheck.ContractModel.ThreatModel.TxModifier, Test.QuickCheck.ContractModel.ThreatModel
addResponsePlutus.Trace.Emulator.ContractInstance
Address 
1 (Data Constructor)Plutus.ChainIndex.Tx, Plutus.ChainIndex
2 (Type/Class)Plutus.ChainIndex.Tx, Plutus.ChainIndex
3 (Type/Class)Ledger.Address, Ledger
4 (Data Constructor)Ledger.Address, Ledger
5 (Data Constructor)Plutus.V1.Ledger.Address, Plutus.V1.Ledger.Api, Plutus.V2.Ledger.Api
6 (Type/Class)Plutus.V1.Ledger.Address, Plutus.V1.Ledger.Api, Plutus.V2.Ledger.Api
addressPlutus.Contracts.TokenAccount
addressCredential 
1 (Function)Plutus.ChainIndex.Tx, Plutus.ChainIndex
2 (Function)Ledger.Address, Ledger
3 (Function)Plutus.V1.Ledger.Address, Plutus.V1.Ledger.Api, Plutus.V2.Ledger.Api
AddressMap 
1 (Data Constructor)Ledger.AddressMap
2 (Type/Class)Ledger.AddressMap
addressMapPlutus.ChainIndex.Emulator.DiskState, Plutus.ChainIndex.Emulator
addressOfTest.QuickCheck.ContractModel.ThreatModel.TxModifier, Test.QuickCheck.ContractModel.ThreatModel
addressOfTxOutTest.QuickCheck.ContractModel.ThreatModel.Cardano.Api
addressPrettyPrinterTest.QuickCheck.ContractModel.Internal, Test.QuickCheck.ContractModel
AddressRow 
1 (Data Constructor)Plutus.ChainIndex.DbSchema
2 (Type/Class)Plutus.ChainIndex.DbSchema
AddressRowIdPlutus.ChainIndex.DbSchema
addressRowsPlutus.ChainIndex.DbSchema
AddressRowTPlutus.ChainIndex.DbSchema
addressStakingCredential 
1 (Function)Plutus.ChainIndex.Tx, Plutus.ChainIndex
2 (Function)Ledger.Address, Ledger
3 (Function)Plutus.V1.Ledger.Address, Plutus.V1.Ledger.Api, Plutus.V2.Ledger.Api
addressToWalletPlutus.Contract.Test.ContractModel.Internal
AddRowsControl.Monad.Freer.Extras.Beam.Effects, Control.Monad.Freer.Extras.Beam, Control.Monad.Freer.Extras
addRowsControl.Monad.Freer.Extras.Beam.Effects, Control.Monad.Freer.Extras.Beam, Control.Monad.Freer.Extras
AddRowsInBatchesControl.Monad.Freer.Extras.Beam.Effects, Control.Monad.Freer.Extras.Beam, Control.Monad.Freer.Extras
addRowsInBatchesControl.Monad.Freer.Extras.Beam.Effects, Control.Monad.Freer.Extras.Beam, Control.Monad.Freer.Extras
addScriptDataTest.QuickCheck.ContractModel.ThreatModel.Cardano.Api
AddSimpleScriptInputTest.QuickCheck.ContractModel.ThreatModel.TxModifier
addSimpleScriptInputTest.QuickCheck.ContractModel.ThreatModel.TxModifier, Test.QuickCheck.ContractModel.ThreatModel
addTxCardano.Node.Socket.Emulator.Server
addTxToPoolCardano.Node.Emulator.Internal.Node.Chain, Cardano.Node.Emulator.Internal.Node
addUtxoProducedReqPlutus.PAB.Core.ContractInstance.STM
addUtxoSpentReqPlutus.PAB.Core.ContractInstance.STM
addWalletPlutus.PAB.Simulator
addWalletWithPlutus.PAB.Simulator
AdjustingUnbalancedTxWallet.Emulator.LogMessages, Plutus.Contract.Trace.RequestHandler
adjustTxOutLedger.Index, Ledger
adjustUnbalancedTx 
1 (Function)Plutus.Contract.Constraints
2 (Function)Plutus.Contract.Request, Plutus.Contract
3 (Function)Ledger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
AdjustUnbalancedTxReqPlutus.Contract.Effects
AdjustUnbalancedTxRespPlutus.Contract.Effects
aeDescriptionPlutus.Contract.Effects
aeMetadataPlutus.Contract.Effects
AesonDecodingErrorPlutus.PAB.Types
after 
1 (Function)Wallet.API, Wallet
2 (Function)Ledger
3 (Function)Plutus.V1.Ledger.Interval
AgentStatePlutus.Trace.Effects.EmulatorControl
agentStatePlutus.Trace.Effects.EmulatorControl, Plutus.Trace.Emulator, Plutus.Trace
AgentSystemCallPlutus.Trace.Scheduler
AlertControl.Monad.Freer.Extras.Log, Control.Monad.Freer.Extras
allPlutusTx.Foldable, PlutusTx.Prelude, PlutusTx.AssocMap
allegraPVPlutus.V1.Ledger.ProtocolVersions
allErrorCodesPlutusTx.ErrorCodes
allMinAdaTest.QuickCheck.ContractModel.Internal.ChainIndex
allNonFailLocationsPlutus.Contract.Test.Coverage.Analysis.Interpreter
AllocateKeyPlutus.Contract.Checkpoint
AllowEscapePlutusIR.Compiler
allServicesPlutus.PAB.Run.Command
AllTablesPlutus.ChainIndex.DbSchema
AlonzoNodeCardano.Node.Types
alonzoPVPlutus.V1.Ledger.ProtocolVersions
AlternativePlutusPrelude
always 
1 (Function)Wallet.API, Wallet
2 (Function)Ledger
3 (Function)Plutus.V1.Ledger.Interval, Plutus.V1.Ledger.Api, Plutus.V2.Ledger.Api
alwaysFailingNAryFunctionPlutus.V1.Ledger.Examples
alwaysFailsScriptPlutusExample.PlutusVersion1.AlwaysFails
alwaysFailsScriptShortBsPlutusExample.PlutusVersion1.AlwaysFails
alwaysSucceedingNAryFunctionPlutus.V1.Ledger.Examples
alwaysSucceedPolicy 
1 (Function)Cardano.Node.Emulator.Generators, Cardano.Node.Emulator
2 (Function)Plutus.Script.Utils.V2.Generators
3 (Function)Plutus.Script.Utils.V1.Generators
alwaysSucceedPolicyHashPlutus.Script.Utils.V1.Generators
alwaysSucceedPolicyIdCardano.Node.Emulator.Generators, Cardano.Node.Emulator
alwaysSucceedPolicyVersionedPlutus.Script.Utils.V1.Generators
alwaysSucceedsScriptPlutusExample.PlutusVersion1.AlwaysSucceeds
alwaysSucceedsScriptShortBsPlutusExample.PlutusVersion1.AlwaysSucceeds
alwaysSucceedValidator 
1 (Function)Plutus.Script.Utils.V2.Generators
2 (Function)Plutus.Script.Utils.V1.Generators
alwaysSucceedValidatorHash 
1 (Function)Plutus.Script.Utils.V2.Generators
2 (Function)Plutus.Script.Utils.V1.Generators
alwaysSucceedValidatorVersionedPlutus.Script.Utils.V1.Generators
AmbiguousRedeemer 
1 (Data Constructor)Plutus.Contract.Constraints
2 (Data Constructor)Ledger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
AmbiguousReferenceScript 
1 (Data Constructor)Plutus.Contract.Constraints
2 (Data Constructor)Ledger.Tx.Constraints.OffChain, Ledger.Tx.Constraints
Amount 
1 (Data Constructor)Plutus.Contracts.Uniswap.Types, Plutus.Contracts.Uniswap
2 (Type/Class)Plutus.Contracts.Uniswap.Types, Plutus.Contracts.Uniswap
amountPlutus.Contracts.Currency
amountOfPlutus.Contracts.Uniswap.Types, Plutus.Contracts.Uniswap
amountsToValuePlutus.Blockfrost.Utils
andPlutusTx.Foldable, PlutusTx.Prelude
anglesPlutus.Contract.Test.Coverage.Analysis.Pretty
annotateBlockchainWallet.Rollup
annotatedBlockchain 
1 (Function)Wallet.Emulator.Folds
2 (Function)Plutus.PAB.Webserver.Types
annotatedStateAfterTest.QuickCheck.ContractModel.Internal.Model
annotatedTransactionsWallet.Rollup.Types
AnnotatedTx 
1 (Data Constructor)Wallet.Rollup.Types
2 (Type/Class)Wallet.Rollup.Types
annotateWithRetainedSizePlutusIR.Analysis.RetainedSize
Any 
1 (Type/Class)Ledger.Typed.TypeUtils, Ledger.Typed.Scripts
2 (Type/Class)Plutus.Script.Utils.Typed
anyPlutusTx.Foldable, PlutusTx.Prelude
anyAction 
1 (Function)Plutus.Contract.Test.ContractModel.Interface, Plutus.Contract.Test.ContractModel
2 (Function)Test.QuickCheck.ContractModel.DL, Test.QuickCheck.ContractModel
anyActions 
1 (Function)Plutus.Contract.Test.ContractModel.Interface, Plutus.Contract.Test.ContractModel
2 (Function)Test.QuickCheck.ContractModel.DL, Test.QuickCheck.ContractModel
anyActions_ 
1 (Function)Plutus.Contract.Test.ContractModel.Interface, Plutus.Contract.Test.ContractModel
2 (Function)Test.QuickCheck.ContractModel.DL, Test.QuickCheck.ContractModel
AnyCustomRedeemerPlutusExample.ScriptContextChecker
anyInputSuchThatTest.QuickCheck.ContractModel.ThreatModel
anyOutputSuchThatTest.QuickCheck.ContractModel.ThreatModel
AnyPV1CustomRedeemerPlutusExample.ScriptContextChecker
AnyPV2CustomRedeemerPlutusExample.ScriptContextChecker
anySignerTest.QuickCheck.ContractModel.ThreatModel
anyUnbalancedTxPlutus.Contract.Test
apAmountAPlutus.Contracts.Uniswap.OffChain, Plutus.Contracts.Uniswap
apAmountBPlutus.Contracts.Uniswap.OffChain, Plutus.Contracts.Uniswap
apAsset 
1 (Function)Plutus.Contracts.SealedBidAuction
2 (Function)Plutus.Contracts.Auction
apCoinAPlutus.Contracts.Uniswap.OffChain, Plutus.Contracts.Uniswap
apCoinBPlutus.Contracts.Uniswap.OffChain, Plutus.Contracts.Uniswap
apEndTime 
1 (Function)Plutus.Contracts.SealedBidAuction
2 (Function)Plutus.Contracts.Auction
API 
1 (Type/Class)Cardano.Node.Socket.Emulator.API
2 (Type/Class)Plutus.ChainIndex.Api
3 (Type/Class)Plutus.PAB.Webserver.API
4 (Type/Class)Cardano.Wallet.Mock.API
apiExamplePlutusMintingScriptPlutusExample.PlutusVersion1.MintingScript
apiHandlerPlutus.PAB.Webserver.Handler
apOwner 
1 (Function)Plutus.Contracts.SealedBidAuction
2 (Function)Plutus.Contracts.Auction
AppPlutus.PAB.App
apPayoutTimePlutus.Contracts.SealedBidAuction
AppBackendConstraintsPlutus.PAB.Core.ContractInstance
AppConfig 
1 (Data Constructor)Plutus.ChainIndex.CommandLine
2 (Type/Class)Plutus.ChainIndex.CommandLine
appConfigPlutus.PAB.App
AppearedBindingsPlutusCore.Check.Scoping
AppearedVariablesPlutusCore.Check.Scoping
AppendBlocksPlutus.ChainIndex.Effects, Plutus.ChainIndex, Plutus.ChainIndex.Emulator
appendBlocksPlutus.ChainIndex.Effects, Plutus.ChainIndex, Plutus.ChainIndex.Emulator
AppendByteStringPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
appendByteString 
1 (Function)PlutusTx.Builtins, PlutusTx.Prelude
2 (Function)PlutusTx.Builtins.Internal
appendNewTipBlockPlutus.Trace.Emulator.System
AppendStringPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
appendString 
1 (Function)PlutusTx.Builtins, PlutusTx.Prelude
2 (Function)PlutusTx.Builtins.Internal
appendTransactionQueueSizePlutus.ChainIndex.Config
AppEnv 
1 (Data Constructor)Plutus.PAB.App
2 (Type/Class)Plutus.PAB.App
appEnvPlutus.PAB.Core
appInMemContractStorePlutus.PAB.App
ApplicationHeadSymbolPlutusTx.Coverage
ApplicativePlutusTx.Applicative, PlutusTx.Prelude
Apply 
1 (Data Constructor)PlutusIR.Core.Type, PlutusIR.Core, PlutusIR
2 (Data Constructor)UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
3 (Data Constructor)PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
applyPlutusCore.MkPlc, PlutusIR.MkPir
applyArguments 
1 (Function)Ledger.Scripts, Ledger
2 (Function)Plutus.V1.Ledger.Scripts
applyCodePlutusTx.Code, PlutusTx
applyCostModelParamsPlutusCore.Evaluation.Machine.CostModelInterface
applyDisappearsPlutusCore.Check.Scoping
ApplyF 
1 (Data Constructor)UntypedPlutusCore.Core, UntypedPlutusCore
2 (Data Constructor)PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
applyFunPlutusCore.StdLib.Data.Function
applyMintingPolicyScript 
1 (Function)Ledger.Scripts, Ledger
2 (Function)Plutus.V1.Ledger.Scripts
applyNameActionPlutusCore.Check.Scoping
applyOverridesPlutus.ChainIndex.CommandLine
applyProgram 
1 (Function)UntypedPlutusCore
2 (Function)PlutusIR.Core.Type, PlutusIR.Core, PlutusIR
3 (Function)PlutusCore
applyStakeValidatorScript 
1 (Function)Ledger.Scripts, Ledger
2 (Function)Plutus.V1.Ledger.Scripts
applyStaysPlutusCore.Check.Scoping
applyTxModTest.QuickCheck.ContractModel.ThreatModel.TxModifier
applyTxModifierTest.QuickCheck.ContractModel.ThreatModel.TxModifier
applyValidator 
1 (Function)Ledger.Scripts, Ledger
2 (Function)Plutus.V1.Ledger.Scripts
AppMsgPlutus.PAB.Monitoring.PABLogMsg, Plutus.PAB.Monitoring.Monitoring
AppOpts 
1 (Data Constructor)Plutus.PAB.Run.CommandParser
2 (Type/Class)Plutus.PAB.Run.CommandParser
ApproximatelyPlutusTx.Sqrt
AppState 
1 (Data Constructor)Cardano.Node.Socket.Emulator.Types
2 (Type/Class)Cardano.Node.Socket.Emulator.Types
appTracePlutus.PAB.App
arbitraryAction 
1 (Function)Plutus.Contract.Test.ContractModel.Interface, Plutus.Contract.Test.ContractModel
2 (Function)Test.QuickCheck.ContractModel.Internal.Model, Test.QuickCheck.ContractModel
arbitraryWaitInterval 
1 (Function)Plutus.Contract.Test.ContractModel.Interface, Plutus.Contract.Test.ContractModel
2 (Function)Test.QuickCheck.ContractModel.Internal.Model, Test.QuickCheck.ContractModel
AResultPlutus.Contract.Resumable
argProxyPlutusCore.Builtin
argsDPlutus.Contract.Test.Coverage.Analysis.Types
argTyPlutus.Contract.Test.Coverage.Analysis.Types
AsAssertionErrorPlutus.Contract.Error, Wallet.Emulator.Types, Wallet.Emulator
AsCheckpointErrorPlutus.Contract.Checkpoint, Plutus.Contract.Types, Plutus.Contract
asConstantPlutusCore.Builtin
AsContractErrorPlutus.Contract.Error, Plutus.Contract.Types, Plutus.Contract
AsCurrencyErrorPlutus.Contracts.Currency
asDatumLedger.Test
AsError 
1 (Type/Class)PlutusIR.Error, PlutusIR.Compiler
2 (Type/Class)PlutusCore.Error, PlutusCore
AsEscrowError 
1 (Type/Class)Plutus.Contracts.Tutorial.EscrowStrict
2 (Type/Class)Plutus.Contracts.Tutorial.Escrow
3 (Type/Class)Plutus.Contracts.SimpleEscrow
4 (Type/Class)Plutus.Contracts.Escrow
AsEvaluationErrorPlutusCore.Evaluation.Machine.Exception
AsEvaluationFailurePlutusCore.Evaluation.Result
AsFreeVariableErrorPlutusCore.DeBruijn, PlutusCore.Error, UntypedPlutusCore.DeBruijn, PlutusCore, UntypedPlutusCore
askBlockchainEnvPlutus.PAB.Core
askContractStateTest.QuickCheck.ContractModel.Internal.Spec, Test.QuickCheck.ContractModel
askInstancesStatePlutus.PAB.Core
askModelStateTest.QuickCheck.ContractModel.Internal.Spec, Test.QuickCheck.ContractModel
asksMPlutusPrelude
askUserEnvPlutus.PAB.Core
AsMachineErrorPlutusCore.Evaluation.Machine.Exception
AsMatchingErrorPlutus.Contract.Error
AsMyErrorPlutus.Contracts.ErrorHandling
AsNormCheckErrorPlutusCore.Error, PlutusCore
AsParseErrorPlutusCore.Error
AsPubKeyErrorPlutus.Contracts.PubKey
asRedeemerLedger.Test
AsSerialize 
1 (Data Constructor)PlutusCore.Flat
2 (Type/Class)PlutusCore.Flat
Assert 
1 (Data Constructor)Plutus.Trace.Effects.Assert
2 (Type/Class)Plutus.Trace.Effects.Assert
assert 
1 (Function)Plutus.Trace.Effects.Assert, Plutus.Trace.Emulator, Plutus.Trace
2 (Function)Plutus.Contract.Test.ContractModel.Interface, Plutus.Contract.Test.ContractModel
assertAccumStatePlutus.Contract.Test
assertBalanceChangesMatch 
1 (Function)Cardano.Node.Emulator.Test, Cardano.Node.Emulator
2 (Function)Test.QuickCheck.ContractModel.Internal, Test.QuickCheck.ContractModel
assertBlockchainPlutus.Contract.Test
assertChainEventsPlutus.Contract.Test
assertChainEvents'Plutus.Contract.Test
assertContractErrorPlutus.Contract.Test
assertDonePlutus.Contract.Test
assertEvaluationErrorPlutus.Contract.Test
assertEventsPlutus.Contract.Test
assertFailedTransactionPlutus.Contract.Test
assertHooksPlutus.Contract.Test
assertInstanceLogPlutus.Contract.Test
AssertionErrWallet.Emulator.Stream, Plutus.Trace.Emulator, Plutus.Trace
AssertionError 
1 (Data Constructor)Plutus.Trace.Emulator.Types, Plutus.Trace.Emulator, Plutus.Trace
2 (Type/Class)Plutus.Contract.Error, Wallet.Emulator.Types, Wallet.Emulator
assertionsTest.QuickCheck.ContractModel.Internal.Spec
assertionsOkTest.QuickCheck.ContractModel.Internal.Spec
assertModel 
1 (Function)Plutus.Contract.Test.ContractModel.Interface, Plutus.Contract.Test.ContractModel
2 (Function)Test.QuickCheck.ContractModel.DL, Test.QuickCheck.ContractModel
assertNoFailedTransactionsPlutus.Contract.Test
assertNotDonePlutus.Contract.Test
assertOutcomePlutus.Contract.Test
assertResponsesPlutus.Contract.Test
assertResumableResultPlutus.Contract.Test
asserts 
1 (Function)Cardano.Node.Emulator.Test, Cardano.Node.Emulator
2 (Function)Test.QuickCheck.ContractModel.Internal.Model, Test.QuickCheck.ContractModel
assertSpec 
1 (Function)Plutus.Contract.Test.ContractModel.Interface, Plutus.Contract.Test.ContractModel
2 (Function)Test.QuickCheck.ContractModel.Internal.Spec, Test.QuickCheck.ContractModel
assertThreatModelTest.QuickCheck.ContractModel.ThreatModel
assertUnbalancedTxPlutus.Contract.Test
assertUserLogPlutus.Contract.Test
assertValidCardano.Node.Emulator.Generators
assertValidatedTransactionCountPlutus.Contract.Test
assertValidatedTransactionCountOfTotalPlutus.Contract.Test
assertWellFormedCostModelParamsPlutus.ApiCommon, Plutus.V1.Ledger.EvaluationContext, Plutus.V2.Ledger.EvaluationContext, Plutus.V1.Ledger.Api, Plutus.V2.Ledger.Api
AssetClass 
1 (Data Constructor)Plutus.V1.Ledger.Value
2 (Type/Class)Plutus.V1.Ledger.Value
3 (Data Constructor)Plutus.Script.Utils.Value
4 (Type/Class)Plutus.Script.Utils.Value
assetClass 
1 (Function)Plutus.V1.Ledger.Value
2 (Function)Plutus.Script.Utils.Value
AssetClassMapPlutus.ChainIndex.Emulator.DiskState, Plutus.ChainIndex.Emulator
assetClassMapPlutus.ChainIndex.Emulator.DiskState, Plutus.ChainIndex.Emulator
AssetClassRow 
1 (Data Constructor)Plutus.ChainIndex.DbSchema
2 (Type/Class)Plutus.ChainIndex.DbSchema
AssetClassRowIdPlutus.ChainIndex.DbSchema
assetClassRowsPlutus.ChainIndex.DbSchema
AssetClassRowTPlutus.ChainIndex.DbSchema
assetClassValue 
1 (Function)Plutus.V1.Ledger.Value
2 (Function)Plutus.Script.Utils.Value
assetClassValueOf 
1 (Function)Plutus.V1.Ledger.Value
2 (Function)Plutus.Script.Utils.Value
AssetId 
1 (Data Constructor)Ledger.Value.CardanoAPI, Ledger
2 (Type/Class)Ledger.Value.CardanoAPI, Ledger
assetIdValueLedger.Value.CardanoAPI, Ledger
AssetNameLedger.Value.CardanoAPI, Ledger
assignControl.Monad.Freer.Extras.State, Control.Monad.Freer.Extras
AsSMContractErrorPlutus.Contract.StateMachine
AsTokenAccountErrorPlutus.Contracts.TokenAccount
AsTraceErrorPlutus.Contract.Trace, Plutus.Contract.Test
AsTypeErrorPlutusCore.Error, PlutusCore, PlutusIR.Error, PlutusIR.Compiler
AsTypeErrorExtPlutusIR.Error, PlutusIR.Compiler
asumPlutusTx.Foldable, PlutusTx.Prelude
AsUniqueErrorPlutusCore.Error, PlutusCore.Check.Uniques, UntypedPlutusCore.Check.Uniques, PlutusCore
AsUnliftingErrorPlutusCore.Evaluation.Machine.Exception
AsVestingErrorPlutus.Contracts.Vesting
AttachPrettyConfig 
1 (Data Constructor)PlutusCore.Pretty
2 (Type/Class)PlutusCore.Pretty
auctionBuyerPlutus.Contracts.Auction
AuctionContractError 
1 (Data Constructor)Plutus.Contracts.SealedBidAuction
2 (Data Constructor)Plutus.Contracts.Auction
AuctionError 
1 (Type/Class)Plutus.Contracts.SealedBidAuction
2 (Type/Class)Plutus.Contracts.Auction
AuctionInputPlutus.Contracts.Auction
AuctionOutput 
1 (Data Constructor)Plutus.Contracts.Auction
2 (Type/Class)Plutus.Contracts.Auction
AuctionParams 
1 (Data Constructor)Plutus.Contracts.SealedBidAuction
2 (Type/Class)Plutus.Contracts.SealedBidAuction
3 (Data Constructor)Plutus.Contracts.Auction
4 (Type/Class)Plutus.Contracts.Auction
auctionSellerPlutus.Contracts.Auction
AuctionStatePlutus.Contracts.Auction
auctionStatePlutus.Contracts.Auction
auctionThreadTokenPlutus.Contracts.Auction
AvailabilityControl.Concurrent.Availability
available 
1 (Function)Plutus.Contract.Test.ContractModel.CrashTolerance
2 (Function)Control.Concurrent.Availability
AvailableContractPlutus.PAB.Monitoring.PABLogMsg, Plutus.PAB.Monitoring.Monitoring
awaitEndpointResponsePlutus.PAB.Core.ContractInstance.STM
awaitPromisePlutus.Contract.Types, Plutus.Contract
awaitSlot 
1 (Function)Cardano.Node.Emulator.API, Cardano.Node.Emulator
2 (Function)Plutus.Contract.Request, Plutus.Contract
3 (Function)Plutus.PAB.Core.ContractInstance.STM
4 (Function)Test.QuickCheck.ContractModel.Internal, Test.QuickCheck.ContractModel
AwaitSlotReqPlutus.Contract.Effects
AwaitSlotRespPlutus.Contract.Effects
awaitTime 
1 (Function)Plutus.Contract.Request, Plutus.Contract
2 (Function)Plutus.PAB.Core.ContractInstance.STM
AwaitTimeReqPlutus.Contract.Effects
AwaitTimeRespPlutus.Contract.Effects
awaitTxConfirmedPlutus.Contract.Request, Plutus.Contract
awaitTxOutStatusChangePlutus.Contract.Request, Plutus.Contract
AwaitTxOutStatusChangeReqPlutus.Contract.Effects
AwaitTxOutStatusChangeRespPlutus.Contract.Effects
awaitTxStatusChangePlutus.Contract.Request, Plutus.Contract
AwaitTxStatusChangeReqPlutus.Contract.Effects
AwaitTxStatusChangeRespPlutus.Contract.Effects
awaitUtxoProducedPlutus.Contract.Request, Plutus.Contract
AwaitUtxoProducedReqPlutus.Contract.Effects
AwaitUtxoProducedRespPlutus.Contract.Effects
awaitUtxoSpentPlutus.Contract.Request, Plutus.Contract
AwaitUtxoSpentReqPlutus.Contract.Effects
AwaitUtxoSpentRespPlutus.Contract.Effects