A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Z
:
$
%
&
.
<
>
?
@
\
^
_
All

Index - C

cachedBuiltin	PlutusCore.Parser
Case
1 (Data Constructor)	PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
2 (Data Constructor)	UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
caseData	PlutusCore.StdLib.Data.Data
caseList	PlutusCore.StdLib.Data.List
caseOfCase	UntypedPlutusCore.Transform.CaseOfCase
cekApplyCost	UntypedPlutusCore.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
cekBuiltinCost	UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
cekCaseCost	UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
cekConstCost	UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
cekConstrCost	UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
cekCostModelForVariant	PlutusCore.Evaluation.Machine.ExBudgetingDefaults
cekDelayCost	UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
CekEmitter	UntypedPlutusCore.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
CekEvaluationException	UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
CekEvaluationFailure	UntypedPlutusCore.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
cekForceCost	UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
cekLamCost	UntypedPlutusCore.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
CekMachineCosts	UntypedPlutusCore.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
cekMachineCostsFileA	PlutusCore.DataFilePaths
cekMachineCostsFileB	PlutusCore.DataFilePaths
cekMachineCostsFileC	PlutusCore.DataFilePaths
cekMachineCostsPrefix	UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
CekOutOfExError	UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
cekStartupCost	UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
CekState	UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
cekStateAnn	UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
cekStateContext	UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
CekTrans	UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
CekUserError	UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
CekValEnv	UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
CekValue	UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
cekVarCost	UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
checkEmptyOn	PlutusCore.Check.Scoping
checkKind	PlutusCore.TypeCheck, PlutusCore
checkKindM	PlutusCore.TypeCheck.Internal
checkProgram
1 (Function)	PlutusCore.Check.Uniques
2 (Function)	PlutusCore.Check.Normal
3 (Function)	UntypedPlutusCore.Check.Uniques
checkRespectsScoping	PlutusCore.Check.Scoping
checkScope	UntypedPlutusCore.Check.Scope, UntypedPlutusCore
checkScopeInfo	PlutusCore.Check.Scoping
checkStar	Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
checkTerm
1 (Function)	PlutusCore.Check.Uniques
2 (Function)	PlutusCore.Check.Normal
3 (Function)	UntypedPlutusCore.Check.Uniques
checkType	PlutusCore.TypeCheck, PlutusCore
checkTypeM	PlutusCore.TypeCheck.Internal
checkTypeOfProgram	PlutusCore.TypeCheck, PlutusCore
ChooseData	PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
ChooseList	PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
ChooseUnit	PlutusCore.Default.Builtins, 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
cmActual	PlutusCore.Evaluation.Machine.CostModelInterface
Cmd	UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
cmExpected	PlutusCore.Evaluation.Machine.CostModelInterface
CMInternalReadError	PlutusCore.Evaluation.Machine.CostModelInterface
CMInternalWriteError	PlutusCore.Evaluation.Machine.CostModelInterface
CMTooFewParamsWarn	PlutusCore.Evaluation.Machine.CostModelInterface
CMTooManyParamsWarn	PlutusCore.Evaluation.Machine.CostModelInterface
CMUnknownParamError	PlutusCore.Evaluation.Machine.CostModelInterface
coBuiltinSemanticsVariant	PlutusCore.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
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
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
coerce	PlutusPrelude
coerceArg	PlutusPrelude
coerceRes	PlutusPrelude
coerceVia	PlutusPrelude
Coercible	PlutusPrelude
CollectScopeInfo	PlutusCore.Check.Scoping
collectScopeInfo	PlutusCore.Check.Scoping
Comma	PlutusCore.Examples.Builtins
CompilationOpts
1 (Type/Class)	PlutusCore.Compiler.Opts, PlutusCore.Compiler
2 (Data Constructor)	PlutusCore.Compiler.Opts, PlutusCore.Compiler
compileProgram	PlutusCore.Compiler
compileTerm	PlutusCore.Compiler
Compiling	PlutusCore.Compiler.Types
ComplementByteString	PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
complementByteString	PlutusCore.Bitwise
compoundDocM	PlutusCore.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
computeCek	UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
Computing	UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
con0xBS	PlutusCore.Parser
conBLS12_381_G1_Element	PlutusCore.Parser
conBLS12_381_G2_Element	PlutusCore.Parser
conBool	PlutusCore.Parser
conBS	PlutusCore.Parser
conData	PlutusCore.Parser
conDataNoParens	PlutusCore.Parser
CondensedErrors	PlutusCore.Pretty
CondensedErrorsNo	PlutusCore.Pretty
CondensedErrorsYes	PlutusCore.Pretty
conInteger	PlutusCore.Parser
conList	PlutusCore.Parser
conPair	PlutusCore.Parser
cons	PlutusCore.StdLib.Data.ScottList
consAnnIf	PlutusCore.Pretty
ConsByteString	PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
ConsStack	UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
Const	PlutusCore.Examples.Builtins
const	PlutusCore.StdLib.Data.Function
ConstAboveDiagonal	PlutusCore.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
ConstantCost	PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
constantOf	PlutusCore.Parser
ConstBelowDiagonal	PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
ConstConfig
1 (Type/Class)	PlutusCore.Pretty
2 (Data Constructor)	PlutusCore.Pretty
ConstOffDiagonal	PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
constPartial	PlutusCore.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
constr	PlutusCore.MkPlc
ConstrData	PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
Contains	Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
Context
1 (Type/Class)	UntypedPlutusCore.Evaluation.Machine.Cek.Internal
2 (Type/Class)	UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
conText	PlutusCore.Parser
contextAnn	UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
Continue	UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
conUnit	PlutusCore.Parser
coSimplifyOpts	PlutusCore.Compiler.Opts, PlutusCore.Compiler
CostCons	PlutusCore.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
costingFunCpu	PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
costingFunMemory	PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
CostingInteger	PlutusCore.Evaluation.Machine.ExMemory
CostingPart	PlutusCore.Builtin, PlutusCore.Builtin, PlutusCore.Builtin.Debug, PlutusCore.Builtin.Debug
CostLast	PlutusCore.Evaluation.Machine.CostStream
CostModel
1 (Type/Class)	PlutusCore.Evaluation.Machine.MachineParameters
2 (Data Constructor)	PlutusCore.Evaluation.Machine.MachineParameters
CostModelApplyError	PlutusCore.Evaluation.Machine.CostModelInterface
CostModelApplyWarn	PlutusCore.Evaluation.Machine.CostModelInterface
costModelDataDir	PlutusCore.DataFilePaths
CostModelParams	PlutusCore.Evaluation.Machine.CostModelInterface
CostRose
1 (Type/Class)	PlutusCore.Evaluation.Machine.ExMemoryUsage
2 (Data Constructor)	PlutusCore.Evaluation.Machine.ExMemoryUsage
CostStream	PlutusCore.Evaluation.Machine.CostStream
CounterSize	UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
counting	UntypedPlutusCore.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
CountSetBits	PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
countSetBits	PlutusCore.Bitwise
CpuAndMemoryModel
1 (Type/Class)	PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
2 (Data Constructor)	PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
cpuModel	PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
currentLevel	PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore
cutoff	UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver