plutus-core-1.0.0.1: Language library for Plutus Core

Index - C

caseData PlutusCore.StdLib.Data.Data
caseList PlutusCore.StdLib.Data.List
ccEnclosing PlutusIR.Compiler
ccOpts PlutusIR.Compiler
ccTypeCheckConfig PlutusIR.Compiler
cekApplyCost PlutusCore
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
cekBuiltinCost PlutusCore
cekConstCost PlutusCore
cekDelayCost PlutusCore
CekEmitter UntypedPlutusCore.Evaluation.Machine.Cek.Internal
CekEmitterInfo
1 (Type/Class) UntypedPlutusCore.Evaluation.Machine.Cek.Internal
2 (Data Constructor) UntypedPlutusCore.Evaluation.Machine.Cek.Internal
CekEvaluationException UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
CekEvaluationFailure UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
CekExTally
1 (Type/Class) UntypedPlutusCore.Evaluation.Machine.Cek
2 (Data Constructor) UntypedPlutusCore.Evaluation.Machine.Cek
cekForceCost PlutusCore
cekLamCost PlutusCore
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
cekMachineCostsFile PlutusCore.DataFilePaths
cekMachineCostsPrefix PlutusCore
CekOutOfExError UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
cekStartupCost PlutusCore
CekUserError UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
CekValue UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
cekVarCost PlutusCore
checkEmpty PlutusCore.Check.Scoping
checkKind PlutusCore
checkProgram
1 (Function) PlutusCore.Check.Normal
2 (Function) PlutusCore.Check.Uniques
3 (Function) UntypedPlutusCore.Check.Uniques
checkRespectsScoping PlutusCore.Check.Scoping
checkScope UntypedPlutusCore.Check.Scope
checkScopeInfo PlutusCore.Check.Scoping
checkStar Universe , 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
ChooseData PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
ChooseList PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
ChooseUnit 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
CMInternalReadError PlutusCore.Evaluation.Machine.CostModelInterface
CMInternalWriteError PlutusCore.Evaluation.Machine.CostModelInterface
CMUnknownParamError PlutusCore.Evaluation.Machine.CostModelInterface
coDebug PlutusIR.Compiler
coDoSimplifierBeta PlutusIR.Compiler
coDoSimplifierInline PlutusIR.Compiler
coDoSimplifierUnwrapCancel PlutusIR.Compiler
coerce PlutusPrelude
Coercible PlutusPrelude
coInlineHints PlutusIR.Compiler
CollectScopeInfo PlutusCore.Check.Scoping
collectScopeInfo PlutusCore.Check.Scoping
coMaxSimplifierIterations PlutusIR.Compiler
Comma PlutusCore.Examples.Builtins
CompilationCtx PlutusIR.Compiler
CompilationError PlutusIR.Error , PlutusIR.Compiler
CompilationOpts PlutusIR.Compiler
compileNonStrictBindings PlutusIR.Transform.NonStrict
compileReadableToPlc PlutusIR.Compiler
compileTerm PlutusIR.Compiler
compileToReadable PlutusIR.Compiler
Compiling PlutusIR.Compiler
CondensedErrors PlutusCore.Pretty
CondensedErrorsNo PlutusCore.Pretty
CondensedErrorsYes PlutusCore.Pretty
cons PlutusCore.StdLib.Data.ScottList
consAnnIf PlutusCore.Pretty
ConsByteString PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
Const PlutusCore.Examples.Builtins
const PlutusCore.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
constant PlutusCore.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
constPartial PlutusCore.StdLib.Meta.Data.Function
Constr PlutusCore.Data
ConstrData PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
Constructor PlutusIR.Compiler
ConstructorType PlutusIR.Compiler
Contains Universe , PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
coOptimize PlutusIR.Compiler
coPedantic PlutusIR.Compiler
coProfile PlutusIR.Compiler
CostingFun
1 (Type/Class) PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor) PlutusCore.Evaluation.Machine.BuiltinCostModel
costingFunCpu PlutusCore.Evaluation.Machine.BuiltinCostModel
costingFunMemory PlutusCore.Evaluation.Machine.BuiltinCostModel
CostingInteger PlutusCore.Evaluation.Machine.ExMemory
CostingPart PlutusCore.Builtin , PlutusCore.Builtin
CostModel
1 (Type/Class) PlutusCore.Evaluation.Machine.MachineParameters
2 (Data Constructor) PlutusCore.Evaluation.Machine.MachineParameters
CostModelApplyError PlutusCore.Evaluation.Machine.CostModelInterface
costModelDataDir PlutusCore.DataFilePaths
CostModelParams PlutusCore.Evaluation.Machine.CostModelInterface
counting UntypedPlutusCore.Evaluation.Machine.Cek
CountingSt
1 (Type/Class) UntypedPlutusCore.Evaluation.Machine.Cek
2 (Data Constructor) UntypedPlutusCore.Evaluation.Machine.Cek
coVerbose PlutusIR.Compiler