| #. | 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.Simplifier, UntypedPlutusCore |
| AllBuiltinArgs | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| AllElaboratedArgs | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| allSame | PlutusPrelude |
| 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 |
| 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 |
| 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.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 |
| 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.Simplifier, UntypedPlutusCore |
| caseOfCase | UntypedPlutusCore.Transform.CaseOfCase |
| CaserBuiltin | |
| 1 (Type/Class) | PlutusCore.Builtin |
| 2 (Data Constructor) | PlutusCore.Builtin |
| CaseReduce | 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 |
| 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 |
| coeff01_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| coeff02_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| coeff0_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| coeff10_ | 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.Simplifier, UntypedPlutusCore |
| cse | UntypedPlutusCore.Transform.Cse |
| currentLevel | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| cutoff | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
| Data | PlutusCore.Data |
| dataTy | PlutusCore.StdLib.Data.Data |
| dbnIndex | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| 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 |
| 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 |
| 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 |
| 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, Data.SatInt |
| 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 |
| unValueLogOuterSizeAddLogMaxInnerSize | 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 |
| ValueLogOuterSizeAddLogMaxInnerSize | |
| 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 |
| 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 |
| 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 |
| _soConservativeOpts | 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 |