Combined Plutus 1.39.0.0 Documentation

Index - A

APlutusIR.Transform.RewriteRules.Common
abs 
1 (Function)PlutusTx.Numeric, PlutusTx.Prelude
2 (Function)PlutusTx.Ratio
Abstain 
1 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
2 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
AbsurdPlutusCore.Examples.Builtins
activeCoverageTypesPlutusTx.Compiler.Types
adaSymbol 
1 (Function)PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3
2 (Function)PlutusLedgerApi.V1.Data.Value, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
adaToken 
1 (Function)PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3
2 (Function)PlutusLedgerApi.V1.Data.Value, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
add 
1 (Function)PlutusCore.Crypto.BLS12_381.G2
2 (Function)PlutusCore.Crypto.BLS12_381.G1
add64MAlonzo.RTE
addBoolCaseToCoverageIndexPlutusTx.Coverage
addCostStreamPlutusCore.Evaluation.Machine.CostStream
addCoverageMetadataPlutusTx.Coverage
addDefPlutusCore.Analysis.Definitions
AddDefinitionPlutusTx.Blueprint.Definition.Internal, PlutusTx.Blueprint.Definition, PlutusTx.Blueprint
addDefinitionPlutusTx.Blueprint.Definition.Internal, PlutusTx.Blueprint.Definition, PlutusTx.Blueprint
AddedSizesPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
addIntMAlonzo.RTE
AddIntegerPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
addInteger 
1 (Function)PlutusTx.Builtins.Internal
2 (Function)PlutusTx.Builtins
AddInteger'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
AddInteger'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
AddInteger'memory'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
AddInteger'memory'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
Additive 
1 (Type/Class)PlutusTx.Numeric, PlutusTx.Prelude
2 (Data Constructor)PlutusTx.Numeric, PlutusTx.Prelude
AdditiveGroupPlutusTx.Numeric, PlutusTx.Prelude
AdditiveMonoidPlutusTx.Numeric, PlutusTx.Prelude
AdditiveSemigroupPlutusTx.Numeric, PlutusTx.Prelude
addJSONParametersOpts
addLocationToCoverageIndexPlutusTx.Coverage
Address 
1 (Type/Class)PlutusLedgerApi.V1.Data.Address, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
2 (Data Constructor)PlutusLedgerApi.V1.Data.Address, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
3 (Type/Class)PlutusLedgerApi.V1.Address, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3
4 (Data Constructor)PlutusLedgerApi.V1.Address, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3
addressCredential 
1 (Function)PlutusLedgerApi.V1.Data.Address, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
2 (Function)PlutusLedgerApi.V1.Address, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3
addressStakingCredential 
1 (Function)PlutusLedgerApi.V1.Data.Address, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
2 (Function)PlutusLedgerApi.V1.Address, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3
addSrcSpanPlutusCore.Annotation, PlutusTx.Compiler.Types
addTmBindPlutusIR.Generators.QuickCheck.ShrinkTerms, PlutusIR.Generators.QuickCheck
addUsagePlutusCore.Analysis.Definitions
after 
1 (Function)PlutusLedgerApi.V1.Data.Interval
2 (Function)PlutusLedgerApi.V1.Interval, PlutusLedgerApi.V1
afterASTUntypedPlutusCore.Transform.Simplifier
AgdaAnyMAlonzo.RTE
AgdaErrorPPlutusCore.Generators.NEAT.Spec
AgdaIOMAlonzo.Code.Agda.Builtin.IO
AllPlutusTx.Compiler.Types
all 
1 (Function)PlutusTx.List, PlutusTx.Prelude
2 (Function)PlutusTx.Data.AssocMap
3 (Function)PlutusTx.AssocMap
AllBuiltinArgsPlutusCore.Builtin.Polymorphism, PlutusCore.Builtin, PlutusCore.Builtin.Debug
allegraPVPlutusLedgerApi.Common.ProtocolVersions, PlutusLedgerApi.Common.Versions
AllElaboratedArgsPlutusCore.Builtin.Polymorphism, PlutusCore.Builtin, PlutusCore.Builtin.Debug
AllowEscapePlutusIR.Compiler.Types, PlutusIR.TypeCheck.Internal, PlutusIR.Compiler
allSamePlutusPrelude
allTypePlutusCore.Parser.Type, PlutusCore.Parser
allUsed 
1 (Function)UntypedPlutusCore.Analysis.Usages
2 (Function)PlutusIR.Analysis.Usages
alonzoPVPlutusLedgerApi.Common.ProtocolVersions, PlutusLedgerApi.Common.Versions
alphaTmMAlonzo.Code.Evaluator.Term
alphaTyMAlonzo.Code.Evaluator.Term
alphaUMAlonzo.Code.Evaluator.Term
AlternativePlutusPrelude
always 
1 (Function)PlutusLedgerApi.V1.Data.Interval, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
2 (Function)PlutusLedgerApi.V1.Interval, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3
alwaysFailingNAryFunctionPlutusLedgerApi.Test.Examples
AlwaysInlinePlutusCore.Annotation, PlutusTx.Compiler.Types
alwaysSucceedingNAryFunctionPlutusLedgerApi.Test.Examples
andPlutusTx.List, PlutusTx.Prelude
AndByteStringPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
andByteString 
1 (Function)PlutusCore.Bitwise
2 (Function)PlutusTx.Builtins.Internal
3 (Function)PlutusTx.Builtins, PlutusTx.Prelude
AndByteString'cpu'arguments'interceptPlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
AndByteString'cpu'arguments'slope1PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
AndByteString'cpu'arguments'slope2PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
AndByteString'memory'arguments'interceptPlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
AndByteString'memory'arguments'slopePlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
Ann 
1 (Type/Class)PlutusCore.Annotation, PlutusTx.Compiler.Types
2 (Data Constructor)PlutusCore.Annotation, PlutusTx.Compiler.Types
annAlwaysInlinePlutusCore.Annotation, PlutusTx.Compiler.Types
annInlinePlutusCore.Annotation, PlutusTx.Compiler.Types
annMayInlinePlutusCore.Annotation, PlutusTx.Compiler.Types
annotateWithRetainedSizePlutusIR.Analysis.RetainedSize
annotationsToSchemaInfoPlutusTx.Blueprint.Schema.Annotation, PlutusTx.Blueprint
annSrcSpansPlutusCore.Annotation, PlutusTx.Compiler.Types
any 
1 (Function)PlutusTx.List, PlutusTx.Prelude
2 (Function)PlutusTx.Data.List
3 (Function)PlutusTx.Data.AssocMap
AnyToDocPlutusCore.Pretty.Readable, PlutusCore.Pretty
AppContextPlutusIR.Contexts
AppContextEndPlutusIR.Contexts
AppearedBindingsPlutusCore.Check.Scoping
AppearedBindingsClashWithFreeVariabesPlutusCore.Check.Scoping
AppearedBindingsDiscordWithBoundVariablesPlutusCore.Check.Scoping
AppearedVariablesPlutusCore.Check.Scoping
AppendPlutusTx.Blueprint.Definition.TF
appendPlutusTx.Data.List
appendAppContextPlutusIR.Contexts
AppendByteStringPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
appendByteString 
1 (Function)PlutusTx.Builtins.Internal
2 (Function)PlutusTx.Builtins, PlutusTx.Prelude
AppendByteString'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
AppendByteString'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
AppendByteString'memory'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
AppendByteString'memory'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
AppendStringPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
appendString 
1 (Function)PlutusTx.Builtins.Internal
2 (Function)PlutusTx.Builtins, PlutusTx.Prelude
AppendString'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
AppendString'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
AppendString'memory'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
AppendString'memory'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
ApplicationHeadSymbolPlutusTx.Coverage
ApplicativePlutusTx.Applicative, PlutusTx.Prelude
Apply 
1 (Data Constructor)PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
2 (Data Constructor)UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
3 (Data Constructor)PlutusIR.Core.Type, PlutusIR.Core, PlutusIR
applyPlutusCore.MkPlc, PlutusIR.MkPir
applyAndBetaReducePlutusIR.Transform.Inline.CallSiteInline
applyCodePlutusTx.Code, PlutusTx
applyCostModelParamsPlutusCore.Evaluation.Machine.CostModelInterface
applyDisappearsPlutusCore.Check.Scoping
applyFunPlutusCore.StdLib.Data.Function
ApplyGPlutusCore.Generators.NEAT.Term
applyImplicationsPlutusTx.Options
applyNameActionPlutusCore.Check.Scoping
ApplyOptions 
1 (Type/Class)PlutusCore.Executable.Types, PlutusCore.Executable.Common
2 (Data Constructor)PlutusCore.Executable.Types, PlutusCore.Executable.Common
applyOptsPlutusCore.Executable.Parsers
applyProgram 
1 (Function)PlutusCore
2 (Function)UntypedPlutusCore
3 (Function)PlutusIR.Core.Type, PlutusIR.Core, PlutusIR
ApplyProgramErrorPlutusCore.Error
applyStaysPlutusCore.Check.Scoping
applyTypeSubstitutionPlutusIR.Transform.Inline.Utils
appPrecPlutusTx.Show.TH, PlutusTx.Show
appPrec1PlutusTx.Show.TH, PlutusTx.Show
ApproximatelyPlutusTx.Sqrt
appTypePlutusCore.Parser.Type, PlutusCore.Parser
ArbitraryPlutusCore.Generators.QuickCheck.GenTm, PlutusCore.Generators.QuickCheck
arbitraryPlutusCore.Generators.QuickCheck.GenTm, PlutusCore.Generators.QuickCheck
ArbitraryBuiltinPlutusCore.Generators.QuickCheck.Builtin
arbitraryBuiltinPlutusCore.Generators.QuickCheck.Builtin
arbitraryNegativePlutusCore.Generators.QuickCheck.Builtin
arbitraryPositivePlutusCore.Generators.QuickCheck.Builtin
arbitrarySignedPlutusCore.Generators.QuickCheck.Builtin
argProxyPlutusCore.Builtin.TypeScheme, PlutusCore.Builtin
argsFunKindPlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
ArgStackUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
ArgumentBlueprintPlutusTx.Blueprint.Argument, PlutusTx.Blueprint
argumentDescriptionPlutusTx.Blueprint.Argument, PlutusTx.Blueprint
argumentPurposePlutusTx.Blueprint.Argument, PlutusTx.Blueprint
argumentSchemaPlutusTx.Blueprint.Argument, PlutusTx.Blueprint
argumentTitlePlutusTx.Blueprint.Argument, PlutusTx.Blueprint
ArityPlutusCore.Arity
ArrowRaw
arrowFixityPlutusCore.Pretty.Readable, PlutusCore.Pretty
AsArbitraryBuiltin 
1 (Type/Class)PlutusCore.Generators.QuickCheck.Builtin
2 (Data Constructor)PlutusCore.Generators.QuickCheck.Builtin
asBuiltinDatatypeMatchPlutusIR.Analysis.Builtins
AsBuiltinErrorPlutusCore.Builtin.Result, PlutusCore.Builtin
AsBuiltinResultPlutusCore.Builtin.Result, PlutusCore.Builtin
asBytesPlutusCore.Pretty.PrettyConst
asConstantPlutusCore.Builtin.HasConstant, PlutusCore.Builtin
asDataPlutusTx.AsData
asDataForPlutusTx.AsData
AsError 
1 (Type/Class)PlutusCore.Error, PlutusCore
2 (Type/Class)PlutusIR.Compiler.Error
3 (Type/Class)PlutusIR.Error, PlutusIR.Compiler
AsEvaluationErrorPlutusCore.Evaluation.Error, PlutusCore.Builtin.Result, PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin
AsEvaluationFailurePlutusCore.Evaluation.Result
asFiniteMAlonzo.RTE.Float
AsFreeVariableErrorPlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore.Error, PlutusCore, UntypedPlutusCore.DeBruijn, UntypedPlutusCore
asIfThrownPlutusIR.Test
asksMPlutusPrelude
AsMachineErrorPlutusCore.Evaluation.Machine.Exception
asNormalDatatypeMatchPlutusIR.Contexts
AsNormCheckErrorPlutusCore.Error, PlutusCore
AsParserErrorBundlePlutusCore.Error
AsRAL 
1 (Type/Class)Data.RandomAccessList.Class
2 (Data Constructor)Data.RandomAccessList.Class
AsReadable 
1 (Type/Class)PlutusCore.Pretty.Readable, PlutusCore.Pretty
2 (Data Constructor)PlutusCore.Pretty.Readable, PlutusCore.Pretty
AsScriptDecodeErrorPlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common.Eval, PlutusLedgerApi.V1
assertNoCounterexamplesPlutusCore.Generators.QuickCheck.Utils, PlutusCore.Generators.QuickCheck
assertWellFormedCostModelParamsPlutusLedgerApi.Common.Eval, PlutusLedgerApi.Common, PlutusLedgerApi.V1.EvaluationContext, PlutusLedgerApi.V2.EvaluationContext, PlutusLedgerApi.V3.EvaluationContext, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
AssetClass 
1 (Type/Class)PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1
2 (Data Constructor)PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1
3 (Type/Class)PlutusLedgerApi.V1.Data.Value
4 (Data Constructor)PlutusLedgerApi.V1.Data.Value
assetClass 
1 (Function)PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V1.Data.Value
assetClassValue 
1 (Function)PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V1.Data.Value
assetClassValueOf 
1 (Function)PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V1.Data.Value
AssocMAlonzo.RTE
AssociativityPlutusCore.Pretty.Readable, PlutusCore.Pretty
AstGenPlutusCore.Generators.Hedgehog.AST, PlutusIR.Generators.AST
AstNameTypePlutusCore.Executable.Types, PlutusCore.Executable.Common
astSizeSplitPlutusCore.Generators.QuickCheck.GenTm, PlutusCore.Generators.QuickCheck
astSizeSplit_PlutusCore.Generators.QuickCheck.GenTm, PlutusCore.Generators.QuickCheck
AsTypeErrorPlutusCore.Error, PlutusCore, PlutusIR.Error, PlutusIR.Compiler
AsTypeErrorExtPlutusIR.Error, PlutusIR.Compiler
asumPlutusTx.Foldable, PlutusTx.Prelude
AsUniqueErrorPlutusCore.Error, PlutusCore.Check.Uniques, PlutusCore, UntypedPlutusCore.Check.Uniques, PlutusIR.Check.Uniques
AsUnliftingErrorPlutusCore.Builtin.Result, PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin
AsUnliftingEvaluationErrorPlutusCore.Builtin.Result, PlutusCore.Builtin
AtomicTyConRaw
AttachPrettyConfig 
1 (Type/Class)PlutusCore.Pretty
2 (Data Constructor)PlutusCore.Pretty
ATyConBLS12_381_G1_ElementRaw
ATyConBLS12_381_G2_ElementRaw
ATyConBLS12_381_MlResultRaw
ATyConBoolRaw
ATyConBSRaw
ATyConDataRaw
ATyConIntRaw
ATyConStrRaw
ATyConUnitRaw