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 |