Combined Plutus 1.46.0.0 Documentation

Index - _

_appearedBindingsPlutusCore.Check.Scoping
_biMatcherLikePlutusIR.Analysis.Builtins
_biSemanticsVariantPlutusIR.Analysis.Builtins
_biUnserializableConstantsPlutusIR.Analysis.Builtins
_bmlBranchAritiesPlutusIR.Analysis.Builtins
_bmlSplitMatchContextPlutusIR.Analysis.Builtins
_boundVariablesPlutusCore.Check.Scoping
_builtinCostModelPlutusCore.Evaluation.Machine.MachineParameters
_CBORDeserialiseErrorPlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common.Eval, PlutusLedgerApi.V1
_ccBuiltinCostModelPlutusIR.Compiler.Types
_ccBuiltinsInfoPlutusIR.Compiler.Types
_ccEnclosingPlutusIR.Compiler.Types
_ccOptsPlutusIR.Compiler.Types
_ccRewriteRulesPlutusIR.Compiler.Types
_ccTypeCheckConfigPlutusIR.Compiler.Types
_cekEmitterInfoEmitUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
_cekEmitterInfoGetFinalUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
_coBuiltinSemanticsVariantPlutusCore.Compiler.Opts, PlutusCore.Compiler
_coCaseOfCaseConservativePlutusIR.Compiler.Types, PlutusIR.Compiler
_coDatatypesPlutusIR.Compiler.Types, PlutusIR.Compiler
_coDebugPlutusIR.Compiler.Types, PlutusIR.Compiler
_coDoSimplifierBetaPlutusIR.Compiler.Types, PlutusIR.Compiler
_coDoSimplifierCaseOfCasePlutusIR.Compiler.Types, PlutusIR.Compiler
_coDoSimplifierCaseReducePlutusIR.Compiler.Types, PlutusIR.Compiler
_coDoSimplifierEvaluateBuiltinsPlutusIR.Compiler.Types, PlutusIR.Compiler
_coDoSimplifierInlinePlutusIR.Compiler.Types, PlutusIR.Compiler
_coDoSimplifierKnownConPlutusIR.Compiler.Types, PlutusIR.Compiler
_coDoSimplifierRemoveDeadBindingsPlutusIR.Compiler.Types, PlutusIR.Compiler
_coDoSimplifierRewritePlutusIR.Compiler.Types, PlutusIR.Compiler
_coDoSimplifierStrictifyBindingsPlutusIR.Compiler.Types, PlutusIR.Compiler
_coDoSimplifierUnwrapCancelPlutusIR.Compiler.Types, PlutusIR.Compiler
_coInlineCallsiteGrowthPlutusIR.Compiler.Types, PlutusIR.Compiler
_coInlineConstantsPlutusIR.Compiler.Types, PlutusIR.Compiler
_coInlineFixPlutusIR.Compiler.Types, PlutusIR.Compiler
_coInlineHintsPlutusIR.Compiler.Types, PlutusIR.Compiler
_coMaxSimplifierIterationsPlutusIR.Compiler.Types, PlutusIR.Compiler
_ConstantPlutusIR.Core.Plated, PlutusIR.Core
_coOptimizePlutusIR.Compiler.Types, PlutusIR.Compiler
_coPedanticPlutusIR.Compiler.Types, PlutusIR.Compiler
_coPreserveLoggingPlutusIR.Compiler.Types, PlutusIR.Compiler
_coProfilePlutusIR.Compiler.Types, PlutusIR.Compiler
_coRelaxedFloatinPlutusIR.Compiler.Types, PlutusIR.Compiler
_coSimplifyOptsPlutusCore.Compiler.Opts, PlutusCore.Compiler
_coTypecheckPlutusIR.Compiler.Types, PlutusIR.Compiler
_coverageDataPlutusTx.Coverage
_coverageIndexPlutusTx.Coverage
_coverageMetadataPlutusTx.Coverage
_coVerbosePlutusIR.Compiler.Types, PlutusIR.Compiler
_coveredAnnotationsPlutusTx.Coverage
_covLocEndColPlutusTx.Coverage
_covLocEndLinePlutusTx.Coverage
_covLocFilePlutusTx.Coverage
_covLocStartColPlutusTx.Coverage
_covLocStartLinePlutusTx.Coverage
_dcoStylePlutusIR.Compiler.Types
_denotationItselfPlutusCore.Generators.Hedgehog.Denotation, PlutusCore.Generators.Hedgehog
_denotationObjectPlutusCore.Generators.Hedgehog.Denotation, PlutusCore.Generators.Hedgehog
_denotationSchemePlutusCore.Generators.Hedgehog.Denotation, PlutusCore.Generators.Hedgehog
_denotationToTermPlutusCore.Generators.Hedgehog.Denotation, PlutusCore.Generators.Hedgehog
_disappearedBindingsPlutusCore.Check.Scoping
_disppearedBindingsPlutusCore.Check.Scoping
_duplicateBindersLeftPlutusCore.Check.Scoping
_duplicateBindersRightPlutusCore.Check.Scoping
_errorPlutusCore.Check.Scoping
_evalCtxLedgerLangPlutusLedgerApi.Common.Eval, PlutusLedgerApi.Common
_evalCtxMachParsCachePlutusLedgerApi.Common.Eval, PlutusLedgerApi.Common
_evalCtxToSemVarPlutusLedgerApi.Common.Eval, PlutusLedgerApi.Common
_ewcCausePlutusCore.Evaluation.ErrorWithCause, PlutusCore.Evaluation.Machine.Exception, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
_ewcErrorPlutusCore.Evaluation.ErrorWithCause, PlutusCore.Evaluation.Machine.Exception, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
_exBudgetModeGetCumulativeUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
_exBudgetModeGetFinalUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
_exBudgetModeSpenderUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
_fixityAssociativityPlutusCore.Pretty.Readable, PlutusCore.Pretty
_fixityPrecedencePlutusCore.Pretty.Readable, PlutusCore.Pretty
_freeVariablesPlutusCore.Check.Scoping
_functionDefAnnPlutusIR.MkPir, PlutusCore.MkPlc, PlutusCore.StdLib.Data.Function
_functionDefNamePlutusIR.MkPir, PlutusCore.MkPlc, PlutusCore.StdLib.Data.Function
_functionDefTermPlutusIR.MkPir, PlutusCore.MkPlc, PlutusCore.StdLib.Data.Function
_functionDefTypePlutusIR.MkPir, PlutusCore.MkPlc, PlutusCore.StdLib.Data.Function
_functionTypeAnnPlutusIR.MkPir, PlutusCore.MkPlc
_functionTypeCodPlutusIR.MkPir, PlutusCore.MkPlc
_functionTypeDomPlutusIR.MkPir, PlutusCore.MkPlc
_iiBuiltinSemanticsVariantUntypedPlutusCore.Transform.Inline
_iiBuiltinsInfoPlutusIR.Transform.Inline.Utils
_iiHints 
1 (Function)PlutusIR.Transform.Inline.Utils
2 (Function)UntypedPlutusCore.Transform.Inline
_iiInlineCallsiteGrowth 
1 (Function)PlutusIR.Transform.Inline.Utils
2 (Function)UntypedPlutusCore.Transform.Inline
_iiInlineConstants 
1 (Function)PlutusIR.Transform.Inline.Utils
2 (Function)UntypedPlutusCore.Transform.Inline
_iiPreserveLoggingUntypedPlutusCore.Transform.Inline
_iiUsages 
1 (Function)PlutusIR.Transform.Inline.Utils
2 (Function)UntypedPlutusCore.Transform.Inline
_iiVarInfoPlutusIR.Transform.Inline.Utils
_inputPlutusCore.Check.Scoping
_iterAppPlutusCore.Generators.Hedgehog.Entity, PlutusCore.Generators.Hedgehog
_iterAppHeadPlutusCore.Generators.Hedgehog.Entity, PlutusCore.Generators.Hedgehog
_iterAppSpinePlutusCore.Generators.Hedgehog.Entity, PlutusCore.Generators.Hedgehog
_iterTbvPlutusCore.Generators.Hedgehog.Entity, PlutusCore.Generators.Hedgehog
_iterTermPlutusCore.Generators.Hedgehog.Entity, PlutusCore.Generators.Hedgehog
_kccHandleNameMismatchesPlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore
_LedgerLanguageNotAvailableErrorPlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common.Eval, PlutusLedgerApi.V1
_machineCostModelPlutusCore.Evaluation.Machine.MachineParameters
_metadataSetPlutusTx.Coverage
_namedStringPlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore
_namedValuePlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore
_nameTextPlutusIR.Core.Type, PlutusIR.Core, PlutusIR, PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore
_nameUniquePlutusIR.Core.Type, PlutusIR.Core, PlutusIR, PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore
_newNamePlutusCore.Check.Scoping
_nonRecInScopeSetPlutusIR.Transform.Inline.Utils
_oldNamePlutusCore.Check.Scoping
_outOfScopeVariablesPlutusCore.Check.Scoping
_outputPlutusCore.Check.Scoping
_pccConfigNamePlutusCore.Pretty.Classic, PlutusCore.Pretty
_pccDisplayAnnPlutusCore.Pretty.Classic, PlutusCore.Pretty
_pcnShowsUniquePlutusCore.Pretty.ConfigName, PlutusCore.Pretty
_pcpoCondensedErrorsPlutusCore.Pretty.Plc, PlutusCore.Pretty
_pcpOptionsPlutusCore.Pretty.Plc, PlutusCore.Pretty
_pcpStrategyPlutusCore.Pretty.Plc, PlutusCore.Pretty
_pcrConfigNamePlutusCore.Pretty.Readable, PlutusCore.Pretty
_pcrRenderContextPlutusCore.Pretty.Readable, PlutusCore.Pretty
_pcrShowKindsPlutusCore.Pretty.Readable, PlutusCore.Pretty
_pirConfigAllowEscapePlutusIR.Compiler.Types, PlutusIR.TypeCheck.Internal, PlutusIR.TypeCheck, PlutusIR.Compiler
_pirConfigTCConfigPlutusIR.Compiler.Types, PlutusIR.TypeCheck.Internal, PlutusIR.TypeCheck, PlutusIR.Compiler
_PlutusCoreLanguageNotAvailableErrorPlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common.Eval, PlutusLedgerApi.V1
_posCaseOfCaseConservativePlutusTx.Options
_posCertifyPlutusTx.Options
_posConservativeOptsPlutusTx.Options
_posContextLevelPlutusTx.Options
_posCoverageAllPlutusTx.Options
_posCoverageBooleanPlutusTx.Options
_posCoverageLocationPlutusTx.Options
_posDeferErrorsPlutusTx.Options
_posDoSimplifierBetaPlutusTx.Options
_posDoSimplifierEvaluateBuiltinsPlutusTx.Options
_posDoSimplifierInlinePlutusTx.Options
_posDoSimplifierRemoveDeadBindingsPlutusTx.Options
_posDoSimplifierStrictifyBindingsPlutusTx.Options
_posDoSimplifierUnwrapCancelPlutusTx.Options
_posDoTypecheckPlutusTx.Options
_posDumpCompilationTracePlutusTx.Options
_posDumpPirPlutusTx.Options
_posDumpPlcPlutusTx.Options
_posDumpUPlcPlutusTx.Options
_posInlineCallsiteGrowthPlutusTx.Options
_posInlineConstantsPlutusTx.Options
_posInlineFixPlutusTx.Options
_posMaxCseIterationsPlutusTx.Options
_posMaxSimplifierIterationsPirPlutusTx.Options
_posMaxSimplifierIterationsUPlcPlutusTx.Options
_posOptimizePlutusTx.Options
_posPedanticPlutusTx.Options
_posPlcTargetVersionPlutusTx.Options
_posPreserveLoggingPlutusTx.Options
_posProfilePlutusTx.Options
_posRelaxedFloatinPlutusTx.Options
_posRemoveTracePlutusTx.Options
_posVerbosityPlutusTx.Options
_preparedPlutusCore.Check.Scoping
_progAnn 
1 (Function)PlutusIR.Core.Type, PlutusIR.Core, PlutusIR
2 (Function)PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
3 (Function)UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
_progTerm 
1 (Function)PlutusIR.Core.Type, PlutusIR.Core, PlutusIR
2 (Function)PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
3 (Function)UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
_progVer 
1 (Function)PlutusIR.Core.Type, PlutusIR.Core, PlutusIR
2 (Function)PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
3 (Function)UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
_recursiveTypePlutusCore.StdLib.Type
_recursiveWrapPlutusCore.StdLib.Type
_RemainderErrorPlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common.Eval, PlutusLedgerApi.V1
_renderContextDirectionPlutusCore.Pretty.Readable, PlutusCore.Pretty
_renderContextFixityPlutusCore.Pretty.Readable, PlutusCore.Pretty
_scopedRenamingTermsPlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal
_scopedRenamingTypesPlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal
_ScriptDecodeErrorPlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common.Eval, PlutusLedgerApi.V1
_soConservativeOptsUntypedPlutusCore.Simplify.Opts, UntypedPlutusCore.Simplify, UntypedPlutusCore
_soInlineCallsiteGrowthUntypedPlutusCore.Simplify.Opts, UntypedPlutusCore.Simplify, UntypedPlutusCore
_soInlineConstantsUntypedPlutusCore.Simplify.Opts, UntypedPlutusCore.Simplify, UntypedPlutusCore
_soInlineHintsUntypedPlutusCore.Simplify.Opts, UntypedPlutusCore.Simplify, UntypedPlutusCore
_soMaxCseIterationsUntypedPlutusCore.Simplify.Opts, UntypedPlutusCore.Simplify, UntypedPlutusCore
_soMaxSimplifierIterationsUntypedPlutusCore.Simplify.Opts, UntypedPlutusCore.Simplify, UntypedPlutusCore
_soPreserveLoggingUntypedPlutusCore.Simplify.Opts, UntypedPlutusCore.Simplify, UntypedPlutusCore
_substUntypedPlutusCore.Transform.Inline
_tccBuiltinTypesPlutusIR.TypeCheck.Internal, PlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore
_tccKindCheckConfigPlutusIR.TypeCheck.Internal, PlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore
_tceTypeCheckConfigPlutusCore.TypeCheck.Internal
_tceTyVarKindsPlutusCore.TypeCheck.Internal
_tceVarTypesPlutusCore.TypeCheck.Internal
_termCheckResultTypePlutusCore.Generators.Hedgehog.TypeEvalCheck, PlutusCore.Generators.Hedgehog.Test, PlutusCore.Generators.Hedgehog
_termCheckResultValuePlutusCore.Generators.Hedgehog.TypeEvalCheck, PlutusCore.Generators.Hedgehog.Test, PlutusCore.Generators.Hedgehog
_termEnvUntypedPlutusCore.Transform.Inline
_termOfTermPlutusCore.Generators.Hedgehog.TypedBuiltinGen, PlutusCore.Generators.Hedgehog.Interesting, PlutusCore.Generators.Hedgehog
_termOfValuePlutusCore.Generators.Hedgehog.TypedBuiltinGen, PlutusCore.Generators.Hedgehog.Interesting, PlutusCore.Generators.Hedgehog
_termSubstPlutusIR.Transform.Inline.Utils
_tupleElementTypesPlutusCore.StdLib.Meta.Data.Tuple
_tupleTermPlutusCore.StdLib.Meta.Data.Tuple
_tyDeclAnnPlutusIR.MkPir, PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug
_tyDeclKindPlutusIR.MkPir, PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug
_tyDeclTypePlutusIR.MkPir, PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug
_typeSubstPlutusIR.Transform.Inline.Utils
_tyVarDeclAnnPlutusIR.Core.Type, PlutusIR.Core, PlutusIR, PlutusIR.MkPir, PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug
_tyVarDeclKindPlutusIR.Core.Type, PlutusIR.Core, PlutusIR, PlutusIR.MkPir, PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug
_tyVarDeclNamePlutusIR.Core.Type, PlutusIR.Core, PlutusIR, PlutusIR.MkPir, PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug
_unNonRecInScopeSetPlutusIR.Transform.Inline.Utils
_unTermEnvUntypedPlutusCore.Transform.Inline
_unTermSubstPlutusIR.Transform.Inline.Utils
_unTypeSubstPlutusIR.Transform.Inline.Utils
_uvarDeclAnnUntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore.MkUPlc, UntypedPlutusCore
_uvarDeclNameUntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore.MkUPlc, UntypedPlutusCore
_varDeclAnnPlutusIR.Core.Type, PlutusIR.Core, PlutusIR, PlutusIR.MkPir, PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug
_varDeclNamePlutusIR.Core.Type, PlutusIR.Core, PlutusIR, PlutusIR.MkPir, PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug
_varDeclTypePlutusIR.Core.Type, PlutusIR.Core, PlutusIR, PlutusIR.MkPir, PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug
_varsUntypedPlutusCore.Transform.Inline
_versionMajorPlutusLedgerApi.Common.Versions, PlutusLedgerApi.Common, PlutusIR.Core.Type, PlutusIR.Core, PlutusCore.Version, PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
_versionMinorPlutusLedgerApi.Common.Versions, PlutusLedgerApi.Common, PlutusIR.Core.Type, PlutusIR.Core, PlutusCore.Version, PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
_versionPatchPlutusLedgerApi.Common.Versions, PlutusLedgerApi.Common, PlutusIR.Core.Type, PlutusIR.Core, PlutusCore.Version, PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore