| A | PlutusIR.Transform.RewriteRules.Common |
| abelianMonoidLaws | Evaluation.Builtins.Bitwise.CIP0122 |
| abelianSemigroupLaws | Evaluation.Builtins.Bitwise.CIP0122 |
| abs | |
| 1 (Function) | PlutusTx.Numeric, PlutusTx.Prelude |
| 2 (Function) | PlutusTx.Ratio |
| 3 (Function) | Evaluation.Builtins.Integer.Common |
| absorbtionLaw | Evaluation.Builtins.Bitwise.CIP0122 |
| Abstain | |
| 1 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| 2 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| Absurd | PlutusCore.Examples.Builtins |
| activeCoverageTypes | PlutusTx.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 |
| add64 | MAlonzo.RTE |
| 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 |
| addInt | MAlonzo.RTE |
| AddInteger | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| addInteger | |
| 1 (Function) | PlutusTx.Builtins.Internal |
| 2 (Function) | PlutusTx.Builtins |
| 3 (Function) | Evaluation.Builtins.Integer.Common |
| 4 (Function) | Transform.Inline.Spec |
| 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 |
| addJSONParameters | FFI.Opts |
| addLocationToCoverageIndex | PlutusTx.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 |
| addSrcSpan | PlutusTx.Compiler.Types, PlutusCore.Annotation |
| addTerm | Evaluation.Builtins.BLS12_381.TestClasses |
| addTheRest | PlutusPrelude |
| addTmBind | PlutusIR.Generators.QuickCheck.ShrinkTerms, PlutusIR.Generators.QuickCheck |
| addUsage | PlutusCore.Analysis.Definitions |
| after | |
| 1 (Function) | PlutusLedgerApi.V1.Data.Interval |
| 2 (Function) | PlutusLedgerApi.V1.Interval, PlutusLedgerApi.V1 |
| afterAST | UntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore.Simplify, UntypedPlutusCore |
| AgdaAny | MAlonzo.RTE |
| AgdaErrorP | PlutusCore.Generators.NEAT.Spec |
| AgdaIO | MAlonzo.Code.Agda.Builtin.IO |
| agdaUnfold | FFI.AgdaUnparse |
| AgdaUnparse | FFI.AgdaUnparse |
| agdaUnparse | FFI.AgdaUnparse |
| All | PlutusTx.Compiler.Types |
| 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.Polymorphism, PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| allegraPV | PlutusLedgerApi.Common.ProtocolVersions, PlutusLedgerApi.Common.Versions, PlutusLedgerApi.Common |
| AllElaboratedArgs | PlutusCore.Builtin.Polymorphism, PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| AllowEscape | PlutusIR.Compiler.Types, PlutusIR.TypeCheck.Internal, PlutusIR.Compiler |
| allSame | PlutusPrelude |
| allType | PlutusCore.Parser.Type, PlutusCore.Parser |
| allUsed | |
| 1 (Function) | PlutusIR.Analysis.Usages |
| 2 (Function) | UntypedPlutusCore.Analysis.Usages |
| alonzoPV | PlutusLedgerApi.Common.ProtocolVersions, PlutusLedgerApi.Common.Versions, PlutusLedgerApi.Common |
| alphaTm | MAlonzo.Code.Evaluator.Term |
| alphaTy | MAlonzo.Code.Evaluator.Term |
| alphaU | MAlonzo.Code.Evaluator.Term |
| 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 |
| alwaysFailingNAryFunction | PlutusLedgerApi.Test.Examples |
| AlwaysInline | PlutusTx.Compiler.Types, PlutusCore.Annotation |
| alwaysSucceedingNAryFunction | PlutusLedgerApi.Test.Examples |
| and | |
| 1 (Function) | PlutusTx.List |
| 2 (Function) | PlutusTx.Data.List |
| 3 (Function) | PlutusTx.BuiltinList |
| 4 (Function) | Evaluation.Builtins.Integer.Common |
| AndByteString | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| andByteString | |
| 1 (Function) | PlutusTx.Builtins.Internal |
| 2 (Function) | PlutusTx.Builtins, PlutusTx.Prelude |
| 3 (Function) | PlutusCore.Bitwise |
| 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) | PlutusTx.Compiler.Types, PlutusCore.Annotation |
| 2 (Data Constructor) | PlutusTx.Compiler.Types, PlutusCore.Annotation |
| annAlwaysInline | PlutusTx.Compiler.Types, PlutusCore.Annotation |
| AnnInline | PlutusTx.Compiler.Types, PlutusCore.Annotation |
| annInline | PlutusTx.Compiler.Types, PlutusCore.Annotation |
| annIsAsDataMatcher | PlutusTx.Compiler.Types, PlutusCore.Annotation |
| annMayInline | PlutusTx.Compiler.Types, PlutusCore.Annotation |
| AnnotateCaseBuiltin | PlutusCore.Builtin.Case, PlutusCore.Builtin |
| annotateCaseBuiltin | PlutusCore.Builtin.Case, PlutusCore.Builtin |
| annotateWithRetainedSize | PlutusIR.Analysis.RetainedSize |
| annotationsToSchemaInfo | PlutusTx.Blueprint.Schema.Annotation, PlutusTx.Blueprint |
| annSafeToInline | PlutusTx.Compiler.Types, PlutusCore.Annotation |
| annSrcSpans | PlutusTx.Compiler.Types, PlutusCore.Annotation |
| any | |
| 1 (Function) | PlutusTx.List |
| 2 (Function) | PlutusTx.Data.List |
| 3 (Function) | PlutusTx.Data.AssocMap |
| 4 (Function) | PlutusTx.BuiltinList |
| AnyToDoc | PlutusCore.Pretty.Readable, PlutusCore.Pretty |
| app | Transform.Inline.Spec |
| AppContext | PlutusIR.Contexts |
| AppContextEnd | PlutusIR.Contexts |
| 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 |
| appendAppContext | PlutusIR.Contexts |
| 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) | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| 2 (Data Constructor) | PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 3 (Data Constructor) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| apply | PlutusIR.MkPir, PlutusCore.MkPlc |
| applyAndBetaReduce | PlutusIR.Transform.Inline.CallSiteInline |
| applyCode | PlutusTx.Code, PlutusTx |
| applyCodeN | PlutusTx.Test.Util.Apply, PlutusTx.Test |
| applyCostModelParams | PlutusCore.Evaluation.Machine.CostModelInterface |
| applyDisappears | PlutusCore.Check.Scoping |
| applyFun | PlutusCore.StdLib.Data.Function |
| ApplyG | PlutusCore.Generators.NEAT.Term |
| applyImplications | PlutusTx.Options |
| applyNameAction | PlutusCore.Check.Scoping |
| ApplyOptions | |
| 1 (Type/Class) | PlutusCore.Executable.Types, PlutusCore.Executable.Common |
| 2 (Data Constructor) | PlutusCore.Executable.Types, PlutusCore.Executable.Common |
| applyOpts | PlutusCore.Executable.Parsers |
| applyProgram | |
| 1 (Function) | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| 2 (Function) | PlutusCore |
| 3 (Function) | UntypedPlutusCore |
| ApplyProgramError | PlutusCore.Error |
| applyStays | PlutusCore.Check.Scoping |
| applyTypeSubstitution | PlutusIR.Transform.Inline.Utils |
| appPrec | PlutusTx.Show.TH, PlutusTx.Show |
| appPrec1 | PlutusTx.Show.TH, PlutusTx.Show |
| Approximately | PlutusTx.Sqrt |
| appType | PlutusCore.Parser.Type, PlutusCore.Parser |
| Arbitrary | PlutusCore.Generators.QuickCheck.GenTm, PlutusCore.Generators.QuickCheck |
| arbitrary | PlutusCore.Generators.QuickCheck.GenTm, PlutusCore.Generators.QuickCheck |
| arbitraryBigInteger | Evaluation.Builtins.Integer.Common |
| ArbitraryBuiltin | PlutusCore.Generators.QuickCheck.Builtin |
| arbitraryBuiltin | PlutusCore.Generators.QuickCheck.Builtin |
| arbitraryConstant | Evaluation.Builtins.BLS12_381 |
| arbitraryNegative | PlutusCore.Generators.QuickCheck.Builtin |
| arbitraryPositive | PlutusCore.Generators.QuickCheck.Builtin |
| arbitraryScalar | Evaluation.Builtins.BLS12_381 |
| arbitrarySigned | PlutusCore.Generators.QuickCheck.Builtin |
| argProxy | PlutusCore.Builtin.TypeScheme, PlutusCore.Builtin |
| argsFunKind | PlutusCore.Core.Type, 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 |
| Arrow | Raw |
| arrowFixity | PlutusCore.Pretty.Readable, PlutusCore.Pretty |
| AsArbitraryBuiltin | |
| 1 (Type/Class) | PlutusCore.Generators.QuickCheck.Builtin |
| 2 (Data Constructor) | PlutusCore.Generators.QuickCheck.Builtin |
| asBuiltinDatatypeMatch | PlutusIR.Analysis.Builtins |
| asBytes | PlutusCore.Pretty.PrettyConst |
| asConstant | PlutusCore.Builtin.HasConstant, PlutusCore.Builtin |
| asData | PlutusTx.AsData |
| asDataFor | PlutusTx.AsData |
| AsDataProdType | PlutusTx.IsData.TH, PlutusTx.IsData |
| asFinite | MAlonzo.RTE.Float |
| asIfThrown | PlutusIR.Test |
| asksM | PlutusPrelude |
| asNormalDatatypeMatch | PlutusIR.Contexts |
| 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 |
| AsScriptDecodeError | PlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common.Eval, PlutusLedgerApi.V1 |
| assertEqualPretty | Test.Tasty.Extras, PlutusCore.Test |
| assertEvaluatesSuccessfully | PlutusTx.Test.Run.Code, PlutusTx.Test |
| assertEvaluatesToConstant | Evaluation.Helpers |
| assertEvaluatesWithError | PlutusTx.Test.Run.Code, PlutusTx.Test |
| assertNoCounterexamples | PlutusCore.Generators.QuickCheck.Utils, PlutusCore.Generators.QuickCheck |
| assertResult | PlutusTx.Test.Run.Code, PlutusTx.Test |
| assertWellFormedCostModelParams | PlutusLedgerApi.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 |
| Assoc | MAlonzo.RTE |
| Associativity | PlutusCore.Pretty.Readable, PlutusCore.Pretty |
| AstGen | PlutusCore.Generators.Hedgehog.AST, PlutusIR.Generators.AST, UntypedPlutusCore.Generators.Hedgehog.AST |
| AstNameType | PlutusCore.Executable.Types, PlutusCore.Executable.Common |
| astSizeSplit | PlutusCore.Generators.QuickCheck.GenTm, PlutusCore.Generators.QuickCheck |
| astSizeSplit_ | PlutusCore.Generators.QuickCheck.GenTm, PlutusCore.Generators.QuickCheck |
| asum | PlutusTx.Foldable |
| AtomicTyCon | Raw |
| AttachPrettyConfig | |
| 1 (Type/Class) | PlutusCore.Pretty |
| 2 (Data Constructor) | PlutusCore.Pretty |
| ATyConBLS12_381_G1_Element | Raw |
| ATyConBLS12_381_G2_Element | Raw |
| ATyConBLS12_381_MlResult | Raw |
| ATyConBool | Raw |
| ATyConBS | Raw |
| ATyConData | Raw |
| ATyConInt | Raw |
| ATyConStr | Raw |
| ATyConUnit | Raw |