Combined Plutus 1.34.0.0 Documentation

Index - V

valentinePVPlutusLedgerApi.Common.ProtocolVersions, PlutusLedgerApi.Common.Versions
validateOptsPlutusIR.Compiler.Types
validateParamValueCardano.Constitution.Validator.Common, Cardano.Constitution.Validator
ValidatorBlueprintPlutusTx.Blueprint.Validator, PlutusTx.Blueprint
validatorCompiledCodePlutusTx.Blueprint.Validator, PlutusTx.Blueprint
validatorDatumPlutusTx.Blueprint.Validator, PlutusTx.Blueprint
validatorDescriptionPlutusTx.Blueprint.Validator, PlutusTx.Blueprint
validatorParametersPlutusTx.Blueprint.Validator, PlutusTx.Blueprint
validatorRedeemerPlutusTx.Blueprint.Validator, PlutusTx.Blueprint
validatorTitlePlutusTx.Blueprint.Validator, PlutusTx.Blueprint
Value 
1 (Type/Class)PlutusLedgerApi.V1.Data.Value, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
2 (Type/Class)PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3
3 (Data Constructor)PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3
4 (Data Constructor)PlutusLedgerApi.V1.Data.Value, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
ValueOf 
1 (Type/Class)Universe.Core, Universe, PlutusCore.Default.Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
2 (Data Constructor)Universe.Core, Universe, PlutusCore.Default.Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
valueOf 
1 (Function)PlutusLedgerApi.V1.Value
2 (Function)PlutusLedgerApi.V1.Data.Value
valuePaidTo 
1 (Function)PlutusLedgerApi.V1.Contexts
2 (Function)PlutusLedgerApi.V2.Contexts
3 (Function)PlutusLedgerApi.V3.Contexts
4 (Function)PlutusLedgerApi.V1.Data.Contexts
5 (Function)PlutusLedgerApi.V2.Data.Contexts
6 (Function)PlutusLedgerApi.V3.Data.Contexts
valueProduced 
1 (Function)PlutusLedgerApi.V1.Contexts
2 (Function)PlutusLedgerApi.V2.Contexts
3 (Function)PlutusLedgerApi.V3.Contexts
4 (Function)PlutusLedgerApi.V1.Data.Contexts
5 (Function)PlutusLedgerApi.V2.Data.Contexts
6 (Function)PlutusLedgerApi.V3.Data.Contexts
valueSpent 
1 (Function)PlutusLedgerApi.V1.Contexts
2 (Function)PlutusLedgerApi.V2.Contexts
3 (Function)PlutusLedgerApi.V3.Contexts
4 (Function)PlutusLedgerApi.V1.Data.Contexts
5 (Function)PlutusLedgerApi.V2.Data.Contexts
6 (Function)PlutusLedgerApi.V3.Data.Contexts
valueToLists 
1 (Function)PlutusLedgerApi.Test.V1.Data.Value
2 (Function)PlutusLedgerApi.Test.V1.Value
Var 
1 (Data Constructor)StubTypes, OccName, GhcPlugins
2 (Type/Class)StubTypes, OccName, GhcPlugins
3 (Data Constructor)PlutusIR.Core.Type, PlutusIR.Core, PlutusIR
4 (Data Constructor)PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
5 (Data Constructor)UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
varPlutusIR.MkPir, PlutusCore.MkPlc
var0UntypedPlutusCore.Test.DeBruijn.Bad
VarDecl 
1 (Type/Class)PlutusIR.Core.Type, PlutusIR.Core, PlutusIR, PlutusIR.MkPir, PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug
2 (Data Constructor)PlutusIR.Core.Type, PlutusIR.Core, PlutusIR, PlutusIR.MkPir, PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug
varDeclAnnPlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
varDeclNamePlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
varDeclNameStringPlutusIR.Core.Type, PlutusIR.Core, PlutusIR
varDeclSizePlutusIR.Analysis.Size, PlutusCore.Size
varDeclSubtypesPlutusIR.Core.Plated, PlutusIR.Core, PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug
varDeclTypePlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
VarGPlutusCore.Generators.NEAT.Term
VariablePlutusIR.Analysis.Dependencies
variantPlutusCore.Generators.QuickCheck.GenTm, PlutusCore.Generators.QuickCheck
VarInfoPlutusIR.Analysis.VarInfo
varInfoArityPlutusIR.Analysis.VarInfo
varInfoStrictnessPlutusIR.Analysis.VarInfo
varNameStubTypes, OccName, GhcPlugins
varRhsPlutusIR.Transform.Inline.Utils
VarsInfo 
1 (Type/Class)PlutusIR.Analysis.VarInfo
2 (Data Constructor)PlutusIR.Analysis.VarInfo
varStrictnessPlutusIR.Transform.Inline.Utils
varTmRaw
varTyRaw
varType 
1 (Function)StubTypes, OccName, GhcPlugins
2 (Function)PlutusCore.Parser.Type, PlutusCore.Parser
VarTypesPlutusCore.TypeCheck.Internal
Var_StubTypes, OccName, GhcPlugins
vasilPVPlutusLedgerApi.Common.ProtocolVersions, PlutusLedgerApi.Common.Versions
VBuiltinUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
vcatText.Pretty
vcatHardPrettyprinter.Custom
VConUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
VConstrUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
VDelayUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
vectorOfPlutusCore.Generators.QuickCheck.GenTm, PlutusCore.Generators.QuickCheck
Verbose 
1 (Data Constructor)PlutusTx.Compiler.Types
2 (Data Constructor)PlutusLedgerApi.Common.Eval, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
VerboseModePlutusLedgerApi.Common.Eval, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
VerbosityPlutusTx.Compiler.Types
VerifyEcdsaSecp256k1SignaturePlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
verifyEcdsaSecp256k1Signature 
1 (Function)PlutusTx.Builtins.Internal
2 (Function)PlutusTx.Builtins, PlutusTx.Prelude
3 (Function)PlutusCore.Crypto.Secp256k1
VerifyEcdsaSecp256k1Signature'cpu'arguments 
1 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
2 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
VerifyEcdsaSecp256k1Signature'memory'arguments 
1 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
2 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
VerifyEd25519SignaturePlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
verifyEd25519Signature 
1 (Function)PlutusTx.Builtins.Internal
2 (Function)PlutusTx.Builtins, PlutusTx.Prelude
VerifyEd25519Signature'cpu'arguments'intercept 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
VerifyEd25519Signature'cpu'arguments'slope 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
VerifyEd25519Signature'memory'arguments 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
verifyEd25519Signature_V1PlutusCore.Crypto.Ed25519
verifyEd25519Signature_V2PlutusCore.Crypto.Ed25519
VerifySchnorrSecp256k1SignaturePlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
verifySchnorrSecp256k1Signature 
1 (Function)PlutusTx.Builtins.Internal
2 (Function)PlutusTx.Builtins, PlutusTx.Prelude
3 (Function)PlutusCore.Crypto.Secp256k1
VerifySchnorrSecp256k1Signature'cpu'arguments'intercept 
1 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
2 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
VerifySchnorrSecp256k1Signature'cpu'arguments'slope 
1 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
2 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
VerifySchnorrSecp256k1Signature'memory'arguments 
1 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
2 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
Version 
1 (Type/Class)PlutusLedgerApi.Common.Versions, PlutusLedgerApi.Common, PlutusIR.Core.Type, PlutusIR.Core, PlutusCore.Version, PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
2 (Data Constructor)PlutusLedgerApi.Common.Versions, PlutusLedgerApi.Common, PlutusIR.Core.Type, PlutusIR.Core, PlutusCore.Version, PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
versionPlutusCore.Parser.ParserCommon, PlutusCore.Parser
versionMajorPlutusCore.Version, PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug
versionMinorPlutusCore.Version, PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug
versionPatchPlutusCore.Version, PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug
viaShowText.Pretty
view 
1 (Function)Text.PrettyBy.Internal.Utils
2 (Function)PlutusPrelude
VLamAbsUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
voidPlutusPrelude
voidArgIdStubTypes, OccName, GhcPlugins
voidIsNotSupportedErrorPlutusTx.ErrorCodes
voidPrimIdStubTypes, OccName, GhcPlugins
voidPrimTyConStubTypes, OccName, GhcPlugins
Vote 
1 (Type/Class)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Type/Class)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
VoteNo 
1 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
Voter 
1 (Type/Class)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Type/Class)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
VoteYes 
1 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
Voting 
1 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
VotingScript 
1 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
vsepText.Pretty
vTerm 
1 (Function)PlutusIR.Subst
2 (Function)PlutusCore.Subst
3 (Function)UntypedPlutusCore.Subst, UntypedPlutusCore