abs | |
1 (Function) | PlutusTx.Numeric, PlutusTx.Prelude |
2 (Function) | PlutusTx.Ratio |
Abstain | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
AbstractTyCon | OccName, GhcPlugins |
Absurd | PlutusCore.Examples.Builtins |
adaSymbol | PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
adaToken | PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.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 |
AddInteger'cpu'arguments'intercept | |
1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1 |
2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2 |
3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3 |
AddInteger'cpu'arguments'slope | |
1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1 |
2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2 |
3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3 |
AddInteger'memory'arguments'intercept | |
1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1 |
2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2 |
3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3 |
AddInteger'memory'arguments'slope | |
1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1 |
2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2 |
3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.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 | Opts |
addLocationToCoverageIndex | PlutusTx.Coverage |
Address | |
1 (Type/Class) | PlutusLedgerApi.V1.Address, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
2 (Data Constructor) | PlutusLedgerApi.V1.Address, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
addressCredential | PlutusLedgerApi.V1.Address, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
addressStakingCredential | PlutusLedgerApi.V1.Address, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
addrPrimTyCon | OccName, GhcPlugins |
addSrcSpan | PlutusCore.Annotation |
addUsage | PlutusCore.Analysis.Definitions |
after | PlutusLedgerApi.V1.Interval |
AgdaAny | MAlonzo.RTE |
AgdaIO | MAlonzo.Code.Agda.Builtin.IO |
AlgTyConRhs | OccName, GhcPlugins |
algTyConRhs | OccName, GhcPlugins |
all | |
1 (Function) | PlutusTx.List, PlutusTx.Prelude |
2 (Function) | PlutusTx.AssocMap |
AllBuiltinArgs | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
allegraPV | PlutusLedgerApi.Common.Versions |
AllElaboratedArgs | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
allSame | PlutusPrelude |
allType | PlutusCore.Parser |
alonzoPV | PlutusLedgerApi.Common.Versions |
alphaTm | MAlonzo.Code.Evaluator.Term |
alphaTy | MAlonzo.Code.Evaluator.Term |
alphaU | MAlonzo.Code.Evaluator.Term |
Alt | OccName, GhcPlugins |
AltCon | OccName, GhcPlugins |
Alternative | PlutusPrelude |
always | PlutusLedgerApi.V1.Interval, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
AlwaysInline | PlutusCore.Annotation |
alwaysQualify | OccName, GhcPlugins |
and | PlutusTx.List, PlutusTx.Prelude |
Ann | |
1 (Type/Class) | PlutusCore.Annotation |
2 (Data Constructor) | PlutusCore.Annotation |
annAlwaysInline | PlutusCore.Annotation |
annInline | PlutusCore.Annotation |
annMayInline | PlutusCore.Annotation |
annotationsToSchemaInfo | PlutusTx.Blueprint.Schema.Annotation, PlutusTx.Blueprint |
annSrcSpans | PlutusCore.Annotation |
any | PlutusTx.List, PlutusTx.Prelude |
AnyToDoc | PlutusCore.Pretty |
App | OccName, GhcPlugins |
AppearedBindings | PlutusCore.Check.Scoping |
AppearedBindingsClashWithFreeVariabes | PlutusCore.Check.Scoping |
AppearedBindingsDiscordWithBoundVariables | PlutusCore.Check.Scoping |
AppearedVariables | PlutusCore.Check.Scoping |
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 |
2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2 |
3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3 |
AppendByteString'cpu'arguments'slope | |
1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1 |
2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2 |
3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3 |
AppendByteString'memory'arguments'intercept | |
1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1 |
2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2 |
3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3 |
AppendByteString'memory'arguments'slope | |
1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1 |
2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2 |
3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.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 |
2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2 |
3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3 |
AppendString'cpu'arguments'slope | |
1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1 |
2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2 |
3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3 |
AppendString'memory'arguments'intercept | |
1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1 |
2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2 |
3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3 |
AppendString'memory'arguments'slope | |
1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1 |
2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2 |
3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.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 |
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 |
appPrec | PlutusTx.Show.TH, PlutusTx.Show |
appPrec1 | PlutusTx.Show.TH, PlutusTx.Show |
Approximately | PlutusTx.Sqrt |
appType | PlutusCore.Parser |
Arg | OccName, GhcPlugins |
argProxy | PlutusCore.Builtin |
argsFunKind | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
ArgStack | 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 |
AsBuiltinError | PlutusCore.Builtin |
AsBuiltinResult | PlutusCore.Builtin |
asConstant | PlutusCore.Builtin |
asData | PlutusTx.AsData |
asDataFor | PlutusTx.AsData |
AsDefinitionId | PlutusTx.Blueprint.Definition.Id, PlutusTx.Blueprint.Definition, PlutusTx.Blueprint |
AsError | PlutusCore.Error, PlutusCore |
AsEvaluationError | PlutusCore.Evaluation.Machine.Exception |
AsEvaluationFailure | PlutusCore.Evaluation.Result |
asFinite | MAlonzo.RTE.Float |
AsFreeVariableError | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore.Error, PlutusCore, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
asksM | PlutusPrelude |
AsMachineError | PlutusCore.Evaluation.Machine.Exception |
AsNormCheckError | PlutusCore.Error, PlutusCore |
AsParserErrorBundle | PlutusCore.Error |
AsReadable | |
1 (Type/Class) | PlutusCore.Pretty |
2 (Data Constructor) | PlutusCore.Pretty |
AsSerialize | |
1 (Type/Class) | PlutusCore.Flat |
2 (Data Constructor) | PlutusCore.Flat |
assertWellFormedCostModelParams | PlutusLedgerApi.Common, PlutusLedgerApi.V1.EvaluationContext, PlutusLedgerApi.V2.EvaluationContext, PlutusLedgerApi.V3.EvaluationContext, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
AssetClass | |
1 (Type/Class) | PlutusLedgerApi.V1.Value |
2 (Data Constructor) | PlutusLedgerApi.V1.Value |
assetClass | PlutusLedgerApi.V1.Value |
assetClassValue | PlutusLedgerApi.V1.Value |
assetClassValueOf | PlutusLedgerApi.V1.Value |
Assoc | MAlonzo.RTE |
Associativity | PlutusCore.Pretty |
AsTypeError | PlutusCore.Error, PlutusCore |
asum | PlutusTx.Foldable, PlutusTx.Prelude |
AsUniqueError | PlutusCore.Error, PlutusCore.Check.Uniques, PlutusCore, UntypedPlutusCore.Check.Uniques |
AsUnliftingError | PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin |
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 |
AvailInfo | OccName, GhcPlugins |
AvailInfo_ | OccName, GhcPlugins |