plutus-core-1.0.0.1: Language library for Plutus Core

Index - _

_BadTermPlutusCore.Error, PlutusCore
_BadTypePlutusCore.Error, PlutusCore
_broDeferredFPlutusCore.Builtin
_broImmediateFPlutusCore.Builtin
_broRuntimeSchemePlutusCore.Builtin
_broToExFPlutusCore.Builtin
_builtinCostModelPlutusCore.Evaluation.Machine.MachineParameters
_BuiltinTermArgumentExpectedMachineErrorPlutusCore.Evaluation.Machine.Exception
_BuiltinTypeNotAStarPlutusCore.Error
_cekEmitterInfoEmitUntypedPlutusCore.Evaluation.Machine.Cek.Internal
_cekEmitterInfoGetFinalUntypedPlutusCore.Evaluation.Machine.Cek.Internal
_CompilationErrorPlutusIR.Error, PlutusIR.Compiler
_EmptyBuiltinArityMachineErrorPlutusCore.Evaluation.Machine.Exception
_Error 
1 (Function)PlutusCore.Error, PlutusCore
2 (Function)PlutusIR.Error, PlutusIR.Compiler
_EvaluationErrorPlutusCore.Evaluation.Machine.Exception
_EvaluationFailurePlutusCore.Evaluation.Result
_EvaluationFailureViaPlutusCore.Evaluation.Result
_ewcCausePlutusCore.Evaluation.Machine.Exception, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek
_ewcErrorPlutusCore.Evaluation.Machine.Exception, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek
_exBudgetModeGetCumulativeUntypedPlutusCore.Evaluation.Machine.Cek.Internal
_exBudgetModeGetFinalUntypedPlutusCore.Evaluation.Machine.Cek.Internal
_exBudgetModeSpenderUntypedPlutusCore.Evaluation.Machine.Cek.Internal
_FreeIndexPlutusCore.DeBruijn, PlutusCore.Error, UntypedPlutusCore.DeBruijn, PlutusCore, UntypedPlutusCore
_FreeTypeVariableEPlutusCore.Error, PlutusCore, PlutusIR.Error, PlutusIR.Compiler
_FreeUniquePlutusCore.DeBruijn, PlutusCore.Error, UntypedPlutusCore.DeBruijn, PlutusCore, UntypedPlutusCore
_FreeVariablePlutusCore.Error, PlutusCore.Check.Uniques, UntypedPlutusCore.Check.Uniques, PlutusCore
_FreeVariableEPlutusCore.Error, PlutusCore, PlutusIR.Error, PlutusIR.Compiler
_FreeVariableErrorPlutusCore.DeBruijn, PlutusCore.Error, UntypedPlutusCore.DeBruijn, PlutusCore, UntypedPlutusCore
_FreeVariableErrorEPlutusCore.Error, PlutusCore
_functionDefAnnPlutusCore.MkPlc, PlutusCore.StdLib.Data.Function, PlutusIR.MkPir
_functionDefNamePlutusCore.MkPlc, PlutusCore.StdLib.Data.Function, PlutusIR.MkPir
_functionDefTermPlutusCore.MkPlc, PlutusCore.StdLib.Data.Function, PlutusIR.MkPir
_functionDefTypePlutusCore.MkPlc, PlutusCore.StdLib.Data.Function, PlutusIR.MkPir
_functionTypeAnnPlutusCore.MkPlc, PlutusIR.MkPir
_functionTypeCodPlutusCore.MkPlc, PlutusIR.MkPir
_functionTypeDomPlutusCore.MkPlc, PlutusIR.MkPir
_IncoherentUsagePlutusCore.Error, PlutusCore.Check.Uniques, UntypedPlutusCore.Check.Uniques, PlutusCore
_InternalEvaluationErrorPlutusCore.Evaluation.Machine.Exception
_InvalidBuiltinConstantPlutusCore.Error
_KindMismatchPlutusCore.Error, PlutusCore, PlutusIR.Error, PlutusIR.Compiler
_machineCostModelPlutusCore.Evaluation.Machine.MachineParameters
_MachineErrorPlutusCore.Evaluation.Machine.Exception
_MalformedDataConstrResTypePlutusIR.Error, PlutusIR.Compiler
_MultiplyDefinedPlutusCore.Error, PlutusCore.Check.Uniques, UntypedPlutusCore.Check.Uniques, PlutusCore
_NonFunctionalApplicationMachineErrorPlutusCore.Evaluation.Machine.Exception
_NonPolymorphicInstantiationMachineErrorPlutusCore.Evaluation.Machine.Exception
_NonWrapUnwrappedMachineErrorPlutusCore.Evaluation.Machine.Exception
_NormCheckErrorPlutusCore.Error, PlutusCore
_NormCheckErrorEPlutusCore.Error, PlutusCore
_OpenTermEvaluatedMachineErrorPlutusCore.Evaluation.Machine.Exception
_ParseErrorPlutusCore.Error
_ParseErrorEPlutusCore.Error, PlutusCore
_pccConfigNamePlutusCore.Pretty
_pccDisplayAnnPlutusCore.Pretty
_pcnShowsUniquePlutusCore.Pretty
_pcpoCondensedErrorsPlutusCore.Pretty
_pcpOptionsPlutusCore.Pretty
_pcpStrategyPlutusCore.Pretty
_pcrConfigNamePlutusCore.Pretty
_pcrRenderContextPlutusCore.Pretty
_pcrShowKindsPlutusCore.Pretty
_pirConfigAllowEscapePlutusIR.TypeCheck, PlutusIR.Compiler
_pirConfigTCConfigPlutusIR.TypeCheck, PlutusIR.Compiler
_PIRTypeErrorPlutusIR.Error, PlutusIR.Compiler
_PLCErrorPlutusIR.Error, PlutusIR.Compiler
_PLCTypeErrorPlutusIR.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
_recursiveTypePlutusCore.StdLib.Type
_recursiveWrapPlutusCore.StdLib.Type
_scopedRenamingTermsPlutusCore.Rename.Monad, PlutusCore.Rename.Internal
_scopedRenamingTypesPlutusCore.Rename.Monad, PlutusCore.Rename.Internal
_soInlineHintsUntypedPlutusCore
_soMaxSimplifierIterationsUntypedPlutusCore
_tccBuiltinTypesPlutusCore
_tupleElementTypesPlutusCore.StdLib.Meta.Data.Tuple
_tupleTermPlutusCore.StdLib.Meta.Data.Tuple
_tyDeclAnnPlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug, PlutusIR.MkPir
_tyDeclKindPlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug, PlutusIR.MkPir
_tyDeclTypePlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug, PlutusIR.MkPir
_TypeErrorPlutusCore.Error, PlutusCore, PlutusIR.Error, PlutusIR.Compiler
_TypeErrorEPlutusCore.Error, PlutusCore
_TypeErrorExtPlutusIR.Error, PlutusIR.Compiler
_TypeMismatchPlutusCore.Error, PlutusCore, PlutusIR.Error, PlutusIR.Compiler
_tyVarDeclAnnPlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR, PlutusIR.MkPir
_tyVarDeclKindPlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR, PlutusIR.MkPir
_tyVarDeclNamePlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR, PlutusIR.MkPir
_UnexpectedBuiltinTermArgumentMachineErrorPlutusCore.Evaluation.Machine.Exception
_UniqueCoherencyErrorEPlutusCore.Error, PlutusCore
_UniqueErrorPlutusCore.Error, PlutusCore.Check.Uniques, UntypedPlutusCore.Check.Uniques, PlutusCore
_UnknownBuiltinPlutusCore.Evaluation.Machine.Exception
_UnknownBuiltinFunctionPlutusCore.Error
_UnknownBuiltinFunctionEPlutusCore.Error, PlutusCore, PlutusIR.Error, PlutusIR.Compiler
_UnknownBuiltinTypePlutusCore.Error
_UnliftingErrorPlutusCore.Evaluation.Machine.Exception
_UnliftingErrorEPlutusCore.Evaluation.Machine.Exception
_UnliftingMachineErrorPlutusCore.Evaluation.Machine.Exception
_UnsupportedErrorPlutusIR.Error, PlutusIR.Compiler
_UserEvaluationErrorPlutusCore.Evaluation.Machine.Exception
_uvarDeclAnnUntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore.MkUPlc, UntypedPlutusCore
_uvarDeclNameUntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore.MkUPlc, UntypedPlutusCore
_varDeclAnnPlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR, PlutusIR.MkPir
_varDeclNamePlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR, PlutusIR.MkPir
_varDeclTypePlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR, PlutusIR.MkPir