plutus-core-1.0.0.1: Language library for Plutus Core

Index - C

caseDataPlutusCore.StdLib.Data.Data
caseListPlutusCore.StdLib.Data.List
ccEnclosingPlutusIR.Compiler
ccOptsPlutusIR.Compiler
ccTypeCheckConfigPlutusIR.Compiler
cekApplyCostPlutusCore
CekBudgetSpender 
1 (Type/Class)UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek
2 (Data Constructor)UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek
cekBuiltinCostPlutusCore
cekConstCostPlutusCore
cekDelayCostPlutusCore
CekEmitterUntypedPlutusCore.Evaluation.Machine.Cek.Internal
CekEmitterInfo 
1 (Type/Class)UntypedPlutusCore.Evaluation.Machine.Cek.Internal
2 (Data Constructor)UntypedPlutusCore.Evaluation.Machine.Cek.Internal
CekEvaluationExceptionUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek
CekEvaluationFailureUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek
CekExTally 
1 (Type/Class)UntypedPlutusCore.Evaluation.Machine.Cek
2 (Data Constructor)UntypedPlutusCore.Evaluation.Machine.Cek
cekForceCostPlutusCore
cekLamCostPlutusCore
CekM 
1 (Type/Class)UntypedPlutusCore.Evaluation.Machine.Cek.Internal
2 (Data Constructor)UntypedPlutusCore.Evaluation.Machine.Cek.Internal
CekMachineCosts 
1 (Type/Class)PlutusCore.Evaluation.Machine.CostModelInterface, UntypedPlutusCore.Evaluation.Machine.Cek, PlutusCore
2 (Data Constructor)PlutusCore
cekMachineCostsFilePlutusCore.DataFilePaths
cekMachineCostsPrefixPlutusCore
CekOutOfExErrorUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek
cekStartupCostPlutusCore
CekUserErrorUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek
CekValueUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek
cekVarCostPlutusCore
checkEmptyPlutusCore.Check.Scoping
checkKindPlutusCore
checkProgram 
1 (Function)PlutusCore.Check.Normal
2 (Function)PlutusCore.Check.Uniques
3 (Function)UntypedPlutusCore.Check.Uniques
checkRespectsScopingPlutusCore.Check.Scoping
checkScopeUntypedPlutusCore.Check.Scope
checkScopeInfoPlutusCore.Check.Scoping
checkStarUniverse, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
checkTerm 
1 (Function)PlutusCore.Check.Normal
2 (Function)PlutusCore.Check.Uniques
3 (Function)UntypedPlutusCore.Check.Uniques
checkType 
1 (Function)PlutusCore.Check.Uniques
2 (Function)PlutusCore
3 (Function)PlutusIR.TypeCheck
checkTypeOfProgram 
1 (Function)PlutusCore
2 (Function)PlutusIR.TypeCheck
ChooseDataPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
ChooseListPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
ChooseUnitPlutusCore.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
CMInternalReadErrorPlutusCore.Evaluation.Machine.CostModelInterface
CMInternalWriteErrorPlutusCore.Evaluation.Machine.CostModelInterface
CMUnknownParamErrorPlutusCore.Evaluation.Machine.CostModelInterface
coDebugPlutusIR.Compiler
coDoSimplifierBetaPlutusIR.Compiler
coDoSimplifierInlinePlutusIR.Compiler
coDoSimplifierUnwrapCancelPlutusIR.Compiler
coercePlutusPrelude
CoerciblePlutusPrelude
coInlineHintsPlutusIR.Compiler
CollectScopeInfoPlutusCore.Check.Scoping
collectScopeInfoPlutusCore.Check.Scoping
coMaxSimplifierIterationsPlutusIR.Compiler
CommaPlutusCore.Examples.Builtins
CompilationCtxPlutusIR.Compiler
CompilationErrorPlutusIR.Error, PlutusIR.Compiler
CompilationOptsPlutusIR.Compiler
compileNonStrictBindingsPlutusIR.Transform.NonStrict
compileReadableToPlcPlutusIR.Compiler
compileTermPlutusIR.Compiler
compileToReadablePlutusIR.Compiler
CompilingPlutusIR.Compiler
CondensedErrorsPlutusCore.Pretty
CondensedErrorsNoPlutusCore.Pretty
CondensedErrorsYesPlutusCore.Pretty
consPlutusCore.StdLib.Data.ScottList
consAnnIfPlutusCore.Pretty
ConsByteStringPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
ConstPlutusCore.Examples.Builtins
constPlutusCore.StdLib.Data.Function
Constant 
1 (Data Constructor)PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
2 (Data Constructor)UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
3 (Data Constructor)PlutusIR.Core.Type, PlutusIR.Core, PlutusIR
constantPlutusCore.MkPlc, PlutusIR.MkPir
ConstantF 
1 (Data Constructor)PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
2 (Data Constructor)UntypedPlutusCore.Core, UntypedPlutusCore
ConstConfig 
1 (Type/Class)PlutusCore.Pretty
2 (Data Constructor)PlutusCore.Pretty
constPartialPlutusCore.StdLib.Meta.Data.Function
ConstrPlutusCore.Data
ConstrDataPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
ConstructorPlutusIR.Compiler
ConstructorTypePlutusIR.Compiler
ContainsUniverse, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
coOptimizePlutusIR.Compiler
coPedanticPlutusIR.Compiler
coProfilePlutusIR.Compiler
CostingFun 
1 (Type/Class)PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.BuiltinCostModel
costingFunCpuPlutusCore.Evaluation.Machine.BuiltinCostModel
costingFunMemoryPlutusCore.Evaluation.Machine.BuiltinCostModel
CostingIntegerPlutusCore.Evaluation.Machine.ExMemory
CostingPartPlutusCore.Builtin, PlutusCore.Builtin
CostModel 
1 (Type/Class)PlutusCore.Evaluation.Machine.MachineParameters
2 (Data Constructor)PlutusCore.Evaluation.Machine.MachineParameters
CostModelApplyErrorPlutusCore.Evaluation.Machine.CostModelInterface
costModelDataDirPlutusCore.DataFilePaths
CostModelParamsPlutusCore.Evaluation.Machine.CostModelInterface
countingUntypedPlutusCore.Evaluation.Machine.Cek
CountingSt 
1 (Type/Class)UntypedPlutusCore.Evaluation.Machine.Cek
2 (Data Constructor)UntypedPlutusCore.Evaluation.Machine.Cek
coVerbosePlutusIR.Compiler