| 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 |
| Absurd | PlutusCore.Examples.Builtins |
| 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 |
| addBoolCaseToCoverageIndex | PlutusTx.Coverage |
| addCostStream | PlutusCore.Evaluation.Machine.CostStream |
| addCoverageMetadata | PlutusTx.Coverage |
| addDef | PlutusCore.Analysis.Definitions |
| AddDefinition | PlutusTx.Blueprint.Definition.Internal, PlutusTx.Blueprint.Definition, PlutusTx.Blueprint |
| addDefinition | PlutusTx.Blueprint.Definition.Internal, PlutusTx.Blueprint.Definition, PlutusTx.Blueprint |
| AddedSizes | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| AddInteger | PlutusCore.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 |
| AdditiveGroup | PlutusTx.Numeric, PlutusTx.Prelude |
| AdditiveMonoid | PlutusTx.Numeric, PlutusTx.Prelude |
| AdditiveSemigroup | PlutusTx.Numeric, PlutusTx.Prelude |
| addLocationToCoverageIndex | PlutusTx.Coverage |
| addQuantity | PlutusCore.Value |
| 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 |
| addSrcSpan | PlutusCore.Annotation |
| addTheRest | PlutusPrelude |
| addUsage | PlutusCore.Analysis.Definitions |
| after | |
| 1 (Function) | PlutusLedgerApi.V1.Data.Interval |
| 2 (Function) | PlutusLedgerApi.V1.Interval, PlutusLedgerApi.V1 |
| afterAST | UntypedPlutusCore.Transform.Certify.Trace, UntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore |
| all | |
| 1 (Function) | PlutusTx.List |
| 2 (Function) | PlutusTx.Data.List |
| 3 (Function) | PlutusTx.Data.AssocMap |
| 4 (Function) | PlutusTx.BuiltinList |
| 5 (Function) | PlutusTx.AssocMap |
| AllBuiltinArgs | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| allegraPV | PlutusLedgerApi.Common.Versions, PlutusLedgerApi.Common |
| AllElaboratedArgs | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| allSame | PlutusPrelude |
| AllSubterms | UntypedPlutusCore.Transform.Cse, UntypedPlutusCore |
| allType | PlutusCore.Parser |
| alonzoPV | PlutusLedgerApi.Common.Versions, PlutusLedgerApi.Common |
| Alternative | PlutusPrelude |
| 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 |
| AlwaysInline | PlutusCore.Annotation |
| anchor | PlutusTx.Plugin.Utils |
| and | |
| 1 (Function) | PlutusTx.List |
| 2 (Function) | PlutusTx.Data.List |
| 3 (Function) | PlutusTx.BuiltinList |
| AndByteString | PlutusCore.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'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 |
| AndByteString'cpu'arguments'slope1 | |
| 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 |
| AndByteString'cpu'arguments'slope2 | |
| 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 |
| AndByteString'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 |
| AndByteString'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 |
| Ann | |
| 1 (Type/Class) | PlutusCore.Annotation |
| 2 (Data Constructor) | PlutusCore.Annotation |
| 3 (Type/Class) | UntypedPlutusCore.Transform.Inline |
| annAlwaysInline | PlutusCore.Annotation |
| AnnInline | PlutusCore.Annotation |
| annInline | PlutusCore.Annotation |
| annIsAsDataMatcher | PlutusCore.Annotation |
| annMayInline | PlutusCore.Annotation |
| AnnotateCaseBuiltin | PlutusCore.Builtin |
| annotateCaseBuiltin | PlutusCore.Builtin |
| annotationsToSchemaInfo | PlutusTx.Blueprint.Schema.Annotation, PlutusTx.Blueprint |
| annSafeToInline | PlutusCore.Annotation |
| annSrcSpans | PlutusCore.Annotation |
| any | |
| 1 (Function) | PlutusTx.List |
| 2 (Function) | PlutusTx.Data.List |
| 3 (Function) | PlutusTx.Data.AssocMap |
| 4 (Function) | PlutusTx.BuiltinList |
| AnyToDoc | PlutusCore.Pretty |
| AppCtx | UntypedPlutusCore.Contexts |
| AppCtxEnd | UntypedPlutusCore.Contexts |
| AppCtxTerm | UntypedPlutusCore.Contexts |
| AppCtxType | UntypedPlutusCore.Contexts |
| AppearedBindings | PlutusCore.Check.Scoping |
| AppearedBindingsClashWithFreeVariabes | PlutusCore.Check.Scoping |
| AppearedBindingsDiscordWithBoundVariables | PlutusCore.Check.Scoping |
| AppearedVariables | PlutusCore.Check.Scoping |
| Append | PlutusTx.Blueprint.Definition.TF |
| append | |
| 1 (Function) | PlutusTx.Data.List |
| 2 (Function) | PlutusTx.BuiltinList |
| AppendByteString | PlutusCore.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 |
| AppendString | PlutusCore.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 |
| ApplicationHeadSymbol | PlutusTx.Coverage |
| Applicative | PlutusTx.Applicative, PlutusTx.Prelude |
| Apply | |
| 1 (Data Constructor) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Data Constructor) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| apply | PlutusCore.MkPlc |
| applyArguments | Plutarch.Evaluate |
| applyCode | PlutusTx.Code, PlutusTx |
| applyCostModelParams | PlutusCore.Evaluation.Machine.CostModelInterface |
| applyDisappears | PlutusCore.Check.Scoping |
| applyFun | PlutusCore.StdLib.Data.Function |
| applyNameAction | PlutusCore.Check.Scoping |
| applyProgram | |
| 1 (Function) | PlutusCore |
| 2 (Function) | UntypedPlutusCore |
| ApplyProgramError | PlutusCore.Error |
| applyStays | PlutusCore.Check.Scoping |
| ApplyToCase | UntypedPlutusCore.Transform.Certify.Trace, UntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore |
| applyToCase | UntypedPlutusCore.Transform.ApplyToCase |
| appPrec | PlutusTx.Show.TH, PlutusTx.Show |
| appPrec1 | PlutusTx.Show.TH, PlutusTx.Show |
| Approximately | PlutusTx.Sqrt |
| appType | PlutusCore.Parser |
| argProxy | PlutusCore.Builtin |
| argsFunKind | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| ArgStack | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| ArgStackNonEmpty | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| ArgumentBlueprint | PlutusTx.Blueprint.Argument, PlutusTx.Blueprint |
| argumentDescription | PlutusTx.Blueprint.Argument, PlutusTx.Blueprint |
| argumentPurpose | PlutusTx.Blueprint.Argument, PlutusTx.Blueprint |
| argumentSchema | PlutusTx.Blueprint.Argument, PlutusTx.Blueprint |
| argumentTitle | PlutusTx.Blueprint.Argument, PlutusTx.Blueprint |
| Arity | PlutusCore.Arity |
| arrowFixity | PlutusCore.Pretty |
| asClosedRawTerm | Plutarch.Internal.Term |
| asConstant | PlutusCore.Builtin |
| asData | PlutusTx.AsData |
| asDataFor | PlutusTx.AsData |
| AsDataProdType | PlutusTx.IsData |
| AsHaskell | Plutarch.Internal.Lift, Plutarch.Prelude |
| asksM | PlutusPrelude |
| asRawTerm | Plutarch.Internal.Term |
| AsReadable | |
| 1 (Type/Class) | PlutusCore.Pretty |
| 2 (Data Constructor) | PlutusCore.Pretty |
| AsScriptDecodeError | PlutusLedgerApi.V1 |
| assertWellFormedCostModelParams | 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 |
| Associativity | PlutusCore.Pretty |
| AstSize | |
| 1 (Type/Class) | PlutusCore.AstSize, UntypedPlutusCore.AstSize, UntypedPlutusCore |
| 2 (Data Constructor) | PlutusCore.AstSize, UntypedPlutusCore.AstSize, UntypedPlutusCore |
| asum | PlutusTx.Foldable |
| AsWord64 | |
| 1 (Type/Class) | PlutusLedgerApi.QuickCheck.Utils |
| 2 (Data Constructor) | PlutusLedgerApi.QuickCheck.Utils |
| AttachPrettyConfig | |
| 1 (Type/Class) | PlutusCore.Pretty |
| 2 (Data Constructor) | PlutusCore.Pretty |