| $> | 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 |
| addSrcSpan | PlutusCore.Annotation |
| addUsage | PlutusCore.Analysis.Definitions |
| 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 |
| annMayInline | PlutusCore.Annotation |
| annSrcSpans | PlutusCore.Annotation |
| AnyToDoc | PlutusCore.Pretty |
| 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 |
| Arity | PlutusCore.Arity |
| arrowFixity | PlutusCore.Pretty |
| AsBuiltinError | PlutusCore.Builtin |
| AsBuiltinResult | PlutusCore.Builtin |
| asConstant | PlutusCore.Builtin |
| AsError | PlutusCore.Error, PlutusCore |
| AsEvaluationError | PlutusCore.Evaluation.Error, PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin |
| AsEvaluationFailure | PlutusCore.Evaluation.Result |
| AsFreeVariableError | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore.Error, PlutusCore, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| asksM | PlutusPrelude |
| AsMachineError | PlutusCore.Evaluation.Machine.Exception |
| AsNormCheckError | PlutusCore.Error, PlutusCore |
| AsParserErrorBundle | PlutusCore.Error |
| AsReadable | |
| 1 (Type/Class) | PlutusCore.Pretty |
| 2 (Data Constructor) | PlutusCore.Pretty |
| Associativity | PlutusCore.Pretty |
| AsTypeError | PlutusCore.Error, PlutusCore |
| AsUniqueError | PlutusCore.Error, PlutusCore.Check.Uniques, PlutusCore, UntypedPlutusCore.Check.Uniques |
| AsUnliftingError | PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin |
| AsUnliftingEvaluationError | PlutusCore.Builtin |
| 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 |
| 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_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_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 |
| 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 |
| 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 |
| caseData | PlutusCore.StdLib.Data.Data |
| caseList | PlutusCore.StdLib.Data.List |
| caseOfCase | UntypedPlutusCore.Transform.CaseOfCase |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| defKindCheckConfig | PlutusCore.TypeCheck, PlutusCore |
| defVal | PlutusCore.MkPlc, UntypedPlutusCore.MkUPlc |
| defVar | PlutusCore.MkPlc, UntypedPlutusCore.MkUPlc |
| Delay | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| Delete | PlutusCore.Builtin |
| 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 |
| display | PlutusPrelude, PlutusCore.Pretty |
| displayBy | PlutusCore.Pretty |
| displayM | PlutusCore.Pretty |
| displayPlc | PlutusCore.Pretty |
| displayPlcCondensedErrorClassic | PlutusCore.Pretty |
| displayPlcSimple | PlutusCore.Pretty |
| distinct | PlutusPrelude |
| DivideInteger | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| Doc | PlutusPrelude, PlutusCore.Pretty |
| DriverLogF | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
| 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 |
| 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 |
| 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 | PlutusPrelude |
| 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 |
| evalCompile | PlutusCore.Compiler |
| EvalOrder | UntypedPlutusCore.Purity |
| 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 |
| evaluationFailure | PlutusCore.Evaluation.Result |
| 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 |
| ExCPU | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.ExMemory |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.ExMemory |
| 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 |
| 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 |
| 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 (Data Constructor) | PlutusCore.Pretty |
| 2 (Type/Class) | 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 |
| 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 |
| forestCons | PlutusCore.Examples.Data.TreeForest |
| forestData | PlutusCore.Examples.Data.TreeForest |
| forestNil | PlutusCore.Examples.Data.TreeForest |
| for_ | PlutusPrelude |
| FrameAwaitArg | |
| 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 |
| FrameAwaitFunValue | |
| 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 |
| 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 |
| fromSatInt | Data.SatInt |
| unScopeErrorOrInfo | PlutusCore.Check.Scoping |
| unScopeInfo | PlutusCore.Check.Scoping |
| unSerialiseViaFlat | Codec.Extras.SerialiseViaFlat |
| unShowPretty | PlutusPrelude |
| unSize | PlutusCore.Size, UntypedPlutusCore.Size, UntypedPlutusCore |
| unSlope | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| unSole | PlutusCore.Pretty |
| unSomeConstant | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| unSrcSpans | PlutusCore.Annotation |
| 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 |
| Unwrap | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| unwrap | PlutusCore.MkPlc |
| UpdateClientF | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
| UPLCSimplifierTrace | |
| 1 (Type/Class) | PlutusCore.Compiler.Types |
| 2 (Data Constructor) | PlutusCore.Compiler.Types |
| uplcSimplifierTrace | PlutusCore.Compiler.Types |
| 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 |
| ValueOf | |
| 1 (Type/Class) | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Data Constructor) | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| 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 |
| varDeclName | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| varDeclSize | PlutusCore.Size |
| 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_V1 | PlutusCore.Crypto.Ed25519 |
| verifyEd25519Signature_V2 | 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 |
| 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 |
| 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 |
| 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 |
| zero | PlutusCore.StdLib.Data.Nat |
| zeroT | PlutusCore.Examples.Data.Vec |
| zipCostStream | PlutusCore.Evaluation.Machine.ExBudgetStream |
| zipExact | PlutusPrelude |
| \\ | PlutusCore.Name.UniqueSet |
| ^. | PlutusPrelude |
| _appearedBindings | PlutusCore.Check.Scoping |
| _BadTerm | PlutusCore.Error, PlutusCore |
| _BadType | PlutusCore.Error, PlutusCore |
| _boundVariables | PlutusCore.Check.Scoping |
| _builtinCostModel | PlutusCore.Evaluation.Machine.MachineParameters |
| _BuiltinError | PlutusCore.Builtin |
| _BuiltinEvaluationFailure | PlutusCore.Builtin |
| _BuiltinFailure | PlutusCore.Builtin |
| _BuiltinResult | PlutusCore.Builtin |
| _BuiltinSuccess | PlutusCore.Builtin |
| _BuiltinSuccessWithLogs | PlutusCore.Builtin |
| _BuiltinTermArgumentExpectedMachineError | PlutusCore.Evaluation.Machine.Exception |
| _BuiltinUnliftingEvaluationError | PlutusCore.Builtin |
| _cekEmitterInfoEmit | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| _cekEmitterInfoGetFinal | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, 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.Error, PlutusCore |
| _error | PlutusCore.Check.Scoping |
| _EvaluationError | PlutusCore.Evaluation.Error, PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin |
| _EvaluationFailure | PlutusCore.Evaluation.Result |
| _EvaluationFailureVia | PlutusCore.Evaluation.Result |
| _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 |
| _FreeIndex | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore.Error, PlutusCore, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| _FreeTypeVariableE | PlutusCore.Error, PlutusCore |
| _FreeUnique | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore.Error, PlutusCore, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| _FreeVariable | PlutusCore.Error, PlutusCore.Check.Uniques, PlutusCore, UntypedPlutusCore.Check.Uniques |
| _FreeVariableE | PlutusCore.Error, PlutusCore |
| _FreeVariableError | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore.Error, PlutusCore, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| _FreeVariableErrorE | PlutusCore.Error, PlutusCore |
| _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 |
| _IncoherentUsage | PlutusCore.Error, PlutusCore.Check.Uniques, PlutusCore, UntypedPlutusCore.Check.Uniques |
| _input | PlutusCore.Check.Scoping |
| _kccHandleNameMismatches | PlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore |
| _KindMismatch | PlutusCore.Error, PlutusCore |
| _machineCostModel | PlutusCore.Evaluation.Machine.MachineParameters |
| _MachineError | PlutusCore.Evaluation.Machine.Exception |
| _MissingCaseBranch | PlutusCore.Evaluation.Machine.Exception |
| _MkUnliftingError | PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin |
| _MkUnliftingEvaluationError | PlutusCore.Builtin |
| _MultiplyDefined | PlutusCore.Error, PlutusCore.Check.Uniques, PlutusCore, UntypedPlutusCore.Check.Uniques |
| _namedString | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| _namedValue | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| _NameMismatch | PlutusCore.Error, PlutusCore |
| _nameText | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore |
| _nameUnique | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore |
| _newName | PlutusCore.Check.Scoping |
| _NonConstrScrutinized | PlutusCore.Evaluation.Machine.Exception |
| _NonFunctionalApplicationMachineError | PlutusCore.Evaluation.Machine.Exception |
| _NonPolymorphicInstantiationMachineError | PlutusCore.Evaluation.Machine.Exception |
| _NonWrapUnwrappedMachineError | PlutusCore.Evaluation.Machine.Exception |
| _NormCheckError | PlutusCore.Error, PlutusCore |
| _NormCheckErrorE | PlutusCore.Error, PlutusCore |
| _oldName | PlutusCore.Check.Scoping |
| _OpenTermEvaluatedMachineError | PlutusCore.Evaluation.Machine.Exception |
| _OperationalEvaluationError | PlutusCore.Evaluation.Error, PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin |
| _OperationalUnliftingError | PlutusCore.Builtin |
| _outOfScopeVariables | PlutusCore.Check.Scoping |
| _output | PlutusCore.Check.Scoping |
| _ParseErrorB | PlutusCore.Error |
| _ParseErrorE | PlutusCore.Error, PlutusCore |
| _ParserErrorBundle | PlutusCore.Error |
| _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 |
| _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 |
| _scopedRenamingTypes | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal |
| _soConservativeOpts | UntypedPlutusCore |
| _soInlineConstants | UntypedPlutusCore |
| _soInlineHints | UntypedPlutusCore |
| _soMaxCseIterations | UntypedPlutusCore |
| _soMaxSimplifierIterations | UntypedPlutusCore |
| _StructuralEvaluationError | PlutusCore.Evaluation.Error, PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin |
| _StructuralUnliftingError | PlutusCore.Builtin |
| _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 |
| _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 |
| _TyNameMismatch | PlutusCore.Error, PlutusCore |
| _TypeError | PlutusCore.Error, PlutusCore |
| _TypeErrorE | PlutusCore.Error, PlutusCore |
| _TypeMismatch | PlutusCore.Error, PlutusCore |
| _tyVarDeclAnn | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug |
| _tyVarDeclKind | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug |
| _tyVarDeclName | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug |
| _UnexpectedBuiltinTermArgumentMachineError | PlutusCore.Evaluation.Machine.Exception |
| _UniqueCoherencyErrorE | PlutusCore.Error, PlutusCore |
| _UniqueError | PlutusCore.Error, PlutusCore.Check.Uniques, PlutusCore, UntypedPlutusCore.Check.Uniques |
| _UnknownBuiltinFunctionE | PlutusCore.Error, PlutusCore |
| _UnliftingError | PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin |
| _UnliftingErrorVia | PlutusCore.Builtin |
| _UnliftingEvaluationError | PlutusCore.Builtin |
| _UnliftingMachineError | PlutusCore.Evaluation.Machine.Exception |
| _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 |
| _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 |