plutus-core-1.0.0.1: Language library for Plutus Core

Index - _

_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