plutus-core-1.0.0.1: Language library for Plutus Core

Index - V

ValueOf
1 (Type/Class) Universe , PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
2 (Data Constructor) Universe , PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
Var
1 (Data Constructor) PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
2 (Data Constructor) UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, UntypedPlutusCore
3 (Data Constructor) PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
var PlutusCore.MkPlc , PlutusIR.MkPir
VarDecl
1 (Type/Class) PlutusCore.Core , PlutusCore.MkPlc , PlutusCore.Builtin.Debug, PlutusIR.Core.Type , PlutusIR.Core, PlutusIR , PlutusIR.MkPir
2 (Data Constructor) PlutusCore.Core , PlutusCore.MkPlc , PlutusCore.Builtin.Debug, PlutusIR.Core.Type , PlutusIR.Core, PlutusIR , PlutusIR.MkPir
varDeclAnn PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
varDeclName PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
varDeclNameString PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
varDeclSubtypes PlutusCore.Core , PlutusCore.Builtin.Debug
varDeclType PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
VarF
1 (Data Constructor) PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
2 (Data Constructor) UntypedPlutusCore.Core , UntypedPlutusCore
VBuiltin UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
VCon UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
VDelay UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
VerifyEcdsaSecp256k1Signature PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
verifyEcdsaSecp256k1Signature Crypto
VerifyEd25519Signature PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
verifyEd25519Signature Crypto
VerifySchnorrSecp256k1Signature PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
verifySchnorrSecp256k1Signature Crypto
Version
1 (Type/Class) PlutusCore.Core , PlutusCore.Builtin.Debug, UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, PlutusCore , UntypedPlutusCore
2 (Data Constructor) PlutusCore.Core , PlutusCore.Builtin.Debug, UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, PlutusCore , UntypedPlutusCore
view PlutusPrelude
VLamAbs UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
void PlutusPrelude
vTerm
1 (Function) PlutusCore.Subst
2 (Function) UntypedPlutusCore