plutus-core-1.48.0.0: Language library for Plutus Core

Index

$>PlutusPrelude
%~PlutusPrelude
&PlutusPrelude
&&&PlutusPrelude
.*PlutusPrelude
.~PlutusPrelude
:=>Universe, PlutusCore.Default, PlutusCore.Builtin.Debug
:|PlutusPrelude
:~:Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
<&>PlutusPrelude
<:Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
<<$>>PlutusPrelude
<<*>>PlutusPrelude
<=<PlutusPrelude
<?>Prettyprinter.Custom
<^>PlutusPrelude
<|>PlutusPrelude
>=>PlutusPrelude
>>>PlutusPrelude
?PlutusPrelude
@@PlutusCore.MkPlc
AbsurdPlutusCore.Examples.Builtins
add 
1 (Function)PlutusCore.Crypto.BLS12_381.G2
2 (Function)PlutusCore.Crypto.BLS12_381.G1
addCostStreamPlutusCore.Evaluation.Machine.CostStream
addDefPlutusCore.Analysis.Definitions
AddedSizesPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
AddIntegerPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
addSrcSpanPlutusCore.Annotation
addTheRestPlutusPrelude
addUsagePlutusCore.Analysis.Definitions
afterASTUntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore
AllBuiltinArgsPlutusCore.Builtin, PlutusCore.Builtin.Debug
AllElaboratedArgsPlutusCore.Builtin, PlutusCore.Builtin.Debug
allSamePlutusPrelude
allTypePlutusCore.Parser
AlternativePlutusPrelude
AlwaysInlinePlutusCore.Annotation
AndByteStringPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
andByteStringPlutusCore.Bitwise
Ann 
1 (Type/Class)PlutusCore.Annotation
2 (Data Constructor)PlutusCore.Annotation
annAlwaysInlinePlutusCore.Annotation
AnnInlinePlutusCore.Annotation
annInlinePlutusCore.Annotation
annIsAsDataMatcherPlutusCore.Annotation
annMayInlinePlutusCore.Annotation
annSafeToInlinePlutusCore.Annotation
annSrcSpansPlutusCore.Annotation
AnyToDocPlutusCore.Pretty
AppCtxUntypedPlutusCore.Contexts
AppCtxEndUntypedPlutusCore.Contexts
AppCtxTermUntypedPlutusCore.Contexts
AppCtxTypeUntypedPlutusCore.Contexts
AppearedBindingsPlutusCore.Check.Scoping
AppearedBindingsClashWithFreeVariabesPlutusCore.Check.Scoping
AppearedBindingsDiscordWithBoundVariablesPlutusCore.Check.Scoping
AppearedVariablesPlutusCore.Check.Scoping
AppendByteStringPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
AppendStringPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
Apply 
1 (Data Constructor)PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
2 (Data Constructor)UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
applyPlutusCore.MkPlc
applyCostModelParamsPlutusCore.Evaluation.Machine.CostModelInterface
applyDisappearsPlutusCore.Check.Scoping
applyFunPlutusCore.StdLib.Data.Function
applyNameActionPlutusCore.Check.Scoping
applyProgram 
1 (Function)PlutusCore
2 (Function)UntypedPlutusCore
ApplyProgramErrorPlutusCore.Error
applyStaysPlutusCore.Check.Scoping
appTypePlutusCore.Parser
argProxyPlutusCore.Builtin
argsFunKindPlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
ArgStackUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
ArityPlutusCore.Arity
arrowFixityPlutusCore.Pretty
asConstantPlutusCore.Builtin
asksMPlutusPrelude
AsReadable 
1 (Type/Class)PlutusCore.Pretty
2 (Data Constructor)PlutusCore.Pretty
AssociativityPlutusCore.Pretty
AttachPrettyConfig 
1 (Type/Class)PlutusCore.Pretty
2 (Data Constructor)PlutusCore.Pretty
BPlutusCore.Data
BadTermPlutusCore.Error, PlutusCore, PlutusCore.Check.Normal
BadTypePlutusCore.Error, PlutusCore, PlutusCore.Check.Normal
BApplyUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
BBuiltinUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
BBuiltinAppUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
BCaseUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
BConstUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
BConstrUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
BDataPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
BDelayUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
beforeASTUntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore
benchingResultsFilePlutusCore.DataFilePaths
BForceUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
BiconstPairPlutusCore.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
binderFixityPlutusCore.Pretty
bindFunUntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
bindFunMUntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
BindingRemovalPlutusCore.Check.Scoping
BindingRemovalNotOkPlutusCore.Check.Scoping
BindingRemovalOkPlutusCore.Check.Scoping
bindTuplePlutusCore.StdLib.Meta.Data.Tuple
Blake2b_224PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
blake2b_224PlutusCore.Crypto.Hash
Blake2b_256PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
blake2b_256PlutusCore.Crypto.Hash
BLamAbsUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
BLS12_381_ErrorPlutusCore.Crypto.BLS12_381.Error
Bls12_381_finalVerifyPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
Bls12_381_G1_addPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
Bls12_381_G1_compressPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
Bls12_381_G1_equalPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
Bls12_381_G1_hashToGroupPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
Bls12_381_G1_negPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
Bls12_381_G1_scalarMulPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
Bls12_381_G1_uncompressPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
Bls12_381_G2_addPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
Bls12_381_G2_compressPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
Bls12_381_G2_equalPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
Bls12_381_G2_hashToGroupPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
Bls12_381_G2_negPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
Bls12_381_G2_scalarMulPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
Bls12_381_G2_uncompressPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
Bls12_381_millerLoopPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
Bls12_381_mulMlResultPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
boolPlutusCore.StdLib.Data.Bool
botFixityPlutusCore.Pretty
botPrettyConfigReadablePlutusCore.Pretty
botRenderContextPlutusCore.Pretty
braces'Prettyprinter.Custom
brackets'Prettyprinter.Custom
BreakpointableUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
bringUniverse, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
bringKnownKindPlutusCore.Builtin
BStartupUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
BStepUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
Builtin 
1 (Data Constructor)PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
2 (Data Constructor)UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
builtinPlutusCore.MkPlc
builtinArityPlutusCore.Arity
BuiltinCostedResultPlutusCore.Builtin
BuiltinCostKeyMapPlutusCore.Evaluation.Machine.SimpleBuiltinCostModel
BuiltinCostMapPlutusCore.Evaluation.Machine.SimpleBuiltinCostModel
BuiltinCostModelPlutusCore.Evaluation.Machine.BuiltinCostModel
builtinCostModelPlutusCore.Evaluation.Machine.MachineParameters
BuiltinCostModelBase 
1 (Type/Class)PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.BuiltinCostModel
builtinCostModelFileAPlutusCore.DataFilePaths
builtinCostModelFileBPlutusCore.DataFilePaths
builtinCostModelFileCPlutusCore.DataFilePaths
BuiltinErrorPlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin
BuiltinErrorCall 
1 (Type/Class)PlutusCore.Examples.Builtins
2 (Data Constructor)PlutusCore.Examples.Builtins
BuiltinErrorToEvaluationErrorPlutusCore.Evaluation.Machine.Exception
builtinErrorToEvaluationErrorPlutusCore.Evaluation.Machine.Exception
BuiltinEvaluationFailurePlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin
BuiltinExpectArgumentPlutusCore.Builtin
BuiltinExpectForcePlutusCore.Builtin
BuiltinFailurePlutusCore.Builtin
builtinFunctionPlutusCore.Parser
BuiltinHeadPlutusCore.Builtin, PlutusCore.Builtin.Debug
BuiltinMeaning 
1 (Type/Class)PlutusCore.Builtin, PlutusCore.Builtin.Debug
2 (Data Constructor)PlutusCore.Builtin, PlutusCore.Builtin.Debug
builtinMeaningsToTypesPlutusCore.TypeCheck, PlutusCore
BuiltinResultPlutusCore.Builtin
builtinResultFailurePlutusCore.Builtin
BuiltinRuntimePlutusCore.Builtin
builtinRuntimeFailurePlutusCore.Builtin
builtinsPlutusCore.Examples.Everything
BuiltinSemanticsVariantPlutusCore.Builtin, PlutusCore.Builtin, PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore.Builtin.Debug, PlutusCore.Examples.Builtins
BuiltinsRuntime 
1 (Type/Class)PlutusCore.Builtin, UntypedPlutusCore.Evaluation.Machine.Cek
2 (Data Constructor)PlutusCore.Builtin, UntypedPlutusCore.Evaluation.Machine.Cek
builtinsRuntimePlutusCore.Evaluation.Machine.MachineParameters
BuiltinSuccessPlutusCore.Builtin
BuiltinSuccessWithLogsPlutusCore.Builtin
builtinTagWidthPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug
BuiltinTermArgumentExpectedMachineErrorPlutusCore.Evaluation.Machine.Exception
builtinTypePlutusCore.Parser
BuiltinTypeNotAStarPlutusCore.Error, PlutusCore.Parser, PlutusCore
BuiltinTypes 
1 (Type/Class)PlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore
2 (Data Constructor)PlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore
BuiltinUnliftingEvaluationErrorPlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin
BVarUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
ByteStringToIntegerPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
byteStringToIntegerPlutusCore.Bitwise
cachedBuiltinPlutusCore.Parser
Case 
1 (Data Constructor)PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
2 (Data Constructor)UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
CaseDataPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
CaseListPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
CaseOfCaseUntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore
caseOfCaseUntypedPlutusCore.Transform.CaseOfCase
CaseReduceUntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore
caseReduceUntypedPlutusCore.Transform.CaseReduce
cekApplyCostUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
CekBudgetSpender 
1 (Type/Class)UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
2 (Data Constructor)UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
cekBuiltinCostUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
cekCaseCostUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
cekConstCostUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
cekConstrCostUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
cekCostModelForVariantPlutusCore.Evaluation.Machine.ExBudgetingDefaults
cekDelayCostUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
CekEmitterUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
CekEmitterInfo 
1 (Type/Class)UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
2 (Data Constructor)UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
CekEvaluationExceptionUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
CekEvaluationFailureUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
CekExTally 
1 (Type/Class)UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek
2 (Data Constructor)UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek
cekForceCostUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
cekLamCostUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
CekM 
1 (Type/Class)UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
2 (Data Constructor)UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
CekMachineCostsUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts, PlutusCore.Evaluation.Machine.CostModelInterface, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek
CekMachineCostsBase 
1 (Type/Class)UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
2 (Data Constructor)UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
cekMachineCostsFileAPlutusCore.DataFilePaths
cekMachineCostsFileBPlutusCore.DataFilePaths
cekMachineCostsFileCPlutusCore.DataFilePaths
cekMachineCostsPrefixUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
CekOutOfExErrorUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
cekStartupCostUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
CekStateUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
cekStateAnnUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
cekStateContextUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
CekTransUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
CekUserErrorUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
CekValEnvUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
CekValueUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
cekVarCostUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
checkEmptyOnPlutusCore.Check.Scoping
checkKindPlutusCore.TypeCheck, PlutusCore
checkKindMPlutusCore.TypeCheck.Internal
checkProgram 
1 (Function)PlutusCore.Check.Uniques
2 (Function)PlutusCore.Check.Normal
3 (Function)UntypedPlutusCore.Check.Uniques
checkRespectsScopingPlutusCore.Check.Scoping
checkScopeUntypedPlutusCore.Check.Scope, UntypedPlutusCore
checkScopeInfoPlutusCore.Check.Scoping
checkStarUniverse, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
checkTerm 
1 (Function)PlutusCore.Check.Uniques
2 (Function)PlutusCore.Check.Normal
3 (Function)UntypedPlutusCore.Check.Uniques
checkTypePlutusCore.TypeCheck, PlutusCore
checkTypeMPlutusCore.TypeCheck.Internal
checkTypeOfProgramPlutusCore.TypeCheck, PlutusCore
ChooseDataPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
ChooseListPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
ChooseUnitPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
churchConcatPlutusCore.Examples.Data.Vec
churchConsPlutusCore.Examples.Data.Vec
churchNatPlutusCore.StdLib.Data.ChurchNat
churchNilPlutusCore.Examples.Data.Vec
churchSuccPlutusCore.StdLib.Data.ChurchNat
churchVecPlutusCore.Examples.Data.Vec
churchZeroPlutusCore.StdLib.Data.ChurchNat
CkEvaluationExceptionPlutusCore.Evaluation.Machine.Ck
CkMPlutusCore.Evaluation.Machine.Ck
CkValuePlutusCore.Evaluation.Machine.Ck
ClosedUniverse, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
cmActualPlutusCore.Evaluation.Machine.CostModelInterface
CmdUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
cmExpectedPlutusCore.Evaluation.Machine.CostModelInterface
CMInternalReadErrorPlutusCore.Evaluation.Machine.CostModelInterface
CMInternalWriteErrorPlutusCore.Evaluation.Machine.CostModelInterface
CMTooFewParamsWarnPlutusCore.Evaluation.Machine.CostModelInterface
CMTooManyParamsWarnPlutusCore.Evaluation.Machine.CostModelInterface
CMUnknownParamErrorPlutusCore.Evaluation.Machine.CostModelInterface
coBuiltinSemanticsVariantPlutusCore.Compiler.Opts, PlutusCore.Compiler
coeff00_PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
coeff01_PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
coeff02_PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
coeff0_PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
coeff10_PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
coeff11_PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
coeff1_PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
coeff20_PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
coeff2_PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
Coefficient0 
1 (Type/Class)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
Coefficient00 
1 (Type/Class)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
coefficient00PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
Coefficient01 
1 (Type/Class)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
Coefficient02 
1 (Type/Class)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
Coefficient1 
1 (Type/Class)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
Coefficient10 
1 (Type/Class)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
Coefficient11 
1 (Type/Class)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
coefficient11PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
Coefficient12 
1 (Type/Class)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
coefficient12PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
Coefficient2 
1 (Type/Class)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
Coefficient20 
1 (Type/Class)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
coercePlutusPrelude
coerceArgPlutusPrelude
coerceResPlutusPrelude
coerceViaPlutusPrelude
CoerciblePlutusPrelude
CollectScopeInfoPlutusCore.Check.Scoping
collectScopeInfoPlutusCore.Check.Scoping
CommaPlutusCore.Examples.Builtins
CompilationOpts 
1 (Type/Class)PlutusCore.Compiler.Opts, PlutusCore.Compiler
2 (Data Constructor)PlutusCore.Compiler.Opts, PlutusCore.Compiler
compileProgramPlutusCore.Compiler
compileProgramWithTracePlutusCore.Compiler
compileTermPlutusCore.Compiler
CompilingPlutusCore.Compiler.Types
ComplementByteStringPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
complementByteStringPlutusCore.Bitwise
compoundDocMPlutusCore.Pretty
compress 
1 (Function)PlutusCore.Crypto.BLS12_381.G2
2 (Function)PlutusCore.Crypto.BLS12_381.G1
compressedSizeBytes 
1 (Function)PlutusCore.Crypto.BLS12_381.G2
2 (Function)PlutusCore.Crypto.BLS12_381.G1
compressed_generator 
1 (Function)PlutusCore.Crypto.BLS12_381.G2
2 (Function)PlutusCore.Crypto.BLS12_381.G1
compressed_zero 
1 (Function)PlutusCore.Crypto.BLS12_381.G2
2 (Function)PlutusCore.Crypto.BLS12_381.G1
computeCekUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
ComputingUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
con0xBSPlutusCore.Parser
conArrayPlutusCore.Parser
conBLS12_381_G1_ElementPlutusCore.Parser
conBLS12_381_G2_ElementPlutusCore.Parser
conBoolPlutusCore.Parser
conBSPlutusCore.Parser
conDataPlutusCore.Parser
conDataNoParensPlutusCore.Parser
CondensedErrorsPlutusCore.Pretty
CondensedErrorsNoPlutusCore.Pretty
CondensedErrorsYesPlutusCore.Pretty
conIntegerPlutusCore.Parser
conListPlutusCore.Parser
conPairPlutusCore.Parser
consPlutusCore.StdLib.Data.ScottList
consAnnIfPlutusCore.Pretty
ConsByteStringPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
ConsStackUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
ConstPlutusCore.Examples.Builtins
constPlutusCore.StdLib.Data.Function
ConstAboveDiagonalPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
Constant 
1 (Data Constructor)PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
2 (Data Constructor)UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
constant 
1 (Function)PlutusCore.MkPlc
2 (Function)PlutusCore.Parser
ConstantCostPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
constantOfPlutusCore.Parser
ConstBelowDiagonalPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
ConstConfig 
1 (Type/Class)PlutusCore.Pretty
2 (Data Constructor)PlutusCore.Pretty
ConstOffDiagonalPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
constPartialPlutusCore.StdLib.Meta.Data.Function
Constr 
1 (Data Constructor)PlutusCore.Data
2 (Data Constructor)PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
3 (Data Constructor)UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
constrPlutusCore.MkPlc
ConstrDataPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
ContainsUniverse, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
Context 
1 (Type/Class)UntypedPlutusCore.Evaluation.Machine.Cek.Internal
2 (Type/Class)UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
conTextPlutusCore.Parser
contextAnnUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
ContinueUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
conUnitPlutusCore.Parser
coSimplifyOptsPlutusCore.Compiler.Opts, PlutusCore.Compiler
CostConsPlutusCore.Evaluation.Machine.CostStream
CostingFun 
1 (Type/Class)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
costingFunCpuPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
costingFunMemoryPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
CostingIntegerPlutusCore.Evaluation.Machine.ExMemory
CostingPartPlutusCore.Builtin, PlutusCore.Builtin, PlutusCore.Builtin.Debug, PlutusCore.Builtin.Debug
CostLastPlutusCore.Evaluation.Machine.CostStream
CostModel 
1 (Type/Class)PlutusCore.Evaluation.Machine.MachineParameters
2 (Data Constructor)PlutusCore.Evaluation.Machine.MachineParameters
CostModelApplyErrorPlutusCore.Evaluation.Machine.CostModelInterface
CostModelApplyWarnPlutusCore.Evaluation.Machine.CostModelInterface
costModelDataDirPlutusCore.DataFilePaths
CostModelParamsPlutusCore.Evaluation.Machine.CostModelInterface
CostRose 
1 (Type/Class)PlutusCore.Evaluation.Machine.ExMemoryUsage
2 (Data Constructor)PlutusCore.Evaluation.Machine.ExMemoryUsage
CostStreamPlutusCore.Evaluation.Machine.CostStream
CounterSizeUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
countingUntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek
CountingSt 
1 (Type/Class)UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek
2 (Data Constructor)UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek
CountSetBitsPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
countSetBitsPlutusCore.Bitwise
CpuAndMemoryModel 
1 (Type/Class)PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
2 (Data Constructor)PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
cpuModelPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
CSEUntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore
cseUntypedPlutusCore.Transform.Cse
currentLevelPlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore
cutoffUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
DataPlutusCore.Data
dataTyPlutusCore.StdLib.Data.Data
dbnIndexPlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore, UntypedPlutusCore.DeBruijn, UntypedPlutusCore
DeBruijn 
1 (Type/Class)PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore, UntypedPlutusCore.DeBruijn, UntypedPlutusCore
2 (Data Constructor)PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore, UntypedPlutusCore.DeBruijn, UntypedPlutusCore
deBruijnInitIndexPlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore
deBruijnTerm 
1 (Function)PlutusCore.DeBruijn, PlutusCore
2 (Function)UntypedPlutusCore.DeBruijn, UntypedPlutusCore
deBruijnTermWith 
1 (Function)PlutusCore.DeBruijn
2 (Function)UntypedPlutusCore.DeBruijn, UntypedPlutusCore
deBruijnToNamePlutusCore.DeBruijn.Internal
deBruijnToTyNamePlutusCore.DeBruijn.Internal
deBruijnTyPlutusCore.DeBruijn
deBruijnTyWithPlutusCore.DeBruijn
DebugFUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
declareBinderPlutusCore.DeBruijn.Internal
declareUniquePlutusCore.DeBruijn.Internal
decodeBuiltinPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug
decodeKindedUniUniverse, PlutusCore.Default, PlutusCore.Builtin.Debug
decodeProgramUntypedPlutusCore.Core, UntypedPlutusCore
decodeTermUntypedPlutusCore.Core, UntypedPlutusCore
decodeTermTagUntypedPlutusCore.Core, UntypedPlutusCore
DecodeUniM 
1 (Type/Class)Universe, PlutusCore.Default, PlutusCore.Builtin.Debug
2 (Data Constructor)Universe, PlutusCore.Default, PlutusCore.Builtin.Debug
DecodeUtf8PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
decodeViaFlatWithCodec.Extras.SerialiseViaFlat
Def 
1 (Type/Class)PlutusCore.MkPlc, UntypedPlutusCore.MkUPlc
2 (Data Constructor)PlutusCore.MkPlc, UntypedPlutusCore.MkUPlc
defPlutusPrelude
DefaultPlutusPrelude
defaultBuiltinCostModelForTestingPlutusCore.Evaluation.Machine.ExBudgetingDefaults
defaultBuiltinsRuntimeForSemanticsVariantPlutusCore.Evaluation.Machine.ExBudgetingDefaults
defaultBuiltinsRuntimeForTestingPlutusCore.Evaluation.Machine.ExBudgetingDefaults
defaultCekCostModelForTestingPlutusCore.Evaluation.Machine.ExBudgetingDefaults
defaultCekCostModelForTestingBPlutusCore.Evaluation.Machine.ExBudgetingDefaults
defaultCekMachineCostsForTestingPlutusCore.Evaluation.Machine.ExBudgetingDefaults
defaultCekParametersForTestingPlutusCore.Evaluation.Machine.ExBudgetingDefaults
defaultCekParametersForVariantPlutusCore.Evaluation.Machine.ExBudgetingDefaults
defaultCompilationOptsPlutusCore.Compiler.Opts, PlutusCore.Compiler
defaultCostModelParamsForTestingPlutusCore.Evaluation.Machine.ExBudgetingDefaults
defaultCostModelParamsForVariantPlutusCore.Evaluation.Machine.ExBudgetingDefaults
defaultEqUniverse, PlutusCore.Default, PlutusCore.Builtin.Debug
DefaultFunPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore
DefaultFunSemanticsVariantAPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug
DefaultFunSemanticsVariantBPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug
DefaultFunSemanticsVariantCPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug
DefaultMachineParametersPlutusCore.Evaluation.Machine.MachineParameters.Default
DefaultPrettyPlcStrategyPlutusCore.Pretty
defaultSimpleBuiltinCostModelPlutusCore.Evaluation.Machine.SimpleBuiltinCostModel
defaultSimplifyOptsUntypedPlutusCore
defaultSlippageUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
DefaultUniPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore
defaultUniPlutusCore.Parser
defaultUniApplicationPlutusCore.Parser
DefaultUniApplyPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
DefaultUniArrayPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
DefaultUniBLS12_381_G1_ElementPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
DefaultUniBLS12_381_G2_ElementPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
DefaultUniBLS12_381_MlResultPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
DefaultUniBoolPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
DefaultUniByteStringPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
DefaultUniDataPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
DefaultUniIntegerPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
DefaultUniListPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
DefaultUniPairPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
DefaultUniProtoArrayPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
DefaultUniProtoListPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
DefaultUniProtoPairPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
DefaultUniStringPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
DefaultUniUnitPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
defKindCheckConfigPlutusCore.TypeCheck, PlutusCore
defValPlutusCore.MkPlc, UntypedPlutusCore.MkUPlc
defVarPlutusCore.MkPlc, UntypedPlutusCore.MkUPlc
DelayUntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
DeletePlutusCore.Builtin
demoteKindPlutusCore.Builtin
DeserialiseFailureInfo 
1 (Type/Class)Codec.Extras.SerialiseViaFlat
2 (Data Constructor)Codec.Extras.SerialiseViaFlat
DeserialiseFailureReasonCodec.Extras.SerialiseViaFlat
DetectNameMismatchesPlutusCore.TypeCheck.Internal
dfOffsetCodec.Extras.SerialiseViaFlat
dfReasonCodec.Extras.SerialiseViaFlat
DirectionPlutusCore.Pretty
DisappearedBindingsPlutusCore.Check.Scoping
DisappearedBindingsClashWithAppearedBindingsPlutusCore.Check.Scoping
DisappearedBindingsClashWithFreeVariablesPlutusCore.Check.Scoping
DisappearedBindingsDiscordWithBoundVariablesPlutusCore.Check.Scoping
DisappearedBindingsDiscordWithOutOfScopeVariablesPlutusCore.Check.Scoping
DisappearedVariablesPlutusCore.Check.Scoping
Disappears 
1 (Data Constructor)PlutusCore.Check.Scoping
2 (Type/Class)PlutusCore.Check.Scoping
DisappearsBindingPlutusCore.Check.Scoping
DisappearsVariablePlutusCore.Check.Scoping
dischargeCekValueUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
displayPlutusPrelude, PlutusCore.Pretty
displayByPlutusCore.Pretty
displayMPlutusCore.Pretty
displayPlcPlutusCore.Pretty
displayPlcCondensedErrorClassicPlutusCore.Pretty
displayPlcSimplePlutusCore.Pretty
distinctPlutusPrelude
dividedByPlutusCore.Evaluation.Machine.ExMemory, Data.SatInt
unScopeErrorOrInfoPlutusCore.Check.Scoping
unScopeInfoPlutusCore.Check.Scoping
unSerialiseViaFlatCodec.Extras.SerialiseViaFlat
unShowPrettyPlutusPrelude
unSizePlutusCore.Size, UntypedPlutusCore.Size, UntypedPlutusCore
unSlopePlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
unSolePlutusCore.Pretty
unSomeConstantPlutusCore.Builtin, PlutusCore.Builtin.Debug
unSrcSpansPlutusCore.Annotation
unTermUniquePlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore
unTyNamePlutusCore.Name.Unique, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore
unTypeUniquePlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore
unUniquePlutusCore.Name.Unique, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore
unUniqueMapPlutusCore.Name.UniqueMap, PlutusCore
unUniqueSetPlutusCore.Name.UniqueSet, PlutusCore
unUnliftingErrorPlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin
unUnliftingEvaluationErrorPlutusCore.Builtin
unUnrestrictedProgramUntypedPlutusCore.Core, UntypedPlutusCore
UnwrapPlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
unwrapPlutusCore.MkPlc
UpdateClientFUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
UpwardsMUntypedPlutusCore.Evaluation.Machine.Cek.StepCounter
upwardsMUntypedPlutusCore.Evaluation.Machine.Cek.StepCounter
UseCasePlutusCore.StdLib.Data.MatchOption, PlutusCore.StdLib.Data.List
UseChoosePlutusCore.StdLib.Data.MatchOption, PlutusCore.StdLib.Data.List
UTermDefUntypedPlutusCore.MkUPlc
UVarDecl 
1 (Type/Class)UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore.MkUPlc, UntypedPlutusCore
2 (Data Constructor)UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore.MkUPlc, UntypedPlutusCore
uvarDeclAnnUntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore.MkUPlc, UntypedPlutusCore
uvarDeclNameUntypedPlutusCore.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
varPlutusCore.MkPlc
VarDecl 
1 (Type/Class)PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug
2 (Data Constructor)PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug
varDeclAnnPlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
varDeclNamePlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
varDeclSizePlutusCore.Size
varDeclSubtypesPlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug
varDeclTypePlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
varTypePlutusCore.Parser
VarTypesPlutusCore.TypeCheck.Internal
VBuiltinUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
vcatHardPrettyprinter.Custom
VConUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
VConstrUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
VDelayUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
VerifyEcdsaSecp256k1SignaturePlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
verifyEcdsaSecp256k1SignaturePlutusCore.Crypto.Secp256k1
VerifyEd25519SignaturePlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
verifyEd25519SignaturePlutusCore.Crypto.Ed25519
VerifySchnorrSecp256k1SignaturePlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
verifySchnorrSecp256k1SignaturePlutusCore.Crypto.Secp256k1
Version 
1 (Type/Class)PlutusCore.Version, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
2 (Data Constructor)PlutusCore.Version, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
versionPlutusCore.Parser
versionMajorPlutusCore.Version, PlutusCore.Core, PlutusCore.Builtin.Debug
versionMinorPlutusCore.Version, PlutusCore.Core, PlutusCore.Builtin.Debug
versionPatchPlutusCore.Version, PlutusCore.Core, PlutusCore.Builtin.Debug
viewPlutusPrelude
VLamAbsUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
voidPlutusPrelude
vTerm 
1 (Function)PlutusCore.Subst
2 (Function)UntypedPlutusCore
WhateverPlutusCore.Examples.Builtins
whateverPlutusCore.Examples.Builtins
whenVersionPlutusCore.Parser
whitespacePlutusCore.Parser
withApplicableUniverse, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
withDecodedUniUniverse, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
withExtendedTypeVarEnvPlutusCore.Normalize.Internal
withFreshenedNamePlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal
withFreshenedTyVarDeclPlutusCore.Rename.Internal
withFreshenedVarDeclPlutusCore.Rename.Internal
withKnownKindPlutusCore.Builtin
withLogsPlutusCore.Builtin
withPrettyAtPlutusCore.Pretty
withPrettyInPlutusCore.Pretty
withRenamedNamePlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal
withScopePlutusCore.DeBruijn.Internal
withSingKindPlutusCore.Builtin
withSpanPlutusCore.Parser
withSpan'PlutusCore.Parser
withTypeSchemeOfBuiltinFunctionPlutusCore.Builtin, PlutusCore.Builtin.Debug
withTyVarPlutusCore.TypeCheck.Internal
withVarPlutusCore.TypeCheck.Internal
withVersionPlutusCore.Parser
wixData.List.Extras
Word8PlutusPrelude
WorkFreeUntypedPlutusCore.Purity
WorkFreedomUntypedPlutusCore.Purity
WriteBitsPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
writeBitsPlutusCore.Bitwise
writeCounterUntypedPlutusCore.Evaluation.Machine.Cek.StepCounter
XorByteStringPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
xorByteStringPlutusCore.Bitwise
ZUntypedPlutusCore.Evaluation.Machine.Cek.StepCounter
zeroPlutusCore.StdLib.Data.Nat
zeroTPlutusCore.Examples.Data.Vec
zipCostStreamPlutusCore.Evaluation.Machine.ExBudgetStream
zipExactPlutusPrelude
\\PlutusCore.Name.UniqueSet
^.PlutusPrelude
_appearedBindingsPlutusCore.Check.Scoping
_boundVariablesPlutusCore.Check.Scoping
_builtinCostModelPlutusCore.Evaluation.Machine.MachineParameters
_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
_coSimplifyOptsPlutusCore.Compiler.Opts, PlutusCore.Compiler
_disappearedBindingsPlutusCore.Check.Scoping
_disppearedBindingsPlutusCore.Check.Scoping
_duplicateBindersLeftPlutusCore.Check.Scoping
_duplicateBindersRightPlutusCore.Check.Scoping
_errorPlutusCore.Check.Scoping
_ewcCausePlutusCore.Evaluation.ErrorWithCause, PlutusCore.Evaluation.Machine.Exception, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, 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.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
_fixityPrecedencePlutusCore.Pretty
_freeVariablesPlutusCore.Check.Scoping
_functionDefAnnPlutusCore.MkPlc, PlutusCore.StdLib.Data.Function
_functionDefNamePlutusCore.MkPlc, PlutusCore.StdLib.Data.Function
_functionDefTermPlutusCore.MkPlc, PlutusCore.StdLib.Data.Function
_functionDefTypePlutusCore.MkPlc, PlutusCore.StdLib.Data.Function
_functionTypeAnnPlutusCore.MkPlc
_functionTypeCodPlutusCore.MkPlc
_functionTypeDomPlutusCore.MkPlc
_iiBuiltinSemanticsVariantUntypedPlutusCore.Transform.Inline
_iiHintsUntypedPlutusCore.Transform.Inline
_iiInlineCallsiteGrowthUntypedPlutusCore.Transform.Inline
_iiInlineConstantsUntypedPlutusCore.Transform.Inline
_iiPreserveLoggingUntypedPlutusCore.Transform.Inline
_iiUsagesUntypedPlutusCore.Transform.Inline
_inputPlutusCore.Check.Scoping
_kccHandleNameMismatchesPlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore
_machineCostModelPlutusCore.Evaluation.Machine.MachineParameters
_namedStringPlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore
_namedValuePlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore
_nameTextPlutusCore.Name.Unique, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore
_nameUniquePlutusCore.Name.Unique, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore
_newNamePlutusCore.Check.Scoping
_oldNamePlutusCore.Check.Scoping
_outOfScopeVariablesPlutusCore.Check.Scoping
_outputPlutusCore.Check.Scoping
_pccConfigNamePlutusCore.Pretty
_pccDisplayAnnPlutusCore.Pretty
_pcnShowsUniquePlutusCore.Pretty
_pcpoCondensedErrorsPlutusCore.Pretty
_pcpOptionsPlutusCore.Pretty
_pcpStrategyPlutusCore.Pretty
_pcrConfigNamePlutusCore.Pretty
_pcrRenderContextPlutusCore.Pretty
_pcrShowKindsPlutusCore.Pretty
_preparedPlutusCore.Check.Scoping
_progAnn 
1 (Function)PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
2 (Function)UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
_progTerm 
1 (Function)PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
2 (Function)UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
_progVer 
1 (Function)PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
2 (Function)UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
_recursiveTypePlutusCore.StdLib.Type
_recursiveWrapPlutusCore.StdLib.Type
_renderContextDirectionPlutusCore.Pretty
_renderContextFixityPlutusCore.Pretty
_scopedRenamingTermsPlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal
_scopedRenamingTypesPlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal
_soConservativeOptsUntypedPlutusCore
_soInlineCallsiteGrowthUntypedPlutusCore
_soInlineConstantsUntypedPlutusCore
_soInlineHintsUntypedPlutusCore
_soMaxCseIterationsUntypedPlutusCore
_soMaxSimplifierIterationsUntypedPlutusCore
_soPreserveLoggingUntypedPlutusCore
_substUntypedPlutusCore.Transform.Inline
_tccBuiltinTypesPlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore
_tccKindCheckConfigPlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore
_tceTypeCheckConfigPlutusCore.TypeCheck.Internal
_tceTyVarKindsPlutusCore.TypeCheck.Internal
_tceVarTypesPlutusCore.TypeCheck.Internal
_termEnvUntypedPlutusCore.Transform.Inline
_tupleElementTypesPlutusCore.StdLib.Meta.Data.Tuple
_tupleTermPlutusCore.StdLib.Meta.Data.Tuple
_tyDeclAnnPlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug
_tyDeclKindPlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug
_tyDeclTypePlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug
_tyVarDeclAnnPlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug
_tyVarDeclKindPlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug
_tyVarDeclNamePlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug
_unTermEnvUntypedPlutusCore.Transform.Inline
_uvarDeclAnnUntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore.MkUPlc, UntypedPlutusCore
_uvarDeclNameUntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore.MkUPlc, UntypedPlutusCore
_varDeclAnnPlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug
_varDeclNamePlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug
_varDeclTypePlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug
_varsUntypedPlutusCore.Transform.Inline
_versionMajorPlutusCore.Version, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
_versionMinorPlutusCore.Version, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
_versionPatchPlutusCore.Version, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore