| #. | PlutusPrelude |
| $> | PlutusPrelude |
| %~ | PlutusPrelude |
| & | PlutusPrelude |
| &&& | PlutusPrelude |
| .* | PlutusPrelude |
| .~ | PlutusPrelude |
| :=> | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug |
| :| | PlutusPrelude |
| :~: | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| <&> | PlutusPrelude |
| <: | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| <<$>> | PlutusPrelude |
| <<*>> | PlutusPrelude |
| <=< | PlutusPrelude |
| <?> | Prettyprinter.Custom |
| <^> | PlutusPrelude |
| <|> | PlutusPrelude |
| >=> | PlutusPrelude |
| >>> | PlutusPrelude |
| ? | PlutusPrelude |
| @@ | PlutusCore.MkPlc |
| Absurd | PlutusCore.Examples.Builtins |
| add | |
| 1 (Function) | PlutusCore.Crypto.BLS12_381.G2 |
| 2 (Function) | PlutusCore.Crypto.BLS12_381.G1 |
| addCostStream | PlutusCore.Evaluation.Machine.CostStream |
| addDef | PlutusCore.Analysis.Definitions |
| AddedSizes | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| AddInteger | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| addQuantity | PlutusCore.Value |
| addSrcSpan | PlutusCore.Annotation |
| addTheRest | PlutusPrelude |
| addUsage | PlutusCore.Analysis.Definitions |
| afterAST | UntypedPlutusCore.Transform.Certify.Trace, UntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore |
| AllBuiltinArgs | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| AllElaboratedArgs | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| allSame | PlutusPrelude |
| AllSubterms | UntypedPlutusCore.Transform.Cse, UntypedPlutusCore |
| allType | PlutusCore.Parser |
| Alternative | PlutusPrelude |
| AlwaysInline | PlutusCore.Annotation |
| AndByteString | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| andByteString | PlutusCore.Bitwise |
| 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 |
| annSafeToInline | PlutusCore.Annotation |
| annSrcSpans | PlutusCore.Annotation |
| 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 |
| AppendByteString | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| AppendString | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| Apply | |
| 1 (Data Constructor) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Data Constructor) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| apply | PlutusCore.MkPlc |
| 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 |
| 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 |
| Arity | PlutusCore.Arity |
| arrowFixity | PlutusCore.Pretty |
| asConstant | PlutusCore.Builtin |
| asksM | PlutusPrelude |
| AsReadable | |
| 1 (Type/Class) | PlutusCore.Pretty |
| 2 (Data Constructor) | PlutusCore.Pretty |
| Associativity | PlutusCore.Pretty |
| AstSize | |
| 1 (Type/Class) | PlutusCore.AstSize, UntypedPlutusCore.AstSize, UntypedPlutusCore |
| 2 (Data Constructor) | PlutusCore.AstSize, UntypedPlutusCore.AstSize, UntypedPlutusCore |
| AttachPrettyConfig | |
| 1 (Type/Class) | PlutusCore.Pretty |
| 2 (Data Constructor) | PlutusCore.Pretty |
| B | PlutusCore.Data |
| BadTerm | PlutusCore.Error, PlutusCore, PlutusCore.Check.Normal |
| BadType | PlutusCore.Error, PlutusCore, PlutusCore.Check.Normal |
| BApply | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| BBuiltin | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| BBuiltinApp | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| BCase | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| BConst | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| BConstr | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| BData | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| BDelay | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| beforeAST | UntypedPlutusCore.Transform.Certify.Trace, UntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore |
| benchingResultsFile | PlutusCore.DataFilePaths |
| BForce | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| BiconstPair | PlutusCore.Examples.Builtins |
| Binder | |
| 1 (Type/Class) | PlutusCore.Core, PlutusCore.Builtin.Debug, UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| 2 (Data Constructor) | PlutusCore.Core, PlutusCore.Builtin.Debug, UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| binderFixity | PlutusCore.Pretty |
| bindFun | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| bindFunM | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| BindingRemoval | PlutusCore.Check.Scoping |
| BindingRemovalNotOk | PlutusCore.Check.Scoping |
| BindingRemovalOk | PlutusCore.Check.Scoping |
| bindTuple | PlutusCore.StdLib.Meta.Data.Tuple |
| Blake2b_224 | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| blake2b_224 | PlutusCore.Crypto.Hash |
| Blake2b_256 | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| blake2b_256 | PlutusCore.Crypto.Hash |
| BLamAbs | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| BLS12_381_Error | PlutusCore.Crypto.BLS12_381.Error |
| Bls12_381_finalVerify | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| Bls12_381_G1_add | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| Bls12_381_G1_compress | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| Bls12_381_G1_equal | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| Bls12_381_G1_hashToGroup | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| Bls12_381_G1_multiScalarMul | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| Bls12_381_G1_neg | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| Bls12_381_G1_scalarMul | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| Bls12_381_G1_uncompress | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| Bls12_381_G2_add | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| Bls12_381_G2_compress | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| Bls12_381_G2_equal | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| Bls12_381_G2_hashToGroup | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| Bls12_381_G2_multiScalarMul | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| Bls12_381_G2_neg | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| Bls12_381_G2_scalarMul | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| Bls12_381_G2_uncompress | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| Bls12_381_millerLoop | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| Bls12_381_mulMlResult | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| bool | PlutusCore.StdLib.Data.Bool |
| botFixity | PlutusCore.Pretty |
| botPrettyConfigReadable | PlutusCore.Pretty |
| botRenderContext | PlutusCore.Pretty |
| braces' | Prettyprinter.Custom |
| brackets' | Prettyprinter.Custom |
| Breakpointable | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
| bring | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| bringKnownKind | PlutusCore.Builtin |
| BStartup | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| BStep | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| Builtin | |
| 1 (Data Constructor) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Data Constructor) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| builtin | PlutusCore.MkPlc |
| builtinArity | PlutusCore.Arity |
| BuiltinCostedResult | PlutusCore.Builtin |
| BuiltinCostKeyMap | PlutusCore.Evaluation.Machine.SimpleBuiltinCostModel |
| BuiltinCostMap | PlutusCore.Evaluation.Machine.SimpleBuiltinCostModel |
| BuiltinCostModel | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| builtinCostModel | PlutusCore.Evaluation.Machine.MachineParameters |
| BuiltinCostModelBase | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| builtinCostModelFileA | PlutusCore.DataFilePaths |
| builtinCostModelFileB | PlutusCore.DataFilePaths |
| builtinCostModelFileC | PlutusCore.DataFilePaths |
| builtinCostModelFileD | PlutusCore.DataFilePaths |
| builtinCostModelFileE | PlutusCore.DataFilePaths |
| BuiltinError | PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin |
| BuiltinErrorCall | |
| 1 (Type/Class) | PlutusCore.Examples.Builtins |
| 2 (Data Constructor) | PlutusCore.Examples.Builtins |
| BuiltinErrorToEvaluationError | PlutusCore.Evaluation.Machine.Exception |
| builtinErrorToEvaluationError | PlutusCore.Evaluation.Machine.Exception |
| BuiltinEvaluationFailure | PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin |
| BuiltinExpectArgument | PlutusCore.Builtin |
| BuiltinExpectForce | PlutusCore.Builtin |
| BuiltinFailure | PlutusCore.Builtin |
| builtinFunction | PlutusCore.Parser |
| BuiltinHead | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| BuiltinMeaning | |
| 1 (Type/Class) | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| 2 (Data Constructor) | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| builtinMeaningsToTypes | PlutusCore.TypeCheck, PlutusCore |
| BuiltinResult | PlutusCore.Builtin |
| builtinResultFailure | PlutusCore.Builtin |
| BuiltinRuntime | PlutusCore.Builtin |
| builtinRuntimeFailure | PlutusCore.Builtin |
| builtins | PlutusCore.Examples.Everything |
| BuiltinSemanticsVariant | PlutusCore.Builtin, PlutusCore.Builtin, PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore.Builtin.Debug, PlutusCore.Examples.Builtins |
| BuiltinsRuntime | |
| 1 (Type/Class) | PlutusCore.Builtin, UntypedPlutusCore.Evaluation.Machine.Cek |
| 2 (Data Constructor) | PlutusCore.Builtin, UntypedPlutusCore.Evaluation.Machine.Cek |
| builtinsRuntime | PlutusCore.Evaluation.Machine.MachineParameters |
| BuiltinSuccess | PlutusCore.Builtin |
| BuiltinSuccessWithLogs | PlutusCore.Builtin |
| builtinTagWidth | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug |
| BuiltinTermArgumentExpectedMachineError | PlutusCore.Evaluation.Machine.Exception |
| builtinType | PlutusCore.Parser |
| BuiltinTypeNotAStar | PlutusCore.Error, PlutusCore.Parser, PlutusCore |
| BuiltinTypes | |
| 1 (Type/Class) | PlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore |
| 2 (Data Constructor) | PlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore |
| BuiltinUnliftingEvaluationError | PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin |
| BVar | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| ByteStringToInteger | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| byteStringToInteger | PlutusCore.Bitwise |
| cachedBuiltin | PlutusCore.Parser |
| Case | |
| 1 (Data Constructor) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Data Constructor) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| CaseBuiltin | PlutusCore.Builtin |
| caseBuiltin | PlutusCore.Builtin |
| CaseOfCase | UntypedPlutusCore.Transform.Certify.Trace, UntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore |
| caseOfCase | UntypedPlutusCore.Transform.CaseOfCase |
| CaserBuiltin | |
| 1 (Type/Class) | PlutusCore.Builtin |
| 2 (Data Constructor) | PlutusCore.Builtin |
| CaseReduce | UntypedPlutusCore.Transform.Certify.Trace, UntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore |
| caseReduce | UntypedPlutusCore.Transform.CaseReduce |
| cekApplyCost | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
| CekBudgetSpender | |
| 1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| 2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| cekBuiltinCost | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
| CekCaseBuiltinError | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| cekCaseCost | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
| cekConstCost | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
| cekConstrCost | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
| cekCostModelForVariant | PlutusCore.Evaluation.Machine.ExBudgetingDefaults |
| cekDelayCost | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
| CekEmitter | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| CekEmitterInfo | |
| 1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| 2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| CekEvaluationException | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| CekEvaluationFailure | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| CekExTally | |
| 1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| 2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| CekFailure | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| cekForceCost | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
| cekLamCost | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
| CekM | |
| 1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| 2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| CekMachineCosts | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts, PlutusCore.Evaluation.Machine.CostModelInterface, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| CekMachineCostsBase | |
| 1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
| 2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
| cekMachineCostsFileA | PlutusCore.DataFilePaths |
| cekMachineCostsFileB | PlutusCore.DataFilePaths |
| cekMachineCostsFileC | PlutusCore.DataFilePaths |
| cekMachineCostsFileD | PlutusCore.DataFilePaths |
| cekMachineCostsFileE | PlutusCore.DataFilePaths |
| cekMachineCostsPrefix | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
| CekOutOfExError | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| CekReport | |
| 1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| 2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| CekResult | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| cekResultToEither | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| cekStartupCost | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
| CekState | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
| cekStateAnn | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| cekStateContext | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| CekSuccessConstant | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| CekSuccessNonConstant | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| CekTrans | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
| CekUserError | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| CekValEnv | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| CekValue | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| cekVarCost | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
| checkEmptyOn | PlutusCore.Check.Scoping |
| checkKind | PlutusCore.TypeCheck, PlutusCore |
| checkKindM | PlutusCore.TypeCheck.Internal |
| checkProgram | |
| 1 (Function) | PlutusCore.Check.Uniques |
| 2 (Function) | PlutusCore.Check.Normal |
| 3 (Function) | UntypedPlutusCore.Check.Uniques |
| checkRespectsScoping | PlutusCore.Check.Scoping |
| checkScope | UntypedPlutusCore.Check.Scope, UntypedPlutusCore |
| checkScopeInfo | PlutusCore.Check.Scoping |
| checkStar | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| checkTerm | |
| 1 (Function) | PlutusCore.Check.Uniques |
| 2 (Function) | PlutusCore.Check.Normal |
| 3 (Function) | UntypedPlutusCore.Check.Uniques |
| checkType | PlutusCore.TypeCheck, PlutusCore |
| checkTypeM | PlutusCore.TypeCheck.Internal |
| checkTypeOfProgram | PlutusCore.TypeCheck, PlutusCore |
| ChooseData | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| ChooseList | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| ChooseUnit | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| churchConcat | PlutusCore.Examples.Data.Vec |
| churchCons | PlutusCore.Examples.Data.Vec |
| churchNat | PlutusCore.StdLib.Data.ChurchNat |
| churchNil | PlutusCore.Examples.Data.Vec |
| churchSucc | PlutusCore.StdLib.Data.ChurchNat |
| churchVec | PlutusCore.Examples.Data.Vec |
| churchZero | PlutusCore.StdLib.Data.ChurchNat |
| CkEvaluationException | PlutusCore.Evaluation.Machine.Ck |
| CkM | PlutusCore.Evaluation.Machine.Ck |
| CkValue | PlutusCore.Evaluation.Machine.Ck |
| Closed | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| cmActual | PlutusCore.Evaluation.Machine.CostModelInterface |
| Cmd | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
| cmExpected | PlutusCore.Evaluation.Machine.CostModelInterface |
| CMInternalReadError | PlutusCore.Evaluation.Machine.CostModelInterface |
| CMInternalWriteError | PlutusCore.Evaluation.Machine.CostModelInterface |
| CMTooFewParamsWarn | PlutusCore.Evaluation.Machine.CostModelInterface |
| CMTooManyParamsWarn | PlutusCore.Evaluation.Machine.CostModelInterface |
| CMUnknownParamError | PlutusCore.Evaluation.Machine.CostModelInterface |
| coBuiltinSemanticsVariant | PlutusCore.Compiler.Opts, PlutusCore.Compiler |
| coeff00'_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| coeff00_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| coeff01'_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| coeff01_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| coeff02_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| coeff0_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| coeff10'_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| coeff10_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| coeff11'_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| coeff11_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| coeff1_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| coeff20_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| coeff2_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| Coefficient0 | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| Coefficient00 | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| coefficient00 | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| Coefficient01 | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| Coefficient02 | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| Coefficient1 | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| Coefficient10 | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| Coefficient11 | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| coefficient11 | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| Coefficient12 | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| coefficient12 | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| Coefficient2 | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| Coefficient20 | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| coerce | PlutusPrelude |
| coerceArg | PlutusPrelude |
| coerceRes | PlutusPrelude |
| coerceVia | PlutusPrelude |
| Coercible | PlutusPrelude |
| CollectScopeInfo | PlutusCore.Check.Scoping |
| collectScopeInfo | PlutusCore.Check.Scoping |
| Comma | PlutusCore.Examples.Builtins |
| CompilationOpts | |
| 1 (Type/Class) | PlutusCore.Compiler.Opts, PlutusCore.Compiler |
| 2 (Data Constructor) | PlutusCore.Compiler.Opts, PlutusCore.Compiler |
| compileProgram | PlutusCore.Compiler |
| compileProgramWithTrace | PlutusCore.Compiler |
| compileTerm | PlutusCore.Compiler |
| Compiling | PlutusCore.Compiler.Types |
| ComplementByteString | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| complementByteString | PlutusCore.Bitwise |
| compoundDocM | PlutusCore.Pretty |
| compress | |
| 1 (Function) | PlutusCore.Crypto.BLS12_381.G2 |
| 2 (Function) | PlutusCore.Crypto.BLS12_381.G1 |
| compressedSizeBytes | |
| 1 (Function) | PlutusCore.Crypto.BLS12_381.G2 |
| 2 (Function) | PlutusCore.Crypto.BLS12_381.G1 |
| compressed_generator | |
| 1 (Function) | PlutusCore.Crypto.BLS12_381.G2 |
| 2 (Function) | PlutusCore.Crypto.BLS12_381.G1 |
| compressed_zero | |
| 1 (Function) | PlutusCore.Crypto.BLS12_381.G2 |
| 2 (Function) | PlutusCore.Crypto.BLS12_381.G1 |
| computeCek | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| Computing | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| con0xBS | PlutusCore.Parser |
| conArray | PlutusCore.Parser |
| conBLS12_381_G1_Element | PlutusCore.Parser |
| conBLS12_381_G2_Element | PlutusCore.Parser |
| conBool | PlutusCore.Parser |
| conBS | PlutusCore.Parser |
| conData | PlutusCore.Parser |
| conDataNoParens | PlutusCore.Parser |
| CondensedErrors | PlutusCore.Pretty |
| CondensedErrorsNo | PlutusCore.Pretty |
| CondensedErrorsYes | PlutusCore.Pretty |
| conInteger | PlutusCore.Parser |
| conList | PlutusCore.Parser |
| conPair | PlutusCore.Parser |
| cons | PlutusCore.StdLib.Data.ScottList |
| consAnnIf | PlutusCore.Pretty |
| ConsByteString | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| ConsStack | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| ConsStackNonEmpty | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| Const | PlutusCore.Examples.Builtins |
| const | PlutusCore.StdLib.Data.Function |
| ConstAboveDiagonal | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| Constant | |
| 1 (Data Constructor) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Data Constructor) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| constant | |
| 1 (Function) | PlutusCore.MkPlc |
| 2 (Function) | PlutusCore.Parser |
| ConstantCost | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| constantOf | PlutusCore.Parser |
| ConstBelowDiagonal | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| ConstConfig | |
| 1 (Type/Class) | PlutusCore.Pretty |
| 2 (Data Constructor) | PlutusCore.Pretty |
| ConstOffDiagonal | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| constPartial | PlutusCore.StdLib.Meta.Data.Function |
| Constr | |
| 1 (Data Constructor) | PlutusCore.Data |
| 2 (Data Constructor) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 3 (Data Constructor) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| constr | PlutusCore.MkPlc |
| ConstrData | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| Contains | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| Context | |
| 1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal |
| 2 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| conText | PlutusCore.Parser |
| contextAnn | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| Continue | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
| conUnit | PlutusCore.Parser |
| conValue | PlutusCore.Parser |
| coSimplifyOpts | PlutusCore.Compiler.Opts, PlutusCore.Compiler |
| CostCons | PlutusCore.Evaluation.Machine.CostStream |
| CostingFun | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| costingFunCpu | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| costingFunMemory | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| CostingInteger | PlutusCore.Evaluation.Machine.ExMemory |
| CostingPart | PlutusCore.Builtin, PlutusCore.Builtin, PlutusCore.Builtin.Debug, PlutusCore.Builtin.Debug |
| CostLast | PlutusCore.Evaluation.Machine.CostStream |
| CostModel | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.MachineParameters |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.MachineParameters |
| CostModelApplyError | PlutusCore.Evaluation.Machine.CostModelInterface |
| CostModelApplyWarn | PlutusCore.Evaluation.Machine.CostModelInterface |
| costModelDataDir | PlutusCore.DataFilePaths |
| CostModelParams | PlutusCore.Evaluation.Machine.CostModelInterface |
| CostRose | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.ExMemoryUsage |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.ExMemoryUsage |
| CostStream | PlutusCore.Evaluation.Machine.CostStream |
| CounterSize | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| counting | UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| CountingSt | |
| 1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| 2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| CountSetBits | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| countSetBits | PlutusCore.Bitwise |
| CpuAndMemoryModel | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| cpuModel | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| CSE | UntypedPlutusCore.Transform.Certify.Trace, UntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore |
| cse | UntypedPlutusCore.Transform.Cse |
| CseWhichSubterms | UntypedPlutusCore.Transform.Cse, UntypedPlutusCore |
| currentLevel | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| cutoff | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
| Data | PlutusCore.Data |
| DataNodeCount | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.ExMemoryUsage |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.ExMemoryUsage |
| dataTy | PlutusCore.StdLib.Data.Data |
| dbnIndex | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| DDrop | UntypedPlutusCore.Transform.Inline |
| DeBruijn | |
| 1 (Type/Class) | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| 2 (Data Constructor) | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| deBruijnInitIndex | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| deBruijnTerm | |
| 1 (Function) | PlutusCore.DeBruijn, PlutusCore |
| 2 (Function) | UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| deBruijnTermWith | |
| 1 (Function) | PlutusCore.DeBruijn |
| 2 (Function) | UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| deBruijnToName | PlutusCore.DeBruijn.Internal |
| deBruijnToTyName | PlutusCore.DeBruijn.Internal |
| deBruijnTy | PlutusCore.DeBruijn |
| deBruijnTyWith | PlutusCore.DeBruijn |
| DebugF | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
| declareBinder | PlutusCore.DeBruijn.Internal |
| declareUnique | PlutusCore.DeBruijn.Internal |
| decodeBuiltin | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug |
| decodeKindedUni | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug |
| decodeProgram | UntypedPlutusCore.Core, UntypedPlutusCore |
| decodeTerm | UntypedPlutusCore.Core, UntypedPlutusCore |
| decodeTermTag | UntypedPlutusCore.Core, UntypedPlutusCore |
| DecodeUniM | |
| 1 (Type/Class) | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug |
| 2 (Data Constructor) | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug |
| DecodeUtf8 | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| decodeViaFlatWith | Codec.Extras.SerialiseViaFlat |
| Decoration | UntypedPlutusCore.Transform.Inline |
| Def | |
| 1 (Type/Class) | PlutusCore.MkPlc, UntypedPlutusCore.MkUPlc |
| 2 (Data Constructor) | PlutusCore.MkPlc, UntypedPlutusCore.MkUPlc |
| def | PlutusPrelude |
| Default | PlutusPrelude |
| defaultBuiltinCostModelForTesting | PlutusCore.Evaluation.Machine.ExBudgetingDefaults |
| defaultBuiltinsRuntimeForSemanticsVariant | PlutusCore.Evaluation.Machine.ExBudgetingDefaults |
| defaultBuiltinsRuntimeForTesting | PlutusCore.Evaluation.Machine.ExBudgetingDefaults |
| defaultCekCostModelForTesting | PlutusCore.Evaluation.Machine.ExBudgetingDefaults |
| defaultCekCostModelForTestingB | PlutusCore.Evaluation.Machine.ExBudgetingDefaults |
| defaultCekMachineCostsForTesting | PlutusCore.Evaluation.Machine.ExBudgetingDefaults |
| defaultCekParametersForTesting | PlutusCore.Evaluation.Machine.ExBudgetingDefaults |
| defaultCekParametersForVariant | PlutusCore.Evaluation.Machine.ExBudgetingDefaults |
| defaultCompilationOpts | PlutusCore.Compiler.Opts, PlutusCore.Compiler |
| defaultCostModelParamsForTesting | PlutusCore.Evaluation.Machine.ExBudgetingDefaults |
| defaultCostModelParamsForVariant | PlutusCore.Evaluation.Machine.ExBudgetingDefaults |
| defaultEq | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug |
| DefaultFun | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore |
| DefaultFunSemanticsVariantA | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug |
| DefaultFunSemanticsVariantB | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug |
| DefaultFunSemanticsVariantC | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug |
| DefaultFunSemanticsVariantD | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug |
| DefaultFunSemanticsVariantE | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug |
| DefaultMachineParameters | PlutusCore.Evaluation.Machine.MachineParameters.Default |
| DefaultMachineVariantParameters | PlutusCore.Evaluation.Machine.MachineParameters.Default |
| DefaultPrettyPlcStrategy | PlutusCore.Pretty |
| defaultSimpleBuiltinCostModel | PlutusCore.Evaluation.Machine.SimpleBuiltinCostModel |
| defaultSimplifyOpts | UntypedPlutusCore |
| defaultSlippage | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| DefaultUni | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore |
| defaultUni | PlutusCore.Parser |
| defaultUniApplication | PlutusCore.Parser |
| DefaultUniApply | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| DefaultUniArray | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| DefaultUniBLS12_381_G1_Element | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| DefaultUniBLS12_381_G2_Element | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| DefaultUniBLS12_381_MlResult | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| DefaultUniBool | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| DefaultUniByteString | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| DefaultUniData | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| DefaultUniInteger | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| DefaultUniList | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| DefaultUniPair | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| DefaultUniProtoArray | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| DefaultUniProtoList | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| DefaultUniProtoPair | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| DefaultUniString | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| DefaultUniUnit | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| DefaultUniValue | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| defKindCheckConfig | PlutusCore.TypeCheck, PlutusCore |
| defVal | PlutusCore.MkPlc, UntypedPlutusCore.MkUPlc |
| defVar | PlutusCore.MkPlc, UntypedPlutusCore.MkUPlc |
| Delay | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| Delete | PlutusCore.Builtin |
| deleteCoin | PlutusCore.Value |
| demoteKind | PlutusCore.Builtin |
| DeserialiseFailureInfo | |
| 1 (Type/Class) | Codec.Extras.SerialiseViaFlat |
| 2 (Data Constructor) | Codec.Extras.SerialiseViaFlat |
| DeserialiseFailureReason | Codec.Extras.SerialiseViaFlat |
| DetectNameMismatches | PlutusCore.TypeCheck.Internal |
| DExpand | UntypedPlutusCore.Transform.Inline |
| dfOffset | Codec.Extras.SerialiseViaFlat |
| dfReason | Codec.Extras.SerialiseViaFlat |
| Direction | PlutusCore.Pretty |
| DisappearedBindings | PlutusCore.Check.Scoping |
| DisappearedBindingsClashWithAppearedBindings | PlutusCore.Check.Scoping |
| DisappearedBindingsClashWithFreeVariables | PlutusCore.Check.Scoping |
| DisappearedBindingsDiscordWithBoundVariables | PlutusCore.Check.Scoping |
| DisappearedBindingsDiscordWithOutOfScopeVariables | PlutusCore.Check.Scoping |
| DisappearedVariables | PlutusCore.Check.Scoping |
| Disappears | |
| 1 (Data Constructor) | PlutusCore.Check.Scoping |
| 2 (Type/Class) | PlutusCore.Check.Scoping |
| DisappearsBinding | PlutusCore.Check.Scoping |
| DisappearsVariable | PlutusCore.Check.Scoping |
| dischargeCekValue | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| DischargeConstant | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| DischargeNonConstant | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| DischargeResult | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| dischargeResultToTerm | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| display | PlutusPrelude, PlutusCore.Pretty |
| displayBy | PlutusCore.Pretty |
| displayM | PlutusCore.Pretty |
| displayPlc | PlutusCore.Pretty |
| displayPlcCondensedErrorClassic | PlutusCore.Pretty |
| displayPlcSimple | PlutusCore.Pretty |
| distinct | PlutusPrelude |
| dividedBy | PlutusCore.Evaluation.Machine.ExMemory |
| DivideInteger | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| DLamDrop | UntypedPlutusCore.Transform.Inline |
| Doc | PlutusPrelude, PlutusCore.Pretty |
| DriverLogF | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
| Drop | PlutusCore.Unroll |
| drop' | PlutusCore.Unroll |
| DropList | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| dropN | PlutusCore.Unroll |
| DSum | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug |
| Dupable | |
| 1 (Type/Class) | PlutusCore.Rename.Internal, PlutusCore.Rename |
| 2 (Data Constructor) | PlutusCore.Rename.Internal |
| dupable | PlutusCore.Rename |
| DuplicateBindersInTheInput | PlutusCore.Check.Scoping |
| DuplicateBindersInTheOutput | PlutusCore.Check.Scoping |
| effectSafe | UntypedPlutusCore.Transform.Inline |
| eitherToBuiltinResult | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug |
| ElaborateBuiltin | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| elaborateDebug | PlutusCore.Builtin.Debug |
| ElaborateFromTo | PlutusCore.Builtin.Elaborate, PlutusCore.Builtin.Debug |
| Element | |
| 1 (Type/Class) | PlutusCore.Crypto.BLS12_381.G2 |
| 2 (Data Constructor) | PlutusCore.Crypto.BLS12_381.G2 |
| 3 (Type/Class) | PlutusCore.Crypto.BLS12_381.G1 |
| 4 (Data Constructor) | PlutusCore.Crypto.BLS12_381.G1 |
| embedTerm | PlutusCore.MkPlc |
| emcfcoeff00_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| emcfcoeff11_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| emcfcoeff12_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| emit | PlutusCore.Builtin |
| EmitterMode | |
| 1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| 2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| empty | |
| 1 (Function) | PlutusPrelude |
| 2 (Function) | PlutusCore.Value |
| EmptyOrMultiStack | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| emptyScopeInfo | PlutusCore.Check.Scoping |
| EmptyStack | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| encloseIn | PlutusCore.Pretty |
| encloseM | PlutusCore.Pretty |
| encodeBuiltin | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug |
| encodeProgram | UntypedPlutusCore.Core, UntypedPlutusCore |
| encodeTerm | UntypedPlutusCore.Core, UntypedPlutusCore |
| encodeTermTag | UntypedPlutusCore.Core, UntypedPlutusCore |
| encodeUni | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| EncodeUtf8 | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| EndOfInput | Codec.Extras.SerialiseViaFlat |
| enormousBudget | PlutusCore.Evaluation.Machine.ExBudget, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| ensure | PlutusPrelude |
| enumerate | PlutusPrelude |
| enumFromTo | PlutusCore.StdLib.Data.ScottList |
| EqualsByteString | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| EqualsData | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| EqualsInteger | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| EqualsString | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| eraseProgram | PlutusCore.Compiler.Erase |
| eraseTerm | PlutusCore.Compiler.Erase |
| Error | |
| 1 (Data Constructor) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Type/Class) | PlutusCore.Error, PlutusCore |
| 3 (Data Constructor) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| error | PlutusCore.MkPlc |
| errorComponentLen | PlutusCore.Error |
| ErrorPrime | PlutusCore.Examples.Builtins |
| ErrorWithCause | |
| 1 (Type/Class) | PlutusCore.Evaluation.ErrorWithCause, PlutusCore.Evaluation.Machine.Exception, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| 2 (Data Constructor) | PlutusCore.Evaluation.ErrorWithCause, PlutusCore.Evaluation.Machine.Exception, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| Esc | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| EstablishScoping | PlutusCore.Check.Scoping |
| establishScoping | PlutusCore.Check.Scoping |
| establishScopingBinder | PlutusCore.Check.Scoping |
| etaExpand | PlutusCore.StdLib.Meta.Data.Function |
| EvalOrder | UntypedPlutusCore.Purity |
| evalSimplifier | UntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore |
| evalSimplifierT | UntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore |
| EvalTerm | |
| 1 (Type/Class) | UntypedPlutusCore.Purity |
| 2 (Data Constructor) | UntypedPlutusCore.Purity |
| evaluateCek | |
| 1 (Function) | UntypedPlutusCore.Evaluation.Machine.Cek |
| 2 (Function) | UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| evaluateCekNoEmit | |
| 1 (Function) | UntypedPlutusCore.Evaluation.Machine.Cek |
| 2 (Function) | UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| evaluateCk | PlutusCore.Evaluation.Machine.Ck |
| evaluateCkNoEmit | PlutusCore.Evaluation.Machine.Ck |
| EvaluationError | PlutusCore.Evaluation.Error, PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| EvaluationException | PlutusCore.Evaluation.Machine.Exception |
| EvaluationFailure | PlutusCore.Evaluation.Result, PlutusCore.Evaluation.Machine.Ck, PlutusCore, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| EvaluationResult | PlutusCore.Evaluation.Result, PlutusCore.Evaluation.Machine.Ck, PlutusCore, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| EvaluationSuccess | PlutusCore.Evaluation.Result, PlutusCore.Evaluation.Machine.Ck, PlutusCore, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| Everywhere | Universe, Universe, PlutusCore.Default, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore.Builtin.Debug, PlutusCore |
| EverywhereAll | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| exampleData | PlutusCore.Examples.Data.Data |
| examples | PlutusCore.Examples.Everything |
| ExBudget | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.ExBudget |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.ExBudget |
| ExBudgetBuiltin | PlutusCore.Evaluation.Machine.ExBudget |
| exBudgetBuiltin | PlutusCore.Evaluation.Machine.ExBudget |
| ExBudgetCategory | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| ExBudgetCons | PlutusCore.Evaluation.Machine.ExBudgetStream |
| exBudgetCPU | PlutusCore.Evaluation.Machine.ExBudget |
| ExBudgetInfo | |
| 1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| 2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| ExBudgetLast | PlutusCore.Evaluation.Machine.ExBudgetStream |
| exBudgetMemory | PlutusCore.Evaluation.Machine.ExBudget |
| ExBudgetMode | |
| 1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| 2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| ExBudgetStream | PlutusCore.Evaluation.Machine.ExBudgetStream |
| Exception | PlutusPrelude |
| ExcludeWorkFree | UntypedPlutusCore.Transform.Cse, UntypedPlutusCore |
| ExCPU | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.ExMemory |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.ExMemory |
| execSimplifier | UntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore |
| execSimplifierT | UntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore |
| ExMemory | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.ExMemory |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.ExMemory |
| ExMemoryUsage | PlutusCore.Evaluation.Machine.ExMemoryUsage |
| ExpectedBytes | Codec.Extras.SerialiseViaFlat |
| ExpectedExact | PlutusCore.Error |
| ExpectedShape | PlutusCore.Error |
| ExpectedShapeOr | PlutusCore.Error |
| ExpectParens | PlutusCore.Parser |
| ExpectParensNo | PlutusCore.Parser |
| ExpectParensYes | PlutusCore.Parser |
| ExpensivePlus | PlutusCore.Examples.Builtins |
| ExpensiveSucc | PlutusCore.Examples.Builtins |
| expMod | PlutusCore.Crypto.ExpMod |
| ExpModCost | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| ExpModCostingFunction | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| 3 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| 4 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ExpModInteger | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| ExRestrictingBudget | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.ExBudget |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.ExBudget |
| ExtensionFun | PlutusCore.Examples.Builtins |
| ExtensionFunSemanticsVariant0 | PlutusCore.Examples.Builtins |
| ExtensionFunSemanticsVariant1 | PlutusCore.Examples.Builtins |
| ExtensionFunSemanticsVariant2 | PlutusCore.Examples.Builtins |
| ExtensionFunSemanticsVariant3 | PlutusCore.Examples.Builtins |
| ExtensionFunSemanticsVariant4 | PlutusCore.Examples.Builtins |
| ExtensionVersion | PlutusCore.Examples.Builtins |
| extractCostModelParams | PlutusCore.Evaluation.Machine.CostModelInterface |
| Factorial | PlutusCore.Examples.Builtins |
| FailingPlus | PlutusCore.Examples.Builtins |
| FailingSucc | PlutusCore.Examples.Builtins |
| FakeNamedDeBruijn | |
| 1 (Type/Class) | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| 2 (Data Constructor) | PlutusCore.DeBruijn.Internal |
| fakeNameDeBruijn | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| fakeTyNameDeBruijn | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn |
| false | PlutusCore.StdLib.Data.Bool |
| fillAppCtx | UntypedPlutusCore.Contexts |
| finalVerify | PlutusCore.Crypto.BLS12_381.Pairing |
| FindFirstSetBit | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| findFirstSetBit | PlutusCore.Bitwise |
| Finish | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
| first | PlutusPrelude |
| firstVersion | PlutusCore.Version, PlutusCore.Core, PlutusCore.Builtin.Debug |
| fix | PlutusCore.StdLib.Data.Function |
| fixAndType | PlutusCore.StdLib.Data.Function |
| fixBy | PlutusCore.StdLib.Data.Function |
| fixByAndType | PlutusCore.StdLib.Data.Function |
| Fixity | |
| 1 (Type/Class) | PlutusCore.Pretty |
| 2 (Data Constructor) | PlutusCore.Pretty |
| FixityOver | PlutusCore.Pretty |
| fixN | PlutusCore.StdLib.Data.Function |
| fixNAndType | PlutusCore.StdLib.Data.Function |
| flattenCostRose | PlutusCore.Evaluation.Machine.ExMemoryUsage |
| FlatViaSerialise | |
| 1 (Type/Class) | Codec.Extras.FlatViaSerialise |
| 2 (Data Constructor) | Codec.Extras.FlatViaSerialise |
| FloatDelay | UntypedPlutusCore.Transform.Certify.Trace, UntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore |
| floatDelay | UntypedPlutusCore.Transform.FloatDelay |
| fold | PlutusPrelude |
| FoldArgs | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| FolderContents | |
| 1 (Type/Class) | PlutusCore.FsTree |
| 2 (Data Constructor) | PlutusCore.FsTree |
| foldFsTree | PlutusCore.FsTree |
| foldl' | PlutusPrelude |
| foldList | |
| 1 (Function) | PlutusCore.StdLib.Data.ScottList |
| 2 (Function) | PlutusCore.StdLib.Data.List |
| foldMapM | PlutusPrelude |
| foldNat | PlutusCore.StdLib.Data.Nat |
| foldPlcFolderContents | PlutusCore.FsTree |
| foldPlcFsTree | PlutusCore.FsTree |
| foldrInterList | PlutusCore.Examples.Data.InterList |
| foldrList | |
| 1 (Function) | PlutusCore.StdLib.Data.ScottList |
| 2 (Function) | PlutusCore.StdLib.Data.List |
| foldrNat | PlutusCore.StdLib.Data.Nat |
| for | PlutusPrelude |
| ForallFortyTwo | PlutusCore.Examples.Builtins |
| Force | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| ForceCaseDelay | UntypedPlutusCore.Transform.Certify.Trace, UntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore |
| forceCaseDelay | UntypedPlutusCore.Transform.ForceCaseDelay |
| ForceDelay | UntypedPlutusCore.Transform.Certify.Trace, UntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore |
| forceDelay | UntypedPlutusCore.Transform.ForceDelay |
| forestCons | PlutusCore.Examples.Data.TreeForest |
| forestData | PlutusCore.Examples.Data.TreeForest |
| forestNil | PlutusCore.Examples.Data.TreeForest |
| forJoin | PlutusPrelude |
| for_ | PlutusPrelude |
| FrameAwaitArg | |
| 1 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal |
| 2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| FrameAwaitFunConN | |
| 1 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal |
| 2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| FrameAwaitFunTerm | |
| 1 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal |
| 2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| FrameAwaitFunValueN | |
| 1 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal |
| 2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| FrameCases | |
| 1 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal |
| 2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| FrameConstr | |
| 1 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal |
| 2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| FrameForce | |
| 1 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal |
| 2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| FreeIndex | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore.Error, PlutusCore, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| freeIndexAsConsistentLevel | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| freeIndexThrow | PlutusCore.DeBruijn.Internal |
| FreeT | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
| FreeTypeVariableE | PlutusCore.Error |
| FreeUnique | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore.Error, PlutusCore, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| freeUniqueThrow | PlutusCore.DeBruijn.Internal |
| FreeVariable | PlutusCore.Error, PlutusCore.Check.Uniques, PlutusCore, UntypedPlutusCore.Check.Uniques |
| FreeVariableE | PlutusCore.Error |
| FreeVariableError | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore.Error, PlutusCore, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| FreeVariableErrorE | PlutusCore.Error, PlutusCore |
| freshenName | PlutusCore.Quote |
| freshenTyName | PlutusCore.Quote |
| freshName | PlutusCore.Quote, PlutusCore |
| FreshState | PlutusCore.Quote |
| freshTyName | PlutusCore.Quote, PlutusCore |
| freshUnique | PlutusCore.Quote, PlutusCore |
| fromConstant | PlutusCore.Builtin |
| fromFake | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn |
| fromFoldable | |
| 1 (Function) | PlutusCore.Name.UniqueSet |
| 2 (Function) | PlutusCore.Name.UniqueMap |
| fromList | PlutusCore.Value |
| fromMaybe | PlutusPrelude |
| fromNames | |
| 1 (Function) | PlutusCore.Name.UniqueSet |
| 2 (Function) | PlutusCore.Name.UniqueMap |
| fromPatFuncKind | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| fromRight | PlutusPrelude |
| fromRightM | Data.Either.Extras |
| fromUniques | |
| 1 (Function) | PlutusCore.Name.UniqueSet |
| 2 (Function) | PlutusCore.Name.UniqueMap |
| fromValue | PlutusCore.Builtin |
| fromValueOf | PlutusCore.Builtin |
| FsFile | PlutusCore.FsTree |
| FsFolder | PlutusCore.FsTree |
| FstPair | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| fstPair | PlutusCore.StdLib.Data.Pair |
| FsTree | PlutusCore.FsTree |
| ftvTerm | PlutusCore.Subst |
| ftvTy | PlutusCore.Subst |
| ftvTyCtx | PlutusCore.Subst |
| FunctionDef | |
| 1 (Type/Class) | PlutusCore.MkPlc, PlutusCore.StdLib.Data.Function |
| 2 (Data Constructor) | PlutusCore.MkPlc, PlutusCore.StdLib.Data.Function |
| functionDefToType | PlutusCore.MkPlc |
| functionDefVarDecl | PlutusCore.MkPlc |
| FunctionType | |
| 1 (Type/Class) | PlutusCore.MkPlc |
| 2 (Data Constructor) | PlutusCore.MkPlc |
| functionTypeToType | PlutusCore.MkPlc |
| funTyArgs | PlutusCore.Core, PlutusCore.Builtin.Debug |
| funType | PlutusCore.Parser |
| funTyResultType | PlutusCore.Core, PlutusCore.Builtin.Debug |
| fvTerm | PlutusCore.Subst |
| Generic | PlutusPrelude |
| GEq | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| geq | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| GEqL | PlutusCore.Builtin |
| geqL | PlutusCore.Builtin |
| GetArgs | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| getDefTypeCheckConfig | PlutusCore.TypeCheck, PlutusCore |
| getEta | PlutusCore.Examples.Data.Vec |
| getIndex | PlutusCore.DeBruijn.Internal |
| getMutualFixOf | PlutusCore.StdLib.Data.Function |
| getRenamed | PlutusCore.Rename |
| getSimplifierT | UntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore |
| getSingleFixOf | PlutusCore.StdLib.Data.Function |
| getSourcePos' | PlutusCore.Parser |
| getSpineToTuple | PlutusCore.StdLib.Meta.Data.Tuple |
| getStepFun | PlutusCore.Examples.Data.Vec |
| getTupleType | PlutusCore.StdLib.Meta.Data.Tuple |
| getUnique | PlutusCore.DeBruijn.Internal |
| getVersion | PlutusCore.Parser |
| gitAwareVersionInfo | Data.Version.Extras |
| GivenCekReqs | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| GivenCekSpender | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| GShow | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| gshow | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug |
| gshowsPrec | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| guard | PlutusPrelude |
| HandleNameMismatches | PlutusCore.TypeCheck.Internal |
| handleSname | PlutusCore.Check.Scoping |
| handleType | PlutusCore.Analysis.Definitions |
| hasBreakpoints | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
| HasConstant | PlutusCore.Builtin |
| HasConstantIn | PlutusCore.Builtin |
| Hashable | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| HashToCurveDstTooBig | PlutusCore.Crypto.BLS12_381.Error |
| hashToGroup | |
| 1 (Function) | PlutusCore.Crypto.BLS12_381.G2 |
| 2 (Function) | PlutusCore.Crypto.BLS12_381.G1 |
| HasIndex | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| HasKindCheckConfig | PlutusCore.TypeCheck.Internal |
| HasMeaningIn | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| HasPrettyConfig | PlutusCore.Pretty |
| HasPrettyConfigName | PlutusCore.Pretty |
| HasPrettyDefaults | PlutusPrelude |
| HasRenaming | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal |
| HasRenderContext | PlutusCore.Pretty |
| HasTermLevel | PlutusCore.Core, PlutusCore.Builtin, PlutusCore.MkPlc, PlutusCore.Builtin.Debug, PlutusCore |
| HasText | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| HasTypeAndTermLevel | PlutusCore.Builtin, PlutusCore.MkPlc, PlutusCore |
| HasTypeCheckConfig | PlutusCore.TypeCheck.Internal |
| HasTypeLevel | PlutusCore.Builtin, PlutusCore.MkPlc, PlutusCore |
| HasUniApply | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| HasUnique | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| HasUniques | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| HeadError | PlutusCore.Builtin |
| HeadList | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| HeadOnly | PlutusCore.Builtin |
| HeadSpine | |
| 1 (Type/Class) | PlutusCore.Builtin |
| 2 (Data Constructor) | PlutusCore.Builtin |
| headSpine | PlutusCore.Builtin |
| headSpineToTerm | PlutusCore.MkPlc |
| headSpineToTermNoAnn | PlutusCore.MkPlc |
| hexByte | PlutusCore.Parser |
| Hints | UntypedPlutusCore.Transform.Certify.Hints |
| hints | UntypedPlutusCore.Transform.Certify.Trace, UntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore |
| Hole | PlutusCore.Builtin |
| I | PlutusCore.Data |
| Id | PlutusCore.Examples.Builtins |
| IdAssumeBool | PlutusCore.Examples.Builtins |
| IdAssumeCheckBool | PlutusCore.Examples.Builtins |
| IData | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| identifiers | PlutusCore.Parser |
| identityMlResult | PlutusCore.Crypto.BLS12_381.Pairing |
| IdFInteger | PlutusCore.Examples.Builtins |
| idFun | PlutusCore.StdLib.Data.Function |
| IdIntegerAsBool | PlutusCore.Examples.Builtins |
| IdList | PlutusCore.Examples.Builtins |
| IdRank2 | PlutusCore.Examples.Builtins |
| IdSomeConstantBool | PlutusCore.Examples.Builtins |
| ifixType | PlutusCore.Parser |
| iforCounter_ | UntypedPlutusCore.Evaluation.Machine.Cek.StepCounter |
| IfThenElse | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| ifThenElse | PlutusCore.StdLib.Data.Bool |
| IgnoreNameMismatches | PlutusCore.TypeCheck.Internal |
| IgnorePrettyConfig | |
| 1 (Type/Class) | PlutusCore.Pretty |
| 2 (Data Constructor) | PlutusCore.Pretty |
| inBraces | |
| 1 (Function) | PlutusCore.Pretty |
| 2 (Function) | PlutusCore.Parser |
| inBrackets | PlutusCore.Parser |
| Includes | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug |
| IncoherentUsage | PlutusCore.Error, PlutusCore.Check.Uniques, PlutusCore, UntypedPlutusCore.Check.Uniques |
| InContextM | |
| 1 (Type/Class) | PlutusCore.Pretty |
| 2 (Data Constructor) | PlutusCore.Pretty |
| inContextM | PlutusCore.Pretty |
| Index | |
| 1 (Type/Class) | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| 2 (Data Constructor) | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| index | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| IndexArray | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| IndexByteString | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| inferKind | PlutusCore.TypeCheck, PlutusCore |
| inferKindM | PlutusCore.TypeCheck.Internal |
| inferType | PlutusCore.TypeCheck, PlutusCore |
| inferTypeM | PlutusCore.TypeCheck.Internal |
| inferTypeOfProgram | PlutusCore.TypeCheck, PlutusCore |
| infixDocM | PlutusCore.Pretty |
| initial | PlutusCore.Parser |
| initSimplifierTrace | UntypedPlutusCore.Transform.Certify.Trace, UntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore |
| InlApply | UntypedPlutusCore.Transform.Certify.Hints |
| InlBuiltin | UntypedPlutusCore.Transform.Certify.Hints |
| InlCase | UntypedPlutusCore.Transform.Certify.Hints |
| InlCon | UntypedPlutusCore.Transform.Certify.Hints |
| InlConstr | UntypedPlutusCore.Transform.Certify.Hints |
| InlDelay | UntypedPlutusCore.Transform.Certify.Hints |
| InlDrop | UntypedPlutusCore.Transform.Certify.Hints |
| InlError | UntypedPlutusCore.Transform.Certify.Hints |
| InlExpand | UntypedPlutusCore.Transform.Certify.Hints |
| InlForce | UntypedPlutusCore.Transform.Certify.Hints |
| Inline | |
| 1 (Type/Class) | PlutusCore.Annotation |
| 2 (Data Constructor) | UntypedPlutusCore.Transform.Certify.Hints |
| 3 (Type/Class) | UntypedPlutusCore.Transform.Certify.Hints |
| 4 (Data Constructor) | UntypedPlutusCore.Transform.Certify.Trace, UntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore |
| inline | UntypedPlutusCore.Transform.Inline |
| InlineHints | |
| 1 (Type/Class) | PlutusCore.Annotation, UntypedPlutusCore.Transform.Inline, UntypedPlutusCore |
| 2 (Data Constructor) | PlutusCore.Annotation, UntypedPlutusCore.Transform.Inline, UntypedPlutusCore |
| InlineInfo | |
| 1 (Type/Class) | UntypedPlutusCore.Transform.Inline |
| 2 (Data Constructor) | UntypedPlutusCore.Transform.Inline |
| InlineM | UntypedPlutusCore.Transform.Inline |
| InlLam | UntypedPlutusCore.Transform.Certify.Hints |
| InlLamDrop | UntypedPlutusCore.Transform.Certify.Hints |
| InlVar | UntypedPlutusCore.Transform.Certify.Hints |
| inParens | PlutusCore.Parser |
| InputF | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
| Insert | PlutusCore.Builtin |
| insertByName | |
| 1 (Function) | PlutusCore.Name.UniqueSet |
| 2 (Function) | PlutusCore.Name.UniqueMap |
| insertByNameIndex | PlutusCore.Name.UniqueMap |
| insertByUnique | |
| 1 (Function) | PlutusCore.Name.UniqueSet |
| 2 (Function) | PlutusCore.Name.UniqueMap |
| InsertCoin | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| insertCoin | PlutusCore.Value |
| insertNamed | PlutusCore.Name.UniqueMap |
| integer | PlutusCore.StdLib.Data.Integer |
| IntegerCostedLiterally | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.ExMemoryUsage |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.ExMemoryUsage |
| integerToBytesBE | PlutusCore.Bitwise |
| IntegerToByteString | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| integerToByteString | PlutusCore.Bitwise |
| IntegerToByteStringError | PlutusCore.Bitwise |
| Intercept | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| intercept'_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| intercept_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| interCons | PlutusCore.Examples.Data.InterList |
| interListData | PlutusCore.Examples.Data.InterList |
| interNil | PlutusCore.Examples.Data.InterList |
| IntNoIntegerNoWord | PlutusCore.Examples.Builtins |
| introduceBound | PlutusCore.Check.Scoping |
| InvalidBuiltinConstant | PlutusCore.Error, PlutusCore.Parser, PlutusCore |
| IsBuiltin | PlutusCore.Builtin, PlutusCore.Builtin |
| IsConstant | PlutusCore.Examples.Builtins |
| isEvaluationFailure | PlutusCore.Evaluation.Result |
| isEvaluationSuccess | PlutusCore.Evaluation.Result |
| isFirstVarBeforeEffects | UntypedPlutusCore.Transform.Inline |
| isIdentifierChar | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| isIdentifierStartingChar | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| isJust | PlutusPrelude |
| isLeft | PlutusPrelude |
| isNormalType | PlutusCore.Check.Normal |
| isNothing | PlutusPrelude |
| isPure | UntypedPlutusCore.Purity |
| isQuotedIdentifierChar | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| isRight | PlutusPrelude |
| isSameScope | PlutusCore.Check.Scoping |
| isStrictIn | UntypedPlutusCore.Transform.Inline |
| isTermValue | PlutusCore.Check.Value |
| isValidUnquotedName | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| isWorkFree | UntypedPlutusCore.Purity |
| iterAppDocM | PlutusCore.Pretty |
| iterAppPrettyM | PlutusCore.Pretty |
| iterArrowPrettyM | PlutusCore.Pretty |
| iterInterAppPrettyM | PlutusCore.Pretty |
| iterLamAbsPrettyM | PlutusCore.Pretty |
| iterM | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
| iterTM | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
| iterTyAbsPrettyM | PlutusCore.Pretty |
| iterTyForallPrettyM | PlutusCore.Pretty |
| itraverseCounter_ | UntypedPlutusCore.Evaluation.Machine.Cek.StepCounter |
| IWrap | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| iWrap | PlutusCore.MkPlc |
| join | PlutusPrelude |
| juxtFixity | PlutusCore.Pretty |
| juxtPrettyM | PlutusCore.Pretty |
| juxtRenderContext | PlutusCore.Pretty |
| K | PlutusCore.Value |
| k | PlutusCore.Value |
| kase | PlutusCore.MkPlc |
| kccHandleNameMismatches | PlutusCore.TypeCheck.Internal |
| Keccak_256 | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| keccak_256 | PlutusCore.Crypto.Hash |
| Kind | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| kind | PlutusCore.Parser |
| KindArrow | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| kindAstSize | PlutusCore.AstSize, PlutusCore |
| KindCheckConfig | |
| 1 (Type/Class) | PlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore |
| 2 (Data Constructor) | PlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore |
| kindCheckConfig | PlutusCore.TypeCheck.Internal |
| Kinded | |
| 1 (Type/Class) | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Data Constructor) | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| KindMismatch | PlutusCore.Error |
| kindOfBuiltinType | PlutusCore.Builtin |
| kindSubkinds | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
| kindSubkindsDeep | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
| KnownBuiltinType | PlutusCore.Builtin |
| KnownBuiltinTypeAst | PlutusCore.Builtin |
| KnownBuiltinTypeIn | PlutusCore.Builtin |
| KnownKind | PlutusCore.Builtin |
| knownKind | PlutusCore.Builtin |
| KnownMonotype | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| knownMonotype | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| KnownPolytype | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| knownPolytype | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| KnownTypeAst | PlutusCore.Builtin |
| knownUni | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| knownUniOf | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| knownVersions | PlutusCore.Version, PlutusCore.Core, PlutusCore.Builtin.Debug |
| LamAbs | |
| 1 (Data Constructor) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Data Constructor) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| lamAbs | PlutusCore.MkPlc |
| lamType | PlutusCore.Parser |
| largeBudget | PlutusCore.Evaluation.Machine.ExBudget |
| LastArg | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| LastStackNonEmpty | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| latestBuiltinCostModelFile | PlutusCore.DataFilePaths |
| latestMachineCostsFile | PlutusCore.DataFilePaths |
| latestVersion | PlutusCore.Version, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| leadingWhitespace | PlutusCore.Parser |
| left | PlutusCore.StdLib.Data.Sum |
| LeftAssociative | PlutusCore.Pretty |
| lenContext | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| LengthOfArray | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| LengthOfByteString | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| lens | PlutusPrelude |
| Lens' | PlutusPrelude |
| LessThanByteString | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| LessThanEqualsByteString | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| LessThanEqualsInteger | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| LessThanInteger | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| Level | |
| 1 (Type/Class) | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| 2 (Data Constructor) | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| LevelInfo | |
| 1 (Type/Class) | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| 2 (Data Constructor) | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| levelMapping | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| lexeme | PlutusCore.Parser |
| liftCek | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| liftDupable | PlutusCore.Rename |
| liftQuote | PlutusCore.Quote, PlutusCore |
| LinearFunction | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| LinearInMaxYZ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| LinearInU | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| LinearInX | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| LinearInXAndY | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| LinearInY | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| LinearInYAndZ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| LinearInZ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| lineInSrcSpan | PlutusCore.Annotation |
| List | PlutusCore.Data |
| list | PlutusCore.StdLib.Data.List |
| ListData | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| listData | PlutusCore.StdLib.Data.ScottList |
| ListToArray | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| listTy | PlutusCore.StdLib.Data.ScottList |
| LiteralInYOrLinearInZ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| logEmitter | UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| logWithBudgetEmitter | UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| logWithCallTraceEmitter | UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| logWithTimeEmitter | UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| lookupBuiltin | PlutusCore.Builtin |
| lookupBuiltinM | PlutusCore.TypeCheck.Internal |
| LookupCoin | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| lookupCoin | PlutusCore.Value |
| lookupName | PlutusCore.Name.UniqueMap |
| lookupNameIndex | PlutusCore.Name.UniqueMap |
| lookupNameM | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal |
| lookupTyVarM | PlutusCore.TypeCheck.Internal |
| lookupUnique | PlutusCore.Name.UniqueMap |
| lookupVarM | PlutusCore.TypeCheck.Internal |
| LoopBreaker | |
| 1 (Type/Class) | PlutusCore.Builtin |
| 2 (Data Constructor) | PlutusCore.Builtin |
| lowerInitialChar | PlutusPrelude |
| LowerInitialCharacter | PlutusCore.Evaluation.Machine.ExBudget |
| machineCaserBuiltin | PlutusCore.Evaluation.Machine.MachineParameters |
| machineCostModel | PlutusCore.Evaluation.Machine.MachineParameters |
| machineCosts | PlutusCore.Evaluation.Machine.MachineParameters |
| MachineError | PlutusCore.Evaluation.Machine.Exception |
| MachineParameters | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.MachineParameters |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.MachineParameters |
| MachineVariantParameters | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.MachineParameters |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.MachineParameters |
| machineVariantParameters | PlutusCore.Evaluation.Machine.MachineParameters |
| MakeBuiltinMeaning | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| makeBuiltinMeaning | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| makeBuiltinMeaningDebug | PlutusCore.Builtin.Debug |
| MakeKnown | PlutusCore.Builtin |
| makeKnown | PlutusCore.Builtin |
| MakeKnownIn | PlutusCore.Builtin |
| makeKnownOrFail | PlutusCore.Builtin |
| makeRecursiveType | PlutusCore.StdLib.Type |
| many | PlutusPrelude |
| Map | PlutusCore.Data |
| map | PlutusCore.StdLib.Data.ScottList |
| mapCostStream | PlutusCore.Evaluation.Machine.CostStream |
| MapData | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| mapFun | |
| 1 (Function) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Function) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| mapNameString | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| mapTermCekResult | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| mapTyNameString | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| markNonFresh | PlutusCore.Quote |
| markNonFreshBelow | PlutusCore.Quote |
| markNonFreshMax | PlutusCore.Quote |
| markNonFreshProgram | |
| 1 (Function) | PlutusCore.Mark |
| 2 (Function) | UntypedPlutusCore.Mark |
| markNonFreshTerm | |
| 1 (Function) | PlutusCore.Mark |
| 2 (Function) | UntypedPlutusCore.Mark |
| markNonFreshType | PlutusCore.Mark |
| matchData | PlutusCore.StdLib.Data.Data |
| matchList | PlutusCore.StdLib.Data.List |
| MatchOption | PlutusCore.StdLib.Data.MatchOption, PlutusCore.StdLib.Data.List |
| matchUniApply | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| maximumOutputLength | PlutusCore.Bitwise |
| maxInnerSize | PlutusCore.Value |
| maxKeyLen | PlutusCore.Value |
| MaxSize | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| MaybeImpure | UntypedPlutusCore.Purity |
| MaybeWork | UntypedPlutusCore.Purity |
| MayInline | PlutusCore.Annotation |
| MCostingFun | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| memberByName | PlutusCore.Name.UniqueSet |
| memberByUnique | PlutusCore.Name.UniqueSet |
| memoryModel | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| memoryUsage | PlutusCore.Evaluation.Machine.ExMemoryUsage |
| memSizeBytes | |
| 1 (Function) | PlutusCore.Crypto.BLS12_381.G2 |
| 2 (Function) | PlutusCore.Crypto.BLS12_381.G1 |
| mergeScopeInfo | PlutusCore.Check.Scoping |
| metaEitherToSum | PlutusCore.StdLib.Meta |
| MetaForall | |
| 1 (Type/Class) | PlutusCore.Examples.Builtins |
| 2 (Data Constructor) | PlutusCore.Examples.Builtins |
| metaIntegerToNat | PlutusCore.StdLib.Meta |
| metaListToScottList | PlutusCore.StdLib.Meta |
| millerLoop | PlutusCore.Crypto.BLS12_381.Pairing |
| minCostStream | PlutusCore.Evaluation.Machine.CostStream |
| minimum | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| MinSize | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| minusExBudget | PlutusCore.Evaluation.Machine.ExBudget |
| MissingCaseBranchMachineError | PlutusCore.Evaluation.Machine.Exception |
| MkApplyProgramError | PlutusCore.Error |
| mkCekTrans | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
| MkCons | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| mkConstant | PlutusCore.MkPlc |
| mkConstantOf | PlutusCore.MkPlc |
| mkFreshTermLet | PlutusCore.MkPlc |
| mkFunctionDef | PlutusCore.MkPlc |
| mkImmediateLamAbs | PlutusCore.MkPlc |
| mkImmediateTyAbs | PlutusCore.MkPlc |
| mkIterApp | PlutusCore.MkPlc |
| mkIterAppNoAnn | PlutusCore.MkPlc |
| mkIterInst | PlutusCore.MkPlc |
| mkIterInstNoAnn | PlutusCore.MkPlc |
| mkIterKindArrow | PlutusCore.MkPlc |
| mkIterLamAbs | |
| 1 (Function) | PlutusCore.MkPlc |
| 2 (Function) | UntypedPlutusCore.MkUPlc |
| mkIterTyAbs | PlutusCore.MkPlc |
| mkIterTyApp | PlutusCore.MkPlc |
| mkIterTyAppNoAnn | PlutusCore.MkPlc |
| mkIterTyForall | PlutusCore.MkPlc |
| mkIterTyFun | PlutusCore.MkPlc |
| mkIterTyLam | PlutusCore.MkPlc |
| mkMachineVariantParameters | PlutusCore.Evaluation.Machine.MachineParameters |
| mkMachineVariantParametersFor | PlutusCore.Evaluation.Machine.MachineParameters.Default |
| MkNilData | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| MkNilPairData | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| MkPairData | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| mkShad | PlutusCore.Examples.Data.Shad |
| mkTyBuiltin | PlutusCore.Builtin, PlutusCore.MkPlc |
| mkTyBuiltinOf | PlutusCore.MkPlc |
| mkTyVar | PlutusCore.MkPlc |
| MkUnliftingError | PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin |
| MkUnliftingEvaluationError | PlutusCore.Builtin |
| mkVar | |
| 1 (Function) | PlutusCore.MkPlc |
| 2 (Function) | UntypedPlutusCore.MkUPlc |
| MlResult | |
| 1 (Type/Class) | PlutusCore.Crypto.BLS12_381.Pairing |
| 2 (Data Constructor) | PlutusCore.Crypto.BLS12_381.Pairing |
| mlResultMemSizeBytes | PlutusCore.Crypto.BLS12_381.Pairing |
| Model | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| ModelConstantOrLinear | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| modelConstantOrLinearConstant | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| modelConstantOrLinearIntercept | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| modelConstantOrLinearSlope | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelConstantOrOneArgument | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| modelConstantOrOneArgumentConstant | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| modelConstantOrOneArgumentModel | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelConstantOrTwoArguments | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| modelConstantOrTwoArgumentsConstant | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| modelConstantOrTwoArgumentsModel | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelFiveArguments | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelFiveArgumentsConstantCost | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelFourArguments | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelFourArgumentsConstantCost | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelFourArgumentsLinearInU | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelOneArgument | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelOneArgumentConstantCost | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelOneArgumentLinearInX | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelOneArgumentQuadraticInX | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelSixArguments | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelSixArgumentsConstantCost | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelSubtractedSizes | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| modelSubtractedSizesIntercept | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| modelSubtractedSizesMinimum | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| modelSubtractedSizesSlope | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelThreeArguments | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelThreeArgumentsConstantCost | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelThreeArgumentsExpModCost | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelThreeArgumentsLinearInMaxYZ | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelThreeArgumentsLinearInX | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelThreeArgumentsLinearInY | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelThreeArgumentsLinearInYAndZ | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelThreeArgumentsLinearInZ | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelThreeArgumentsLiteralInYOrLinearInZ | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelThreeArgumentsQuadraticInYAndZ | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelThreeArgumentsQuadraticInZ | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelTwoArguments | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelTwoArgumentsAddedSizes | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelTwoArgumentsConstAboveDiagonal | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelTwoArgumentsConstantCost | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelTwoArgumentsConstBelowDiagonal | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelTwoArgumentsConstOffDiagonal | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelTwoArgumentsLinearInX | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelTwoArgumentsLinearInXAndY | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelTwoArgumentsLinearInY | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelTwoArgumentsLinearOnDiagonal | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelTwoArgumentsMaxSize | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelTwoArgumentsMinSize | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelTwoArgumentsMultipliedSizes | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelTwoArgumentsQuadraticInXAndY | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelTwoArgumentsQuadraticInY | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelTwoArgumentsSubtractedSizes | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelTwoArgumentsWithInteractionInXAndY | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| modifyCounter | UntypedPlutusCore.Evaluation.Machine.Cek.StepCounter |
| modifyTermAnn | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| ModInteger | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| MonadFree | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
| MonadKindCheck | PlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore |
| MonadNormalizeType | PlutusCore.Normalize.Internal, PlutusCore.TypeCheck.Internal |
| MonadPretty | PlutusCore.Pretty |
| MonadPrettyContext | PlutusCore.Pretty |
| MonadQuote | PlutusCore.Quote, PlutusCore |
| MonadTypeCheck | PlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore |
| MonadTypeCheckPlc | PlutusCore.TypeCheck.Internal |
| MonoHeadSpine | PlutusCore.Builtin |
| monoidalBudgeting | UntypedPlutusCore.Evaluation.Machine.Cek |
| msmMaxScalarWords | PlutusCore.Crypto.BLS12_381.Bounds |
| msmScalarLb | PlutusCore.Crypto.BLS12_381.Bounds |
| msmScalarOutOfBounds | PlutusCore.Crypto.BLS12_381.Bounds |
| msmScalarUb | PlutusCore.Crypto.BLS12_381.Bounds |
| mulMlResult | PlutusCore.Crypto.BLS12_381.Pairing |
| MultipliedSizes | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| MultiplyDefined | PlutusCore.Error, PlutusCore.Check.Uniques, PlutusCore, UntypedPlutusCore.Check.Uniques |
| MultiplyInteger | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| multiScalarMul | |
| 1 (Function) | PlutusCore.Crypto.BLS12_381.G2 |
| 2 (Function) | PlutusCore.Crypto.BLS12_381.G1 |
| multiSetOf | Data.MultiSet.Lens |
| MultiStack | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| Name | |
| 1 (Type/Class) | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore |
| 2 (Data Constructor) | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore |
| name | PlutusCore.Parser |
| NameAction | |
| 1 (Data Constructor) | PlutusCore.Check.Scoping |
| 2 (Type/Class) | PlutusCore.Check.Scoping |
| NameAnn | PlutusCore.Check.Scoping |
| NameChangedItsScope | PlutusCore.Check.Scoping |
| Named | |
| 1 (Type/Class) | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| 2 (Data Constructor) | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| NamedDeBruijn | |
| 1 (Type/Class) | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| 2 (Data Constructor) | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| NamedTyDeBruijn | |
| 1 (Type/Class) | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore |
| 2 (Data Constructor) | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore |
| NameMismatch | PlutusCore.Error |
| nameToDeBruijn | PlutusCore.DeBruijn.Internal |
| NameUnexpectedlyDisappeared | PlutusCore.Check.Scoping |
| NameUnexpectedlyStayed | PlutusCore.Check.Scoping |
| natData | PlutusCore.StdLib.Data.Nat |
| natK | PlutusCore.Examples.Data.Vec |
| natToInteger | PlutusCore.StdLib.Data.Nat |
| NatToPeano | PlutusCore.Unroll |
| natTy | PlutusCore.StdLib.Data.Nat |
| Natural | PlutusPrelude |
| ndbnIndex | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| ndbnString | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| neg | |
| 1 (Function) | PlutusCore.Crypto.BLS12_381.G2 |
| 2 (Function) | PlutusCore.Crypto.BLS12_381.G1 |
| negativeAmounts | PlutusCore.Value |
| NegativeInput | PlutusCore.Bitwise |
| NestedMap | PlutusCore.Value |
| newCounter | UntypedPlutusCore.Evaluation.Machine.Cek.StepCounter |
| Next | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
| NFData | PlutusPrelude |
| nil | PlutusCore.StdLib.Data.ScottList |
| nilSlippage | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| NilStack | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| noEmitter | UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| NoFrame | |
| 1 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal |
| 2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| NoHints | UntypedPlutusCore.Transform.Certify.Hints |
| noMoreTypeFunctions | PlutusCore.Default, PlutusCore.Builtin.Debug |
| NonAssociative | PlutusCore.Pretty |
| NonConstrScrutinizedMachineError | PlutusCore.Evaluation.Machine.Exception |
| NonEmpty | PlutusPrelude |
| NonFunctionalApplicationMachineError | PlutusCore.Evaluation.Machine.Exception |
| NonPolymorphicInstantiationMachineError | PlutusCore.Evaluation.Machine.Exception |
| NonWrapUnwrappedMachineError | PlutusCore.Evaluation.Machine.Exception |
| nonZeroSecondArg | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug |
| Normalized | |
| 1 (Type/Class) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Data Constructor) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| normalizeType | PlutusCore.Normalize |
| normalizeTypeM | |
| 1 (Function) | PlutusCore.Normalize.Internal |
| 2 (Function) | PlutusCore.TypeCheck.Internal |
| normalizeTypesIn | PlutusCore.Normalize, PlutusCore |
| normalizeTypesInM | PlutusCore.Normalize.Internal |
| normalizeTypesInProgram | PlutusCore.Normalize, PlutusCore |
| NormalizeTypeT | PlutusCore.Normalize.Internal |
| NormCheckError | PlutusCore.Error, PlutusCore, PlutusCore.Check.Normal |
| NormCheckErrorE | PlutusCore.Error, PlutusCore |
| notAConstant | PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin |
| NotAName | PlutusCore.Check.Scoping |
| NotEnoughDigits | PlutusCore.Bitwise |
| notMemberByName | PlutusCore.Name.UniqueSet |
| NTerm | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| NullList | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| NumberOfStepCounters | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| NumBytesCostedAsNumWords | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.ExMemoryUsage |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.ExMemoryUsage |
| obothPair | PlutusCore.Examples.Data.Pair |
| offchain_zero | |
| 1 (Function) | PlutusCore.Crypto.BLS12_381.G2 |
| 2 (Function) | PlutusCore.Crypto.BLS12_381.G1 |
| ofoldrData | PlutusCore.Examples.Data.Data |
| omapList | PlutusCore.Examples.Data.List |
| on | PlutusPrelude |
| OneVariableLinearFunction | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| oneVariableLinearFunctionIntercept | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| oneVariableLinearFunctionSlope | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| OneVariableQuadraticFunction | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| 3 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| 4 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| oneVariableQuadraticFunctionC0 | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| oneVariableQuadraticFunctionC1 | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| oneVariableQuadraticFunctionC2 | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| Opaque | |
| 1 (Type/Class) | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| 2 (Data Constructor) | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| OpenTermEvaluatedMachineError | PlutusCore.Evaluation.Machine.Exception |
| OperationalError | PlutusCore.Evaluation.Error, PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| operationalUnliftingError | PlutusCore.Builtin |
| OrByteString | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| orByteString | PlutusCore.Bitwise |
| OtherReason | Codec.Extras.SerialiseViaFlat |
| over | PlutusPrelude |
| overrideSname | PlutusCore.Check.Scoping |
| pack | PlutusCore.Value |
| pair | PlutusCore.StdLib.Data.Pair |
| PairT | |
| 1 (Type/Class) | PlutusPrelude |
| 2 (Data Constructor) | PlutusPrelude |
| PairV | PlutusCore.Examples.Builtins |
| PanicMachineError | PlutusCore.Evaluation.Machine.Exception |
| Param | PlutusCore.Arity |
| paramAddInteger | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramAndByteString | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramAppendByteString | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramAppendString | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramBData | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramBlake2b_224 | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramBlake2b_256 | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramBls12_381_finalVerify | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramBls12_381_G1_add | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramBls12_381_G1_compress | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramBls12_381_G1_equal | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramBls12_381_G1_hashToGroup | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramBls12_381_G1_multiScalarMul | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramBls12_381_G1_neg | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramBls12_381_G1_scalarMul | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramBls12_381_G1_uncompress | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramBls12_381_G2_add | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramBls12_381_G2_compress | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramBls12_381_G2_equal | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramBls12_381_G2_hashToGroup | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramBls12_381_G2_multiScalarMul | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramBls12_381_G2_neg | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramBls12_381_G2_scalarMul | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramBls12_381_G2_uncompress | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramBls12_381_millerLoop | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramBls12_381_mulMlResult | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramByteStringToInteger | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramChooseData | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramChooseList | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramChooseUnit | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramComplementByteString | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramConsByteString | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramConstrData | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramCountSetBits | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramDecodeUtf8 | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramDivideInteger | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramDropList | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramEncodeUtf8 | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramEqualsByteString | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramEqualsData | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramEqualsInteger | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramEqualsString | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramExpModInteger | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramFindFirstSetBit | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramFstPair | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramHeadList | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramIData | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramIfThenElse | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramIndexArray | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramIndexByteString | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramInsertCoin | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramIntegerToByteString | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramKeccak_256 | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramLengthOfArray | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramLengthOfByteString | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramLessThanByteString | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramLessThanEqualsByteString | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramLessThanEqualsInteger | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramLessThanInteger | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramListData | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramListToArray | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramLookupCoin | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramMapData | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramMkCons | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramMkNilData | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramMkNilPairData | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramMkPairData | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramModInteger | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramMultiplyInteger | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramNullList | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramOrByteString | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramQuotientInteger | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramReadBit | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramRemainderInteger | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramReplicateByte | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramRipemd_160 | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramRotateByteString | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramScaleValue | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramSerialiseData | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramSha2_256 | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramSha3_256 | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramShiftByteString | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramSliceByteString | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramSndPair | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramSubtractInteger | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramTailList | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramTrace | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramUnBData | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramUnConstrData | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramUnIData | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramUnionValue | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramUnListData | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramUnMapData | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramUnValueData | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramValueContains | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramValueData | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramVerifyEcdsaSecp256k1Signature | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramVerifyEd25519Signature | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramVerifySchnorrSecp256k1Signature | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramWriteBits | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramXorByteString | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| parenClosing | PlutusCore.Pretty |
| Parened | |
| 1 (Type/Class) | PlutusCore.Pretty |
| 2 (Data Constructor) | PlutusCore.Pretty |
| parenedValue | PlutusCore.Pretty |
| parenOpening | PlutusCore.Pretty |
| parens' | Prettyprinter.Custom |
| parse | PlutusCore.Parser, UntypedPlutusCore.Parser |
| ParseErrorB | PlutusCore.Error |
| ParseErrorE | PlutusCore.Error, PlutusCore |
| parseGen | PlutusCore.Parser |
| parseProgram | |
| 1 (Function) | PlutusCore.Parser, PlutusCore |
| 2 (Function) | UntypedPlutusCore.Parser |
| Parser | PlutusCore.Parser, UntypedPlutusCore.Parser |
| ParserError | PlutusCore.Error, PlutusCore.Parser, PlutusCore |
| ParserErrorBundle | PlutusCore.Error |
| ParserState | |
| 1 (Type/Class) | PlutusCore.Parser |
| 2 (Data Constructor) | PlutusCore.Parser |
| parseScoped | UntypedPlutusCore.Parser, UntypedPlutusCore |
| parseTerm | |
| 1 (Function) | PlutusCore.Parser, PlutusCore |
| 2 (Function) | UntypedPlutusCore.Parser |
| parseType | PlutusCore.Parser, PlutusCore |
| partialIterT | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
| pcrConfigName | PlutusCore.Pretty |
| pcrRenderContext | PlutusCore.Pretty |
| pcrShowKinds | PlutusCore.Pretty |
| Peano | PlutusCore.Unroll |
| peelUniTag | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug |
| Permits | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug |
| PlcEntity | PlutusCore.FsTree |
| PlcFolderContents | PlutusCore.FsTree |
| PlcFsTree | PlutusCore.FsTree |
| PlcListRep | PlutusCore.Examples.Builtins |
| PlcTerm | PlutusCore.FsTree |
| plcTermFile | PlutusCore.FsTree |
| PlcType | PlutusCore.FsTree |
| plcTypeFile | PlutusCore.FsTree |
| plcVersion100 | PlutusCore.Version, PlutusCore.Core, PlutusCore.Builtin.Debug |
| plcVersion110 | PlutusCore.Version, PlutusCore.Core, PlutusCore.Builtin.Debug |
| plusT | PlutusCore.Examples.Data.Vec |
| Pos | PlutusCore.Annotation |
| Precedence | PlutusCore.Pretty |
| Pretty | PlutusPrelude, PlutusCore.Pretty |
| pretty | PlutusPrelude, PlutusCore.Pretty |
| PrettyAny | |
| 1 (Type/Class) | PlutusPrelude |
| 2 (Data Constructor) | PlutusPrelude |
| PrettyBy | PlutusPrelude, PlutusCore.Pretty |
| prettyBy | PlutusPrelude, PlutusCore.Pretty |
| prettyBytes | PlutusCore.Pretty |
| PrettyClassic | PlutusCore.Pretty |
| prettyClassic | PlutusCore.Pretty |
| PrettyClassicBy | PlutusCore.Pretty |
| prettyClassicSimple | PlutusCore.Pretty |
| prettyConfig | PlutusCore.Pretty |
| PrettyConfigClassic | |
| 1 (Type/Class) | PlutusCore.Pretty |
| 2 (Data Constructor) | PlutusCore.Pretty |
| PrettyConfigName | |
| 1 (Type/Class) | PlutusCore.Pretty |
| 2 (Data Constructor) | PlutusCore.Pretty |
| prettyConfigName | PlutusCore.Pretty |
| prettyConfigNameSimple | PlutusCore.Pretty |
| PrettyConfigPlc | |
| 1 (Type/Class) | PlutusCore.Pretty |
| 2 (Data Constructor) | PlutusCore.Pretty |
| PrettyConfigPlcClassic | PlutusCore.Pretty |
| prettyConfigPlcClassic | PlutusCore.Pretty |
| prettyConfigPlcClassicSimple | PlutusCore.Pretty |
| PrettyConfigPlcOptions | |
| 1 (Type/Class) | PlutusCore.Pretty |
| 2 (Data Constructor) | PlutusCore.Pretty |
| prettyConfigPlcOptions | PlutusCore.Pretty |
| PrettyConfigPlcReadable | PlutusCore.Pretty |
| prettyConfigPlcReadable | PlutusCore.Pretty |
| prettyConfigPlcReadableSimple | PlutusCore.Pretty |
| PrettyConfigPlcStrategy | PlutusCore.Pretty |
| PrettyConfigReadable | |
| 1 (Type/Class) | PlutusCore.Pretty |
| 2 (Data Constructor) | PlutusCore.Pretty |
| PrettyConst | PlutusCore.Pretty |
| prettyConst | PlutusCore.Pretty |
| PrettyDefaultBy | PlutusPrelude |
| prettyList | PlutusPrelude, PlutusCore.Pretty |
| prettyListBy | PlutusPrelude, PlutusCore.Pretty |
| prettyM | PlutusCore.Pretty |
| PrettyParens | PlutusCore.Pretty |
| PrettyPlc | PlutusCore.Pretty |
| prettyPlc | PlutusCore.Pretty |
| prettyPlcClassic | PlutusCore.Pretty |
| prettyPlcClassicSimple | PlutusCore.Pretty |
| prettyPlcCondensedErrorBy | PlutusCore.Pretty |
| prettyPlcReadable | PlutusCore.Pretty |
| prettyPlcReadableSimple | PlutusCore.Pretty |
| prettyPlcSimple | PlutusCore.Pretty |
| PrettyReadable | PlutusCore.Pretty |
| prettyReadable | PlutusCore.Pretty |
| PrettyReadableBy | PlutusCore.Pretty |
| prettyReadableSimple | PlutusCore.Pretty |
| PrettyUni | PlutusCore.Pretty |
| primitive | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| PrimMonad | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| PrimState | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| printPretty | PlutusPrelude |
| processTerm | UntypedPlutusCore.Transform.CaseReduce |
| prodN | PlutusCore.StdLib.Meta.Data.Tuple |
| prodNAccessor | PlutusCore.StdLib.Meta.Data.Tuple |
| prodNConstructor | PlutusCore.StdLib.Meta.Data.Tuple |
| product | |
| 1 (Function) | PlutusCore.StdLib.Data.ScottList |
| 2 (Function) | PlutusCore.StdLib.Data.List |
| progAnn | |
| 1 (Function) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Function) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| Program | |
| 1 (Type/Class) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Data Constructor) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 3 (Type/Class) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| 4 (Data Constructor) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| program | |
| 1 (Function) | PlutusCore.Parser |
| 2 (Function) | UntypedPlutusCore.Parser |
| programAstSize | |
| 1 (Function) | PlutusCore.AstSize, PlutusCore |
| 2 (Function) | UntypedPlutusCore.AstSize, UntypedPlutusCore |
| programMapNames | |
| 1 (Function) | PlutusCore.Subst, PlutusCore |
| 2 (Function) | UntypedPlutusCore |
| progTerm | |
| 1 (Function) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Function) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| progVer | |
| 1 (Function) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Function) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| PType | PlutusCore.Parser |
| pType | PlutusCore.Parser |
| Pure | UntypedPlutusCore.Purity |
| purely | PlutusPrelude |
| Purity | UntypedPlutusCore.Purity |
| pzip | UntypedPlutusCore.Core.Zip |
| pzipWith | UntypedPlutusCore.Core.Zip |
| QuadraticInX | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| QuadraticInXAndY | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| QuadraticInY | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| QuadraticInZ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| Quantity | PlutusCore.Value |
| quantity | PlutusCore.Value |
| Quote | PlutusCore.Quote, PlutusCore |
| QuoteT | |
| 1 (Type/Class) | PlutusCore.Quote, PlutusCore |
| 2 (Data Constructor) | PlutusCore.Quote |
| QuotientInteger | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| reachOffsetNoLine' | PlutusCore.Parser |
| ReadBit | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| readBit | PlutusCore.Bitwise |
| readCounter | UntypedPlutusCore.Evaluation.Machine.Cek.StepCounter |
| readDeserialiseFailureInfo | Codec.Extras.SerialiseViaFlat |
| readJSONFromFile | Data.Aeson.THReader |
| ReadKnown | PlutusCore.Builtin |
| readKnown | PlutusCore.Builtin |
| readKnownCek | |
| 1 (Function) | UntypedPlutusCore.Evaluation.Machine.Cek |
| 2 (Function) | UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| readKnownCk | PlutusCore.Evaluation.Machine.Ck |
| readKnownConstant | PlutusCore.Builtin |
| ReadKnownIn | PlutusCore.Builtin |
| ReadKnownM | PlutusCore.Builtin |
| readKnownSelf | PlutusCore.Builtin |
| reconsCost | PlutusCore.Evaluation.Machine.CostStream |
| recordSimplification | UntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore |
| recordSimplificationWithHints | UntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore |
| recUnit | PlutusCore.Examples.Data.Shad |
| RecursiveType | |
| 1 (Type/Class) | PlutusCore.StdLib.Type |
| 2 (Data Constructor) | PlutusCore.StdLib.Type |
| Reference | PlutusCore.Check.Scoping |
| referenceBound | PlutusCore.Check.Scoping |
| referenceOutOfScope | PlutusCore.Check.Scoping |
| referenceVia | PlutusCore.Check.Scoping |
| Refl | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| registerBound | PlutusCore.Check.Scoping |
| registerFree | PlutusCore.Check.Scoping |
| registerOutOfScope | PlutusCore.Check.Scoping |
| RemainderInteger | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| Rename | PlutusCore.Rename, PlutusCore, UntypedPlutusCore.Rename |
| rename | PlutusCore.Rename, PlutusCore, UntypedPlutusCore.Rename |
| Renamed | |
| 1 (Type/Class) | PlutusCore.Rename.Internal, PlutusCore.Rename |
| 2 (Data Constructor) | PlutusCore.Rename.Internal |
| renameNameM | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal |
| renameProgramM | |
| 1 (Function) | PlutusCore.Rename.Internal |
| 2 (Function) | UntypedPlutusCore.Rename.Internal |
| RenameT | |
| 1 (Type/Class) | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal |
| 2 (Data Constructor) | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal |
| renameTermM | |
| 1 (Function) | PlutusCore.Rename.Internal |
| 2 (Function) | UntypedPlutusCore.Rename.Internal |
| renameTypeM | PlutusCore.Rename.Internal |
| Renaming | |
| 1 (Type/Class) | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal |
| 2 (Data Constructor) | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal |
| renaming | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal |
| Render | PlutusPrelude, PlutusCore.Pretty |
| render | PlutusPrelude, PlutusCore.Pretty |
| RenderContext | |
| 1 (Type/Class) | PlutusCore.Pretty |
| 2 (Data Constructor) | PlutusCore.Pretty |
| renderContext | PlutusCore.Pretty |
| RenderContextOver | PlutusCore.Pretty |
| reoption | PlutusPrelude |
| RepHole | PlutusCore.Builtin |
| ReplicateByte | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| replicateByte | PlutusCore.Bitwise |
| resetCounter | UntypedPlutusCore.Evaluation.Machine.Cek.StepCounter |
| restricting | UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| restrictingEnormous | UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| restrictingLarge | UntypedPlutusCore.Evaluation.Machine.Cek |
| RestrictingSt | |
| 1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| 2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| restrictKeys | PlutusCore.Name.UniqueMap |
| returnCek | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| Returning | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| reverse | PlutusCore.StdLib.Data.ScottList |
| right | PlutusCore.StdLib.Data.Sum |
| RightAssociative | PlutusCore.Pretty |
| Ripemd_160 | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| ripemd_160 | PlutusCore.Crypto.Hash |
| rModelFile | PlutusCore.DataFilePaths |
| RotateByteString | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| rotateByteString | PlutusCore.Bitwise |
| runCek | |
| 1 (Function) | UntypedPlutusCore.Evaluation.Machine.Cek |
| 2 (Function) | UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| runCekDeBruijn | |
| 1 (Function) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek |
| 2 (Function) | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| runCekM | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| runCekNoEmit | |
| 1 (Function) | UntypedPlutusCore.Evaluation.Machine.Cek |
| 2 (Function) | UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| runCk | PlutusCore.Evaluation.Machine.Ck |
| runCostingFunFiveArguments | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| runCostingFunFourArguments | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| runCostingFunOneArgument | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| runCostingFunSixArguments | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| runCostingFunThreeArguments | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| runCostingFunTwoArguments | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| runDeBruijnT | PlutusCore.DeBruijn.Internal |
| runDriverT | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
| RunHole | PlutusCore.Builtin |
| runInContextM | PlutusCore.Pretty |
| runNormalizeTypeT | PlutusCore.Normalize.Internal |
| runQuote | PlutusCore.Quote, PlutusCore |
| runQuoteT | PlutusCore.Quote, PlutusCore |
| runRecUnit | PlutusCore.Examples.Data.Shad |
| runRenameT | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal |
| runSimplifier | UntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore |
| runSimplifierT | UntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore |
| runTermDefs | PlutusCore.Analysis.Definitions |
| runTypeCheckM | PlutusCore.TypeCheck.Internal |
| S | |
| 1 (Data Constructor) | PlutusCore.Unroll |
| 2 (Type/Class) | UntypedPlutusCore.Transform.Inline |
| 3 (Data Constructor) | UntypedPlutusCore.Transform.Inline |
| safeEncodeBits | PlutusCore.FlatInstances |
| SafeToInline | PlutusCore.Annotation |
| scalarMul | |
| 1 (Function) | PlutusCore.Crypto.BLS12_381.G2 |
| 2 (Function) | PlutusCore.Crypto.BLS12_381.G1 |
| ScaleValue | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| scaleValue | PlutusCore.Value |
| ScopeCheckError | |
| 1 (Type/Class) | PlutusCore.Check.Scoping |
| 2 (Data Constructor) | PlutusCore.Check.Scoping |
| ScopedName | PlutusCore.Check.Scoping |
| ScopedRenameT | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal |
| ScopedRenaming | |
| 1 (Type/Class) | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal |
| 2 (Data Constructor) | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal |
| scopedRenamingTerms | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal |
| scopedRenamingTypes | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal |
| ScopeEntry | PlutusCore.Check.Scoping |
| ScopeError | PlutusCore.Check.Scoping |
| ScopeErrorOrInfo | |
| 1 (Type/Class) | PlutusCore.Check.Scoping |
| 2 (Data Constructor) | PlutusCore.Check.Scoping |
| ScopeInfo | |
| 1 (Type/Class) | PlutusCore.Check.Scoping |
| 2 (Data Constructor) | PlutusCore.Check.Scoping |
| ScopeType | PlutusCore.Analysis.Definitions |
| Scoping | PlutusCore.Check.Scoping |
| scottCons | PlutusCore.Examples.Data.Vec |
| scottHead | PlutusCore.Examples.Data.Vec |
| scottNil | PlutusCore.Examples.Data.Vec |
| scottSumHeadsOr0 | PlutusCore.Examples.Data.Vec |
| ScottToMetaUnit | PlutusCore.Examples.Builtins |
| scottVec | PlutusCore.Examples.Data.Vec |
| scottVecF | PlutusCore.Examples.Data.Vec |
| second | PlutusPrelude |
| selfData | PlutusCore.StdLib.Data.Function |
| sequ | PlutusCore.StdLib.Data.Unit |
| sequenceDocM | PlutusCore.Pretty |
| serialisedAstSize | PlutusCore.AstSize |
| SerialiseData | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| SerialiseViaFlat | |
| 1 (Type/Class) | Codec.Extras.SerialiseViaFlat |
| 2 (Data Constructor) | Codec.Extras.SerialiseViaFlat |
| set | PlutusPrelude |
| setOfByName | PlutusCore.Name.UniqueSet |
| setOfByUnique | PlutusCore.Name.UniqueSet |
| sexp | Prettyprinter.Custom |
| Sha2_256 | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| sha2_256 | PlutusCore.Crypto.Hash |
| Sha3_256 | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| sha3_256 | PlutusCore.Crypto.Hash |
| shad | PlutusCore.Examples.Data.Shad |
| ShiftByteString | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| shiftByteString | PlutusCore.Bitwise |
| shouldInline | PlutusCore.Annotation, UntypedPlutusCore.Transform.Inline, UntypedPlutusCore |
| show | PlutusCore |
| ShowErrorComponent | PlutusCore.Error |
| showErrorComponent | PlutusCore.Error |
| ShowKinds | PlutusCore.Pretty |
| ShowKindsNo | PlutusCore.Pretty |
| ShowKindsNonType | PlutusCore.Pretty |
| ShowKindsYes | PlutusCore.Pretty |
| ShowPretty | |
| 1 (Type/Class) | PlutusPrelude |
| 2 (Data Constructor) | PlutusPrelude |
| showText | PlutusPrelude |
| Simplification | |
| 1 (Type/Class) | UntypedPlutusCore.Transform.Certify.Trace, UntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore |
| 2 (Data Constructor) | UntypedPlutusCore.Transform.Certify.Trace, UntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore |
| Simplifier | UntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore |
| SimplifierStage | UntypedPlutusCore.Transform.Certify.Trace, UntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore |
| SimplifierT | |
| 1 (Type/Class) | UntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore |
| 2 (Data Constructor) | UntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore |
| SimplifierTrace | |
| 1 (Type/Class) | UntypedPlutusCore.Transform.Certify.Trace, UntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore |
| 2 (Data Constructor) | UntypedPlutusCore.Transform.Certify.Trace, UntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore |
| simplifierTrace | UntypedPlutusCore.Transform.Certify.Trace, UntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore |
| SimplifyOpts | |
| 1 (Type/Class) | UntypedPlutusCore |
| 2 (Data Constructor) | UntypedPlutusCore |
| simplifyProgram | UntypedPlutusCore |
| simplifyProgramWithTrace | UntypedPlutusCore |
| simplifyTerm | UntypedPlutusCore |
| SingKind | PlutusCore.Builtin |
| SingKindArrow | PlutusCore.Builtin |
| singletonByName | PlutusCore.Name.UniqueMap |
| singletonName | PlutusCore.Name.UniqueSet |
| singletonRose | PlutusCore.Evaluation.Machine.ExMemoryUsage |
| SingType | PlutusCore.Builtin |
| size | PlutusCore.Examples.Builtins |
| sizeProgram | UntypedPlutusCore.Core, UntypedPlutusCore |
| sizeTerm | UntypedPlutusCore.Core, UntypedPlutusCore |
| SliceByteString | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| Slippage | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| Slope | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| slope1_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| slope2_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| slope_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| SndPair | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| sndPair | PlutusCore.StdLib.Data.Pair |
| soApplyToCase | UntypedPlutusCore |
| soConservativeOpts | UntypedPlutusCore |
| soCseWhichSubterms | UntypedPlutusCore |
| soInlineCallsiteGrowth | UntypedPlutusCore |
| soInlineConstants | UntypedPlutusCore |
| soInlineHints | UntypedPlutusCore |
| Sole | |
| 1 (Type/Class) | PlutusCore.Pretty |
| 2 (Data Constructor) | PlutusCore.Pretty |
| soMaxCseIterations | UntypedPlutusCore |
| soMaxSimplifierIterations | UntypedPlutusCore |
| Some | |
| 1 (Type/Class) | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Data Constructor) | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| some | PlutusPrelude |
| SomeConstant | |
| 1 (Type/Class) | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| 2 (Data Constructor) | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| someType | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug |
| SomeTypeIn | |
| 1 (Type/Class) | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Data Constructor) | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| someValue | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| someValueOf | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| someValueType | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| soPreserveLogging | UntypedPlutusCore |
| sopType | PlutusCore.Parser |
| sourceColumn | PlutusCore.Annotation |
| sourceLine | PlutusCore.Annotation |
| sourceName | PlutusCore.Annotation |
| SourcePos | |
| 1 (Type/Class) | PlutusCore.Annotation, PlutusCore.Parser, PlutusCore, UntypedPlutusCore.Parser |
| 2 (Data Constructor) | PlutusCore.Annotation |
| Spine | PlutusCore.Builtin |
| SpineCons | PlutusCore.Builtin |
| SpineLast | PlutusCore.Builtin |
| splitAppCtx | UntypedPlutusCore.Contexts |
| splitApplication | UntypedPlutusCore.Core, UntypedPlutusCore |
| splitFunTyParts | PlutusCore.Core, PlutusCore.Builtin.Debug |
| splitParams | UntypedPlutusCore.Core, UntypedPlutusCore |
| splitStructuralOperational | PlutusCore.Evaluation.Machine.Exception, PlutusCore.Evaluation.Machine.Ck, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| SrcSpan | |
| 1 (Type/Class) | PlutusCore.Annotation, PlutusCore |
| 2 (Data Constructor) | PlutusCore.Annotation, PlutusCore |
| srcSpanECol | PlutusCore.Annotation, PlutusCore |
| srcSpanELine | PlutusCore.Annotation, PlutusCore |
| srcSpanFile | PlutusCore.Annotation, PlutusCore |
| SrcSpans | |
| 1 (Type/Class) | PlutusCore.Annotation, PlutusCore |
| 2 (Data Constructor) | PlutusCore.Annotation |
| srcSpanSCol | PlutusCore.Annotation, PlutusCore |
| srcSpanSLine | PlutusCore.Annotation, PlutusCore |
| stage | UntypedPlutusCore.Transform.Certify.Trace, UntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore |
| Starting | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| StayedFreeVariables | PlutusCore.Check.Scoping |
| StayedOutOfScopeVariables | PlutusCore.Check.Scoping |
| Stays | |
| 1 (Data Constructor) | PlutusCore.Check.Scoping |
| 2 (Type/Class) | PlutusCore.Check.Scoping |
| StaysFreeVariable | PlutusCore.Check.Scoping |
| StaysOutOfScopeVariable | PlutusCore.Check.Scoping |
| stdLib | PlutusCore.StdLib.Everything |
| Step | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
| StepCounter | |
| 1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek.StepCounter, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| 2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.StepCounter |
| StepF | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
| StepKind | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| StructuralError | PlutusCore.Evaluation.Error, PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| structuralUnliftingError | PlutusCore.Builtin |
| Subst | |
| 1 (Type/Class) | UntypedPlutusCore.Transform.Inline |
| 2 (Data Constructor) | UntypedPlutusCore.Transform.Inline |
| substConstant | |
| 1 (Function) | PlutusCore.Subst |
| 2 (Function) | UntypedPlutusCore |
| substConstantA | |
| 1 (Function) | PlutusCore.Subst |
| 2 (Function) | UntypedPlutusCore |
| substNormalizeTypeM | |
| 1 (Function) | PlutusCore.Normalize.Internal |
| 2 (Function) | PlutusCore.TypeCheck.Internal |
| substTyVar | PlutusCore.Subst |
| substTyVarA | PlutusCore.Subst |
| substVar | |
| 1 (Function) | PlutusCore.Subst |
| 2 (Function) | UntypedPlutusCore |
| substVarA | |
| 1 (Function) | PlutusCore.Subst |
| 2 (Function) | UntypedPlutusCore |
| SubtractedSizes | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| SubtractInteger | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| succ | PlutusCore.StdLib.Data.Nat |
| succInteger | PlutusCore.StdLib.Data.Integer |
| succT | PlutusCore.Examples.Data.Vec |
| sum | |
| 1 (Function) | PlutusCore.StdLib.Data.Sum |
| 2 (Function) | PlutusCore.StdLib.Data.ScottList |
| 3 (Function) | PlutusCore.StdLib.Data.List |
| sumCostStream | PlutusCore.Evaluation.Machine.CostStream |
| sumExBudgetStream | PlutusCore.Evaluation.Machine.ExBudgetStream |
| SumInteger | PlutusCore.Examples.Builtins |
| sumr | |
| 1 (Function) | PlutusCore.StdLib.Data.ScottList |
| 2 (Function) | PlutusCore.StdLib.Data.List |
| Swap | PlutusCore.Examples.Builtins |
| SwapEls | PlutusCore.Examples.Builtins |
| symbol | PlutusCore.Parser |
| symmetricDifference | PlutusCore.Check.Scoping |
| tabulateArray | PlutusPrelude |
| TailList | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| tallying | UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| TallyingSt | |
| 1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| 2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| tccBuiltinTypes | PlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore |
| tccKindCheckConfig | PlutusCore.TypeCheck.Internal |
| tceTypeCheckConfig | PlutusCore.TypeCheck.Internal |
| tceTyVarKinds | PlutusCore.TypeCheck.Internal |
| tceVarTypes | PlutusCore.TypeCheck.Internal |
| Term | |
| 1 (Type/Class) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Type/Class) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| term | UntypedPlutusCore.Parser |
| termAnn | |
| 1 (Function) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Function) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| termAstSize | |
| 1 (Function) | PlutusCore.AstSize, PlutusCore |
| 2 (Function) | UntypedPlutusCore.AstSize, UntypedPlutusCore |
| termBinds | |
| 1 (Function) | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
| 2 (Function) | UntypedPlutusCore.Core.Plated, UntypedPlutusCore.Core, UntypedPlutusCore |
| termConstants | |
| 1 (Function) | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
| 2 (Function) | UntypedPlutusCore.Core.Plated, UntypedPlutusCore.Core, UntypedPlutusCore |
| termConstantsDeep | |
| 1 (Function) | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
| 2 (Function) | UntypedPlutusCore.Core.Plated, UntypedPlutusCore.Core, UntypedPlutusCore |
| TermDef | PlutusCore.MkPlc |
| termDefs | PlutusCore.Analysis.Definitions |
| TermEnv | |
| 1 (Type/Class) | UntypedPlutusCore.Transform.Inline |
| 2 (Data Constructor) | UntypedPlutusCore.Transform.Inline |
| termEvaluationOrder | UntypedPlutusCore.Purity |
| Terminating | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| termLet | PlutusCore.MkPlc |
| TermLike | PlutusCore.MkPlc |
| termMapNames | |
| 1 (Function) | PlutusCore.Subst, PlutusCore |
| 2 (Function) | UntypedPlutusCore |
| TermName | PlutusCore.Check.Scoping |
| TermParam | PlutusCore.Arity |
| TermScope | PlutusCore.Analysis.Definitions |
| termSimplifier | UntypedPlutusCore |
| termSubkinds | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
| termSubstClosedTerm | PlutusCore.Subst |
| termSubstClosedType | PlutusCore.Subst |
| termSubstConstants | |
| 1 (Function) | PlutusCore.Subst |
| 2 (Function) | UntypedPlutusCore |
| termSubstConstantsM | |
| 1 (Function) | PlutusCore.Subst |
| 2 (Function) | UntypedPlutusCore |
| termSubstNames | |
| 1 (Function) | PlutusCore.Subst |
| 2 (Function) | UntypedPlutusCore |
| termSubstNamesM | |
| 1 (Function) | PlutusCore.Subst |
| 2 (Function) | UntypedPlutusCore |
| termSubstTyNames | PlutusCore.Subst |
| termSubstTyNamesM | PlutusCore.Subst |
| termSubterms | |
| 1 (Function) | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Function) | UntypedPlutusCore.Core.Plated, UntypedPlutusCore.Core, UntypedPlutusCore |
| termSubtermsDeep | |
| 1 (Function) | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
| 2 (Function) | UntypedPlutusCore.Core.Plated, UntypedPlutusCore.Core, UntypedPlutusCore |
| termSubtypes | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| termSubtypesDeep | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
| termTagWidth | UntypedPlutusCore.Core, UntypedPlutusCore |
| termTyBinds | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
| TermUnique | |
| 1 (Type/Class) | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| 2 (Data Constructor) | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| termUniques | |
| 1 (Function) | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
| 2 (Function) | UntypedPlutusCore.Core.Plated, UntypedPlutusCore.Core, UntypedPlutusCore |
| termUniquesDeep | |
| 1 (Function) | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
| 2 (Function) | UntypedPlutusCore.Core.Plated, UntypedPlutusCore.Core, UntypedPlutusCore |
| termVars | |
| 1 (Function) | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
| 2 (Function) | UntypedPlutusCore.Core.Plated, UntypedPlutusCore.Core, UntypedPlutusCore |
| TestTypesFromTheUniverseAreAllKnown | PlutusCore.Builtin |
| theText | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| theUnique | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| through | PlutusPrelude |
| throw | PlutusPrelude |
| ThrowableBuiltins | PlutusCore.Pretty, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| throwBuiltinErrorWithCause | PlutusCore.Evaluation.Machine.Exception |
| throwErrorWithCause | PlutusCore.Evaluation.ErrorWithCause, PlutusCore.Evaluation.Machine.Exception |
| throwing | PlutusCore.Builtin |
| throwingEither | PlutusCore.Error |
| throwing_ | PlutusCore.Builtin |
| ThrowOnBothEmpty | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| timesA | PlutusPrelude |
| to | PlutusCore.Check.Scoping |
| ToBinds | PlutusCore.Builtin, PlutusCore.Builtin |
| ToBuiltinMeaning | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| toBuiltinMeaning | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| toBuiltinRuntime | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| toBuiltinsRuntime | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| toErrorB | PlutusCore.Parser |
| toFake | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn |
| toFlatList | PlutusCore.Value |
| ToHoles | PlutusCore.Builtin, PlutusCore.Builtin |
| ToKind | PlutusCore.Builtin, PlutusCore.TypeCheck, PlutusCore |
| toList | |
| 1 (Function) | PlutusPrelude |
| 2 (Function) | PlutusCore.Value |
| toMonoF | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| toPatFuncKind | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| topFixity | PlutusCore.Pretty |
| toPolyF | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| topPrettyConfigReadable | PlutusCore.Pretty |
| topRenderContext | PlutusCore.Pretty |
| toPrettyConfigName | PlutusCore.Pretty |
| toPrintedName | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| ToScopedName | PlutusCore.Check.Scoping |
| toScopedName | PlutusCore.Check.Scoping |
| toSimpleBuiltinCostModel | PlutusCore.Evaluation.Machine.SimpleBuiltinCostModel |
| toSingKind | PlutusCore.Builtin |
| toSrcSpan | PlutusCore.Parser |
| TotalCountIndex | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| totalSize | PlutusCore.Value |
| ToTheLeft | PlutusCore.Pretty |
| ToTheRight | PlutusCore.Pretty |
| toTypeAst | PlutusCore.Builtin |
| Trace | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| trace | PlutusPrelude |
| traceShowId | PlutusPrelude |
| TrackCosts | PlutusCore.Examples.Builtins |
| trailingWhitespace | PlutusCore.Parser |
| traverse_ | PlutusPrelude |
| treeData | PlutusCore.Examples.Data.TreeForest |
| treeFolderContents | PlutusCore.FsTree |
| treeNode | PlutusCore.Examples.Data.TreeForest |
| true | PlutusCore.StdLib.Data.Bool |
| tryUniApply | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug |
| Tuple | |
| 1 (Type/Class) | PlutusCore.StdLib.Meta.Data.Tuple |
| 2 (Data Constructor) | PlutusCore.StdLib.Meta.Data.Tuple |
| tupleDefAt | PlutusCore.StdLib.Meta.Data.Tuple |
| tupleTermAt | PlutusCore.StdLib.Meta.Data.Tuple |
| tupleTypeTermAt | PlutusCore.StdLib.Meta.Data.Tuple |
| tvTerm | PlutusCore.Subst |
| tvTy | PlutusCore.Subst |
| TwoVariableLinearFunction | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| 3 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| 4 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| twoVariableLinearFunctionIntercept | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| twoVariableLinearFunctionSlope1 | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| twoVariableLinearFunctionSlope2 | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| TwoVariableQuadraticFunction | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| 3 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| 4 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| twoVariableQuadraticFunctionC00 | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| twoVariableQuadraticFunctionC01 | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| twoVariableQuadraticFunctionC02 | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| twoVariableQuadraticFunctionC10 | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| twoVariableQuadraticFunctionC11 | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| twoVariableQuadraticFunctionC20 | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| twoVariableQuadraticFunctionMinimum | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| TwoVariableWithInteractionFunction | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| 3 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| 4 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| twoVariableWithInteractionFunctionC00 | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| twoVariableWithInteractionFunctionC01 | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| twoVariableWithInteractionFunctionC10 | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| twoVariableWithInteractionFunctionC11 | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| TyAbs | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| tyAbs | PlutusCore.MkPlc |
| TyApp | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| TyAppRep | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| TyBuiltin | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| TyDeBruijn | |
| 1 (Type/Class) | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore |
| 2 (Data Constructor) | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore |
| TyDecl | |
| 1 (Type/Class) | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug |
| 2 (Data Constructor) | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug |
| tyDeclAnn | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| tyDeclKind | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| tyDeclType | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| tyDeclVar | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug |
| TyForall | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| TyForallRep | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| TyFun | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| TyIFix | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| TyInst | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| tyInst | PlutusCore.MkPlc |
| TyLam | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| TyName | |
| 1 (Type/Class) | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore |
| 2 (Data Constructor) | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore |
| tyName | PlutusCore.Parser |
| TyNameMismatch | PlutusCore.Error |
| TyNameRep | |
| 1 (Type/Class) | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| 2 (Data Constructor) | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| tyNameToDeBruijn | PlutusCore.DeBruijn.Internal |
| Type | |
| 1 (Type/Class) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Data Constructor) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| Typeable | PlutusPrelude, PlutusCore.Builtin |
| typeAnn | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| typeAst | PlutusCore.Builtin |
| typeAstSize | PlutusCore.AstSize, PlutusCore |
| Typecheckable | PlutusCore.TypeCheck, PlutusCore |
| TypeCheckConfig | |
| 1 (Type/Class) | PlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore |
| 2 (Data Constructor) | PlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore |
| typeCheckConfig | PlutusCore.TypeCheck.Internal |
| TypeCheckEnv | |
| 1 (Type/Class) | PlutusCore.TypeCheck.Internal |
| 2 (Data Constructor) | PlutusCore.TypeCheck.Internal |
| TypeCheckT | PlutusCore.TypeCheck.Internal |
| TypeDef | PlutusCore.MkPlc |
| TypeError | PlutusCore.Error, PlutusCore |
| TypeErrorE | PlutusCore.Error, PlutusCore |
| TypeErrorPlc | PlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore |
| TypeHole | PlutusCore.Builtin |
| typeLet | PlutusCore.MkPlc |
| typeMapNames | PlutusCore.Subst, PlutusCore |
| TypeMismatch | PlutusCore.Error |
| TypeName | PlutusCore.Check.Scoping |
| typeOfBuiltinFunction | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| TypeParam | PlutusCore.Arity |
| TypeRenaming | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal |
| TypeScheme | PlutusCore.Builtin |
| TypeSchemeAll | PlutusCore.Builtin |
| typeSchemeArity | PlutusCore.Arity |
| TypeSchemeArrow | PlutusCore.Builtin |
| TypeSchemeResult | PlutusCore.Builtin |
| typeSchemeToType | PlutusCore.Builtin |
| TypeScope | PlutusCore.Analysis.Definitions |
| typeSubkinds | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
| typeSubstClosedType | PlutusCore.Subst |
| typeSubstTyNames | PlutusCore.Subst |
| typeSubstTyNamesM | PlutusCore.Subst |
| typeSubtypes | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| typeSubtypesDeep | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
| typeTyBinds | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
| typeTyVars | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
| TypeUnique | |
| 1 (Type/Class) | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| 2 (Data Constructor) | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| typeUniques | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
| typeUniquesDeep | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
| TySOP | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| TyVar | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| TyVarDecl | |
| 1 (Type/Class) | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug |
| 2 (Data Constructor) | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug |
| tyVarDeclAnn | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| tyVarDeclAstSize | PlutusCore.AstSize |
| tyVarDeclKind | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| tyVarDeclName | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| tyVarDeclSubkinds | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
| TyVarKinds | PlutusCore.TypeCheck.Internal |
| TyVarRep | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| tzip | UntypedPlutusCore.Core.Zip |
| tzipWith | UntypedPlutusCore.Core.Zip |
| UnannotatedName | PlutusCore.Check.Scoping |
| unAsReadable | PlutusCore.Pretty |
| unAstSize | PlutusCore.AstSize, UntypedPlutusCore.AstSize, UntypedPlutusCore |
| unavailableCaserBuiltin | PlutusCore.Builtin |
| UnBData | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| unBinder | PlutusCore.Core, PlutusCore.Builtin.Debug, UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| unBuiltinsRuntime | PlutusCore.Builtin, UntypedPlutusCore.Evaluation.Machine.Cek |
| unBuiltinTypes | PlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore |
| unCaserBuiltin | PlutusCore.Builtin |
| unCekBudgetSpender | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| unCekM | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| unCoefficient0 | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| unCoefficient00 | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| unCoefficient01 | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| unCoefficient02 | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| unCoefficient1 | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| unCoefficient10 | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| unCoefficient11 | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| unCoefficient12 | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| unCoefficient2 | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| unCoefficient20 | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| uncompress | |
| 1 (Function) | PlutusCore.Crypto.BLS12_381.G2 |
| 2 (Function) | PlutusCore.Crypto.BLS12_381.G1 |
| unconsCost | PlutusCore.Evaluation.Machine.CostStream |
| unConstConfig | PlutusCore.Pretty |
| UnConstrData | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| uncurry | PlutusCore.StdLib.Data.Pair |
| unDeBruijnTerm | |
| 1 (Function) | PlutusCore.DeBruijn, PlutusCore |
| 2 (Function) | UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| unDeBruijnTermWith | |
| 1 (Function) | PlutusCore.DeBruijn |
| 2 (Function) | UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| unDeBruijnTy | PlutusCore.DeBruijn |
| unDeBruijnTyWith | PlutusCore.DeBruijn |
| unDecodeUniM | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug |
| Undefined | PlutusCore.Examples.Builtins |
| underTypeError | PlutusCore.Builtin |
| unDupable | PlutusCore.Rename.Internal |
| unElement | |
| 1 (Function) | PlutusCore.Crypto.BLS12_381.G2 |
| 2 (Function) | PlutusCore.Crypto.BLS12_381.G1 |
| unEmitterMode | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| unEvalOrder | UntypedPlutusCore.Purity |
| unExBudgetMode | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| UnexpectedBuiltinTermArgumentMachineError | PlutusCore.Evaluation.Machine.Exception |
| unExRestrictingBudget | PlutusCore.Evaluation.Machine.ExBudget |
| unFakeNamedDeBruijn | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| unFlatViaSerialise | Codec.Extras.FlatViaSerialise |
| unFolderContents | PlutusCore.FsTree |
| unfoldIFixOf | PlutusCore.TypeCheck.Internal |
| uniApply | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| UnIData | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| unIgnorePrettyConfig | PlutusCore.Pretty |
| UnimplementedCostingFun | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| unimplementedCostingFun | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| unInContextM | PlutusCore.Pretty |
| unIntegerCostedLiterally | PlutusCore.Evaluation.Machine.ExMemoryUsage |
| unIntercept | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| UniOf | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| union | PlutusCore.Name.UniqueSet |
| UnionValue | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| unionValue | PlutusCore.Value |
| Unique | |
| 1 (Type/Class) | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore |
| 2 (Data Constructor) | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore |
| unique | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| UniqueCoherencyErrorE | PlutusCore.Error, PlutusCore |
| UniqueError | PlutusCore.Error, PlutusCore.Check.Uniques, PlutusCore, UntypedPlutusCore.Check.Uniques |
| UniqueInfos | PlutusCore.Analysis.Definitions |
| UniqueMap | |
| 1 (Type/Class) | PlutusCore.Name.UniqueMap, PlutusCore |
| 2 (Data Constructor) | PlutusCore.Name.UniqueMap, PlutusCore |
| UniqueSet | |
| 1 (Type/Class) | PlutusCore.Name.UniqueSet, PlutusCore |
| 2 (Data Constructor) | PlutusCore.Name.UniqueSet, PlutusCore |
| unit | |
| 1 (Function) | PlutusCore.StdLib.Data.Unit |
| 2 (Function) | PlutusCore.StdLib.Data.ScottUnit |
| unitCekMachineCosts | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts, PlutusCore.Evaluation.Machine.ExBudgetingDefaults |
| unitCekParameters | PlutusCore.Evaluation.Machine.ExBudgetingDefaults |
| unitDocM | PlutusCore.Pretty |
| unitFixity | PlutusCore.Pretty |
| unitval | |
| 1 (Function) | PlutusCore.StdLib.Data.Unit |
| 2 (Function) | PlutusCore.StdLib.Data.ScottUnit |
| unK | PlutusCore.Value |
| Unknown | |
| 1 (Data Constructor) | UntypedPlutusCore.Purity |
| 2 (Data Constructor) | UntypedPlutusCore.Transform.Certify.Trace, UntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore |
| UnknownBuiltinFunction | PlutusCore.Error, PlutusCore.Parser, PlutusCore |
| UnknownBuiltinFunctionE | PlutusCore.Error |
| UnliftingError | PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin |
| UnliftingEvaluationError | PlutusCore.Builtin |
| UnliftingMachineError | PlutusCore.Evaluation.Machine.Exception |
| UnListData | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| UnMapData | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| unMlResult | PlutusCore.Crypto.BLS12_381.Pairing |
| unNameDeBruijn | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| unNameTyDeBruijn | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn |
| unNormalized | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| unNumBytesCostedAsNumWords | PlutusCore.Evaluation.Machine.ExMemoryUsage |
| unOpaque | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| unpack | PlutusCore.Value |
| unPairT | PlutusPrelude |
| unPrettyAny | PlutusPrelude |
| unQuantity | PlutusCore.Value |
| unQuoteT | PlutusCore.Quote |
| unRenamed | PlutusCore.Rename.Internal, PlutusCore.Rename |
| unRenameT | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal |
| unRenaming | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal |
| UnrestrictedProgram | |
| 1 (Type/Class) | UntypedPlutusCore.Core, UntypedPlutusCore |
| 2 (Data Constructor) | UntypedPlutusCore.Core, UntypedPlutusCore |
| unroll | PlutusCore.StdLib.Data.Function |
| UnsafeCoerce | PlutusCore.Examples.Builtins |
| unsafeCoerce | PlutusCore.Examples.Data.Function |
| UnsafeCoerceEl | PlutusCore.Examples.Builtins |
| unsafeFromEither | Data.Either.Extras |
| unsafeFromRight | PlutusPrelude |
| unsafeSplitStructuralOperational | PlutusCore.Evaluation.Machine.Exception, PlutusCore.Evaluation.Machine.Ck, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| unScopeErrorOrInfo | PlutusCore.Check.Scoping |
| unScopeInfo | PlutusCore.Check.Scoping |
| unSerialiseViaFlat | Codec.Extras.SerialiseViaFlat |
| unShowPretty | PlutusPrelude |
| unSlope | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| unSole | PlutusCore.Pretty |
| unSomeConstant | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| unSrcSpans | PlutusCore.Annotation |
| UnsupportedCaseBuiltin | PlutusCore.Error |
| unTermUnique | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| unTyName | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore |
| unTypeUnique | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| unUnique | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore |
| unUniqueMap | PlutusCore.Name.UniqueMap, PlutusCore |
| unUniqueSet | PlutusCore.Name.UniqueSet, PlutusCore |
| unUnliftingError | PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin |
| unUnliftingEvaluationError | PlutusCore.Builtin |
| unUnrestrictedProgram | UntypedPlutusCore.Core, UntypedPlutusCore |
| UnValueData | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| unValueData | PlutusCore.Value |
| unValueMaxDepth | PlutusCore.Evaluation.Machine.ExMemoryUsage |
| unValueTotalSize | PlutusCore.Evaluation.Machine.ExMemoryUsage |
| Unwrap | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| unwrap | PlutusCore.MkPlc |
| UpdateClientF | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
| UpwardsM | PlutusCore.Unroll |
| upwardsM | PlutusCore.Unroll |
| UseChoose | PlutusCore.StdLib.Data.MatchOption, PlutusCore.StdLib.Data.List |
| UTermDef | UntypedPlutusCore.MkUPlc |
| UVarDecl | |
| 1 (Type/Class) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore.MkUPlc, UntypedPlutusCore |
| 2 (Data Constructor) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore.MkUPlc, UntypedPlutusCore |
| uvarDeclAnn | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore.MkUPlc, UntypedPlutusCore |
| uvarDeclName | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore.MkUPlc, UntypedPlutusCore |
| Value | PlutusCore.Value |
| ValueContains | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| valueContains | PlutusCore.Value |
| ValueData | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| valueData | PlutusCore.Value |
| ValueMaxDepth | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.ExMemoryUsage |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.ExMemoryUsage |
| ValueOf | |
| 1 (Type/Class) | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Data Constructor) | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| ValueTotalSize | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.ExMemoryUsage |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.ExMemoryUsage |
| Var | |
| 1 (Data Constructor) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Data Constructor) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| var | PlutusCore.MkPlc |
| VarDecl | |
| 1 (Type/Class) | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug |
| 2 (Data Constructor) | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug |
| varDeclAnn | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| varDeclAstSize | PlutusCore.AstSize |
| varDeclName | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| varDeclSubtypes | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
| varDeclType | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| varType | PlutusCore.Parser |
| VarTypes | PlutusCore.TypeCheck.Internal |
| VBuiltin | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| vcatHard | Prettyprinter.Custom |
| VCon | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| VConstr | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| VDelay | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| VerifyEcdsaSecp256k1Signature | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| verifyEcdsaSecp256k1Signature | PlutusCore.Crypto.Secp256k1 |
| VerifyEd25519Signature | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| verifyEd25519Signature | PlutusCore.Crypto.Ed25519 |
| VerifySchnorrSecp256k1Signature | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| verifySchnorrSecp256k1Signature | PlutusCore.Crypto.Secp256k1 |
| Version | |
| 1 (Type/Class) | PlutusCore.Version, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| 2 (Data Constructor) | PlutusCore.Version, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| version | PlutusCore.Parser |
| versionMajor | PlutusCore.Version, PlutusCore.Core, PlutusCore.Builtin.Debug |
| versionMinor | PlutusCore.Version, PlutusCore.Core, PlutusCore.Builtin.Debug |
| versionPatch | PlutusCore.Version, PlutusCore.Core, PlutusCore.Builtin.Debug |
| view | PlutusPrelude |
| VLamAbs | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| void | PlutusPrelude |
| vTerm | |
| 1 (Function) | PlutusCore.Subst |
| 2 (Function) | UntypedPlutusCore |
| Whatever | PlutusCore.Examples.Builtins |
| whatever | PlutusCore.Examples.Builtins |
| whenVersion | PlutusCore.Parser |
| whitespace | PlutusCore.Parser |
| withApplicable | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| withDecodedUni | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| withExtendedTypeVarEnv | PlutusCore.Normalize.Internal |
| withFreshenedName | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal |
| withFreshenedTyVarDecl | PlutusCore.Rename.Internal |
| withFreshenedVarDecl | PlutusCore.Rename.Internal |
| WithInteractionInXAndY | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| withKnownKind | PlutusCore.Builtin |
| withLogs | PlutusCore.Builtin |
| withPrettyAt | PlutusCore.Pretty |
| withPrettyIn | PlutusCore.Pretty |
| withRenamedName | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal |
| withScope | PlutusCore.DeBruijn.Internal |
| withSingKind | PlutusCore.Builtin |
| withSpan | PlutusCore.Parser |
| withSpan' | PlutusCore.Parser |
| withTypeSchemeOfBuiltinFunction | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| withTyVar | PlutusCore.TypeCheck.Internal |
| withVar | PlutusCore.TypeCheck.Internal |
| withVersion | PlutusCore.Parser |
| wix | Data.List.Extras |
| Word64 | PlutusPrelude |
| Word8 | PlutusPrelude |
| WorkFree | UntypedPlutusCore.Purity |
| WorkFreedom | UntypedPlutusCore.Purity |
| WriteBits | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| writeBits | PlutusCore.Bitwise |
| writeCounter | UntypedPlutusCore.Evaluation.Machine.Cek.StepCounter |
| XorByteString | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| xorByteString | PlutusCore.Bitwise |
| Z | PlutusCore.Unroll |
| zero | PlutusCore.StdLib.Data.Nat |
| zeroQuantity | PlutusCore.Value |
| zeroT | PlutusCore.Examples.Data.Vec |
| zipCostStream | PlutusCore.Evaluation.Machine.ExBudgetStream |
| zipExact | PlutusPrelude |
| \\ | PlutusCore.Name.UniqueSet |
| ^. | PlutusPrelude |
| _appearedBindings | PlutusCore.Check.Scoping |
| _boundVariables | PlutusCore.Check.Scoping |
| _builtinCostModel | PlutusCore.Evaluation.Machine.MachineParameters |
| _cekEmitterInfoEmit | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| _cekEmitterInfoGetFinal | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| _cekReportCost | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| _cekReportLogs | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| _cekReportResult | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| _coBuiltinSemanticsVariant | PlutusCore.Compiler.Opts, PlutusCore.Compiler |
| _coSimplifyOpts | PlutusCore.Compiler.Opts, PlutusCore.Compiler |
| _disappearedBindings | PlutusCore.Check.Scoping |
| _disppearedBindings | PlutusCore.Check.Scoping |
| _duplicateBindersLeft | PlutusCore.Check.Scoping |
| _duplicateBindersRight | PlutusCore.Check.Scoping |
| _error | PlutusCore.Check.Scoping |
| _ewcCause | PlutusCore.Evaluation.ErrorWithCause, PlutusCore.Evaluation.Machine.Exception, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| _ewcError | PlutusCore.Evaluation.ErrorWithCause, PlutusCore.Evaluation.Machine.Exception, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| _exBudgetModeGetCumulative | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| _exBudgetModeGetFinal | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| _exBudgetModeSpender | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| _fixityAssociativity | PlutusCore.Pretty |
| _fixityPrecedence | PlutusCore.Pretty |
| _freeVariables | PlutusCore.Check.Scoping |
| _functionDefAnn | PlutusCore.MkPlc, PlutusCore.StdLib.Data.Function |
| _functionDefName | PlutusCore.MkPlc, PlutusCore.StdLib.Data.Function |
| _functionDefTerm | PlutusCore.MkPlc, PlutusCore.StdLib.Data.Function |
| _functionDefType | PlutusCore.MkPlc, PlutusCore.StdLib.Data.Function |
| _functionTypeAnn | PlutusCore.MkPlc |
| _functionTypeCod | PlutusCore.MkPlc |
| _functionTypeDom | PlutusCore.MkPlc |
| _iiBuiltinSemanticsVariant | UntypedPlutusCore.Transform.Inline |
| _iiHints | UntypedPlutusCore.Transform.Inline |
| _iiInlineCallsiteGrowth | UntypedPlutusCore.Transform.Inline |
| _iiInlineConstants | UntypedPlutusCore.Transform.Inline |
| _iiPreserveLogging | UntypedPlutusCore.Transform.Inline |
| _iiUsages | UntypedPlutusCore.Transform.Inline |
| _input | PlutusCore.Check.Scoping |
| _kccHandleNameMismatches | PlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore |
| _machineCostModel | PlutusCore.Evaluation.Machine.MachineParameters |
| _namedString | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| _namedValue | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| _nameText | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore |
| _nameUnique | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore |
| _newName | PlutusCore.Check.Scoping |
| _oldName | PlutusCore.Check.Scoping |
| _outOfScopeVariables | PlutusCore.Check.Scoping |
| _output | PlutusCore.Check.Scoping |
| _pccConfigName | PlutusCore.Pretty |
| _pccDisplayAnn | PlutusCore.Pretty |
| _pcnShowsUnique | PlutusCore.Pretty |
| _pcpoCondensedErrors | PlutusCore.Pretty |
| _pcpOptions | PlutusCore.Pretty |
| _pcpStrategy | PlutusCore.Pretty |
| _pcrConfigName | PlutusCore.Pretty |
| _pcrRenderContext | PlutusCore.Pretty |
| _pcrShowKinds | PlutusCore.Pretty |
| _prepared | PlutusCore.Check.Scoping |
| _progAnn | |
| 1 (Function) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Function) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| _progTerm | |
| 1 (Function) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Function) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| _progVer | |
| 1 (Function) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Function) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| _recursiveType | PlutusCore.StdLib.Type |
| _recursiveWrap | PlutusCore.StdLib.Type |
| _renderContextDirection | PlutusCore.Pretty |
| _renderContextFixity | PlutusCore.Pretty |
| _scopedRenamingTerms | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal |
| _scopedRenamingTypes | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal |
| _soApplyToCase | UntypedPlutusCore |
| _soConservativeOpts | UntypedPlutusCore |
| _soCseWhichSubterms | UntypedPlutusCore |
| _soInlineCallsiteGrowth | UntypedPlutusCore |
| _soInlineConstants | UntypedPlutusCore |
| _soInlineHints | UntypedPlutusCore |
| _soMaxCseIterations | UntypedPlutusCore |
| _soMaxSimplifierIterations | UntypedPlutusCore |
| _soPreserveLogging | UntypedPlutusCore |
| _subst | UntypedPlutusCore.Transform.Inline |
| _tccBuiltinTypes | PlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore |
| _tccKindCheckConfig | PlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore |
| _tceTypeCheckConfig | PlutusCore.TypeCheck.Internal |
| _tceTyVarKinds | PlutusCore.TypeCheck.Internal |
| _tceVarTypes | PlutusCore.TypeCheck.Internal |
| _termEnv | UntypedPlutusCore.Transform.Inline |
| _tupleElementTypes | PlutusCore.StdLib.Meta.Data.Tuple |
| _tupleTerm | PlutusCore.StdLib.Meta.Data.Tuple |
| _tyDeclAnn | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug |
| _tyDeclKind | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug |
| _tyDeclType | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug |
| _tyVarDeclAnn | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug |
| _tyVarDeclKind | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug |
| _tyVarDeclName | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug |
| _unTermEnv | UntypedPlutusCore.Transform.Inline |
| _uvarDeclAnn | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore.MkUPlc, UntypedPlutusCore |
| _uvarDeclName | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore.MkUPlc, UntypedPlutusCore |
| _varDeclAnn | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug |
| _varDeclName | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug |
| _varDeclType | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug |
| _vars | UntypedPlutusCore.Transform.Inline |
| _versionMajor | PlutusCore.Version, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| _versionMinor | PlutusCore.Version, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| _versionPatch | PlutusCore.Version, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |