| $> | PlutusPrelude |
| %~ | PlutusPrelude |
| & | PlutusPrelude |
| &&& | PlutusPrelude |
| .* | PlutusPrelude |
| .~ | PlutusPrelude |
| :| | PlutusPrelude |
| :~: | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| <&> | PlutusPrelude |
| <: | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| <<$>> | PlutusPrelude |
| <<*>> | PlutusPrelude |
| <=< | PlutusPrelude |
| <|> | PlutusPrelude |
| >=> | PlutusPrelude |
| ? | PlutusPrelude |
| Absurd | PlutusCore.Examples.Builtins |
| AddInteger | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| AllowEscape | PlutusIR.Compiler |
| Alternative | PlutusPrelude |
| annotateWithRetainedSize | PlutusIR.Analysis.RetainedSize |
| AppearedBindings | PlutusCore.Check.Scoping |
| AppearedVariables | PlutusCore.Check.Scoping |
| AppendByteString | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| AppendString | 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 |
| 3 (Data Constructor) | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| apply | PlutusCore.MkPlc, PlutusIR.MkPir |
| applyCostModelParams | PlutusCore.Evaluation.Machine.CostModelInterface |
| applyDisappears | PlutusCore.Check.Scoping |
| ApplyF | |
| 1 (Data Constructor) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Data Constructor) | UntypedPlutusCore.Core, UntypedPlutusCore |
| applyFun | PlutusCore.StdLib.Data.Function |
| applyNameAction | PlutusCore.Check.Scoping |
| applyProgram | |
| 1 (Function) | PlutusCore |
| 2 (Function) | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| 3 (Function) | UntypedPlutusCore |
| applyStays | PlutusCore.Check.Scoping |
| argProxy | PlutusCore.Builtin |
| asConstant | PlutusCore.Builtin |
| AsError | |
| 1 (Type/Class) | PlutusCore.Error, PlutusCore |
| 2 (Type/Class) | PlutusIR.Error, PlutusIR.Compiler |
| AsEvaluationError | PlutusCore.Evaluation.Machine.Exception |
| AsEvaluationFailure | PlutusCore.Evaluation.Result |
| AsFreeVariableError | PlutusCore.DeBruijn, PlutusCore.Error, UntypedPlutusCore.DeBruijn, PlutusCore, UntypedPlutusCore |
| asksM | PlutusPrelude |
| AsMachineError | PlutusCore.Evaluation.Machine.Exception |
| AsNormCheckError | PlutusCore.Error, PlutusCore |
| AsParseError | PlutusCore.Error |
| AsSerialize | |
| 1 (Type/Class) | PlutusCore.Flat |
| 2 (Data Constructor) | PlutusCore.Flat |
| AsTypeError | PlutusCore.Error, PlutusCore, PlutusIR.Error, PlutusIR.Compiler |
| AsTypeErrorExt | PlutusIR.Error, PlutusIR.Compiler |
| AsUniqueError | PlutusCore.Error, PlutusCore.Check.Uniques, UntypedPlutusCore.Check.Uniques, PlutusCore |
| AsUnliftingError | PlutusCore.Evaluation.Machine.Exception |
| AttachPrettyConfig | |
| 1 (Type/Class) | PlutusCore.Pretty |
| 2 (Data Constructor) | PlutusCore.Pretty |
| B | PlutusCore.Data |
| backupBenchingResultsFile | PlutusCore.DataFilePaths |
| BadTerm | PlutusCore.Error, PlutusCore.Check.Normal, PlutusCore |
| BadType | PlutusCore.Error, PlutusCore.Check.Normal, PlutusCore |
| BApply | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek |
| BBuiltin | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek |
| BBuiltinApp | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek |
| BConst | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek |
| BData | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| BDelay | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek |
| benchingResultsFile | PlutusCore.DataFilePaths |
| beta | PlutusIR.Transform.Beta |
| BForce | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek |
| 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 |
| bindFun | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| bindFunM | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| Binding | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| bindingIds | PlutusIR.Core.Plated, PlutusIR.Core, PlutusIR |
| bindingNames | PlutusIR.Core.Plated, PlutusIR.Core |
| bindingSubkinds | PlutusIR.Core.Plated, PlutusIR.Core |
| bindingSubstNames | PlutusIR.Transform.Substitute |
| bindingSubstTyNames | PlutusIR.Transform.Substitute |
| bindingSubterms | PlutusIR.Core.Plated, PlutusIR.Core, PlutusIR |
| bindingSubtypes | PlutusIR.Core.Plated, PlutusIR.Core, PlutusIR |
| bindingTyNames | PlutusIR.Core.Plated, PlutusIR.Core |
| bindTuple | PlutusCore.StdLib.Meta.Data.Tuple |
| Blake2b_256 | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| blake2b_256 | Data.ByteString.Hash |
| BLamAbs | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek |
| bool | |
| 1 (Function) | PlutusPrelude |
| 2 (Function) | PlutusCore.StdLib.Data.Bool |
| botPrettyConfigReadable | PlutusCore.Pretty |
| braces' | Prettyprinter.Custom |
| brackets' | Prettyprinter.Custom |
| bring | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| BStartup | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek |
| BStep | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek |
| Builtin | |
| 1 (Data Constructor) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Data Constructor) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| 3 (Data Constructor) | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| builtin | PlutusCore.MkPlc, PlutusIR.MkPir |
| 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 |
| builtinCostModelFile | PlutusCore.DataFilePaths |
| BuiltinErrorCall | |
| 1 (Type/Class) | PlutusCore.Examples.Builtins |
| 2 (Data Constructor) | PlutusCore.Examples.Builtins |
| BuiltinF | |
| 1 (Data Constructor) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Data Constructor) | UntypedPlutusCore.Core, UntypedPlutusCore |
| BuiltinMeaning | |
| 1 (Type/Class) | PlutusCore.Builtin |
| 2 (Data Constructor) | PlutusCore.Builtin |
| builtinMeaningsToTypes | PlutusCore |
| BuiltinRuntime | |
| 1 (Type/Class) | PlutusCore.Builtin |
| 2 (Data Constructor) | PlutusCore.Builtin |
| BuiltinRuntimeOptions | |
| 1 (Type/Class) | PlutusCore.Builtin |
| 2 (Data Constructor) | PlutusCore.Builtin |
| builtins | PlutusCore.Examples.Everything |
| BuiltinsRuntime | |
| 1 (Type/Class) | PlutusCore.Builtin |
| 2 (Data Constructor) | PlutusCore.Builtin |
| builtinsRuntime | PlutusCore.Evaluation.Machine.MachineParameters |
| builtinTagWidth | PlutusCore.Default, PlutusCore.Builtin.Debug |
| BuiltinTermArgumentExpectedMachineError | PlutusCore.Evaluation.Machine.Exception |
| BuiltinTypeNotAStar | PlutusCore.Error, PlutusCore.Parser, PlutusCore |
| BuiltinTypes | |
| 1 (Type/Class) | PlutusCore, PlutusIR.TypeCheck |
| 2 (Data Constructor) | PlutusCore, PlutusIR.TypeCheck |
| BVar | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek |
| caseData | PlutusCore.StdLib.Data.Data |
| caseList | PlutusCore.StdLib.Data.List |
| ccEnclosing | PlutusIR.Compiler |
| ccOpts | PlutusIR.Compiler |
| ccTypeCheckConfig | PlutusIR.Compiler |
| cekApplyCost | PlutusCore |
| CekBudgetSpender | |
| 1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek |
| 2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek |
| cekBuiltinCost | PlutusCore |
| cekConstCost | PlutusCore |
| cekDelayCost | PlutusCore |
| CekEmitter | UntypedPlutusCore.Evaluation.Machine.Cek.Internal |
| CekEmitterInfo | |
| 1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal |
| 2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal |
| CekEvaluationException | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek |
| CekEvaluationFailure | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek |
| CekExTally | |
| 1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek |
| 2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek |
| cekForceCost | PlutusCore |
| cekLamCost | PlutusCore |
| CekM | |
| 1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal |
| 2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal |
| CekMachineCosts | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.CostModelInterface, UntypedPlutusCore.Evaluation.Machine.Cek, PlutusCore |
| 2 (Data Constructor) | PlutusCore |
| cekMachineCostsFile | PlutusCore.DataFilePaths |
| cekMachineCostsPrefix | PlutusCore |
| CekOutOfExError | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek |
| cekStartupCost | PlutusCore |
| CekUserError | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek |
| CekValue | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek |
| cekVarCost | PlutusCore |
| checkEmpty | PlutusCore.Check.Scoping |
| checkKind | PlutusCore |
| checkProgram | |
| 1 (Function) | PlutusCore.Check.Normal |
| 2 (Function) | PlutusCore.Check.Uniques |
| 3 (Function) | UntypedPlutusCore.Check.Uniques |
| checkRespectsScoping | PlutusCore.Check.Scoping |
| checkScope | UntypedPlutusCore.Check.Scope |
| checkScopeInfo | PlutusCore.Check.Scoping |
| checkStar | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| checkTerm | |
| 1 (Function) | PlutusCore.Check.Normal |
| 2 (Function) | PlutusCore.Check.Uniques |
| 3 (Function) | UntypedPlutusCore.Check.Uniques |
| checkType | |
| 1 (Function) | PlutusCore.Check.Uniques |
| 2 (Function) | PlutusCore |
| 3 (Function) | PlutusIR.TypeCheck |
| checkTypeOfProgram | |
| 1 (Function) | PlutusCore |
| 2 (Function) | PlutusIR.TypeCheck |
| ChooseData | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| ChooseList | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| ChooseUnit | 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 |
| CMInternalReadError | PlutusCore.Evaluation.Machine.CostModelInterface |
| CMInternalWriteError | PlutusCore.Evaluation.Machine.CostModelInterface |
| CMUnknownParamError | PlutusCore.Evaluation.Machine.CostModelInterface |
| coDebug | PlutusIR.Compiler |
| coDoSimplifierBeta | PlutusIR.Compiler |
| coDoSimplifierInline | PlutusIR.Compiler |
| coDoSimplifierUnwrapCancel | PlutusIR.Compiler |
| coerce | PlutusPrelude |
| Coercible | PlutusPrelude |
| coInlineHints | PlutusIR.Compiler |
| CollectScopeInfo | PlutusCore.Check.Scoping |
| collectScopeInfo | PlutusCore.Check.Scoping |
| coMaxSimplifierIterations | PlutusIR.Compiler |
| Comma | PlutusCore.Examples.Builtins |
| CompilationCtx | PlutusIR.Compiler |
| CompilationError | PlutusIR.Error, PlutusIR.Compiler |
| CompilationOpts | PlutusIR.Compiler |
| compileNonStrictBindings | PlutusIR.Transform.NonStrict |
| compileReadableToPlc | PlutusIR.Compiler |
| compileTerm | PlutusIR.Compiler |
| compileToReadable | PlutusIR.Compiler |
| Compiling | PlutusIR.Compiler |
| CondensedErrors | PlutusCore.Pretty |
| CondensedErrorsNo | PlutusCore.Pretty |
| CondensedErrorsYes | PlutusCore.Pretty |
| cons | PlutusCore.StdLib.Data.ScottList |
| consAnnIf | PlutusCore.Pretty |
| ConsByteString | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| Const | PlutusCore.Examples.Builtins |
| const | PlutusCore.StdLib.Data.Function |
| Constant | |
| 1 (Data Constructor) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Data Constructor) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| 3 (Data Constructor) | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| constant | PlutusCore.MkPlc, PlutusIR.MkPir |
| ConstantF | |
| 1 (Data Constructor) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Data Constructor) | UntypedPlutusCore.Core, UntypedPlutusCore |
| ConstConfig | |
| 1 (Type/Class) | PlutusCore.Pretty |
| 2 (Data Constructor) | PlutusCore.Pretty |
| constPartial | PlutusCore.StdLib.Meta.Data.Function |
| Constr | PlutusCore.Data |
| ConstrData | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| Constructor | PlutusIR.Compiler |
| ConstructorType | PlutusIR.Compiler |
| Contains | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| coOptimize | PlutusIR.Compiler |
| coPedantic | PlutusIR.Compiler |
| coProfile | PlutusIR.Compiler |
| CostingFun | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| costingFunCpu | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| costingFunMemory | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| CostingInteger | PlutusCore.Evaluation.Machine.ExMemory |
| CostingPart | PlutusCore.Builtin, PlutusCore.Builtin |
| CostModel | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.MachineParameters |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.MachineParameters |
| CostModelApplyError | PlutusCore.Evaluation.Machine.CostModelInterface |
| costModelDataDir | PlutusCore.DataFilePaths |
| CostModelParams | PlutusCore.Evaluation.Machine.CostModelInterface |
| counting | UntypedPlutusCore.Evaluation.Machine.Cek |
| CountingSt | |
| 1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek |
| 2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek |
| coVerbose | PlutusIR.Compiler |
| Data | PlutusCore.Data |
| dataTy | PlutusCore.StdLib.Data.Data |
| Datatype | |
| 1 (Type/Class) | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| 2 (Data Constructor) | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| DatatypeBind | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| DatatypeComponent | |
| 1 (Type/Class) | PlutusIR.Compiler |
| 2 (Data Constructor) | PlutusIR.Compiler |
| DatatypeDef | PlutusIR.MkPir |
| datatypeNameString | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| datatypeSubkinds | PlutusIR.Core.Plated, PlutusIR.Core |
| datatypeSubtypes | PlutusIR.Core.Plated, PlutusIR.Core, PlutusIR |
| DatatypeType | PlutusIR.Compiler |
| dbnIndex | PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, PlutusCore, UntypedPlutusCore |
| DeBruijn | |
| 1 (Type/Class) | PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, PlutusCore, UntypedPlutusCore |
| 2 (Data Constructor) | PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, PlutusCore, UntypedPlutusCore |
| deBruijnInitIndex | 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 |
| deBruijnTy | PlutusCore.DeBruijn |
| deBruijnTyWith | PlutusCore.DeBruijn |
| debugPrettyConfigName | PlutusCore.Pretty |
| debugPrettyConfigPlcClassic | PlutusCore.Pretty |
| debugPrettyConfigPlcReadable | PlutusCore.Pretty |
| decodeBuiltin | 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, PlutusCore.Builtin.Debug, PlutusCore |
| Def | |
| 1 (Type/Class) | PlutusCore.MkPlc, PlutusIR.MkPir, UntypedPlutusCore.MkUPlc |
| 2 (Data Constructor) | PlutusCore.MkPlc, PlutusIR.MkPir, UntypedPlutusCore.MkUPlc |
| defaultBuiltinCostModel | PlutusCore.Evaluation.Machine.ExBudgetingDefaults, PlutusCore |
| defaultBuiltinsRuntime | PlutusCore.Evaluation.Machine.ExBudgetingDefaults, PlutusCore |
| defaultCekCostModel | PlutusCore.Evaluation.Machine.ExBudgetingDefaults, PlutusCore |
| defaultCekMachineCosts | PlutusCore.Evaluation.Machine.ExBudgetingDefaults, PlutusCore |
| defaultCekParameters | PlutusCore.Evaluation.Machine.ExBudgetingDefaults, PlutusCore |
| defaultCompilationOpts | PlutusIR.Compiler |
| defaultCostModelParams | PlutusCore.Evaluation.Machine.ExBudgetingDefaults, PlutusCore |
| DefaultFun | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore |
| defaultSimplifyOpts | UntypedPlutusCore |
| DefaultUni | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore |
| DefaultUniApply | 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 |
| defaultUnliftingMode | PlutusCore.Evaluation.Machine.ExBudgetingDefaults, PlutusCore |
| defaultVersion | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| defBuiltinsRuntimeExt | PlutusCore.Examples.Builtins |
| defineDatatype | PlutusIR.Compiler.Definitions |
| defineTerm | PlutusIR.Compiler.Definitions |
| defineType | PlutusIR.Compiler.Definitions |
| defPrettyConfigName | PlutusCore.Pretty |
| defPrettyConfigPlcClassic | PlutusCore.Pretty |
| defPrettyConfigPlcOptions | PlutusCore.Pretty |
| defPrettyConfigPlcReadable | PlutusCore.Pretty |
| DefT | PlutusIR.Compiler.Definitions |
| defVal | PlutusCore.MkPlc, PlutusIR.MkPir, UntypedPlutusCore.MkUPlc |
| defVar | PlutusCore.MkPlc, PlutusIR.MkPir, UntypedPlutusCore.MkUPlc |
| Delay | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| DelayF | UntypedPlutusCore.Core, UntypedPlutusCore |
| demoteKind | PlutusCore.Builtin |
| deriveGCompare | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug |
| deriveGEq | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| Destructor | PlutusIR.Compiler |
| DestructorType | PlutusIR.Compiler |
| DisappearedBindings | 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 |
| display | PlutusPrelude, PlutusCore.Pretty |
| displayBy | PlutusCore.Pretty |
| displayPlcCondensedErrorClassic | PlutusCore.Pretty |
| displayPlcDebug | PlutusCore.Pretty |
| displayPlcDef | PlutusCore.Pretty |
| DivideInteger | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| Doc | PlutusPrelude, PlutusCore.Pretty |
| Dupable | PlutusCore.Rename |
| DuplicateBindersInTheInput | PlutusCore.Check.Scoping |
| DuplicateBindersInTheOutput | PlutusCore.Check.Scoping |
| elaborateDebug | PlutusCore.Builtin.Debug |
| ElaborateFromTo | PlutusCore.Builtin.Elaborate, PlutusCore.Builtin.Debug |
| embed | PlutusCore.MkPlc, PlutusIR.MkPir |
| emit | PlutusCore.Builtin.Emitter, PlutusCore.Builtin |
| Emitter | |
| 1 (Type/Class) | PlutusCore.Builtin.Emitter, PlutusCore.Builtin |
| 2 (Data Constructor) | PlutusCore.Builtin.Emitter, PlutusCore.Builtin |
| EmitterMode | |
| 1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal |
| 2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal |
| empty | PlutusPrelude |
| EmptyBuiltinArityMachineError | PlutusCore.Evaluation.Machine.Exception |
| emptyScopeInfo | PlutusCore.Check.Scoping |
| encodeBuiltin | PlutusCore.Default, PlutusCore.Builtin.Debug |
| encodeTerm | UntypedPlutusCore.Core, UntypedPlutusCore |
| encodeTermTag | UntypedPlutusCore.Core, UntypedPlutusCore |
| encodeUni | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| EncodeUtf8 | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| enormousBudget | PlutusCore.Evaluation.Machine.ExBudget, UntypedPlutusCore.Evaluation.Machine.Cek |
| ensure | PlutusPrelude |
| enumeration | PlutusPrelude |
| enumFromTo | PlutusCore.StdLib.Data.ScottList |
| EqualsByteString | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| EqualsData | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| EqualsInteger | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| EqualsString | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| erase | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| eraseProgram | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| 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 |
| 4 (Data Constructor) | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| 5 (Type/Class) | PlutusIR.Error, PlutusIR.Compiler |
| error | PlutusCore.MkPlc, PlutusIR.MkPir |
| ErrorCode | |
| 1 (Type/Class) | ErrorCode |
| 2 (Data Constructor) | ErrorCode |
| errorCode | ErrorCode |
| ErrorF | |
| 1 (Data Constructor) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Data Constructor) | UntypedPlutusCore.Core, UntypedPlutusCore |
| ErrorPrime | PlutusCore.Examples.Builtins |
| ErrorWithCause | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.Exception, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.Exception, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek |
| Esc | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| EstablishScoping | PlutusCore.Check.Scoping |
| establishScoping | PlutusCore.Check.Scoping |
| establishScopingBinder | PlutusCore.Check.Scoping |
| establishScopingBinding | PlutusIR.Core.Instance.Scoping |
| establishScopingBindings | PlutusIR.Core.Instance.Scoping |
| establishScopingConstrs | PlutusIR.Core.Instance.Scoping |
| establishScopingConstrTy | PlutusIR.Core.Instance.Scoping |
| establishScopingParams | PlutusIR.Core.Instance.Scoping |
| etaExpand | PlutusCore.StdLib.Meta.Data.Function |
| evaluateCek | UntypedPlutusCore.Evaluation.Machine.Cek |
| evaluateCekNoEmit | UntypedPlutusCore.Evaluation.Machine.Cek |
| evaluateCk | PlutusCore.Evaluation.Machine.Ck |
| evaluateCkNoEmit | PlutusCore.Evaluation.Machine.Ck |
| EvaluationError | PlutusCore.Evaluation.Machine.Exception, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek |
| EvaluationException | PlutusCore.Evaluation.Machine.Exception |
| EvaluationFailure | PlutusCore.Evaluation.Result, PlutusCore.Evaluation.Machine.Ck, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, PlutusCore |
| evaluationFailure | PlutusCore.Evaluation.Result |
| EvaluationResult | PlutusCore.Evaluation.Result, PlutusCore.Evaluation.Machine.Ck, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, PlutusCore |
| EvaluationSuccess | PlutusCore.Evaluation.Result, PlutusCore.Evaluation.Machine.Ck, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, PlutusCore |
| Everywhere | Universe, Universe, PlutusCore.Default, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore.Builtin.Debug, PlutusCore |
| EverywhereAll | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| 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 |
| exBudgetCPU | PlutusCore.Evaluation.Machine.ExBudget |
| ExBudgetInfo | |
| 1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal |
| 2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal |
| exBudgetMemory | PlutusCore.Evaluation.Machine.ExBudget |
| ExBudgetMode | |
| 1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek |
| 2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek |
| 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.ExMemory |
| ExpensivePlus | PlutusCore.Examples.Builtins |
| ExpensiveSucc | PlutusCore.Examples.Builtins |
| ExRestrictingBudget | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.ExBudget |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.ExBudget |
| ExtensionFun | PlutusCore.Examples.Builtins |
| extractCostModelParams | PlutusCore.Evaluation.Machine.CostModelInterface |
| extractEvaluationResult | PlutusCore.Evaluation.Machine.Exception, PlutusCore.Evaluation.Machine.Ck, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek |
| Factorial | PlutusCore.Examples.Builtins |
| FailingPlus | PlutusCore.Examples.Builtins |
| FailingSucc | PlutusCore.Examples.Builtins |
| FakeNamedDeBruijn | |
| 1 (Type/Class) | PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| 2 (Data Constructor) | PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| fakeNameDeBruijn | PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| false | PlutusCore.StdLib.Data.Bool |
| first | PlutusPrelude |
| fix | PlutusCore.StdLib.Data.Function |
| fixAndType | PlutusCore.StdLib.Data.Function |
| fixBy | PlutusCore.StdLib.Data.Function |
| fixByAndType | PlutusCore.StdLib.Data.Function |
| fixN | PlutusCore.StdLib.Data.Function |
| fixNAndType | PlutusCore.StdLib.Data.Function |
| floatTerm | PlutusIR.Transform.LetFloat |
| fold | PlutusPrelude |
| FoldArgs | PlutusCore.Builtin |
| 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 |
| Force | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| ForceF | UntypedPlutusCore.Core, UntypedPlutusCore |
| forestCons | PlutusCore.Examples.Data.TreeForest |
| forestData | PlutusCore.Examples.Data.TreeForest |
| forestNil | PlutusCore.Examples.Data.TreeForest |
| format | PlutusCore |
| FreeIndex | PlutusCore.DeBruijn, PlutusCore.Error, UntypedPlutusCore.DeBruijn, PlutusCore, UntypedPlutusCore |
| freeIndexAsConsistentLevel | PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| FreeTypeVariableE | PlutusCore.Error |
| FreeUnique | PlutusCore.DeBruijn, PlutusCore.Error, UntypedPlutusCore.DeBruijn, PlutusCore, UntypedPlutusCore |
| FreeVariable | PlutusCore.Error, PlutusCore.Check.Uniques, UntypedPlutusCore.Check.Uniques, PlutusCore |
| FreeVariableE | PlutusCore.Error |
| FreeVariableError | PlutusCore.DeBruijn, PlutusCore.Error, UntypedPlutusCore.DeBruijn, PlutusCore, 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 |
| fromBuiltinRuntimeOptions | PlutusCore.Builtin |
| fromConstant | PlutusCore.Builtin |
| fromFake | PlutusCore.DeBruijn |
| fromFoldable | PlutusCore.Name, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| fromMaybe | PlutusPrelude |
| fromNames | PlutusCore.Name, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| fromRight | PlutusPrelude |
| fromUniques | PlutusCore.Name, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| FsFile | PlutusCore.FsTree |
| FsFolder | PlutusCore.FsTree |
| FstPair | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| fstPair | PlutusCore.StdLib.Data.Pair |
| FsTree | PlutusCore.FsTree |
| ftvBinding | PlutusIR.Subst |
| ftvTerm | |
| 1 (Function) | PlutusCore.Subst |
| 2 (Function) | PlutusIR.Subst |
| ftvTy | PlutusCore.Subst, PlutusIR.Subst |
| FunctionDef | |
| 1 (Type/Class) | PlutusCore.MkPlc, PlutusCore.StdLib.Data.Function, PlutusIR.MkPir |
| 2 (Data Constructor) | PlutusCore.MkPlc, PlutusCore.StdLib.Data.Function, PlutusIR.MkPir |
| functionDefToType | PlutusCore.MkPlc, PlutusIR.MkPir |
| functionDefVarDecl | PlutusCore.MkPlc, PlutusIR.MkPir |
| FunctionType | |
| 1 (Type/Class) | PlutusCore.MkPlc, PlutusIR.MkPir |
| 2 (Data Constructor) | PlutusCore.MkPlc, PlutusIR.MkPir |
| functionTypeToType | PlutusCore.MkPlc, PlutusIR.MkPir |
| fvBinding | PlutusIR.Subst |
| fvTerm | |
| 1 (Function) | PlutusCore.Subst |
| 2 (Function) | PlutusIR.Subst |
| Generic | PlutusPrelude |
| GEq | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| geq | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| GetArgs | PlutusCore.Builtin |
| getDefTypeCheckConfig | |
| 1 (Function) | PlutusCore |
| 2 (Function) | PlutusIR.TypeCheck |
| getEta | PlutusCore.Examples.Data.Vec |
| getMutualFixOf | PlutusCore.StdLib.Data.Function |
| getSingleFixOf | PlutusCore.StdLib.Data.Function |
| getSpineToTuple | PlutusCore.StdLib.Meta.Data.Tuple |
| getStepFun | PlutusCore.Examples.Data.Vec |
| getTupleType | PlutusCore.StdLib.Meta.Data.Tuple |
| GShow | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| gshow | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug |
| gshowsPrec | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| guard | PlutusPrelude |
| handleSname | PlutusCore.Check.Scoping |
| HasConstant | PlutusCore.Builtin |
| HasConstantIn | PlutusCore.Builtin |
| HasErrorCode | ErrorCode |
| Hashable | PlutusCore.Evaluation.Machine.BuiltinCostModel, UntypedPlutusCore.Evaluation.Machine.Cek |
| HasIndex | PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| HasPrettyConfigName | PlutusCore.Pretty |
| HasPrettyDefaults | PlutusPrelude |
| HasRenaming | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal |
| HasUniApply | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| HasUnique | PlutusCore.Name, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| HasUniques | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| HeadList | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| Hole | PlutusCore.Builtin |
| I | PlutusCore.Data |
| Id | PlutusCore.Examples.Builtins |
| IdAssumeBool | PlutusCore.Examples.Builtins |
| IdAssumeCheckBool | PlutusCore.Examples.Builtins |
| IData | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| IdFInteger | PlutusCore.Examples.Builtins |
| idFun | PlutusCore.StdLib.Data.Function |
| IdList | PlutusCore.Examples.Builtins |
| IdRank2 | PlutusCore.Examples.Builtins |
| IdSomeConstantBool | PlutusCore.Examples.Builtins |
| IfThenElse | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| ifThenElse | PlutusCore.StdLib.Data.Bool |
| IgnorePrettyConfig | |
| 1 (Type/Class) | PlutusCore.Pretty |
| 2 (Data Constructor) | PlutusCore.Pretty |
| Includes | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| IncoherentUsage | PlutusCore.Error, PlutusCore.Check.Uniques, UntypedPlutusCore.Check.Uniques, PlutusCore |
| Index | |
| 1 (Type/Class) | PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| 2 (Data Constructor) | PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| index | PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| IndexByteString | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| inferKind | PlutusCore |
| inferType | |
| 1 (Function) | PlutusCore |
| 2 (Function) | PlutusIR.TypeCheck |
| inferTypeOfProgram | |
| 1 (Function) | PlutusCore |
| 2 (Function) | PlutusIR.TypeCheck |
| inline | PlutusIR.Transform.Inline |
| InlineHints | |
| 1 (Type/Class) | PlutusIR.Transform.Inline, UntypedPlutusCore |
| 2 (Data Constructor) | PlutusIR.Transform.Inline, UntypedPlutusCore |
| insertByName | PlutusCore.Name, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| insertByNameIndex | PlutusCore.Name, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| insertByUnique | PlutusCore.Name, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| integer | PlutusCore.StdLib.Data.Integer |
| interCons | PlutusCore.Examples.Data.InterList |
| interListData | PlutusCore.Examples.Data.InterList |
| InternalEvaluationError | PlutusCore.Evaluation.Machine.Exception, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek |
| interNil | PlutusCore.Examples.Data.InterList |
| introduceBound | PlutusCore.Check.Scoping |
| InvalidBuiltinConstant | PlutusCore.Error, PlutusCore.Parser, PlutusCore |
| isEmpty | PlutusCore.Name, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| isEvaluationFailure | PlutusCore.Evaluation.Result |
| isEvaluationSuccess | PlutusCore.Evaluation.Result |
| isJust | PlutusPrelude |
| isNormalType | PlutusCore.Check.Normal |
| isNothing | PlutusPrelude |
| isPure | PlutusIR.Purity |
| isRight | PlutusPrelude |
| isSameScope | PlutusCore.Check.Scoping |
| isTermValue | PlutusCore.Check.Value |
| IWrap | |
| 1 (Data Constructor) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Data Constructor) | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| iWrap | PlutusCore.MkPlc, PlutusIR.MkPir |
| IWrapF | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| join | PlutusPrelude |
| Kind | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| KindArrow | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| KindArrowF | PlutusCore.Core, PlutusCore.Builtin.Debug |
| Kinded | |
| 1 (Type/Class) | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Data Constructor) | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| KindF | PlutusCore.Core, PlutusCore.Builtin.Debug |
| KindMismatch | PlutusCore.Error |
| kindOfBuiltinType | PlutusCore.Builtin |
| kindSize | PlutusCore |
| kindSubkinds | PlutusCore.Core, PlutusCore.Builtin.Debug |
| kindSubkindsDeep | PlutusCore.Core, PlutusCore.Builtin.Debug |
| KnownBuiltinType | PlutusCore.Builtin |
| KnownBuiltinTypeAst | PlutusCore.Builtin |
| KnownBuiltinTypeIn | PlutusCore.Builtin |
| KnownKind | PlutusCore.Builtin |
| knownKind | PlutusCore.Builtin |
| knownMonoruntime | PlutusCore.Builtin |
| KnownMonotype | PlutusCore.Builtin |
| knownMonotype | PlutusCore.Builtin |
| knownPolyruntime | PlutusCore.Builtin |
| KnownPolytype | PlutusCore.Builtin |
| knownPolytype | PlutusCore.Builtin |
| KnownTypeAst | PlutusCore.Builtin |
| KnownTypeError | PlutusCore.Builtin |
| knownUni | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| knownUniOf | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| LamAbs | |
| 1 (Data Constructor) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Data Constructor) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| 3 (Data Constructor) | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| lamAbs | PlutusCore.MkPlc, PlutusIR.MkPir |
| LamAbsF | |
| 1 (Data Constructor) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Data Constructor) | UntypedPlutusCore.Core, UntypedPlutusCore |
| left | PlutusCore.StdLib.Data.Sum |
| Length | PlutusCore.Builtin |
| LengthOfByteString | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| lens | PlutusPrelude |
| Lens' | PlutusPrelude |
| LessThanByteString | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| LessThanEqualsByteString | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| LessThanEqualsInteger | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| LessThanInteger | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| Let | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| LetBinding | PlutusIR.Compiler |
| letMerge | PlutusIR.Transform.LetMerge |
| liftDef | PlutusIR.Compiler.Definitions |
| liftDupable | PlutusCore.Rename |
| liftQuote | PlutusCore.Quote, PlutusCore |
| List | PlutusCore.Data |
| list | PlutusCore.StdLib.Data.List |
| ListData | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| listData | PlutusCore.StdLib.Data.ScottList |
| listTy | PlutusCore.StdLib.Data.ScottList |
| logEmitter | UntypedPlutusCore.Evaluation.Machine.Cek |
| logWithBudgetEmitter | UntypedPlutusCore.Evaluation.Machine.Cek |
| logWithTimeEmitter | UntypedPlutusCore.Evaluation.Machine.Cek |
| lookupBuiltin | PlutusCore.Builtin |
| lookupConstructors | PlutusIR.Compiler.Definitions |
| lookupDestructor | PlutusIR.Compiler.Definitions |
| lookupName | PlutusCore.Name, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| lookupNameIndex | PlutusCore.Name, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| lookupNameM | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal |
| lookupOrDefineTerm | PlutusIR.Compiler.Definitions |
| lookupOrDefineType | PlutusIR.Compiler.Definitions |
| lookupTerm | PlutusIR.Compiler.Definitions |
| lookupType | PlutusIR.Compiler.Definitions |
| lookupUnique | PlutusCore.Name, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| LowerIntialCharacter | PlutusCore.Evaluation.Machine.ExBudget |
| machineCostModel | PlutusCore.Evaluation.Machine.MachineParameters |
| machineCosts | PlutusCore.Evaluation.Machine.MachineParameters |
| MachineError | PlutusCore.Evaluation.Machine.Exception |
| MachineParameters | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.MachineParameters |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.MachineParameters |
| makeBuiltinMeaning | PlutusCore.Builtin |
| MakeKnown | PlutusCore.Builtin |
| makeKnown | PlutusCore.Builtin |
| MakeKnownIn | PlutusCore.Builtin |
| MakeKnownM | PlutusCore.Builtin |
| makeKnownOrFail | PlutusCore.Builtin |
| makeKnownRun | PlutusCore.Builtin |
| makeRecursiveType | PlutusCore.StdLib.Type |
| MalformedDataConstrResType | PlutusIR.Error |
| many | PlutusPrelude |
| Map | PlutusCore.Data |
| map | PlutusCore.StdLib.Data.ScottList |
| mapCauseInMachineException | PlutusCore.Evaluation.Machine.Exception |
| MapData | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| mapFun | |
| 1 (Function) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Function) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| mapNameString | PlutusCore.Name, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| mapTyNameString | PlutusCore.Name, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| markNonFresh | PlutusCore.Quote |
| markNonFreshBelow | PlutusCore.Quote |
| markNonFreshMax | PlutusCore.Quote |
| markNonFreshProgram | |
| 1 (Function) | PlutusCore.Mark |
| 2 (Function) | PlutusIR.Mark |
| markNonFreshTerm | |
| 1 (Function) | PlutusCore.Mark |
| 2 (Function) | PlutusIR.Mark |
| markNonFreshType | |
| 1 (Function) | PlutusCore.Mark |
| 2 (Function) | PlutusIR.Mark |
| matchUniApply | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| MCostingFun | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| memoryUsage | PlutusCore.Evaluation.Machine.ExMemory |
| Merge | PlutusCore.Builtin |
| mergeScopeInfo | PlutusCore.Check.Scoping |
| metaEitherToSum | PlutusCore.StdLib.Meta |
| metaIntegerToNat | PlutusCore.StdLib.Meta |
| metaListToScottList | PlutusCore.StdLib.Meta |
| minusExBudget | PlutusCore.Evaluation.Machine.ExBudget |
| MkCons | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| mkConstant | PlutusCore.MkPlc, PlutusIR.MkPir |
| mkConstantOf | PlutusCore.MkPlc, PlutusIR.MkPir |
| mkFunctionDef | PlutusCore.MkPlc, PlutusIR.MkPir |
| mkImmediateLamAbs | PlutusCore.MkPlc, PlutusIR.MkPir |
| mkImmediateTyAbs | PlutusCore.MkPlc, PlutusIR.MkPir |
| mkIterApp | |
| 1 (Function) | PlutusCore.MkPlc, PlutusIR.MkPir |
| 2 (Function) | UntypedPlutusCore.MkUPlc |
| mkIterInst | PlutusCore.MkPlc, PlutusIR.MkPir |
| mkIterKindArrow | PlutusCore.MkPlc, PlutusIR.MkPir |
| mkIterLamAbs | |
| 1 (Function) | PlutusCore.MkPlc, PlutusIR.MkPir |
| 2 (Function) | UntypedPlutusCore.MkUPlc |
| mkIterTyAbs | PlutusCore.MkPlc, PlutusIR.MkPir |
| mkIterTyApp | PlutusCore.MkPlc, PlutusIR.MkPir |
| mkIterTyForall | PlutusCore.MkPlc, PlutusIR.MkPir |
| mkIterTyFun | PlutusCore.MkPlc, PlutusIR.MkPir |
| mkIterTyLam | PlutusCore.MkPlc, PlutusIR.MkPir |
| mkLet | PlutusIR.MkPir |
| mkMachineParameters | PlutusCore.Evaluation.Machine.MachineParameters |
| MkNilData | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| MkNilPairData | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| MkPairData | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| mkShad | PlutusCore.Examples.Data.Shad |
| mkTyBuiltin | PlutusCore.MkPlc, PlutusIR.MkPir |
| mkTyBuiltinOf | PlutusCore.MkPlc, PlutusIR.MkPir |
| mkTyVar | PlutusCore.MkPlc, PlutusIR.MkPir |
| mkVar | |
| 1 (Function) | PlutusCore.MkPlc, PlutusIR.MkPir |
| 2 (Function) | UntypedPlutusCore.MkUPlc |
| ModelAddedSizes | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| modelAddedSizesIntercept | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| modelAddedSizesSlope | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelConstantOrLinear | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| modelConstantOrLinearConstant | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| modelConstantOrLinearIntercept | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| modelConstantOrLinearSlope | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelConstantOrTwoArguments | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| modelConstantOrTwoArgumentsConstant | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| modelConstantOrTwoArgumentsModel | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| modelFile | PlutusCore.DataFilePaths |
| ModelFiveArguments | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelFiveArgumentsConstantCost | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelFourArguments | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelFourArgumentsConstantCost | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelLinearSize | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| modelLinearSizeIntercept | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| modelLinearSizeSlope | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelMaxSize | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| modelMaxSizeIntercept | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| modelMaxSizeSlope | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelMinSize | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| modelMinSizeIntercept | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| modelMinSizeSlope | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelMultipliedSizes | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| modelMultipliedSizesIntercept | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| modelMultipliedSizesSlope | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelOneArgument | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelOneArgumentConstantCost | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelOneArgumentLinearCost | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelSixArguments | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelSixArgumentsConstantCost | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelSubtractedSizes | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| modelSubtractedSizesIntercept | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| modelSubtractedSizesMinimum | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| modelSubtractedSizesSlope | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelThreeArguments | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelThreeArgumentsAddedSizes | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelThreeArgumentsConstantCost | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelThreeArgumentsLinearInX | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelThreeArgumentsLinearInY | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelThreeArgumentsLinearInZ | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelTwoArguments | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelTwoArgumentsAddedSizes | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelTwoArgumentsConstAboveDiagonal | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelTwoArgumentsConstantCost | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelTwoArgumentsConstBelowDiagonal | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelTwoArgumentsLinearInX | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelTwoArgumentsLinearInY | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelTwoArgumentsLinearOnDiagonal | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelTwoArgumentsMaxSize | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelTwoArgumentsMinSize | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelTwoArgumentsMultipliedSizes | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| ModelTwoArgumentsSubtractedSizes | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| modifyDatatypeDef | PlutusIR.Compiler.Definitions |
| modifyDeps | PlutusIR.Compiler.Definitions |
| modifyTermDef | PlutusIR.Compiler.Definitions |
| modifyTypeDef | PlutusIR.Compiler.Definitions |
| ModInteger | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| MonadDefs | PlutusIR.Compiler.Definitions |
| MonadQuote | PlutusCore.Quote, PlutusCore |
| mtraverse | PlutusPrelude |
| MultipleSources | PlutusIR.Compiler |
| MultiplyDefined | PlutusCore.Error, PlutusCore.Check.Uniques, UntypedPlutusCore.Check.Uniques, PlutusCore |
| MultiplyInteger | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| Name | |
| 1 (Type/Class) | PlutusCore.Name, PlutusCore.Builtin.Debug, PlutusCore, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR, UntypedPlutusCore |
| 2 (Data Constructor) | PlutusCore.Name, PlutusCore.Builtin.Debug, PlutusCore, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR, UntypedPlutusCore |
| NameAction | |
| 1 (Data Constructor) | PlutusCore.Check.Scoping |
| 2 (Type/Class) | PlutusCore.Check.Scoping |
| NameAnn | PlutusCore.Check.Scoping |
| NameChangedItsScope | PlutusCore.Check.Scoping |
| NamedDeBruijn | |
| 1 (Type/Class) | PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, PlutusCore, UntypedPlutusCore |
| 2 (Data Constructor) | PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, PlutusCore, UntypedPlutusCore |
| NamedTyDeBruijn | |
| 1 (Type/Class) | PlutusCore.DeBruijn |
| 2 (Data Constructor) | PlutusCore.DeBruijn |
| nameString | PlutusCore.Name, PlutusCore.Builtin.Debug, PlutusCore, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR, UntypedPlutusCore |
| NameUnexpectedlyDisappeared | PlutusCore.Check.Scoping |
| NameUnexpectedlyStayed | PlutusCore.Check.Scoping |
| nameUnique | PlutusCore.Name, PlutusCore.Builtin.Debug, PlutusCore, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR, UntypedPlutusCore |
| natData | PlutusCore.StdLib.Data.Nat |
| natK | PlutusCore.Examples.Data.Vec |
| natToInteger | PlutusCore.StdLib.Data.Nat |
| natTy | PlutusCore.StdLib.Data.Nat |
| Natural | PlutusPrelude |
| ndbnIndex | PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, PlutusCore, UntypedPlutusCore |
| ndbnString | PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, PlutusCore, UntypedPlutusCore |
| NewBindingsClashWithFreeVariabes | PlutusCore.Check.Scoping |
| NewBindingsDiscordWithBoundVariables | PlutusCore.Check.Scoping |
| NFData | PlutusPrelude |
| nil | PlutusCore.StdLib.Data.ScottList |
| noEmitter | UntypedPlutusCore.Evaluation.Machine.Cek |
| NoEscape | PlutusIR.Compiler |
| NonEmpty | PlutusPrelude |
| NonFunctionalApplicationMachineError | PlutusCore.Evaluation.Machine.Exception |
| NonPolymorphicInstantiationMachineError | PlutusCore.Evaluation.Machine.Exception |
| NonRec | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| NonStrict | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| NonWrapUnwrappedMachineError | PlutusCore.Evaluation.Machine.Exception |
| nonZeroArg | PlutusCore.Default, PlutusCore.Builtin.Debug |
| noProvenance | PlutusIR.Compiler |
| Normalized | |
| 1 (Type/Class) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, PlutusIR.Error |
| 2 (Data Constructor) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, PlutusIR.Error |
| normalizeType | PlutusCore.Normalize |
| normalizeTypeM | PlutusCore.Normalize.Internal |
| normalizeTypesIn | PlutusCore.Normalize, PlutusCore |
| normalizeTypesInM | PlutusCore.Normalize.Internal |
| normalizeTypesInProgram | PlutusCore.Normalize, PlutusCore |
| NormalizeTypeT | PlutusCore.Normalize.Internal |
| NormCheckError | PlutusCore.Error, PlutusCore.Check.Normal, PlutusCore |
| NormCheckErrorE | PlutusCore.Error, PlutusCore |
| NotAName | PlutusCore.Check.Scoping |
| NotARetainer | PlutusIR.Analysis.RetainedSize |
| noThunksInCosting | PlutusCore.Builtin |
| NullList | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| obothPair | PlutusCore.Examples.Data.Pair |
| ofoldrData | PlutusCore.Examples.Data.Data |
| OldBindingsClashWithFreeVariables | PlutusCore.Check.Scoping |
| OldBindingsClashWithNewBindings | PlutusCore.Check.Scoping |
| OldBindingsDiscordWithBoundVariables | PlutusCore.Check.Scoping |
| OldBindingsDiscordWithOutOfScopeVariables | PlutusCore.Check.Scoping |
| omapList | PlutusCore.Examples.Data.List |
| on | PlutusPrelude |
| Opaque | |
| 1 (Type/Class) | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| 2 (Data Constructor) | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| OpenTermEvaluatedMachineError | PlutusCore.Evaluation.Machine.Exception |
| Original | PlutusIR.Compiler |
| over | PlutusPrelude |
| overrideSname | PlutusCore.Check.Scoping |
| pair | PlutusCore.StdLib.Data.Pair |
| PairT | |
| 1 (Type/Class) | PlutusPrelude |
| 2 (Data Constructor) | PlutusPrelude |
| paramAddInteger | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramAppendByteString | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramAppendString | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramBData | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramBlake2b_256 | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramChooseData | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramChooseList | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramChooseUnit | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramConsByteString | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramConstrData | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramDecodeUtf8 | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramDivideInteger | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramEncodeUtf8 | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramEqualsByteString | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramEqualsData | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramEqualsInteger | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramEqualsString | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramFstPair | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramHeadList | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramIData | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramIfThenElse | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramIndexByteString | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramLengthOfByteString | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramLessThanByteString | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramLessThanEqualsByteString | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramLessThanEqualsInteger | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramLessThanInteger | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramListData | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramMapData | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramMkCons | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramMkNilData | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramMkNilPairData | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramMkPairData | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramModInteger | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramMultiplyInteger | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramNullList | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramQuotientInteger | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramRemainderInteger | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramSerialiseData | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramSha2_256 | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramSha3_256 | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramSliceByteString | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramSndPair | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramSubtractInteger | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramTailList | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramTrace | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramUnBData | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramUnConstrData | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramUnIData | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramUnListData | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramUnMapData | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramVerifyEcdsaSecp256k1Signature | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramVerifyEd25519Signature | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| paramVerifySchnorrSecp256k1Signature | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| parens' | Prettyprinter.Custom |
| parse | PlutusIR.Parser, UntypedPlutusCore.Parser |
| ParseError | PlutusCore.Error, PlutusCore.Parser, PlutusCore |
| ParseErrorE | PlutusCore.Error, PlutusCore |
| parseProgram | |
| 1 (Function) | PlutusCore.Parser, PlutusCore |
| 2 (Function) | UntypedPlutusCore.Parser |
| parseQuoted | PlutusIR.Parser, UntypedPlutusCore.Parser |
| Parser | PlutusIR.Parser, UntypedPlutusCore.Parser |
| parseScoped | |
| 1 (Function) | PlutusCore |
| 2 (Function) | UntypedPlutusCore.Parser, UntypedPlutusCore |
| parseTerm | |
| 1 (Function) | PlutusCore.Parser, PlutusCore |
| 2 (Function) | UntypedPlutusCore.Parser |
| parseType | PlutusCore.Parser, PlutusCore |
| parseTypecheck | PlutusCore |
| PatternFunctor | PlutusIR.Compiler |
| Peano | PlutusCore.Builtin |
| peelUniTag | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug |
| Permits | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug |
| PirTCConfig | |
| 1 (Type/Class) | PlutusIR.TypeCheck, PlutusIR.Compiler |
| 2 (Data Constructor) | PlutusIR.TypeCheck, PlutusIR.Compiler |
| PIRTypeError | PlutusIR.Error, PlutusIR.Compiler |
| PlcEntity | PlutusCore.FsTree |
| PLCError | PlutusIR.Error, PlutusIR.Compiler |
| PlcFolderContents | PlutusCore.FsTree |
| PlcFsTree | PlutusCore.FsTree |
| PlcListRep | PlutusCore.Examples.Builtins |
| PlcTerm | PlutusCore.FsTree |
| plcTermFile | PlutusCore.FsTree |
| PlcType | PlutusCore.FsTree |
| PLCTypeError | PlutusIR.Error, PlutusIR.Compiler |
| plcTypeFile | PlutusCore.FsTree |
| plusT | PlutusCore.Examples.Data.Vec |
| Pretty | PlutusPrelude, PlutusCore.Pretty |
| pretty | PlutusPrelude, PlutusCore.Pretty |
| PrettyAny | |
| 1 (Type/Class) | PlutusPrelude |
| 2 (Data Constructor) | PlutusPrelude |
| PrettyBy | PlutusPrelude, PlutusCore.Pretty |
| prettyBy | PlutusPrelude, PlutusCore.Pretty |
| prettyBytes | PlutusCore.Pretty |
| PrettyClassic | PlutusCore.Pretty |
| PrettyClassicBy | PlutusCore.Pretty |
| prettyClassicDebug | PlutusCore.Pretty |
| prettyClassicDef | PlutusCore.Pretty |
| PrettyConfigClassic | |
| 1 (Type/Class) | PlutusCore.Pretty |
| 2 (Data Constructor) | PlutusCore.Pretty |
| PrettyConfigName | |
| 1 (Type/Class) | PlutusCore.Pretty |
| 2 (Data Constructor) | PlutusCore.Pretty |
| PrettyConfigPlc | |
| 1 (Type/Class) | PlutusCore.Pretty |
| 2 (Data Constructor) | PlutusCore.Pretty |
| PrettyConfigPlcClassic | PlutusCore.Pretty |
| PrettyConfigPlcOptions | |
| 1 (Type/Class) | PlutusCore.Pretty |
| 2 (Data Constructor) | PlutusCore.Pretty |
| PrettyConfigPlcReadable | PlutusCore.Pretty |
| PrettyConfigPlcStrategy | PlutusCore.Pretty |
| PrettyConfigReadable | |
| 1 (Type/Class) | PlutusCore.Pretty |
| 2 (Data Constructor) | PlutusCore.Pretty |
| PrettyConst | PlutusCore.Pretty |
| prettyConst | PlutusCore.Pretty |
| PrettyDefaultBy | PlutusPrelude |
| prettyList | PlutusPrelude, PlutusCore.Pretty |
| prettyListBy | PlutusPrelude, PlutusCore.Pretty |
| PrettyPlc | PlutusCore.Pretty |
| prettyPlcClassicDebug | PlutusCore.Pretty |
| prettyPlcClassicDef | PlutusCore.Pretty |
| prettyPlcCondensedErrorBy | PlutusCore.Pretty |
| prettyPlcDebug | PlutusCore.Pretty |
| prettyPlcDef | PlutusCore.Pretty |
| prettyPlcReadableDebug | PlutusCore.Pretty |
| prettyPlcReadableDef | PlutusCore.Pretty |
| PrettyReadable | PlutusCore.Pretty |
| PrettyReadableBy | PlutusCore.Pretty |
| PrettyUni | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek |
| printPretty | PlutusPrelude |
| printType | PlutusCore |
| prodN | PlutusCore.StdLib.Meta.Data.Tuple |
| prodNAccessor | PlutusCore.StdLib.Meta.Data.Tuple |
| prodNConstructor | PlutusCore.StdLib.Meta.Data.Tuple |
| product | |
| 1 (Function) | PlutusCore.StdLib.Data.ScottList |
| 2 (Function) | PlutusCore.StdLib.Data.List |
| progAnn | |
| 1 (Function) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Function) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| 3 (Function) | PlutusIR.Core.Type, PlutusIR.Core |
| Program | |
| 1 (Type/Class) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Data Constructor) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 3 (Type/Class) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| 4 (Data Constructor) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| 5 (Type/Class) | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| 6 (Data Constructor) | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| program | |
| 1 (Function) | PlutusIR.Parser |
| 2 (Function) | UntypedPlutusCore.Parser |
| programMapNames | UntypedPlutusCore |
| programSize | |
| 1 (Function) | PlutusCore |
| 2 (Function) | UntypedPlutusCore |
| progTerm | |
| 1 (Function) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Function) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| 3 (Function) | PlutusIR.Core.Type, PlutusIR.Core |
| progVer | |
| 1 (Function) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Function) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| Provenance | PlutusIR.Compiler |
| pTerm | PlutusIR.Parser |
| pType | PlutusIR.Parser |
| Quote | PlutusCore.Quote, PlutusCore |
| QuoteT | |
| 1 (Type/Class) | PlutusCore.Quote, PlutusCore |
| 2 (Data Constructor) | PlutusCore.Quote |
| QuotientInteger | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| ReadKnown | PlutusCore.Builtin |
| readKnown | PlutusCore.Builtin |
| readKnownCek | UntypedPlutusCore.Evaluation.Machine.Cek |
| readKnownCk | PlutusCore.Evaluation.Machine.Ck |
| readKnownConstant | PlutusCore.Builtin |
| ReadKnownIn | PlutusCore.Builtin |
| ReadKnownM | PlutusCore.Builtin |
| readKnownSelf | PlutusCore.Builtin |
| Rec | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| recordAlias | PlutusIR.Compiler.Definitions |
| recSplit | PlutusIR.Transform.RecSplit |
| recUnit | PlutusCore.Examples.Data.Shad |
| RecursiveType | |
| 1 (Type/Class) | PlutusCore.StdLib.Type |
| 2 (Data Constructor) | PlutusCore.StdLib.Type |
| Recursivity | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| Reference | PlutusCore.Check.Scoping |
| referenceBindingsBothWays | PlutusIR.Core.Instance.Scoping |
| referenceBound | PlutusCore.Check.Scoping |
| referenceOutOfScope | PlutusCore.Check.Scoping |
| referenceVia | PlutusCore.Check.Scoping |
| referenceViaBindings | PlutusIR.Core.Instance.Scoping |
| Refl | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| registerBound | PlutusCore.Check.Scoping |
| registerByRecursivity | PlutusIR.Core.Instance.Scoping |
| registerFree | PlutusCore.Check.Scoping |
| registerOutOfScope | PlutusCore.Check.Scoping |
| RemainderInteger | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| removeDeadBindings | PlutusIR.Transform.DeadCode |
| Rename | PlutusCore.Rename, PlutusCore, UntypedPlutusCore.Rename |
| rename | PlutusCore.Rename, PlutusCore, UntypedPlutusCore.Rename |
| renameNameM | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal |
| renameProgramM | |
| 1 (Function) | PlutusCore.Rename.Internal |
| 2 (Function) | PlutusIR.Transform.Rename |
| RenameT | |
| 1 (Type/Class) | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal |
| 2 (Data Constructor) | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal |
| renameTermM | |
| 1 (Function) | PlutusCore.Rename.Internal |
| 2 (Function) | PlutusIR.Transform.Rename |
| renameTypeM | PlutusCore.Rename.Internal |
| Renaming | |
| 1 (Type/Class) | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal |
| 2 (Data Constructor) | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal |
| renaming | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal |
| Render | PlutusPrelude, PlutusCore.Pretty |
| render | PlutusPrelude, PlutusCore.Pretty |
| reoption | PlutusPrelude |
| RepHole | PlutusCore.Builtin |
| restricting | UntypedPlutusCore.Evaluation.Machine.Cek |
| restrictingEnormous | UntypedPlutusCore.Evaluation.Machine.Cek |
| RestrictingSt | |
| 1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek |
| 2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek |
| RetainedSize | PlutusIR.Analysis.RetainedSize |
| Retains | PlutusIR.Analysis.RetainedSize |
| reverse | PlutusCore.StdLib.Data.ScottList |
| right | PlutusCore.StdLib.Data.Sum |
| runCek | UntypedPlutusCore.Evaluation.Machine.Cek |
| runCekDeBruijn | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek |
| runCekNoEmit | UntypedPlutusCore.Evaluation.Machine.Cek |
| runCk | PlutusCore.Evaluation.Machine.Ck |
| runCostingFunFiveArguments | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| runCostingFunFourArguments | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| runCostingFunOneArgument | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| runCostingFunSixArguments | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| runCostingFunThreeArguments | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| runCostingFunTwoArguments | PlutusCore.Evaluation.Machine.BuiltinCostModel |
| runDefT | PlutusIR.Compiler.Definitions |
| runEmitter | PlutusCore.Builtin.Emitter, PlutusCore.Builtin |
| runNormalizeTypeM | PlutusCore.Normalize.Internal |
| runQuote | PlutusCore.Quote, PlutusCore |
| runQuoteT | PlutusCore.Quote, PlutusCore |
| runRecUnit | PlutusCore.Examples.Data.Shad |
| runRenameT | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal |
| RuntimeScheme | PlutusCore.Builtin |
| RuntimeSchemeAll | PlutusCore.Builtin |
| RuntimeSchemeArrow | PlutusCore.Builtin |
| RuntimeSchemeResult | PlutusCore.Builtin |
| S | PlutusCore.Builtin |
| safeEncodeBits | PlutusCore.Flat |
| safeFreshName | PlutusIR.Compiler.Names |
| safeFreshTyName | PlutusIR.Compiler.Names |
| SatInt | Data.SatInt |
| ScopedName | PlutusCore.Check.Scoping |
| ScopedRenameT | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal |
| ScopedRenaming | |
| 1 (Type/Class) | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal |
| 2 (Data Constructor) | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal |
| scopedRenamingTerms | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal |
| scopedRenamingTypes | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal |
| ScopeEntry | PlutusCore.Check.Scoping |
| ScopeError | PlutusCore.Check.Scoping |
| ScopeErrorOrInfo | |
| 1 (Type/Class) | PlutusCore.Check.Scoping |
| 2 (Data Constructor) | PlutusCore.Check.Scoping |
| ScopeInfo | |
| 1 (Type/Class) | PlutusCore.Check.Scoping |
| 2 (Data Constructor) | PlutusCore.Check.Scoping |
| Scoping | PlutusCore.Check.Scoping |
| scottCons | PlutusCore.Examples.Data.Vec |
| scottHead | PlutusCore.Examples.Data.Vec |
| scottNil | PlutusCore.Examples.Data.Vec |
| scottSumHeadsOr0 | PlutusCore.Examples.Data.Vec |
| scottVec | PlutusCore.Examples.Data.Vec |
| scottVecF | PlutusCore.Examples.Data.Vec |
| second | PlutusPrelude |
| selfData | PlutusCore.StdLib.Data.Function |
| sequ | PlutusCore.StdLib.Data.Unit |
| SerialiseData | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| serialisedSize | |
| 1 (Function) | PlutusCore |
| 2 (Function) | UntypedPlutusCore |
| set | PlutusPrelude |
| sexp | Prettyprinter.Custom |
| Sha2_256 | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| sha2_256 | Data.ByteString.Hash |
| Sha3_256 | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| sha3_256 | Data.ByteString.Hash |
| shad | PlutusCore.Examples.Data.Shad |
| shouldInline | PlutusIR.Transform.Inline, UntypedPlutusCore |
| show | PlutusCore |
| ShowErrorComponent | PlutusCore.Error |
| showErrorComponent | PlutusCore.Error |
| ShowKinds | PlutusCore.Pretty |
| ShowKindsNo | PlutusCore.Pretty |
| ShowKindsYes | PlutusCore.Pretty |
| ShowPretty | |
| 1 (Type/Class) | PlutusPrelude |
| 2 (Data Constructor) | PlutusPrelude |
| showText | PlutusPrelude |
| SimplifyOpts | |
| 1 (Type/Class) | UntypedPlutusCore |
| 2 (Data Constructor) | UntypedPlutusCore |
| simplifyProgram | UntypedPlutusCore |
| simplifyTerm | UntypedPlutusCore |
| SingKind | PlutusCore.Builtin |
| SingKindArrow | PlutusCore.Builtin |
| SingType | PlutusCore.Builtin |
| Size | |
| 1 (Type/Class) | PlutusIR.Analysis.RetainedSize |
| 2 (Data Constructor) | PlutusIR.Analysis.RetainedSize |
| size | PlutusCore.Examples.Builtins |
| sizeTerm | UntypedPlutusCore.Core, UntypedPlutusCore |
| SliceByteString | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| SndPair | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| sndPair | PlutusCore.StdLib.Data.Pair |
| soInlineHints | UntypedPlutusCore |
| soMaxSimplifierIterations | UntypedPlutusCore |
| Some | |
| 1 (Type/Class) | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Data Constructor) | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| some | PlutusPrelude |
| SomeConstant | |
| 1 (Type/Class) | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| 2 (Data Constructor) | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| SomeTypeIn | |
| 1 (Type/Class) | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Data Constructor) | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| someValue | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| someValueOf | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| someValueType | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| SourcePos | PlutusCore, PlutusIR.Parser, UntypedPlutusCore.Parser |
| StayedFreeVariables | PlutusCore.Check.Scoping |
| StayedOutOfScopeVariables | PlutusCore.Check.Scoping |
| Stays | |
| 1 (Data Constructor) | PlutusCore.Check.Scoping |
| 2 (Type/Class) | PlutusCore.Check.Scoping |
| StaysFreeVariable | PlutusCore.Check.Scoping |
| StaysOutOfScopeVariable | PlutusCore.Check.Scoping |
| stdLib | PlutusCore.StdLib.Everything |
| StepKind | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek |
| Strict | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| Strictness | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| substNormalizeTypeM | PlutusCore.Normalize.Internal |
| substTyVar | PlutusCore.Subst, PlutusIR.Transform.Substitute |
| substTyVarA | PlutusCore.Subst |
| substVar | |
| 1 (Function) | PlutusCore.Subst |
| 2 (Function) | PlutusIR.Transform.Substitute |
| 3 (Function) | UntypedPlutusCore |
| substVarA | |
| 1 (Function) | PlutusCore.Subst |
| 2 (Function) | UntypedPlutusCore |
| SubtractInteger | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| succ | PlutusCore.StdLib.Data.Nat |
| succInteger | PlutusCore.StdLib.Data.Integer |
| succT | PlutusCore.Examples.Data.Vec |
| sum | |
| 1 (Function) | PlutusCore.StdLib.Data.Sum |
| 2 (Function) | PlutusCore.StdLib.Data.ScottList |
| 3 (Function) | PlutusCore.StdLib.Data.List |
| SumInteger | PlutusCore.Examples.Builtins |
| sumr | |
| 1 (Function) | PlutusCore.StdLib.Data.ScottList |
| 2 (Function) | PlutusCore.StdLib.Data.List |
| Swap | PlutusCore.Examples.Builtins |
| SwapEls | PlutusCore.Examples.Builtins |
| symmetricDifference | PlutusCore.Check.Scoping |
| tabulateArray | PlutusPrelude |
| TailList | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| tallying | UntypedPlutusCore.Evaluation.Machine.Cek |
| TallyingSt | |
| 1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek |
| 2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek |
| tccBuiltinTypes | PlutusCore, PlutusIR.TypeCheck |
| Term | |
| 1 (Type/Class) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Type/Class) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| 3 (Type/Class) | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| term | UntypedPlutusCore.Parser |
| termAnn | |
| 1 (Function) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Function) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| 3 (Function) | PlutusIR.Core.Type, PlutusIR.Core |
| TermBind | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| TermBinding | PlutusIR.Compiler |
| termBindings | PlutusIR.Core.Plated, PlutusIR.Core, PlutusIR |
| termBinds | |
| 1 (Function) | PlutusCore.Core, PlutusCore.Builtin.Debug |
| 2 (Function) | UntypedPlutusCore.Core, UntypedPlutusCore |
| TermDef | PlutusCore.MkPlc, PlutusIR.MkPir |
| TermDefWithStrictness | PlutusIR.Compiler.Definitions |
| TermF | |
| 1 (Type/Class) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Type/Class) | UntypedPlutusCore.Core, UntypedPlutusCore |
| termLet | PlutusCore.MkPlc, PlutusIR.MkPir |
| TermLike | PlutusCore.MkPlc, PlutusIR.MkPir |
| termMapNames | UntypedPlutusCore |
| TermName | PlutusCore.Check.Scoping |
| termRetentionMap | PlutusIR.Analysis.RetainedSize |
| termSize | |
| 1 (Function) | PlutusCore |
| 2 (Function) | UntypedPlutusCore |
| termSubkinds | |
| 1 (Function) | PlutusCore.Core, PlutusCore.Builtin.Debug |
| 2 (Function) | PlutusIR.Core.Plated, PlutusIR.Core |
| termSubstFreeNames | |
| 1 (Function) | PlutusCore.Subst |
| 2 (Function) | UntypedPlutusCore |
| termSubstFreeNamesA | |
| 1 (Function) | PlutusCore.Subst |
| 2 (Function) | UntypedPlutusCore |
| termSubstNames | |
| 1 (Function) | PlutusCore.Subst |
| 2 (Function) | PlutusIR.Transform.Substitute |
| 3 (Function) | UntypedPlutusCore |
| termSubstNamesM | |
| 1 (Function) | PlutusCore.Subst |
| 2 (Function) | UntypedPlutusCore |
| termSubstTyNames | |
| 1 (Function) | PlutusCore.Subst |
| 2 (Function) | PlutusIR.Transform.Substitute |
| termSubstTyNamesM | PlutusCore.Subst |
| termSubterms | |
| 1 (Function) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Function) | UntypedPlutusCore.Core, UntypedPlutusCore |
| 3 (Function) | PlutusIR.Core.Plated, PlutusIR.Core, PlutusIR |
| termSubtermsDeep | |
| 1 (Function) | PlutusCore.Core, PlutusCore.Builtin.Debug |
| 2 (Function) | UntypedPlutusCore.Core, UntypedPlutusCore |
| 3 (Function) | PlutusIR.Core.Plated, PlutusIR.Core |
| termSubtypes | |
| 1 (Function) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Function) | PlutusIR.Core.Plated, PlutusIR.Core, PlutusIR |
| termSubtypesDeep | |
| 1 (Function) | PlutusCore.Core, PlutusCore.Builtin.Debug |
| 2 (Function) | PlutusIR.Core.Plated, PlutusIR.Core |
| termTagWidth | UntypedPlutusCore.Core, UntypedPlutusCore |
| termTyBinds | PlutusCore.Core, PlutusCore.Builtin.Debug |
| TermUnique | |
| 1 (Type/Class) | PlutusCore.Name, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| 2 (Data Constructor) | PlutusCore.Name, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| termUniques | |
| 1 (Function) | PlutusCore.Core, PlutusCore.Builtin.Debug |
| 2 (Function) | UntypedPlutusCore.Core, UntypedPlutusCore |
| 3 (Function) | PlutusIR.Core.Plated, PlutusIR.Core |
| termUniquesDeep | |
| 1 (Function) | PlutusCore.Core, PlutusCore.Builtin.Debug |
| 2 (Function) | UntypedPlutusCore.Core, UntypedPlutusCore |
| 3 (Function) | PlutusIR.Core.Plated, PlutusIR.Core |
| termVars | |
| 1 (Function) | PlutusCore.Core, PlutusCore.Builtin.Debug |
| 2 (Function) | UntypedPlutusCore.Core, UntypedPlutusCore |
| TestTypesFromTheUniverseAreAllKnown | PlutusCore.Builtin |
| theUnique | PlutusCore.Name, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| through | PlutusPrelude |
| throw | PlutusPrelude |
| throwingEither | PlutusCore.Error |
| throwingWithCause | PlutusCore.Evaluation.Machine.Exception |
| throwing_ | PlutusCore.Evaluation.Machine.Exception |
| throwKnownTypeErrorWithCause | PlutusCore.Builtin |
| throwNotAConstant | PlutusCore.Builtin |
| thunkRecursions | PlutusIR.Transform.ThunkRecursions |
| to | PlutusCore.Check.Scoping |
| ToBinds | PlutusCore.Builtin, PlutusCore.Builtin |
| ToBuiltinMeaning | PlutusCore.Builtin |
| toBuiltinMeaning | PlutusCore.Builtin |
| toBuiltinRuntime | PlutusCore.Builtin |
| toBuiltinsRuntime | PlutusCore.Builtin |
| ToCostingType | PlutusCore.Builtin |
| toDefaultCompilationCtx | PlutusIR.Compiler |
| toDeferredF | PlutusCore.Builtin |
| toFake | PlutusCore.DeBruijn |
| ToHoles | PlutusCore.Builtin, PlutusCore.Builtin |
| toImmediateF | PlutusCore.Builtin |
| ToKind | PlutusCore.Builtin, PlutusCore |
| toList | PlutusPrelude |
| topPrettyConfigReadable | PlutusCore.Pretty |
| toPrettyConfigName | PlutusCore.Pretty |
| topSourcePos | PlutusCore |
| ToRuntimeDenotationType | PlutusCore.Builtin |
| ToScopedName | PlutusCore.Check.Scoping |
| toScopedName | PlutusCore.Check.Scoping |
| toSingKind | PlutusCore.Builtin |
| toTypeAst | PlutusCore.Builtin |
| Trace | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| trace | PlutusPrelude |
| traceShowId | PlutusPrelude |
| treeData | PlutusCore.Examples.Data.TreeForest |
| treeFolderContents | PlutusCore.FsTree |
| treeNode | PlutusCore.Examples.Data.TreeForest |
| true | PlutusCore.StdLib.Data.Bool |
| Tuple | |
| 1 (Type/Class) | PlutusCore.StdLib.Meta.Data.Tuple |
| 2 (Data Constructor) | PlutusCore.StdLib.Meta.Data.Tuple |
| tupleDefAt | PlutusCore.StdLib.Meta.Data.Tuple |
| tupleTermAt | PlutusCore.StdLib.Meta.Data.Tuple |
| tupleTypeTermAt | PlutusCore.StdLib.Meta.Data.Tuple |
| tvTerm | PlutusCore.Subst |
| tvTy | PlutusCore.Subst |
| TyAbs | |
| 1 (Data Constructor) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Data Constructor) | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| tyAbs | PlutusCore.MkPlc, PlutusIR.MkPir |
| TyAbsF | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| TyApp | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| TyAppF | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| TyAppRep | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| TyBuiltin | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| TyBuiltinF | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| TyDeBruijn | |
| 1 (Type/Class) | PlutusCore.DeBruijn |
| 2 (Data Constructor) | PlutusCore.DeBruijn |
| TyDecl | |
| 1 (Type/Class) | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug, PlutusIR.MkPir |
| 2 (Data Constructor) | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug, PlutusIR.MkPir |
| tyDeclAnn | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| tyDeclKind | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| tyDeclType | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| tyDeclVar | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug, PlutusIR.MkPir |
| TyForall | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| TyForallF | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| TyForallRep | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| TyFun | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| TyFunF | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| TyIFix | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| TyIFixF | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| TyInst | |
| 1 (Data Constructor) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Data Constructor) | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| tyInst | PlutusCore.MkPlc, PlutusIR.MkPir |
| TyInstF | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| TyLam | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| TyLamF | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| TyName | |
| 1 (Type/Class) | PlutusCore.Name, PlutusCore.Builtin.Debug, PlutusCore, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR, UntypedPlutusCore |
| 2 (Data Constructor) | PlutusCore.Name, PlutusCore.Builtin.Debug, PlutusCore, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR, UntypedPlutusCore |
| TyNameRep | |
| 1 (Type/Class) | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| 2 (Data Constructor) | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| Type | |
| 1 (Type/Class) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| 2 (Data Constructor) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| Typeable | PlutusPrelude |
| typeAnn | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| TypeBind | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| TypeBinding | PlutusIR.Compiler |
| Typecheckable | PlutusCore |
| TypeCheckConfig | |
| 1 (Type/Class) | PlutusCore |
| 2 (Data Constructor) | PlutusCore |
| typecheckPipeline | PlutusCore |
| TypeDef | PlutusCore.MkPlc, PlutusIR.MkPir |
| TypeError | PlutusCore.Error, PlutusCore, PlutusIR.Error |
| TypeErrorE | PlutusCore.Error, PlutusCore |
| TypeErrorExt | PlutusIR.Error |
| TypeF | |
| 1 (Type/Class) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Data Constructor) | PlutusCore.Core, PlutusCore.Builtin.Debug |
| TypeHole | PlutusCore.Builtin |
| typeLet | PlutusCore.MkPlc, PlutusIR.MkPir |
| TypeMismatch | PlutusCore.Error |
| TypeName | PlutusCore.Check.Scoping |
| typeOfBuiltinFunction | PlutusCore.Builtin |
| TypeRenaming | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal |
| TypeScheme | PlutusCore.Builtin |
| TypeSchemeAll | PlutusCore.Builtin |
| TypeSchemeArrow | PlutusCore.Builtin |
| TypeSchemeResult | PlutusCore.Builtin |
| typeSchemeToType | PlutusCore.Builtin |
| typeSize | PlutusCore |
| typeSubkinds | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusIR.Core.Plated, PlutusIR.Core |
| typeSubstTyNames | PlutusCore.Subst, PlutusIR.Transform.Substitute |
| typeSubstTyNamesM | PlutusCore.Subst |
| typeSubtypes | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, PlutusIR.Core.Plated, PlutusIR.Core, PlutusIR |
| typeSubtypesDeep | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusIR.Core.Plated, PlutusIR.Core |
| typeTyBinds | PlutusCore.Core, PlutusCore.Builtin.Debug |
| typeTyVars | PlutusCore.Core, PlutusCore.Builtin.Debug |
| TypeUnique | |
| 1 (Type/Class) | PlutusCore.Name, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| 2 (Data Constructor) | PlutusCore.Name, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| typeUniques | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusIR.Core.Plated, PlutusIR.Core |
| typeUniquesDeep | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusIR.Core.Plated, PlutusIR.Core |
| TyVar | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| TyVarDecl | |
| 1 (Type/Class) | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR, PlutusIR.MkPir |
| 2 (Data Constructor) | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR, PlutusIR.MkPir |
| tyVarDeclAnn | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| tyVarDeclKind | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| tyVarDeclName | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| tyVarDeclNameString | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| tyVarDeclSubkinds | PlutusCore.Core, PlutusCore.Builtin.Debug |
| TyVarF | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| TyVarRep | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| UnannotatedName | PlutusCore.Check.Scoping |
| unAsSerialize | PlutusCore.Flat |
| UnBData | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| unBinder | PlutusCore.Core, PlutusCore.Builtin.Debug, UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| unBuiltinRuntime | PlutusCore.Builtin |
| unBuiltinTypes | PlutusCore, PlutusIR.TypeCheck |
| unCekBudgetSpender | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek |
| unCekM | UntypedPlutusCore.Evaluation.Machine.Cek.Internal |
| UnConstrData | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| uncurry | PlutusCore.StdLib.Data.Pair |
| unDeBruijnTerm | |
| 1 (Function) | PlutusCore.DeBruijn, PlutusCore |
| 2 (Function) | UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| unDeBruijnTermWith | |
| 1 (Function) | PlutusCore.DeBruijn |
| 2 (Function) | UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| unDeBruijnTy | PlutusCore.DeBruijn |
| unDeBruijnTyWith | PlutusCore.DeBruijn |
| unDecodeUniM | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug |
| Undefined | PlutusCore.Examples.Builtins |
| unEmitter | PlutusCore.Builtin.Emitter, PlutusCore.Builtin |
| unEmitterMode | UntypedPlutusCore.Evaluation.Machine.Cek.Internal |
| unExBudgetMode | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek |
| UnexpectedBuiltinTermArgumentMachineError | PlutusCore.Evaluation.Machine.Exception |
| unExRestrictingBudget | PlutusCore.Evaluation.Machine.ExBudget |
| unFolderContents | PlutusCore.FsTree |
| UnIData | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| unIgnorePrettyConfig | PlutusCore.Pretty |
| UniOf | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug, UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, PlutusCore, PlutusIR.MkPir, UntypedPlutusCore |
| Unique | |
| 1 (Type/Class) | PlutusCore.Name, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore |
| 2 (Data Constructor) | PlutusCore.Name, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore |
| unique | PlutusCore.Name, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| UniqueCoherencyErrorE | PlutusCore.Error, PlutusCore |
| UniqueError | PlutusCore.Error, PlutusCore.Check.Uniques, UntypedPlutusCore.Check.Uniques, PlutusCore |
| UniqueMap | |
| 1 (Type/Class) | PlutusCore.Name, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore |
| 2 (Data Constructor) | PlutusCore.Name, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore |
| uniquesTerm | |
| 1 (Function) | PlutusCore.Subst |
| 2 (Function) | PlutusIR.Subst |
| 3 (Function) | UntypedPlutusCore |
| uniquesType | PlutusCore.Subst, PlutusIR.Subst |
| unit | |
| 1 (Function) | PlutusCore.StdLib.Data.Unit |
| 2 (Function) | PlutusCore.StdLib.Data.ScottUnit |
| unitCekMachineCosts | PlutusCore.Evaluation.Machine.ExBudgetingDefaults |
| unitCekParameters | PlutusCore.Evaluation.Machine.ExBudgetingDefaults, PlutusCore |
| unitval | |
| 1 (Function) | PlutusCore.StdLib.Data.Unit |
| 2 (Function) | PlutusCore.StdLib.Data.ScottUnit |
| UnknownBuiltin | PlutusCore.Evaluation.Machine.Exception |
| UnknownBuiltinFunction | PlutusCore.Error, PlutusCore.Parser, PlutusCore |
| UnknownBuiltinFunctionE | PlutusCore.Error |
| UnknownBuiltinType | PlutusCore.Error, PlutusCore.Parser, PlutusCore |
| UnliftingDeferred | PlutusCore.Builtin, PlutusCore |
| UnliftingError | PlutusCore.Evaluation.Machine.Exception |
| UnliftingErrorE | PlutusCore.Evaluation.Machine.Exception |
| UnliftingImmediate | PlutusCore.Builtin, PlutusCore |
| UnliftingMachineError | PlutusCore.Evaluation.Machine.Exception |
| UnliftingMode | PlutusCore.Builtin, PlutusCore |
| UnListData | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| UnMapData | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| unNameDeBruijn | PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| unNameTyDeBruijn | PlutusCore.DeBruijn |
| unNormalized | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, PlutusIR.Error |
| unOpaque | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| unPairT | PlutusPrelude |
| unPrettyAny | PlutusPrelude |
| unQuoteT | PlutusCore.Quote |
| unRenameT | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal |
| unRenaming | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal |
| unroll | PlutusCore.StdLib.Data.Function |
| UnsafeCoerce | PlutusCore.Examples.Builtins |
| UnsafeCoerceEl | PlutusCore.Examples.Builtins |
| unsafeEvaluateCek | UntypedPlutusCore.Evaluation.Machine.Cek |
| unsafeEvaluateCekNoEmit | UntypedPlutusCore.Evaluation.Machine.Cek |
| unsafeEvaluateCk | PlutusCore.Evaluation.Machine.Ck |
| unsafeEvaluateCkNoEmit | PlutusCore.Evaluation.Machine.Ck |
| unsafeExtractEvaluationResult | PlutusCore.Evaluation.Machine.Exception, UntypedPlutusCore.Evaluation.Machine.Cek |
| unsafeRunCekNoEmit | UntypedPlutusCore.Evaluation.Machine.Cek |
| unScopeErrorOrInfo | PlutusCore.Check.Scoping |
| unScopeInfo | PlutusCore.Check.Scoping |
| unShowPretty | PlutusPrelude |
| unSize | PlutusIR.Analysis.RetainedSize |
| unSomeConstant | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| UnsupportedError | PlutusIR.Error, PlutusIR.Compiler |
| unTermUnique | PlutusCore.Name, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| unTyName | PlutusCore.Name, PlutusCore.Builtin.Debug, PlutusCore, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR, UntypedPlutusCore |
| unTypeUnique | PlutusCore.Name, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| unUnique | PlutusCore.Name, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore |
| unUniqueMap | PlutusCore.Name, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore |
| Unwrap | |
| 1 (Data Constructor) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Data Constructor) | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| unwrap | PlutusCore.MkPlc, PlutusIR.MkPir |
| unwrapCancel | PlutusIR.Transform.Unwrap |
| UnwrapF | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| UserEvaluationError | PlutusCore.Evaluation.Machine.Exception, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek |
| 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 |
| 3 (Data Constructor) | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| var | PlutusCore.MkPlc, PlutusIR.MkPir |
| VarDecl | |
| 1 (Type/Class) | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR, PlutusIR.MkPir |
| 2 (Data Constructor) | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR, PlutusIR.MkPir |
| varDeclAnn | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| varDeclName | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| varDeclNameString | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| varDeclSubtypes | PlutusCore.Core, PlutusCore.Builtin.Debug |
| varDeclType | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| VarF | |
| 1 (Data Constructor) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Data Constructor) | UntypedPlutusCore.Core, UntypedPlutusCore |
| VBuiltin | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek |
| VCon | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek |
| VDelay | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek |
| VerifyEcdsaSecp256k1Signature | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| verifyEcdsaSecp256k1Signature | Crypto |
| VerifyEd25519Signature | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| verifyEd25519Signature | Crypto |
| VerifySchnorrSecp256k1Signature | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| verifySchnorrSecp256k1Signature | Crypto |
| Version | |
| 1 (Type/Class) | PlutusCore.Core, PlutusCore.Builtin.Debug, UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, PlutusCore, UntypedPlutusCore |
| 2 (Data Constructor) | PlutusCore.Core, PlutusCore.Builtin.Debug, UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, PlutusCore, UntypedPlutusCore |
| view | PlutusPrelude |
| VLamAbs | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek |
| void | PlutusPrelude |
| vTerm | |
| 1 (Function) | PlutusCore.Subst |
| 2 (Function) | UntypedPlutusCore |
| 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 |
| withRenamedName | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal |
| Word8 | PlutusPrelude |
| YesEscape | PlutusIR.Compiler |
| Z | PlutusCore.Builtin |
| zero | PlutusCore.StdLib.Data.Nat |
| zeroT | PlutusCore.Examples.Data.Vec |
| ^. | PlutusPrelude |
| _BadTerm | PlutusCore.Error, PlutusCore |
| _BadType | PlutusCore.Error, PlutusCore |
| _broDeferredF | PlutusCore.Builtin |
| _broImmediateF | PlutusCore.Builtin |
| _broRuntimeScheme | PlutusCore.Builtin |
| _broToExF | PlutusCore.Builtin |
| _builtinCostModel | PlutusCore.Evaluation.Machine.MachineParameters |
| _BuiltinTermArgumentExpectedMachineError | PlutusCore.Evaluation.Machine.Exception |
| _BuiltinTypeNotAStar | PlutusCore.Error |
| _cekEmitterInfoEmit | UntypedPlutusCore.Evaluation.Machine.Cek.Internal |
| _cekEmitterInfoGetFinal | UntypedPlutusCore.Evaluation.Machine.Cek.Internal |
| _CompilationError | PlutusIR.Error, PlutusIR.Compiler |
| _EmptyBuiltinArityMachineError | PlutusCore.Evaluation.Machine.Exception |
| _Error | |
| 1 (Function) | PlutusCore.Error, PlutusCore |
| 2 (Function) | PlutusIR.Error, PlutusIR.Compiler |
| _EvaluationError | PlutusCore.Evaluation.Machine.Exception |
| _EvaluationFailure | PlutusCore.Evaluation.Result |
| _EvaluationFailureVia | PlutusCore.Evaluation.Result |
| _ewcCause | PlutusCore.Evaluation.Machine.Exception, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek |
| _ewcError | PlutusCore.Evaluation.Machine.Exception, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek |
| _exBudgetModeGetCumulative | UntypedPlutusCore.Evaluation.Machine.Cek.Internal |
| _exBudgetModeGetFinal | UntypedPlutusCore.Evaluation.Machine.Cek.Internal |
| _exBudgetModeSpender | UntypedPlutusCore.Evaluation.Machine.Cek.Internal |
| _FreeIndex | PlutusCore.DeBruijn, PlutusCore.Error, UntypedPlutusCore.DeBruijn, PlutusCore, UntypedPlutusCore |
| _FreeTypeVariableE | PlutusCore.Error, PlutusCore, PlutusIR.Error, PlutusIR.Compiler |
| _FreeUnique | PlutusCore.DeBruijn, PlutusCore.Error, UntypedPlutusCore.DeBruijn, PlutusCore, UntypedPlutusCore |
| _FreeVariable | PlutusCore.Error, PlutusCore.Check.Uniques, UntypedPlutusCore.Check.Uniques, PlutusCore |
| _FreeVariableE | PlutusCore.Error, PlutusCore, PlutusIR.Error, PlutusIR.Compiler |
| _FreeVariableError | PlutusCore.DeBruijn, PlutusCore.Error, UntypedPlutusCore.DeBruijn, PlutusCore, UntypedPlutusCore |
| _FreeVariableErrorE | PlutusCore.Error, PlutusCore |
| _functionDefAnn | PlutusCore.MkPlc, PlutusCore.StdLib.Data.Function, PlutusIR.MkPir |
| _functionDefName | PlutusCore.MkPlc, PlutusCore.StdLib.Data.Function, PlutusIR.MkPir |
| _functionDefTerm | PlutusCore.MkPlc, PlutusCore.StdLib.Data.Function, PlutusIR.MkPir |
| _functionDefType | PlutusCore.MkPlc, PlutusCore.StdLib.Data.Function, PlutusIR.MkPir |
| _functionTypeAnn | PlutusCore.MkPlc, PlutusIR.MkPir |
| _functionTypeCod | PlutusCore.MkPlc, PlutusIR.MkPir |
| _functionTypeDom | PlutusCore.MkPlc, PlutusIR.MkPir |
| _IncoherentUsage | PlutusCore.Error, PlutusCore.Check.Uniques, UntypedPlutusCore.Check.Uniques, PlutusCore |
| _InternalEvaluationError | PlutusCore.Evaluation.Machine.Exception |
| _InvalidBuiltinConstant | PlutusCore.Error |
| _KindMismatch | PlutusCore.Error, PlutusCore, PlutusIR.Error, PlutusIR.Compiler |
| _machineCostModel | PlutusCore.Evaluation.Machine.MachineParameters |
| _MachineError | PlutusCore.Evaluation.Machine.Exception |
| _MalformedDataConstrResType | PlutusIR.Error, PlutusIR.Compiler |
| _MultiplyDefined | PlutusCore.Error, PlutusCore.Check.Uniques, UntypedPlutusCore.Check.Uniques, PlutusCore |
| _NonFunctionalApplicationMachineError | PlutusCore.Evaluation.Machine.Exception |
| _NonPolymorphicInstantiationMachineError | PlutusCore.Evaluation.Machine.Exception |
| _NonWrapUnwrappedMachineError | PlutusCore.Evaluation.Machine.Exception |
| _NormCheckError | PlutusCore.Error, PlutusCore |
| _NormCheckErrorE | PlutusCore.Error, PlutusCore |
| _OpenTermEvaluatedMachineError | PlutusCore.Evaluation.Machine.Exception |
| _ParseError | PlutusCore.Error |
| _ParseErrorE | PlutusCore.Error, PlutusCore |
| _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 |
| _pirConfigAllowEscape | PlutusIR.TypeCheck, PlutusIR.Compiler |
| _pirConfigTCConfig | PlutusIR.TypeCheck, PlutusIR.Compiler |
| _PIRTypeError | PlutusIR.Error, PlutusIR.Compiler |
| _PLCError | PlutusIR.Error, PlutusIR.Compiler |
| _PLCTypeError | PlutusIR.Error, PlutusIR.Compiler |
| _progAnn | |
| 1 (Function) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Function) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| 3 (Function) | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| _progTerm | |
| 1 (Function) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Function) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| 3 (Function) | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| _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 |
| _scopedRenamingTerms | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal |
| _scopedRenamingTypes | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal |
| _soInlineHints | UntypedPlutusCore |
| _soMaxSimplifierIterations | UntypedPlutusCore |
| _tccBuiltinTypes | PlutusCore |
| _tupleElementTypes | PlutusCore.StdLib.Meta.Data.Tuple |
| _tupleTerm | PlutusCore.StdLib.Meta.Data.Tuple |
| _tyDeclAnn | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug, PlutusIR.MkPir |
| _tyDeclKind | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug, PlutusIR.MkPir |
| _tyDeclType | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug, PlutusIR.MkPir |
| _TypeError | PlutusCore.Error, PlutusCore, PlutusIR.Error, PlutusIR.Compiler |
| _TypeErrorE | PlutusCore.Error, PlutusCore |
| _TypeErrorExt | PlutusIR.Error, PlutusIR.Compiler |
| _TypeMismatch | PlutusCore.Error, PlutusCore, PlutusIR.Error, PlutusIR.Compiler |
| _tyVarDeclAnn | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR, PlutusIR.MkPir |
| _tyVarDeclKind | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR, PlutusIR.MkPir |
| _tyVarDeclName | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR, PlutusIR.MkPir |
| _UnexpectedBuiltinTermArgumentMachineError | PlutusCore.Evaluation.Machine.Exception |
| _UniqueCoherencyErrorE | PlutusCore.Error, PlutusCore |
| _UniqueError | PlutusCore.Error, PlutusCore.Check.Uniques, UntypedPlutusCore.Check.Uniques, PlutusCore |
| _UnknownBuiltin | PlutusCore.Evaluation.Machine.Exception |
| _UnknownBuiltinFunction | PlutusCore.Error |
| _UnknownBuiltinFunctionE | PlutusCore.Error, PlutusCore, PlutusIR.Error, PlutusIR.Compiler |
| _UnknownBuiltinType | PlutusCore.Error |
| _UnliftingError | PlutusCore.Evaluation.Machine.Exception |
| _UnliftingErrorE | PlutusCore.Evaluation.Machine.Exception |
| _UnliftingMachineError | PlutusCore.Evaluation.Machine.Exception |
| _UnsupportedError | PlutusIR.Error, PlutusIR.Compiler |
| _UserEvaluationError | 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, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR, PlutusIR.MkPir |
| _varDeclName | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR, PlutusIR.MkPir |
| _varDeclType | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR, PlutusIR.MkPir |