| C | PlutusCore.Flat.Class, PlutusCore.Flat.Instances.Util, PlutusCore.Flat |
| C1 | PlutusCore.Flat.Class, PlutusCore.Flat.Instances.Util, PlutusCore.Flat |
| cachedBuiltin | PlutusCore.Parser |
| callSiteInline | PlutusIR.Transform.Inline.CallSiteInline |
| callsiteInline | Transform.Simplify.Spec |
| CannotParseValue | PlutusTx.Options |
| Case | |
| 1 (Data Constructor) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Data Constructor) | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| 3 (Data Constructor) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| CaseBuiltin | PlutusCore.Builtin |
| caseBuiltin | PlutusCore.Builtin |
| caseInteger | PlutusTx.Builtins.Internal, PlutusTx.Builtins |
| caseList | |
| 1 (Function) | PlutusTx.Builtins |
| 2 (Function) | PlutusTx.Data.List |
| 3 (Function) | PlutusTx.BuiltinList |
| caseList' | |
| 1 (Function) | PlutusTx.Builtins.Internal, PlutusTx.Builtins |
| 2 (Function) | PlutusTx.Data.List |
| 3 (Function) | PlutusTx.BuiltinList |
| CaseOfCase | UntypedPlutusCore.Transform.Certify.Trace, UntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore |
| caseOfCase | |
| 1 (Function) | PlutusIR.Transform.CaseOfCase |
| 2 (Function) | UntypedPlutusCore.Transform.CaseOfCase |
| caseOfCase1 | |
| 1 (Function) | Transform.CaseOfCase.Spec |
| 2 (Function) | Transform.Simplify.Spec |
| caseOfCase2 | |
| 1 (Function) | Transform.CaseOfCase.Spec |
| 2 (Function) | Transform.Simplify.Spec |
| caseOfCase3 | |
| 1 (Function) | Transform.CaseOfCase.Spec |
| 2 (Function) | Transform.Simplify.Spec |
| caseOfCasePass | PlutusIR.Transform.CaseOfCase |
| caseOfCasePassSC | PlutusIR.Transform.CaseOfCase |
| caseOfCaseWithError | Transform.CaseOfCase.Spec |
| casePair | PlutusTx.Builtins.Internal, PlutusTx.Builtins |
| CaserBuiltin | |
| 1 (Type/Class) | PlutusCore.Builtin |
| 2 (Data Constructor) | PlutusCore.Builtin |
| CaseReduce | UntypedPlutusCore.Transform.Certify.Trace, UntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore |
| caseReduce | |
| 1 (Function) | PlutusIR.Transform.CaseReduce |
| 2 (Function) | UntypedPlutusCore.Transform.CaseReduce |
| caseReducePass | PlutusIR.Transform.CaseReduce |
| case_ | Transform.Inline.Spec |
| cast | PlutusCore.Flat.Data.FloatCast |
| catchAll | PlutusCore.Test |
| CBORDeserialiseError | PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
| ccBuiltinCostModel | PlutusIR.Compiler.Types, PlutusIR.Compiler |
| ccBuiltinsInfo | PlutusIR.Compiler.Types, PlutusIR.Compiler |
| ccEnclosing | PlutusIR.Compiler.Types, PlutusIR.Compiler |
| ccOpts | PlutusIR.Compiler.Types, PlutusIR.Compiler |
| ccRewriteRules | PlutusIR.Compiler.Types |
| ccTypeCheckConfig | PlutusIR.Compiler.Types, PlutusIR.Compiler |
| ceDoc | PlutusCore.Generators.QuickCheck.Utils, PlutusCore.Generators.QuickCheck |
| cekApplyCost | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
| CekApplyCost'exBudgetCPU | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
| CekApplyCost'exBudgetMemory | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
| 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 |
| CekBuiltinCost'exBudgetCPU | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
| CekBuiltinCost'exBudgetMemory | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
| CekCaseBuiltinError | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| cekCaseCost | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
| CekCaseCost'exBudgetCPU | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
| CekCaseCost'exBudgetMemory | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
| cekConstCost | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
| CekConstCost'exBudgetCPU | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
| CekConstCost'exBudgetMemory | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
| cekConstrCost | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
| CekConstrCost'exBudgetCPU | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
| CekConstrCost'exBudgetMemory | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
| cekCostModelForVariant | PlutusCore.Evaluation.Machine.ExBudgetingDefaults |
| cekDelayCost | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
| CekDelayCost'exBudgetCPU | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
| CekDelayCost'exBudgetMemory | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
| 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 |
| CekError | |
| 1 (Data Constructor) | PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
| 2 (Data Constructor) | Evaluation.Builtins.Common |
| 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 |
| CekFailure | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| cekForceCost | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
| CekForceCost'exBudgetCPU | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
| CekForceCost'exBudgetMemory | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
| cekLamCost | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
| CekLamCost'exBudgetCPU | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
| CekLamCost'exBudgetMemory | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
| 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 |
| cekMachineCostsFileD | PlutusCore.DataFilePaths |
| cekMachineCostsFileE | PlutusCore.DataFilePaths |
| cekMachineCostsPrefix | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
| CekModel | PlutusCore.Executable.Types, PlutusCore.Executable.Common |
| CekOutOfExError | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| CekReport | |
| 1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| 2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| CekResult | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| cekResultMatchesHaskellValue | PlutusTx.Test.Util.Compiled |
| cekResultToEither | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| cekStartupCost | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
| CekStartupCost'exBudgetCPU | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
| CekStartupCost'exBudgetMemory | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
| CekState | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
| cekStateAnn | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| cekStateContext | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| CekSuccess | Evaluation.Builtins.Common |
| CekSuccessConstant | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| cekSuccessFalse | Evaluation.Builtins.Common |
| CekSuccessNonConstant | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| cekSuccessTrue | Evaluation.Builtins.Common |
| 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 |
| CekVarCost'exBudgetCPU | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
| CekVarCost'exBudgetMemory | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
| Cert | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V2.Data.Tx |
| 2 (Data Constructor) | PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V2.Tx |
| CertBasic | PlutusCore.Executable.Types, PlutusCore.Executable.Common |
| Certifier | PlutusCore.Executable.Types, PlutusCore.Executable.Common |
| certifier | PlutusCore.Executable.Parsers |
| CertifierError | Certifier |
| CertifierOutput | Certifier |
| CertifierOutputMode | PlutusCore.Executable.Types, PlutusCore.Executable.Common |
| certifierOutputMode | PlutusCore.Executable.Parsers |
| Certifying | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2 |
| 2 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| 3 (Data Constructor) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V1, PlutusLedgerApi.V2 |
| 4 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| CertifyingScript | |
| 1 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| 2 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| CertProject | PlutusCore.Executable.Types, PlutusCore.Executable.Common |
| CertReport | PlutusCore.Executable.Types, PlutusCore.Executable.Common |
| ChangedParameters | |
| 1 (Type/Class) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| 2 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| 3 (Type/Class) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| 4 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| ChangedParams | |
| 1 (Type/Class) | Cardano.Constitution.Validator.Data.Common, Cardano.Constitution.Data.Validator |
| 2 (Type/Class) | Cardano.Constitution.Validator.Common, Cardano.Constitution.Validator |
| changPV | PlutusLedgerApi.Common.Versions, PlutusLedgerApi.Common |
| Check | PlutusCore.Generators.NEAT.Term |
| check | |
| 1 (Function) | PlutusTx.Prelude |
| 2 (Function) | PlutusCore.Generators.NEAT.Term |
| checkBiCondition | PlutusIR.Pass |
| checkCondition | PlutusIR.Pass |
| checkEmptyOn | PlutusCore.Check.Scoping |
| checkEqualsVia | Evaluation.Builtins.Costing |
| checkEvaluationEvent | PlutusLedgerApi.Test.EvaluationEvent |
| checkFails | PlutusCore.Test |
| checkHasFailedError | PlutusTx.ErrorCodes |
| checkKind | |
| 1 (Function) | PlutusCore.Generators.QuickCheck.Common, PlutusCore.Generators.QuickCheck |
| 2 (Function) | PlutusCore.TypeCheck, PlutusCore |
| checkKindAgda | MAlonzo.Code.Evaluator.Term |
| checkKindM | PlutusCore.TypeCheck.Internal |
| checkProgram | |
| 1 (Function) | PlutusIR.Check.Uniques |
| 2 (Function) | PlutusCore.Check.Uniques |
| 3 (Function) | PlutusCore.Check.Normal |
| 4 (Function) | UntypedPlutusCore.Check.Uniques |
| checkPurity | PlutusIR.Transform.Inline.Utils |
| checkRespectsScoping | PlutusCore.Check.Scoping |
| checkScope | UntypedPlutusCore.Check.Scope, UntypedPlutusCore |
| checkScopeInfo | PlutusCore.Check.Scoping |
| checkStar | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| checkTerm | |
| 1 (Function) | PlutusIR.Check.Uniques |
| 2 (Function) | PlutusCore.Check.Uniques |
| 3 (Function) | PlutusCore.Check.Normal |
| 4 (Function) | UntypedPlutusCore.Check.Uniques |
| checkType | |
| 1 (Function) | PlutusIR.TypeCheck |
| 2 (Function) | PlutusCore.TypeCheck, PlutusCore |
| checkTypeAgda | MAlonzo.Code.Evaluator.Term |
| checkTypeM | |
| 1 (Function) | PlutusIR.TypeCheck.Internal |
| 2 (Function) | PlutusCore.TypeCheck.Internal |
| checkTypeOfProgram | |
| 1 (Function) | PlutusIR.TypeCheck |
| 2 (Function) | PlutusCore.TypeCheck, PlutusCore |
| check_'42'_768 | MAlonzo.Code.Utils |
| check_'91''93'_448 | MAlonzo.Code.Utils |
| check_'96'_34 | MAlonzo.Code.Raw |
| check_'96'_6 | MAlonzo.Code.Raw |
| check_'9839'_770 | MAlonzo.Code.Utils |
| check_aBls12'45'381'45'g1'45'element_20 | MAlonzo.Code.Builtin.Constant.AtomicType |
| check_aBls12'45'381'45'g2'45'element_22 | MAlonzo.Code.Builtin.Constant.AtomicType |
| check_aBls12'45'381'45'mlresult_24 | MAlonzo.Code.Builtin.Constant.AtomicType |
| check_aBool_16 | MAlonzo.Code.Builtin.Constant.AtomicType |
| check_aBytestring_10 | MAlonzo.Code.Builtin.Constant.AtomicType |
| check_aData_18 | MAlonzo.Code.Builtin.Constant.AtomicType |
| check_AddedSizes_148 | MAlonzo.Code.Cost.Raw |
| check_addInteger_4 | MAlonzo.Code.Builtin |
| check_aInteger_8 | MAlonzo.Code.Builtin.Constant.AtomicType |
| check_andByteString_160 | MAlonzo.Code.Builtin |
| check_appendByteString_24 | MAlonzo.Code.Builtin |
| check_appendString_52 | MAlonzo.Code.Builtin |
| check_applyToCaseT_20 | MAlonzo.Code.VerifiedCompilation.Trace |
| check_array_28 | MAlonzo.Code.Raw |
| check_array_54 | MAlonzo.Code.RawU |
| check_aString_12 | MAlonzo.Code.Builtin.Constant.AtomicType |
| check_atomic_24 | MAlonzo.Code.Raw |
| check_aUnit_14 | MAlonzo.Code.Builtin.Constant.AtomicType |
| check_bDATA_618 | MAlonzo.Code.Utils |
| check_bData_96 | MAlonzo.Code.Builtin |
| check_blake2b'45'224_154 | MAlonzo.Code.Builtin |
| check_blake2b'45'256_44 | MAlonzo.Code.Builtin |
| check_bls12'45'381'45'finalVerify_150 | MAlonzo.Code.Builtin |
| check_bls12'45'381'45'G1'45'add_118 | MAlonzo.Code.Builtin |
| check_bls12'45'381'45'G1'45'compress_128 | MAlonzo.Code.Builtin |
| check_bls12'45'381'45'g1'45'element_56 | MAlonzo.Code.RawU |
| check_bls12'45'381'45'G1'45'equal_124 | MAlonzo.Code.Builtin |
| check_bls12'45'381'45'G1'45'hashToGroup_126 | MAlonzo.Code.Builtin |
| check_bls12'45'381'45'G1'45'multiScalarMul_188 | MAlonzo.Code.Builtin |
| check_bls12'45'381'45'G1'45'neg_120 | MAlonzo.Code.Builtin |
| check_bls12'45'381'45'G1'45'scalarMul_122 | MAlonzo.Code.Builtin |
| check_bls12'45'381'45'G1'45'uncompress_130 | MAlonzo.Code.Builtin |
| check_bls12'45'381'45'G2'45'add_132 | MAlonzo.Code.Builtin |
| check_bls12'45'381'45'G2'45'compress_142 | MAlonzo.Code.Builtin |
| check_bls12'45'381'45'g2'45'element_58 | MAlonzo.Code.RawU |
| check_bls12'45'381'45'G2'45'equal_138 | MAlonzo.Code.Builtin |
| check_bls12'45'381'45'G2'45'hashToGroup_140 | MAlonzo.Code.Builtin |
| check_bls12'45'381'45'G2'45'multiScalarMul_190 | MAlonzo.Code.Builtin |
| check_bls12'45'381'45'G2'45'neg_134 | MAlonzo.Code.Builtin |
| check_bls12'45'381'45'G2'45'scalarMul_136 | MAlonzo.Code.Builtin |
| check_bls12'45'381'45'G2'45'uncompress_144 | MAlonzo.Code.Builtin |
| check_bls12'45'381'45'millerLoop_146 | MAlonzo.Code.Builtin |
| check_bls12'45'381'45'mlresult_60 | MAlonzo.Code.RawU |
| check_bls12'45'381'45'mulMlResult_148 | MAlonzo.Code.Builtin |
| check_bool_36 | MAlonzo.Code.RawU |
| check_builtin_44 | MAlonzo.Code.VerifiedCompilation.Trace |
| check_builtin_48 | MAlonzo.Code.Raw |
| check_byteStringToInteger_156 | MAlonzo.Code.Builtin |
| check_bytestring_32 | MAlonzo.Code.RawU |
| check_caseOfCaseT_12 | MAlonzo.Code.VerifiedCompilation.Trace |
| check_caseReduceT_14 | MAlonzo.Code.VerifiedCompilation.Trace |
| check_case_50 | MAlonzo.Code.VerifiedCompilation.Trace |
| check_case_68 | MAlonzo.Code.Raw |
| check_chooseData_86 | MAlonzo.Code.Builtin |
| check_chooseList_70 | MAlonzo.Code.Builtin |
| check_chooseUnit_62 | MAlonzo.Code.Builtin |
| check_complementByteString_166 | MAlonzo.Code.Builtin |
| check_consByteString_26 | MAlonzo.Code.Builtin |
| check_ConstAboveDiagonal_184 | MAlonzo.Code.Cost.Raw |
| check_ConstantCost_146 | MAlonzo.Code.Cost.Raw |
| check_ConstBelowDiagonal_186 | MAlonzo.Code.Cost.Raw |
| check_ConstOffDiagonal_188 | MAlonzo.Code.Cost.Raw |
| check_ConstrDATA_610 | MAlonzo.Code.Utils |
| check_constrData_88 | MAlonzo.Code.Builtin |
| check_constr_48 | MAlonzo.Code.VerifiedCompilation.Trace |
| check_constr_60 | MAlonzo.Code.Raw |
| check_con_16 | MAlonzo.Code.Raw |
| check_con_42 | MAlonzo.Code.VerifiedCompilation.Trace |
| check_con_44 | MAlonzo.Code.Raw |
| check_Counting_42 | MAlonzo.Code.Evaluator.Program |
| check_countSetBits_178 | MAlonzo.Code.Builtin |
| check_cseT_18 | MAlonzo.Code.VerifiedCompilation.Trace |
| check_deBError_578 | MAlonzo.Code.Scoped |
| check_decodeUtf8_58 | MAlonzo.Code.Builtin |
| check_delay_40 | MAlonzo.Code.VerifiedCompilation.Trace |
| check_divideInteger_10 | MAlonzo.Code.Builtin |
| check_dropList_186 | MAlonzo.Code.Builtin |
| check_encodeUtf8_56 | MAlonzo.Code.Builtin |
| check_equalsByteString_34 | MAlonzo.Code.Builtin |
| check_equalsData_108 | MAlonzo.Code.Builtin |
| check_equalsInteger_18 | MAlonzo.Code.Builtin |
| check_equalsString_54 | MAlonzo.Code.Builtin |
| check_error_46 | |
| 1 (Function) | MAlonzo.Code.VerifiedCompilation.Trace |
| 2 (Function) | MAlonzo.Code.Raw |
| check_EvalOpts_28 | MAlonzo.Code.Main |
| check_Eval_40 | MAlonzo.Code.Main |
| check_expand_28 | MAlonzo.Code.VerifiedCompilation.Trace |
| check_ExpModCost_190 | MAlonzo.Code.Cost.Raw |
| check_expModInteger_184 | MAlonzo.Code.Builtin |
| check_findFirstSetBit_180 | MAlonzo.Code.Builtin |
| check_fixity_30 | MAlonzo.Code.Agda.Builtin.Reflection |
| check_floatDelayT_6 | MAlonzo.Code.VerifiedCompilation.Trace |
| check_forceCaseDelayT_10 | MAlonzo.Code.VerifiedCompilation.Trace |
| check_forceDelayT_8 | MAlonzo.Code.VerifiedCompilation.Trace |
| check_force_38 | MAlonzo.Code.VerifiedCompilation.Trace |
| check_freeVariableError_580 | MAlonzo.Code.Scoped |
| check_fstPair_66 | MAlonzo.Code.Builtin |
| check_gasError_410 | MAlonzo.Code.Utils |
| check_headList_74 | MAlonzo.Code.Builtin |
| check_iDATA_616 | MAlonzo.Code.Utils |
| check_iData_94 | MAlonzo.Code.Builtin |
| check_ifThenElse_60 | MAlonzo.Code.Builtin |
| check_indexArray_84 | MAlonzo.Code.Builtin |
| check_indexByteString_32 | MAlonzo.Code.Builtin |
| check_inj'8321'_12 | MAlonzo.Code.Utils |
| check_inj'8322'_14 | MAlonzo.Code.Utils |
| check_inlineT_16 | MAlonzo.Code.VerifiedCompilation.Trace |
| check_inline_54 | MAlonzo.Code.VerifiedCompilation.Trace |
| check_integerToByteString_158 | MAlonzo.Code.Builtin |
| check_integer_30 | MAlonzo.Code.RawU |
| check_jsonError_22 | MAlonzo.Code.Evaluator.Base |
| check_keccak'45'256_152 | MAlonzo.Code.Builtin |
| check_left'45'assoc_16 | MAlonzo.Code.Agda.Builtin.Reflection |
| check_lengthOfArray_80 | MAlonzo.Code.Builtin |
| check_lengthOfByteString_30 | MAlonzo.Code.Builtin |
| check_lessThanByteString_36 | MAlonzo.Code.Builtin |
| check_lessThanEqualsByteString_38 | MAlonzo.Code.Builtin |
| check_lessThanEqualsInteger_22 | MAlonzo.Code.Builtin |
| check_lessThanInteger_20 | MAlonzo.Code.Builtin |
| check_LinearInMaxYZ_166 | MAlonzo.Code.Cost.Raw |
| check_LinearInU_162 | MAlonzo.Code.Cost.Raw |
| check_LinearInXAndY_168 | MAlonzo.Code.Cost.Raw |
| check_LinearInX_156 | MAlonzo.Code.Cost.Raw |
| check_LinearInYAndZ_170 | MAlonzo.Code.Cost.Raw |
| check_LinearInY_158 | MAlonzo.Code.Cost.Raw |
| check_LinearInZ_160 | MAlonzo.Code.Cost.Raw |
| check_ListDATA_614 | MAlonzo.Code.Utils |
| check_listData_92 | MAlonzo.Code.Builtin |
| check_listToArray_82 | MAlonzo.Code.Builtin |
| check_list_26 | MAlonzo.Code.Raw |
| check_list_50 | MAlonzo.Code.RawU |
| check_LiteralInYOrLinearInZ_164 | MAlonzo.Code.Cost.Raw |
| check_MapDATA_612 | MAlonzo.Code.Utils |
| check_mapData_90 | MAlonzo.Code.Builtin |
| check_MaxSize_154 | MAlonzo.Code.Cost.Raw |
| check_MinSize_152 | MAlonzo.Code.Cost.Raw |
| check_mkCons_72 | MAlonzo.Code.Builtin |
| check_mkCpuAndMemoryModel_202 | MAlonzo.Code.Cost.Raw |
| check_mkExpModCostingFunction_142 | MAlonzo.Code.Cost.Raw |
| check_mkLinearFunction_42 | MAlonzo.Code.Cost.Raw |
| check_mkNilData_114 | MAlonzo.Code.Builtin |
| check_mkNilPairData_116 | MAlonzo.Code.Builtin |
| check_mkOneVariableQuadraticFunction_58 | MAlonzo.Code.Cost.Raw |
| check_mkPairData_112 | MAlonzo.Code.Builtin |
| check_mkTwoVariableLinearFunction_74 | MAlonzo.Code.Cost.Raw |
| check_mkTwoVariableQuadraticFunction_106 | MAlonzo.Code.Cost.Raw |
| check_mkTwoVariableWithInteractionFunction_126 | MAlonzo.Code.Cost.Raw |
| check_modInteger_16 | MAlonzo.Code.Builtin |
| check_MultipliedSizes_150 | MAlonzo.Code.Cost.Raw |
| check_multiplyInteger_8 | MAlonzo.Code.Builtin |
| check_non'45'assoc_20 | MAlonzo.Code.Agda.Builtin.Reflection |
| check_none_56 | MAlonzo.Code.VerifiedCompilation.Trace |
| check_nullList_78 | MAlonzo.Code.Builtin |
| check_orByteString_162 | MAlonzo.Code.Builtin |
| check_pair_30 | MAlonzo.Code.Raw |
| check_pair_46 | MAlonzo.Code.RawU |
| check_parseError_16 | MAlonzo.Code.Evaluator.Base |
| check_pdata_40 | MAlonzo.Code.RawU |
| check_QuadraticInXAndY_178 | MAlonzo.Code.Cost.Raw |
| check_QuadraticInX_172 | MAlonzo.Code.Cost.Raw |
| check_QuadraticInY_174 | MAlonzo.Code.Cost.Raw |
| check_QuadraticInZ_176 | MAlonzo.Code.Cost.Raw |
| check_quotientInteger_12 | MAlonzo.Code.Builtin |
| check_readBit_168 | MAlonzo.Code.Builtin |
| check_related_24 | MAlonzo.Code.Agda.Builtin.Reflection |
| check_remainderInteger_14 | MAlonzo.Code.Builtin |
| check_replicateByte_172 | MAlonzo.Code.Builtin |
| check_right'45'assoc_18 | MAlonzo.Code.Agda.Builtin.Reflection |
| check_ripemd'45'160_182 | MAlonzo.Code.Builtin |
| check_rotateByteString_176 | MAlonzo.Code.Builtin |
| check_runtimeError_20 | MAlonzo.Code.Evaluator.Base |
| check_runtimeTypeError_414 | MAlonzo.Code.Utils |
| check_scopeError_18 | MAlonzo.Code.Evaluator.Base |
| check_serialiseData_110 | MAlonzo.Code.Builtin |
| check_sha2'45'256_40 | MAlonzo.Code.Builtin |
| check_sha3'45'256_42 | MAlonzo.Code.Builtin |
| check_shiftByteString_174 | MAlonzo.Code.Builtin |
| check_Silent_40 | MAlonzo.Code.Evaluator.Program |
| check_sliceByteString_28 | MAlonzo.Code.Builtin |
| check_sndPair_68 | MAlonzo.Code.Builtin |
| check_SOP_22 | MAlonzo.Code.Raw |
| check_string_34 | MAlonzo.Code.RawU |
| check_SubtractedSizes_182 | MAlonzo.Code.Cost.Raw |
| check_subtractInteger_6 | MAlonzo.Code.Builtin |
| check_tagCon_110 | MAlonzo.Code.RawU |
| check_tailList_76 | MAlonzo.Code.Builtin |
| check_Tallying_44 | MAlonzo.Code.Evaluator.Program |
| check_TCEK_54 | MAlonzo.Code.Evaluator.Program |
| check_TCK_52 | MAlonzo.Code.Evaluator.Program |
| check_TCOpts_32 | MAlonzo.Code.Main |
| check_TL_50 | MAlonzo.Code.Evaluator.Program |
| check_trace_64 | MAlonzo.Code.Builtin |
| check_tt_8 | MAlonzo.Code.Agda.Builtin.Unit |
| check_Typecheck_42 | MAlonzo.Code.Main |
| check_typeError_14 | MAlonzo.Code.Evaluator.Base |
| check_UApp_214 | MAlonzo.Code.RawU |
| check_UBuiltin_220 | MAlonzo.Code.RawU |
| check_UCase_228 | MAlonzo.Code.RawU |
| check_UConstr_226 | MAlonzo.Code.RawU |
| check_UCon_216 | MAlonzo.Code.RawU |
| check_UDelay_222 | MAlonzo.Code.RawU |
| check_UError_218 | MAlonzo.Code.RawU |
| check_UForce_224 | MAlonzo.Code.RawU |
| check_ULambda_212 | MAlonzo.Code.RawU |
| check_unBData_106 | MAlonzo.Code.Builtin |
| check_unConstrData_98 | MAlonzo.Code.Builtin |
| check_unIData_104 | MAlonzo.Code.Builtin |
| check_unit_38 | MAlonzo.Code.RawU |
| check_unknown_22 | MAlonzo.Code.VerifiedCompilation.Trace |
| check_unListData_102 | MAlonzo.Code.Builtin |
| check_unMapData_100 | MAlonzo.Code.Builtin |
| check_unrelated_26 | MAlonzo.Code.Agda.Builtin.Reflection |
| check_unwrap_52 | MAlonzo.Code.Raw |
| check_userError_412 | MAlonzo.Code.Utils |
| check_UVar_210 | MAlonzo.Code.RawU |
| check_U_48 | MAlonzo.Code.Evaluator.Program |
| check_var_26 | MAlonzo.Code.VerifiedCompilation.Trace |
| check_verifyEcdsaSecp256k1Signature_48 | MAlonzo.Code.Builtin |
| check_verifyEd25519Signature_46 | MAlonzo.Code.Builtin |
| check_verifySchnorrSecp256k1Signature_50 | MAlonzo.Code.Builtin |
| check_WithInteractionInXAndY_180 | MAlonzo.Code.Cost.Raw |
| check_wrap_50 | MAlonzo.Code.Raw |
| check_writeBits_170 | MAlonzo.Code.Builtin |
| check_xorByteString_164 | MAlonzo.Code.Builtin |
| check__'183''8595'_36 | MAlonzo.Code.VerifiedCompilation.Trace |
| check__'183''8902'__38 | MAlonzo.Code.Raw |
| check__'183'__14 | MAlonzo.Code.Raw |
| check__'183'__34 | MAlonzo.Code.VerifiedCompilation.Trace |
| check__'183'__42 | MAlonzo.Code.Raw |
| check__'44'__440 | MAlonzo.Code.Utils |
| check__'8658'__772 | MAlonzo.Code.Utils |
| check__'8658'__8 | MAlonzo.Code.Raw |
| check__'8759'__450 | MAlonzo.Code.Utils |
| check_ƛ'8595'_32 | MAlonzo.Code.VerifiedCompilation.Trace |
| check_ƛ_12 | MAlonzo.Code.Raw |
| check_ƛ_30 | MAlonzo.Code.VerifiedCompilation.Trace |
| check_ƛ_40 | MAlonzo.Code.Raw |
| check_Λ_36 | MAlonzo.Code.Raw |
| check_μ_18 | MAlonzo.Code.Raw |
| check_Π_10 | MAlonzo.Code.Raw |
| choiceDef | PlutusCore.Generators.Hedgehog.Utils, PlutusCore.Generators.Hedgehog |
| choose | PlutusCore.Generators.QuickCheck.GenTm, PlutusCore.Generators.QuickCheck |
| ChooseData | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| chooseData | |
| 1 (Function) | PlutusTx.Builtins.Internal |
| 2 (Function) | PlutusTx.Builtins |
| ChooseData'cpu'arguments | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
| ChooseData'memory'arguments | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
| chooseIntegerPreferEnds | PlutusCore.Generators.QuickCheck.Builtin |
| ChooseList | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| chooseList | PlutusTx.Builtins.Internal |
| ChooseList'cpu'arguments | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
| ChooseList'memory'arguments | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
| chooseSatInt | Evaluation.Builtins.Costing |
| ChooseUnit | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| chooseUnit | PlutusTx.Builtins.Internal |
| ChooseUnit'cpu'arguments | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
| ChooseUnit'memory'arguments | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
| chunksToByteArray | PlutusCore.Flat.Memory |
| chunksToByteString | PlutusCore.Flat.Memory |
| 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 |
| CkP | PlutusCore.Generators.NEAT.Spec |
| CkValue | PlutusCore.Evaluation.Machine.Ck |
| Classic | PlutusCore.Executable.Types, PlutusCore.Executable.Common |
| clearBits | Evaluation.Builtins.BLS12_381.Utils |
| clearBuiltinCostModel | |
| 1 (Function) | PlutusLedgerApi.Test.V3.Data.EvaluationContext |
| 2 (Function) | PlutusLedgerApi.Test.V2.Data.EvaluationContext |
| 3 (Function) | PlutusLedgerApi.Test.V1.Data.EvaluationContext |
| 4 (Function) | PlutusLedgerApi.Test.V3.EvaluationContext |
| 5 (Function) | PlutusLedgerApi.Test.V2.EvaluationContext |
| 6 (Function) | PlutusLedgerApi.Test.V1.EvaluationContext |
| clearMachineCostModel | |
| 1 (Function) | PlutusLedgerApi.Test.V3.Data.EvaluationContext |
| 2 (Function) | PlutusLedgerApi.Test.V2.Data.EvaluationContext |
| 3 (Function) | PlutusLedgerApi.Test.V1.Data.EvaluationContext |
| 4 (Function) | PlutusLedgerApi.Test.V3.EvaluationContext |
| 5 (Function) | PlutusLedgerApi.Test.V2.EvaluationContext |
| 6 (Function) | PlutusLedgerApi.Test.V1.EvaluationContext |
| Closed | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| ClosedTermG | PlutusCore.Generators.NEAT.Term |
| ClosedTypeG | PlutusCore.Generators.NEAT.Type, PlutusCore.Generators.NEAT.Term |
| Closure | |
| 1 (Type/Class) | PlutusLedgerApi.V1.Data.Interval, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
| 2 (Type/Class) | PlutusLedgerApi.V1.Interval, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
| cmActual | PlutusLedgerApi.Common, PlutusCore.Evaluation.Machine.CostModelInterface |
| Cmd | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
| cmExpected | PlutusLedgerApi.Common, PlutusCore.Evaluation.Machine.CostModelInterface |
| CMInternalReadError | PlutusLedgerApi.Common, PlutusLedgerApi.V1.EvaluationContext, PlutusLedgerApi.V2.EvaluationContext, PlutusLedgerApi.V3.EvaluationContext, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3, PlutusCore.Evaluation.Machine.CostModelInterface |
| CMInternalWriteError | PlutusLedgerApi.Common, PlutusLedgerApi.V1.EvaluationContext, PlutusLedgerApi.V2.EvaluationContext, PlutusLedgerApi.V3.EvaluationContext, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3, PlutusCore.Evaluation.Machine.CostModelInterface |
| CMTooFewParamsWarn | PlutusLedgerApi.Common, PlutusCore.Evaluation.Machine.CostModelInterface |
| CMTooManyParamsWarn | PlutusLedgerApi.Common, PlutusCore.Evaluation.Machine.CostModelInterface |
| CMUnknownParamError | PlutusLedgerApi.Common, PlutusLedgerApi.V1.EvaluationContext, PlutusLedgerApi.V2.EvaluationContext, PlutusLedgerApi.V3.EvaluationContext, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3, PlutusCore.Evaluation.Machine.CostModelInterface |
| coBuiltinSemanticsVariant | PlutusCore.Compiler.Opts, PlutusCore.Compiler |
| coCaseOfCaseConservative | PlutusIR.Compiler.Types, PlutusIR.Compiler |
| coDatatypes | PlutusIR.Compiler.Types, PlutusIR.Compiler |
| coDebug | PlutusIR.Compiler.Types, PlutusIR.Compiler |
| CodecError | PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
| coDoSimplifierBeta | PlutusIR.Compiler.Types, PlutusIR.Compiler |
| coDoSimplifierCaseOfCase | PlutusIR.Compiler.Types |
| coDoSimplifierCaseReduce | PlutusIR.Compiler.Types |
| coDoSimplifierEvaluateBuiltins | PlutusIR.Compiler.Types, PlutusIR.Compiler |
| coDoSimplifierInline | PlutusIR.Compiler.Types, PlutusIR.Compiler |
| coDoSimplifierKnownCon | PlutusIR.Compiler.Types, PlutusIR.Compiler |
| coDoSimplifierRemoveDeadBindings | PlutusIR.Compiler.Types |
| coDoSimplifierRewrite | PlutusIR.Compiler.Types, PlutusIR.Compiler |
| coDoSimplifierStrictifyBindings | PlutusIR.Compiler.Types, PlutusIR.Compiler |
| coDoSimplifierUnwrapCancel | PlutusIR.Compiler.Types, PlutusIR.Compiler |
| coe | MAlonzo.RTE |
| coeff00'_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| coeff00_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| coeff01'_ | 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 |
| coeff10_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| coeff11'_ | 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 |
| coefficient00 | 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 |
| coefficient11 | PlutusCore.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 |
| coefficient12 | 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 |
| coInlineCallsiteGrowth | PlutusIR.Compiler.Types, PlutusIR.Compiler |
| coInlineConstants | PlutusIR.Compiler.Types, PlutusIR.Compiler |
| coInlineFix | PlutusIR.Compiler.Types, PlutusIR.Compiler |
| coInlineHints | PlutusIR.Compiler.Types, PlutusIR.Compiler |
| ColdCommitteeCredential | |
| 1 (Type/Class) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| 2 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| 3 (Type/Class) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| 4 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| collectListLengths | Evaluation.Builtins.Costing |
| CollectScopeInfo | PlutusCore.Check.Scoping |
| collectScopeInfo | PlutusCore.Check.Scoping |
| coMaxSimplifierIterations | PlutusIR.Compiler.Types, PlutusIR.Compiler |
| Comma | PlutusCore.Examples.Builtins |
| Command | FFI.Opts |
| commands | FFI.Opts |
| comment | PlutusTx.Blueprint.Schema.Annotation, PlutusTx.Blueprint |
| Committee | |
| 1 (Type/Class) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| 2 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| 3 (Type/Class) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| 4 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| committeeMembers | |
| 1 (Function) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| 2 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| committeeQuorum | |
| 1 (Function) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| 2 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| CommitteeVoter | |
| 1 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| 2 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| commuteFnWithConst | PlutusIR.Transform.RewriteRules.CommuteFnWithConst |
| Comp1 | PlutusCore.Flat.Class, PlutusCore.Flat.Instances.Util, PlutusCore.Flat |
| compare | PlutusTx.Ord.Class, PlutusTx.Ord, PlutusTx.Prelude |
| compareAlphaEq | PlutusConformance.Common |
| CompilationCtx | |
| 1 (Type/Class) | PlutusIR.Compiler.Types, PlutusIR.Compiler |
| 2 (Data Constructor) | PlutusIR.Compiler.Types |
| CompilationError | |
| 1 (Data Constructor) | PlutusTx.Compiler.Error |
| 2 (Data Constructor) | PlutusIR.Error, PlutusIR.Compiler |
| CompilationOpts | |
| 1 (Type/Class) | PlutusIR.Compiler.Types, PlutusIR.Compiler |
| 2 (Data Constructor) | PlutusIR.Compiler.Types, PlutusIR.Compiler |
| 3 (Type/Class) | PlutusCore.Compiler.Opts, PlutusCore.Compiler |
| 4 (Data Constructor) | PlutusCore.Compiler.Opts, PlutusCore.Compiler |
| compile | PlutusTx.TH, PlutusTx |
| compileBind | PlutusTx.Plugin.Common |
| compileDatatype | PlutusIR.Compiler.Datatype |
| compileDatatypeDefs | PlutusIR.Compiler.Datatype |
| CompiledCode | PlutusTx.Code, PlutusTx |
| compiledCodeEnvelope | PlutusLedgerApi.Envelope |
| compiledCodeEnvelopeForVersion | PlutusLedgerApi.Envelope |
| CompiledCodeFuncToHaskType | PlutusTx.Test.Util.Apply, PlutusTx.Test |
| CompiledCodeIn | PlutusTx.Code, PlutusTx |
| compiledCodeToScriptForEvaluation | PlutusLedgerApi.Test.Scripts |
| compiledCodeToTerm | PlutusTx.Test.Util.Compiled |
| CompiledValidator | PlutusTx.Blueprint.Validator, PlutusTx.Blueprint |
| compiledValidator | PlutusTx.Blueprint.Validator, PlutusTx.Blueprint |
| compiledValidatorCode | PlutusTx.Blueprint.Validator, PlutusTx.Blueprint |
| compiledValidatorHash | PlutusTx.Blueprint.Validator, PlutusTx.Blueprint |
| CompileError | PlutusTx.Compiler.Error |
| compileLets | PlutusIR.Compiler.Let |
| compileLetsPass | PlutusIR.Compiler.Let |
| compileLetsPassSC | PlutusIR.Compiler.Let |
| compileMarkedExpr | PlutusTx.Plugin.Common |
| compileMarkedExprOrDefer | PlutusTx.Plugin.Common |
| compileMarkedExprs | PlutusTx.Plugin.Common |
| compileNonStrictBindings | PlutusIR.Transform.NonStrict |
| compileNonStrictBindingsPass | PlutusIR.Transform.NonStrict |
| compileNonStrictBindingsPassSC | PlutusIR.Transform.NonStrict |
| compileProgram | |
| 1 (Function) | PlutusIR.Compiler |
| 2 (Function) | PlutusCore.Compiler |
| compileProgramWithTrace | PlutusCore.Compiler |
| compileReadableToPlc | PlutusIR.Compiler |
| compileRecDatatypes | PlutusIR.Compiler.Datatype |
| compileTerm | PlutusCore.Compiler |
| compileToReadable | PlutusIR.Compiler |
| compileUntyped | PlutusTx.TH, PlutusTx |
| compileWithOpts | PlutusIR.Test |
| Compiling | |
| 1 (Type/Class) | PlutusIR.Compiler.Types, PlutusIR.Compiler |
| 2 (Type/Class) | PlutusCore.Compiler.Types |
| ComplementByteString | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| complementByteString | |
| 1 (Function) | PlutusTx.Builtins.Internal |
| 2 (Function) | PlutusTx.Builtins, PlutusTx.Prelude |
| 3 (Function) | PlutusCore.Bitwise |
| ComplementByteString'cpu'arguments'intercept | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
| ComplementByteString'cpu'arguments'slope | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
| ComplementByteString'memory'arguments'intercept | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
| ComplementByteString'memory'arguments'slope | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
| complementSelfInverse | Evaluation.Builtins.Bitwise.CIP0122 |
| compoundDocM | PlutusCore.Pretty |
| CompoundPass | PlutusIR.Pass |
| compress | |
| 1 (Function) | Evaluation.Builtins.BLS12_381.TestClasses |
| 2 (Function) | PlutusCore.Crypto.BLS12_381.G2 |
| 3 (Function) | PlutusCore.Crypto.BLS12_381.G1 |
| compressedSize | Evaluation.Builtins.BLS12_381.TestClasses |
| 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 |
| compressionBit | Evaluation.Builtins.BLS12_381.Utils |
| compressTerm | Evaluation.Builtins.BLS12_381.TestClasses |
| computeCek | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| Computing | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| con0xBS | PlutusCore.Parser |
| conArray | PlutusCore.Parser |
| conBLS12_381_G1_Element | PlutusCore.Parser |
| conBLS12_381_G2_Element | PlutusCore.Parser |
| conBool | PlutusCore.Parser |
| conBS | PlutusCore.Parser |
| Concat | PlutusTx.Blueprint.Definition.TF |
| concat | |
| 1 (Function) | PlutusTx.List |
| 2 (Function) | PlutusTx.Foldable |
| 3 (Function) | PlutusTx.Data.List |
| 4 (Function) | PlutusTx.BuiltinList |
| concatBuiltinStrings | PlutusTx.Show.TH |
| concatMap | |
| 1 (Function) | PlutusTx.List |
| 2 (Function) | PlutusTx.Foldable |
| 3 (Function) | PlutusTx.Data.List |
| 4 (Function) | PlutusTx.BuiltinList |
| conData | PlutusCore.Parser |
| conDataNoParens | PlutusCore.Parser |
| CondensedErrors | PlutusCore.Pretty |
| CondensedErrorsNo | PlutusCore.Pretty |
| CondensedErrorsYes | PlutusCore.Pretty |
| Condition | PlutusIR.Pass |
| conFixity | PlutusCore.Flat.Class, PlutusCore.Flat.Instances.Util, PlutusCore.Flat |
| conInteger | PlutusCore.Parser |
| conIsRecord | PlutusCore.Flat.Class, PlutusCore.Flat.Instances.Util, PlutusCore.Flat |
| conList | PlutusCore.Parser |
| conName | PlutusCore.Flat.Class, PlutusCore.Flat.Instances.Util, PlutusCore.Flat |
| conPair | PlutusCore.Parser |
| Cons | |
| 1 (Data Constructor) | Data.RandomAccessList.SkewBinary |
| 2 (Data Constructor) | Data.RandomAccessList.SkewBinarySlab |
| cons | |
| 1 (Function) | PlutusTx.Data.List |
| 2 (Function) | PlutusTx.BuiltinList |
| 3 (Function) | Data.RandomAccessList.Class |
| 4 (Function) | PlutusCore.StdLib.Data.ScottList |
| consAnnIf | PlutusCore.Pretty |
| consBits | PlutusCore.Flat.Decoder.Prim, PlutusCore.Flat.Decoder, PlutusCore.Flat.Instances.Util |
| consBool | PlutusCore.Flat.Decoder.Prim, PlutusCore.Flat.Decoder, PlutusCore.Flat.Instances.Util |
| ConsByteString | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| consByteString | |
| 1 (Function) | PlutusTx.Builtins.Internal |
| 2 (Function) | PlutusTx.Builtins, PlutusTx.Prelude |
| ConsByteString'cpu'arguments'intercept | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
| ConsByteString'cpu'arguments'slope | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
| ConsByteString'memory'arguments'intercept | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
| ConsByteString'memory'arguments'slope | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
| consClose | PlutusCore.Flat.Decoder.Prim, PlutusCore.Flat.Decoder, PlutusCore.Flat.Instances.Util |
| consOpen | PlutusCore.Flat.Decoder.Prim, PlutusCore.Flat.Decoder, PlutusCore.Flat.Instances.Util |
| consSlab | |
| 1 (Function) | Data.RandomAccessList.Class |
| 2 (Function) | Data.RandomAccessList.SkewBinarySlab |
| ConsStack | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| ConsStackNonEmpty | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| ConsState | |
| 1 (Type/Class) | PlutusCore.Flat.Decoder.Prim, PlutusCore.Flat.Decoder, PlutusCore.Flat.Instances.Util |
| 2 (Data Constructor) | PlutusCore.Flat.Decoder.Prim, PlutusCore.Flat.Decoder, PlutusCore.Flat.Instances.Util |
| Const | PlutusCore.Examples.Builtins |
| const | |
| 1 (Function) | PlutusTx.Base, PlutusTx.Prelude |
| 2 (Function) | PlutusCore.StdLib.Data.Function |
| const0 | UntypedPlutusCore.Test.DeBruijn.Good |
| ConstAboveDiagonal | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| Constant | |
| 1 (Data Constructor) | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| 2 (Data Constructor) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 3 (Data Constructor) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| constant | |
| 1 (Function) | PlutusIR.MkPir, PlutusCore.MkPlc |
| 2 (Function) | PlutusCore.Parser |
| ConstantCost | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| ConstantG | PlutusCore.Generators.NEAT.Term |
| constantIsSerializable | PlutusIR.Analysis.Builtins |
| constantOf | PlutusCore.Parser |
| ConstBelowDiagonal | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| ConstCondition | PlutusIR.Pass |
| ConstConfig | |
| 1 (Type/Class) | PlutusCore.Pretty |
| 2 (Data Constructor) | PlutusCore.Pretty |
| Constitution | |
| 1 (Type/Class) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| 2 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| 3 (Type/Class) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| 4 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| ConstitutionConfig | |
| 1 (Type/Class) | Cardano.Constitution.Config.Types, Cardano.Constitution.Config |
| 2 (Data Constructor) | Cardano.Constitution.Config.Types, Cardano.Constitution.Config |
| constitutionScript | |
| 1 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| 2 (Function) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| ConstitutionValidator | |
| 1 (Type/Class) | Cardano.Constitution.Validator.Data.Common, Cardano.Constitution.Data.Validator |
| 2 (Type/Class) | Cardano.Constitution.Validator.Common, Cardano.Constitution.Validator |
| constitutionValidator | |
| 1 (Function) | Cardano.Constitution.Validator.Data.Unsorted |
| 2 (Function) | Cardano.Constitution.Validator.Data.Sorted |
| 3 (Function) | Cardano.Constitution.Validator.Unsorted |
| 4 (Function) | Cardano.Constitution.Validator.Sorted |
| ConstOffDiagonal | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| constPartial | PlutusCore.StdLib.Meta.Data.Function |
| Constr | |
| 1 (Data Constructor) | PlutusTx, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3, PlutusCore.Data |
| 2 (Data Constructor) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| 3 (Data Constructor) | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| 4 (Data Constructor) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| constr | PlutusIR.MkPir, PlutusCore.MkPlc |
| ConstrData | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| ConstrData'cpu'arguments | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
| ConstrData'memory'arguments | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
| constrTypes | PlutusCore.Generators.QuickCheck.Utils, PlutusCore.Generators.QuickCheck |
| Constructor | |
| 1 (Data Constructor) | PlutusIR.Compiler.Provenance, PlutusIR.Compiler |
| 2 (Type/Class) | PlutusCore.Flat.Class, PlutusCore.Flat.Instances.Util, PlutusCore.Flat |
| ConstructorSchema | PlutusTx.Blueprint.Schema, PlutusTx.Blueprint |
| ConstructorType | PlutusIR.Compiler.Provenance, PlutusIR.Compiler |
| Container | PlutusCore.Generators.QuickCheck.Utils, PlutusCore.Generators.QuickCheck |
| Contains | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| contains | |
| 1 (Function) | PlutusLedgerApi.V1.Data.Interval |
| 2 (Function) | PlutusLedgerApi.V1.Interval, PlutusLedgerApi.V1 |
| Context | |
| 1 (Type/Class) | PlutusLedgerApi.V1.Scripts, PlutusLedgerApi.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V1.Scripts, PlutusLedgerApi.V1 |
| 3 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal |
| 4 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| conText | PlutusCore.Parser |
| contextAnn | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| contIndexOne | Data.RandomAccessList.SkewBinary |
| contIndexZero | Data.RandomAccessList.SkewBinary |
| Continue | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
| ContractBlueprint | PlutusTx.Blueprint.Contract, PlutusTx.Blueprint |
| contractDefinitions | PlutusTx.Blueprint.Contract, PlutusTx.Blueprint |
| contractId | PlutusTx.Blueprint.Contract, PlutusTx.Blueprint |
| contractPreamble | PlutusTx.Blueprint.Contract, PlutusTx.Blueprint |
| contractValidators | PlutusTx.Blueprint.Contract, PlutusTx.Blueprint |
| conUnit | PlutusCore.Parser |
| conv | |
| 1 (Function) | FFI.Untyped |
| 2 (Function) | Raw |
| conValue | PlutusCore.Parser |
| convertClosedTerm | PlutusCore.Generators.NEAT.Term |
| convertClosedType | PlutusCore.Generators.NEAT.Term |
| ConvertOptions | |
| 1 (Type/Class) | PlutusCore.Executable.Types, PlutusCore.Executable.Common |
| 2 (Data Constructor) | PlutusCore.Executable.Types, PlutusCore.Executable.Common |
| convertOpts | PlutusCore.Executable.Parsers |
| convertToEitherString | PlutusIR.Pass.Test |
| convK | Raw |
| convP | |
| 1 (Function) | FFI.Untyped |
| 2 (Function) | Raw |
| convT | Raw |
| convTyCon | Raw |
| coOptimize | PlutusIR.Compiler.Types, PlutusIR.Compiler |
| coPedantic | PlutusIR.Compiler.Types, PlutusIR.Compiler |
| coPreserveLogging | PlutusIR.Compiler.Types, PlutusIR.Compiler |
| coProfile | PlutusIR.Compiler.Types, PlutusIR.Compiler |
| coRelaxedFloatin | PlutusIR.Compiler.Types, PlutusIR.Compiler |
| CoreNameLookupError | PlutusTx.Compiler.Error |
| 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 |
| costIsAcceptable | PlutusIR.Transform.Inline.Utils |
| CostLast | PlutusCore.Evaluation.Machine.CostStream |
| CostModel | |
| 1 (Type/Class) | FFI.Opts |
| 2 (Type/Class) | PlutusCore.Evaluation.Machine.MachineParameters |
| 3 (Data Constructor) | PlutusCore.Evaluation.Machine.MachineParameters |
| CostModelApplyError | PlutusLedgerApi.Common, PlutusLedgerApi.V1.EvaluationContext, PlutusLedgerApi.V2.EvaluationContext, PlutusLedgerApi.V3.EvaluationContext, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3, PlutusCore.Evaluation.Machine.CostModelInterface |
| CostModelApplyWarn | PlutusLedgerApi.Common, PlutusCore.Evaluation.Machine.CostModelInterface |
| costModelDataDir | PlutusCore.DataFilePaths |
| CostModelParameterMismatch | PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
| CostModelParams | PlutusLedgerApi.Common, PlutusLedgerApi.V1.EvaluationContext, PlutusLedgerApi.V2.EvaluationContext, PlutusLedgerApi.V3.EvaluationContext, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3, PlutusCore.Evaluation.Machine.CostModelInterface |
| costModelParamsForTesting | |
| 1 (Function) | PlutusLedgerApi.Test.V3.Data.EvaluationContext |
| 2 (Function) | PlutusLedgerApi.Test.V2.Data.EvaluationContext |
| 3 (Function) | PlutusLedgerApi.Test.V1.Data.EvaluationContext |
| 4 (Function) | PlutusLedgerApi.Test.V3.EvaluationContext |
| 5 (Function) | PlutusLedgerApi.Test.V2.EvaluationContext |
| 6 (Function) | PlutusLedgerApi.Test.V1.EvaluationContext |
| CostRose | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.ExMemoryUsage |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.ExMemoryUsage |
| CostStream | PlutusCore.Evaluation.Machine.CostStream |
| coTypecheck | PlutusIR.Compiler.Types, PlutusIR.Compiler |
| countAstNodes | PlutusTx.Code |
| CounterSize | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| countFlatBytes | PlutusTx.Test.Util.Compiled |
| Counting | FFI.Opts |
| counting | UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| countingbudget | FFI.Opts |
| 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 | |
| 1 (Function) | PlutusTx.Builtins.Internal |
| 2 (Function) | PlutusTx.Builtins, PlutusTx.Prelude |
| 3 (Function) | PlutusCore.Bitwise |
| CountSetBits'cpu'arguments'intercept | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
| CountSetBits'cpu'arguments'slope | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
| CountSetBits'memory'arguments | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
| CoverageAnnotation | PlutusTx.Coverage |
| coverageAnnotations | PlutusTx.Coverage |
| CoverageData | |
| 1 (Type/Class) | PlutusTx.Coverage |
| 2 (Data Constructor) | PlutusTx.Coverage |
| coverageDataFromLogMsg | PlutusTx.Coverage |
| CoverageIndex | |
| 1 (Type/Class) | PlutusTx.Coverage |
| 2 (Data Constructor) | PlutusTx.Coverage |
| CoverageMetadata | |
| 1 (Type/Class) | PlutusTx.Coverage |
| 2 (Data Constructor) | PlutusTx.Coverage |
| coverageMetadata | PlutusTx.Coverage |
| CoverageReport | |
| 1 (Type/Class) | PlutusTx.Coverage |
| 2 (Data Constructor) | PlutusTx.Coverage |
| CoverBool | PlutusTx.Coverage |
| coVerbose | PlutusIR.Compiler.Types, PlutusIR.Compiler |
| coveredAnnotations | PlutusTx.Coverage |
| CoverLocation | PlutusTx.Coverage |
| cover_'8868'_6 | MAlonzo.Code.Agda.Builtin.Unit |
| cover_Associativity_14 | MAlonzo.Code.Agda.Builtin.Reflection |
| cover_AtomicTyCon_6 | MAlonzo.Code.Builtin.Constant.AtomicType |
| cover_BudgetMode_36 | MAlonzo.Code.Evaluator.Program |
| cover_Builtin_2 | MAlonzo.Code.Builtin |
| cover_Command_36 | MAlonzo.Code.Main |
| cover_CpuAndMemoryModel_192 | MAlonzo.Code.Cost.Raw |
| cover_DATA_608 | MAlonzo.Code.Utils |
| cover_Either_6 | MAlonzo.Code.Utils |
| cover_ERROR_12 | MAlonzo.Code.Evaluator.Base |
| cover_Esc_24 | MAlonzo.Code.RawU |
| cover_EvalMode_46 | MAlonzo.Code.Evaluator.Program |
| cover_EvalOptions_24 | MAlonzo.Code.Main |
| cover_ExpModCostingFunction_128 | MAlonzo.Code.Cost.Raw |
| cover_Fixity_28 | MAlonzo.Code.Agda.Builtin.Reflection |
| cover_Hints_52 | MAlonzo.Code.VerifiedCompilation.Trace |
| cover_InlineHints_24 | MAlonzo.Code.VerifiedCompilation.Trace |
| cover_Kind_766 | MAlonzo.Code.Utils |
| cover_LinearFunction_32 | MAlonzo.Code.Cost.Raw |
| cover_List_444 | MAlonzo.Code.Utils |
| cover_OneVariableQuadraticFunction_44 | MAlonzo.Code.Cost.Raw |
| cover_Precedence_22 | MAlonzo.Code.Agda.Builtin.Reflection |
| cover_RawModel_144 | MAlonzo.Code.Cost.Raw |
| cover_RawTm_32 | MAlonzo.Code.Raw |
| cover_RawTyCon_4 | MAlonzo.Code.Raw |
| cover_RawTy_2 | MAlonzo.Code.Raw |
| cover_RuntimeError_408 | MAlonzo.Code.Utils |
| cover_ScopeError_576 | MAlonzo.Code.Scoped |
| cover_SimplifierTag_4 | MAlonzo.Code.VerifiedCompilation.Trace |
| cover_TagCon_106 | MAlonzo.Code.RawU |
| cover_Tag_28 | MAlonzo.Code.RawU |
| cover_TwoVariableLinearFunction_60 | MAlonzo.Code.Cost.Raw |
| cover_TwoVariableQuadraticFunction_76 | MAlonzo.Code.Cost.Raw |
| cover_TwoVariableWithInteractionFunction_108 | MAlonzo.Code.Cost.Raw |
| cover_TypecheckOptions_30 | MAlonzo.Code.Main |
| cover_Untyped_208 | MAlonzo.Code.RawU |
| cover__'215'__426 | MAlonzo.Code.Utils |
| CovLoc | |
| 1 (Type/Class) | PlutusTx.Coverage |
| 2 (Data Constructor) | PlutusTx.Coverage |
| covLocEndCol | PlutusTx.Coverage |
| covLocEndLine | PlutusTx.Coverage |
| covLocFile | PlutusTx.Coverage |
| covLocStartCol | PlutusTx.Coverage |
| covLocStartLine | PlutusTx.Coverage |
| CpuAndMemoryModel | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| cpuModel | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| Credential | |
| 1 (Type/Class) | PlutusLedgerApi.V1.Data.Credential, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
| 2 (Type/Class) | PlutusLedgerApi.V1.Credential, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
| csbComplement | Evaluation.Builtins.Bitwise.CIP0123 |
| csbHomomorphism | Evaluation.Builtins.Bitwise.CIP0123 |
| csbInclusionExclusion | Evaluation.Builtins.Bitwise.CIP0123 |
| csbRotate | Evaluation.Builtins.Bitwise.CIP0123 |
| csbXor | Evaluation.Builtins.Bitwise.CIP0123 |
| CSE | UntypedPlutusCore.Transform.Certify.Trace, UntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore |
| cse | UntypedPlutusCore.Transform.Cse |
| cse1 | Transform.Simplify.Spec |
| cse2 | Transform.Simplify.Spec |
| cse3 | Transform.Simplify.Spec |
| cseExpensive | Transform.Simplify.Spec |
| csePlusTree | Transform.Simplify.Spec |
| cseRepeatPlus | Transform.Simplify.Spec |
| CseWhichSubterms | UntypedPlutusCore.Transform.Cse, UntypedPlutusCore |
| csize | PlutusCore.Flat.Encoder.Strict |
| Ctrex | |
| 1 (Type/Class) | PlutusCore.Generators.NEAT.Spec |
| 2 (Data Constructor) | PlutusCore.Generators.NEAT.Spec |
| CtrexKindCheckFail | PlutusCore.Generators.NEAT.Spec |
| CtrexKindMismatch | PlutusCore.Generators.NEAT.Spec |
| CtrexKindPreservationFail | PlutusCore.Generators.NEAT.Spec |
| CtrexNormalizeConvertCommuteTypes | PlutusCore.Generators.NEAT.Spec |
| CtrexNormalTypesCannotReduce | PlutusCore.Generators.NEAT.Spec |
| CtrexTermEvaluationFail | PlutusCore.Generators.NEAT.Spec |
| CtrexTermEvaluationMismatch | PlutusCore.Generators.NEAT.Spec |
| CtrexTypeCheckFail | PlutusCore.Generators.NEAT.Spec |
| CtrexTypeNormalizationFail | PlutusCore.Generators.NEAT.Spec |
| CtrexTypeNormalizationMismatch | PlutusCore.Generators.NEAT.Spec |
| CtrexTypePreservationFail | PlutusCore.Generators.NEAT.Spec |
| CtrexUntypedTermEvaluationMismatch | PlutusCore.Generators.NEAT.Spec |
| currByte | PlutusCore.Flat.Encoder.Types |
| CurrencySymbol | |
| 1 (Type/Class) | PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
| 2 (Type/Class) | PlutusLedgerApi.V1.Data.Value, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
| 3 (Data Constructor) | PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
| 4 (Data Constructor) | PlutusLedgerApi.V1.Data.Value, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
| currencySymbol | |
| 1 (Function) | PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1 |
| 2 (Function) | PlutusLedgerApi.V1.Data.Value |
| currencySymbolFromHex | PlutusLedgerApi.Test.ScriptContextBuilder.Builder |
| currencySymbolValueOf | |
| 1 (Function) | PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1 |
| 2 (Function) | PlutusLedgerApi.V1.Data.Value |
| currentLevel | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| currPtr | PlutusCore.Flat.Decoder.Types |
| curry | PlutusTx.Base, PlutusTx.Prelude |
| Custom | PlutusIR.Pass |
| CustomBi | PlutusIR.Pass |
| cutoff | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
| C_'183''8801'β_26 | MAlonzo.Code.Type.Equality |
| C_'42'_768 | MAlonzo.Code.Utils |
| C_'43''60''43'_72 | MAlonzo.Code.Data.Integer.Base |
| C_'43''8804''43'_48 | MAlonzo.Code.Data.Integer.Base |
| C_'43'_10 | MAlonzo.Code.Data.Sign.Base |
| C_'45''183''8902'_1210 | MAlonzo.Code.Algorithmic.CEK |
| C_'45''183''8902'_382 | MAlonzo.Code.Algorithmic.ReductionEC |
| C_'45''183'v_1196 | MAlonzo.Code.Algorithmic.CEK |
| C_'45''183'v_202 | MAlonzo.Code.Untyped.CEK |
| C_'45''183'v_366 | MAlonzo.Code.Algorithmic.ReductionEC |
| C_'45''183'_1190 | MAlonzo.Code.Algorithmic.CEK |
| C_'45''183'_200 | MAlonzo.Code.Untyped.CEK |
| C_'45''183'__358 | MAlonzo.Code.Algorithmic.ReductionEC |
| C_'45''60''43'_64 | MAlonzo.Code.Data.Integer.Base |
| C_'45''60''45'_58 | MAlonzo.Code.Data.Integer.Base |
| C_'45''8804''43'_40 | MAlonzo.Code.Data.Integer.Base |
| C_'45''8804''45'_34 | MAlonzo.Code.Data.Integer.Base |
| C_'45'_8 | MAlonzo.Code.Data.Sign.Base |
| C_'8658''8801'β_20 | MAlonzo.Code.Type.Equality |
| C_'8709'_18 | MAlonzo.Code.Declarative |
| C_'8709'_4 | |
| 1 (Data Constructor) | MAlonzo.Code.Type |
| 2 (Data Constructor) | MAlonzo.Code.Algorithmic |
| C_'8729''8776''8729'_22 | MAlonzo.Code.Relation.Binary.Construct.Add.Point.Equality |
| C_'8764''43'_34 | MAlonzo.Code.Data.Tree.AVL.Height |
| C_'8764''45'_42 | MAlonzo.Code.Data.Tree.AVL.Height |
| C_'8764'0_38 | MAlonzo.Code.Data.Tree.AVL.Height |
| C_'8804''8242''45'refl_342 | MAlonzo.Code.Data.Nat.Base |
| C_'8804''8242''45'step_348 | MAlonzo.Code.Data.Nat.Base |
| C_'8804''8244''45'refl_412 | MAlonzo.Code.Data.Nat.Base |
| C_'8804''8244''45'step_418 | MAlonzo.Code.Data.Nat.Base |
| C_'8869''8331''60''91'_'93'_24 | MAlonzo.Code.Relation.Binary.Construct.Add.Infimum.Strict |
| C_'8869''8331''8804'__24 | MAlonzo.Code.Relation.Binary.Construct.Add.Infimum.NonStrict |
| C_'91''93''33'_1962 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| C_'91''93'_10 | MAlonzo.Code.Utils.List |
| C_'91''93'_16 | MAlonzo.Code.Agda.Builtin.List |
| C_'91''93'_18 | MAlonzo.Code.Untyped.CEK |
| C_'91''93'_180 | MAlonzo.Code.Declarative |
| C_'91''93'_202 | MAlonzo.Code.Algorithmic.CEK |
| C_'91''93'_22 | MAlonzo.Code.Data.List.Relation.Unary.AllPairs.Core |
| C_'91''93'_278 | MAlonzo.Code.Algorithmic |
| C_'91''93'_308 | MAlonzo.Code.Utils.List |
| C_'91''93'_32 | MAlonzo.Code.Data.Vec.Base |
| C_'91''93'_402 | MAlonzo.Code.Utils.List |
| C_'91''93'_448 | MAlonzo.Code.Utils |
| C_'91''93'_466 | MAlonzo.Code.Utils |
| C_'91''93'_478 | MAlonzo.Code.Data.List.Base |
| C_'91''93'_480 | MAlonzo.Code.Algorithmic.ReductionEC |
| C_'91''93'_50 | MAlonzo.Code.Data.List.Relation.Unary.All |
| C_'91''93'_56 | MAlonzo.Code.Data.List.Relation.Binary.Pointwise.Base |
| C_'91''93'_810 | MAlonzo.Code.Utils.List |
| C_'91''93'_840 | MAlonzo.Code.Utils.List |
| C_'91'_'93''60''8868''8314'_30 | MAlonzo.Code.Relation.Binary.Construct.Add.Supremum.Strict |
| C_'91'_'93'_158 | MAlonzo.Code.Relation.Binary.PropositionalEquality |
| C_'91'_'93'_26 | |
| 1 (Data Constructor) | MAlonzo.Code.Relation.Binary.Construct.Add.Supremum.NonStrict |
| 2 (Data Constructor) | MAlonzo.Code.Relation.Binary.Construct.Add.Supremum.Strict |
| C_'91'_'93'_28 | |
| 1 (Data Constructor) | MAlonzo.Code.Data.Irrelevant |
| 2 (Data Constructor) | MAlonzo.Code.Relation.Binary.Construct.Add.Point.Equality |
| C_'91'_'93'_30 | |
| 1 (Data Constructor) | MAlonzo.Code.Relation.Binary.Construct.Add.Infimum.NonStrict |
| 2 (Data Constructor) | MAlonzo.Code.Relation.Binary.Construct.Add.Infimum.Strict |
| C_'91'_'93'_382 | MAlonzo.Code.Induction.WellFounded |
| C_'91'_'93'_44 | MAlonzo.Code.Relation.Binary.Construct.Closure.Reflexive |
| C_'94'_12 | MAlonzo.Code.Type.BetaNormal |
| C_'94'_34 | MAlonzo.Code.Type |
| C_'96''33'_864 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| C_'96''8595'_234 | MAlonzo.Code.VerifiedCompilation.UInline |
| C_'96'_114 | MAlonzo.Code.Declarative |
| C_'96'_18 | |
| 1 (Data Constructor) | MAlonzo.Code.Scoped |
| 2 (Data Constructor) | MAlonzo.Code.Untyped |
| C_'96'_184 | MAlonzo.Code.Algorithmic |
| C_'96'_22 | MAlonzo.Code.Type |
| C_'96'_230 | MAlonzo.Code.VerifiedCompilation.UInline |
| C_'96'_32 | MAlonzo.Code.Builtin.Signature |
| C_'96'_34 | MAlonzo.Code.Raw |
| C_'96'_528 | MAlonzo.Code.Scoped |
| C_'96'_6 | MAlonzo.Code.Raw |
| C_'96'_8 | |
| 1 (Data Constructor) | MAlonzo.Code.Type.BetaNormal |
| 2 (Data Constructor) | MAlonzo.Code.Builtin.Signature |
| C_'9633'_106 | MAlonzo.Code.VerifiedCompilation.UInline |
| C_'9633'_1292 | MAlonzo.Code.Algorithmic.CEK |
| C_'9633'_226 | MAlonzo.Code.Untyped.CEK |
| C_'9633'_32 | MAlonzo.Code.VerifiedCompilation.UInline |
| C_'9633'_50 | MAlonzo.Code.Algorithmic.CK |
| C_'9633'_82 | MAlonzo.Code.VerifiedCompilation.UForceDelay |
| C_'9670'_1294 | MAlonzo.Code.Algorithmic.CEK |
| C_'9670'_228 | MAlonzo.Code.Untyped.CEK |
| C_'9670'_54 | MAlonzo.Code.Algorithmic.CK |
| C_'9839'_42 | MAlonzo.Code.Algorithmic |
| C_'9839'_770 | MAlonzo.Code.Utils |
| C_0ℙ_8 | MAlonzo.Code.Data.Parity.Base |
| C_1ℙ_10 | MAlonzo.Code.Data.Parity.Base |
| C_a2c_16 | MAlonzo.Code.VerifiedCompilation.UApplyToCase |
| C_AbelianGroup'46'constructor_29855 | MAlonzo.Code.Algebra.Bundles |
| C_aBls12'45'381'45'g1'45'element_20 | MAlonzo.Code.Builtin.Constant.AtomicType |
| C_aBls12'45'381'45'g2'45'element_22 | MAlonzo.Code.Builtin.Constant.AtomicType |
| C_aBls12'45'381'45'mlresult_24 | MAlonzo.Code.Builtin.Constant.AtomicType |
| C_aBool_16 | MAlonzo.Code.Builtin.Constant.AtomicType |
| C_abort_10 | MAlonzo.Code.VerifiedCompilation |
| C_abort_32 | MAlonzo.Code.VerifiedCompilation.Certificate |
| C_abort_70 | MAlonzo.Code.VerifiedCompilation.Certificate |
| C_absurd'45'clause_278 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_absurd_264 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_abs_122 | |
| 1 (Data Constructor) | MAlonzo.Code.Agda.Builtin.Reflection |
| 2 (Data Constructor) | MAlonzo.Code.VerifiedCompilation.UForceDelay |
| C_aBytestring_10 | MAlonzo.Code.Builtin.Constant.AtomicType |
| C_accept_6 | MAlonzo.Code.VerifiedCompilation.NotImplemented |
| C_acc_52 | MAlonzo.Code.Induction.WellFounded |
| C_aData_18 | MAlonzo.Code.Builtin.Constant.AtomicType |
| C_addComm_2124 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| C_AddedSizes_148 | MAlonzo.Code.Cost.Raw |
| C_addedSizes_32 | MAlonzo.Code.Cost.Model |
| C_addInteger_4 | MAlonzo.Code.Builtin |
| C_agda'45'sort_206 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_aInteger_8 | MAlonzo.Code.Builtin.Constant.AtomicType |
| C_allterms_796 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| C_AlternativeMagma'46'constructor_5457 | MAlonzo.Code.Algebra.Bundles |
| C_andByteString_160 | MAlonzo.Code.Builtin |
| C_ApartnessRelation'46'constructor_25337 | MAlonzo.Code.Relation.Binary.Bundles |
| C_app'45'constr_412 | MAlonzo.Code.Untyped.Reduction |
| C_app'45'con_398 | MAlonzo.Code.Untyped.Reduction |
| C_app'45'delay_404 | MAlonzo.Code.Untyped.Reduction |
| C_app'45'interleave'45'error_392 | MAlonzo.Code.Untyped.Reduction |
| C_app'8902'_120 | MAlonzo.Code.Untyped.CEK |
| C_appendByteString_24 | MAlonzo.Code.Builtin |
| C_appendString_52 | MAlonzo.Code.Builtin |
| C_appfd'8315''185'_54 | MAlonzo.Code.VerifiedCompilation.UForceDelay |
| C_appfd_46 | MAlonzo.Code.VerifiedCompilation.UForceDelay |
| C_applyToCaseT_20 | MAlonzo.Code.VerifiedCompilation.Trace |
| C_app_106 | MAlonzo.Code.Untyped.CEK |
| C_app_120 | MAlonzo.Code.VerifiedCompilation.UForceDelay |
| C_app_42 | MAlonzo.Code.VerifiedCompilation.UntypedTranslation |
| C_app_46 | MAlonzo.Code.VerifiedCompilation.UFloatDelay |
| C_app_50 | MAlonzo.Code.Untyped.Purity |
| C_arg'45'info_82 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_argtype_70 | MAlonzo.Code.Builtin.Signature |
| C_Arg_62 | MAlonzo.Code.Text.Format.Generic |
| C_arg_98 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_array_12 | MAlonzo.Code.Builtin.Constant.Type |
| C_array_20 | MAlonzo.Code.Builtin.Signature |
| C_array_28 | MAlonzo.Code.Raw |
| C_array_54 | MAlonzo.Code.RawU |
| C_aString_12 | MAlonzo.Code.Builtin.Constant.AtomicType |
| C_atomic_12 | MAlonzo.Code.Builtin.Signature |
| C_atomic_24 | MAlonzo.Code.Raw |
| C_atomic_8 | MAlonzo.Code.Builtin.Constant.Type |
| C_aUnit_14 | MAlonzo.Code.Builtin.Constant.AtomicType |
| C_axiom_304 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_b'8804'b_16 | MAlonzo.Code.Data.Bool.Base |
| C_Band'46'constructor_10881 | MAlonzo.Code.Algebra.Bundles |
| C_BApply_14 | MAlonzo.Code.Cost.Base |
| C_base_144 | MAlonzo.Code.Algorithmic.CEK |
| C_base_42 | MAlonzo.Code.Data.List.Relation.Binary.Lex.Core |
| C_base_78 | MAlonzo.Code.Algorithmic.ReductionEC |
| C_base_94 | MAlonzo.Code.Untyped.CEK |
| C_BBuiltinApp_40 | MAlonzo.Code.Cost.Base |
| C_BBuiltin_20 | MAlonzo.Code.Cost.Base |
| C_BCase_24 | MAlonzo.Code.Cost.Base |
| C_BConstr_22 | MAlonzo.Code.Cost.Base |
| C_BConst_8 | MAlonzo.Code.Cost.Base |
| C_bDATA_618 | MAlonzo.Code.Utils |
| C_bData_96 | MAlonzo.Code.Builtin |
| C_BDelay_16 | MAlonzo.Code.Cost.Base |
| C_BForce_18 | MAlonzo.Code.Cost.Base |
| C_BiEquivalence'46'constructor_44693 | MAlonzo.Code.Function.Bundles |
| C_BiInverse'46'constructor_47439 | MAlonzo.Code.Function.Bundles |
| C_Bijection'46'constructor_15277 | MAlonzo.Code.Function.Bundles |
| C_bijection_106 | MAlonzo.Code.Function.Related.Propositional |
| C_bijection_126 | MAlonzo.Code.Function.Related.Propositional |
| C_bijection_142 | MAlonzo.Code.Function.Related.Propositional |
| C_bijection_22 | MAlonzo.Code.Function.Related.Propositional |
| C_bijection_90 | MAlonzo.Code.Function.Related.Propositional |
| C_blake2b'45'224_154 | MAlonzo.Code.Builtin |
| C_blake2b'45'256_44 | MAlonzo.Code.Builtin |
| C_BLamAbs_12 | MAlonzo.Code.Cost.Base |
| C_blockerAll_104 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_blockerAny_102 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_blockerMeta_106 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_bls12'45'381'45'finalVerify_150 | MAlonzo.Code.Builtin |
| C_bls12'45'381'45'G1'45'add_118 | MAlonzo.Code.Builtin |
| C_bls12'45'381'45'G1'45'compress_128 | MAlonzo.Code.Builtin |
| C_bls12'45'381'45'g1'45'element_56 | MAlonzo.Code.RawU |
| C_bls12'45'381'45'G1'45'equal_124 | MAlonzo.Code.Builtin |
| C_bls12'45'381'45'G1'45'hashToGroup_126 | MAlonzo.Code.Builtin |
| C_bls12'45'381'45'G1'45'multiScalarMul_188 | MAlonzo.Code.Builtin |
| C_bls12'45'381'45'G1'45'neg_120 | MAlonzo.Code.Builtin |
| C_bls12'45'381'45'G1'45'scalarMul_122 | MAlonzo.Code.Builtin |
| C_bls12'45'381'45'G1'45'uncompress_130 | MAlonzo.Code.Builtin |
| C_bls12'45'381'45'G2'45'add_132 | MAlonzo.Code.Builtin |
| C_bls12'45'381'45'G2'45'compress_142 | MAlonzo.Code.Builtin |
| C_bls12'45'381'45'g2'45'element_58 | MAlonzo.Code.RawU |
| C_bls12'45'381'45'G2'45'equal_138 | MAlonzo.Code.Builtin |
| C_bls12'45'381'45'G2'45'hashToGroup_140 | MAlonzo.Code.Builtin |
| C_bls12'45'381'45'G2'45'multiScalarMul_190 | MAlonzo.Code.Builtin |
| C_bls12'45'381'45'G2'45'neg_134 | MAlonzo.Code.Builtin |
| C_bls12'45'381'45'G2'45'scalarMul_136 | MAlonzo.Code.Builtin |
| C_bls12'45'381'45'G2'45'uncompress_144 | MAlonzo.Code.Builtin |
| C_bls12'45'381'45'millerLoop_146 | MAlonzo.Code.Builtin |
| C_bls12'45'381'45'mlresult_60 | MAlonzo.Code.RawU |
| C_bls12'45'381'45'mulMlResult_148 | MAlonzo.Code.Builtin |
| C_BooleanAlgebra'46'constructor_11509 | MAlonzo.Code.Algebra.Lattice.Bundles |
| C_BooleanAlgebra'46'constructor_22683 | MAlonzo.Code.Relation.Binary.Lattice.Bundles |
| C_bool_36 | MAlonzo.Code.RawU |
| C_BoundedJoinSemilattice'46'constructor_2401 | MAlonzo.Code.Relation.Binary.Lattice.Bundles |
| C_BoundedJoinSemilattice'46'constructor_6531 | MAlonzo.Code.Algebra.Lattice.Bundles |
| C_BoundedLattice'46'constructor_14911 | MAlonzo.Code.Relation.Binary.Lattice.Bundles |
| C_BoundedMeetSemilattice'46'constructor_5171 | MAlonzo.Code.Algebra.Lattice.Bundles |
| C_BoundedMeetSemilattice'46'constructor_6659 | MAlonzo.Code.Relation.Binary.Lattice.Bundles |
| C_BoundedSemilattice'46'constructor_3703 | MAlonzo.Code.Algebra.Lattice.Bundles |
| C_bresult_280 | MAlonzo.Code.Builtin.Signature |
| C_broken'45'const_328 | MAlonzo.Code.Untyped.Reduction |
| C_BStartup_42 | MAlonzo.Code.Cost.Base |
| C_BStep_36 | MAlonzo.Code.Cost.Base |
| C_bubble_1136 | MAlonzo.Code.Utils.List |
| C_bubble_192 | MAlonzo.Code.Utils |
| C_bubble_700 | MAlonzo.Code.Utils.List |
| C_builtin'33'_974 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| C_builtinError_102 | MAlonzo.Code.Check |
| C_BuiltinModel'46'constructor_607 | MAlonzo.Code.Cost.Model |
| C_builtin_'47'__264 | MAlonzo.Code.Algorithmic |
| C_builtin_166 | MAlonzo.Code.Declarative |
| C_builtin_200 | MAlonzo.Code.Untyped.Reduction |
| C_builtin_22 | MAlonzo.Code.Untyped.Purity |
| C_builtin_270 | MAlonzo.Code.VerifiedCompilation.UInline |
| C_builtin_44 | |
| 1 (Data Constructor) | MAlonzo.Code.VerifiedCompilation.Trace |
| 2 (Data Constructor) | MAlonzo.Code.Untyped |
| C_builtin_48 | MAlonzo.Code.Raw |
| C_builtin_544 | MAlonzo.Code.Scoped |
| C_builtin_56 | MAlonzo.Code.VerifiedCompilation.UFloatDelay |
| C_builtin_80 | MAlonzo.Code.VerifiedCompilation.UntypedTranslation |
| C_BVar_10 | MAlonzo.Code.Cost.Base |
| C_byteStringToInteger_156 | MAlonzo.Code.Builtin |
| C_bytestring_32 | MAlonzo.Code.RawU |
| C_CancellativeCommutativeSemiring'46'constructor_48119 | MAlonzo.Code.Algebra.Bundles |
| C_case'33'_936 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| C_case'45'builtin_440 | MAlonzo.Code.Untyped.Reduction |
| C_case'45'constr_320 | MAlonzo.Code.Untyped.Reduction |
| C_case'45'con_434 | MAlonzo.Code.Untyped.Reduction |
| C_case'45'delay_428 | MAlonzo.Code.Untyped.Reduction |
| C_case'45'error_416 | MAlonzo.Code.Untyped.Reduction |
| C_case'45'reduce_466 | MAlonzo.Code.Untyped.Reduction |
| C_case'45'unsat'8320'_450 | MAlonzo.Code.Untyped.Reduction |
| C_case'45'unsat'8321'_458 | MAlonzo.Code.Untyped.Reduction |
| C_case'45'_1258 | MAlonzo.Code.Algorithmic.CEK |
| C_case'45'_216 | MAlonzo.Code.Untyped.CEK |
| C_case'45'_428 | MAlonzo.Code.Algorithmic.ReductionEC |
| C_case'45'ƛ_422 | MAlonzo.Code.Untyped.Reduction |
| C_caseOfCaseT_12 | MAlonzo.Code.VerifiedCompilation.Trace |
| C_caseReduceT_14 | MAlonzo.Code.VerifiedCompilation.Trace |
| C_casereduce_18 | MAlonzo.Code.VerifiedCompilation.UCaseReduce |
| C_case_154 | MAlonzo.Code.Declarative |
| C_case_252 | MAlonzo.Code.Algorithmic |
| C_case_290 | MAlonzo.Code.VerifiedCompilation.UInline |
| C_case_40 | MAlonzo.Code.Untyped |
| C_case_50 | MAlonzo.Code.VerifiedCompilation.Trace |
| C_case_564 | MAlonzo.Code.Scoped |
| C_case_568 | MAlonzo.Code.Algorithmic.ReductionEC |
| C_case_68 | MAlonzo.Code.Raw |
| C_case_70 | MAlonzo.Code.VerifiedCompilation.UFloatDelay |
| C_case_76 | MAlonzo.Code.VerifiedCompilation.UntypedTranslation |
| C_Center_96 | MAlonzo.Code.Data.String.Base |
| C_ce_26 | MAlonzo.Code.VerifiedCompilation.Certificate |
| C_ce_52 | MAlonzo.Code.VerifiedCompilation.Certificate |
| C_CharArg_12 | MAlonzo.Code.Text.Format |
| C_char_140 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_chooseData_86 | MAlonzo.Code.Builtin |
| C_chooseList_70 | MAlonzo.Code.Builtin |
| C_chooseUnit_62 | MAlonzo.Code.Builtin |
| C_clause_272 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_CommutativeBand'46'constructor_13365 | MAlonzo.Code.Algebra.Bundles |
| C_CommutativeMagma'46'constructor_3345 | MAlonzo.Code.Algebra.Bundles |
| C_CommutativeMonoid'46'constructor_17931 | MAlonzo.Code.Algebra.Bundles |
| C_CommutativeRing'46'constructor_72553 | MAlonzo.Code.Algebra.Bundles |
| C_CommutativeSemigroup'46'constructor_12035 | MAlonzo.Code.Algebra.Bundles |
| C_CommutativeSemiring'46'constructor_44731 | MAlonzo.Code.Algebra.Bundles |
| C_CommutativeSemiringWithoutOne'46'constructor_36869 | MAlonzo.Code.Algebra.Bundles |
| C_complementByteString_166 | MAlonzo.Code.Builtin |
| C_con'33'_964 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| C_con'8801'β_34 | MAlonzo.Code.Type.Equality |
| C_cons'10216''91''8801''93''10217'β_74 | MAlonzo.Code.Type.Equality |
| C_cons'91''8801''93'β_60 | MAlonzo.Code.Type.Equality |
| C_consByteString_26 | MAlonzo.Code.Builtin |
| C_ConstAboveDiagonal_184 | MAlonzo.Code.Cost.Raw |
| C_constantCost_12 | MAlonzo.Code.Cost.Model |
| C_ConstantCost_146 | MAlonzo.Code.Cost.Raw |
| C_ConstBelowDiagonal_186 | MAlonzo.Code.Cost.Raw |
| C_ConstOffDiagonal_188 | MAlonzo.Code.Cost.Raw |
| C_constr'33'_954 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| C_constr'45'error_354 | MAlonzo.Code.Untyped.Reduction |
| C_constr'45'step_338 | MAlonzo.Code.Untyped.Reduction |
| C_constr'45'sub'45'error_362 | MAlonzo.Code.Untyped.Reduction |
| C_constr'45'sub'45'step_348 | MAlonzo.Code.Untyped.Reduction |
| C_constr'45'_1246 | MAlonzo.Code.Algorithmic.CEK |
| C_constr'45'_210 | MAlonzo.Code.Untyped.CEK |
| C_constr'45'_420 | MAlonzo.Code.Algorithmic.ReductionEC |
| C_ConstrDATA_610 | MAlonzo.Code.Utils |
| C_constrData_88 | MAlonzo.Code.Builtin |
| C_constr_142 | MAlonzo.Code.Declarative |
| C_constr_18 | MAlonzo.Code.Untyped.Purity |
| C_constr_228 | MAlonzo.Code.Untyped.Reduction |
| C_constr_240 | MAlonzo.Code.Algorithmic |
| C_constr_280 | MAlonzo.Code.VerifiedCompilation.UInline |
| C_constr_34 | MAlonzo.Code.Untyped |
| C_constr_48 | MAlonzo.Code.VerifiedCompilation.Trace |
| C_constr_556 | MAlonzo.Code.Scoped |
| C_constr_558 | MAlonzo.Code.Algorithmic.ReductionEC |
| C_constr_60 | MAlonzo.Code.Raw |
| C_constr_66 | MAlonzo.Code.VerifiedCompilation.UntypedTranslation |
| C_constr_78 | MAlonzo.Code.VerifiedCompilation.UFloatDelay |
| C_conv_156 | MAlonzo.Code.Declarative |
| C_con_16 | MAlonzo.Code.Raw |
| C_con_162 | MAlonzo.Code.Declarative |
| C_con_178 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_con_196 | MAlonzo.Code.Untyped.Reduction |
| C_con_22 | MAlonzo.Code.Type.BetaNormal |
| C_con_244 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_con_258 | MAlonzo.Code.Algorithmic |
| C_con_266 | MAlonzo.Code.VerifiedCompilation.UInline |
| C_con_28 | MAlonzo.Code.Untyped |
| C_con_30 | MAlonzo.Code.Scoped |
| C_con_36 | MAlonzo.Code.Type |
| C_con_42 | MAlonzo.Code.VerifiedCompilation.Trace |
| C_con_44 | MAlonzo.Code.Raw |
| C_con_538 | MAlonzo.Code.Scoped |
| C_con_58 | MAlonzo.Code.VerifiedCompilation.UntypedTranslation |
| C_con_62 | MAlonzo.Code.VerifiedCompilation.UFloatDelay |
| C_con_66 | MAlonzo.Code.Untyped.Purity |
| C_counterExample_8 | MAlonzo.Code.VerifiedCompilation |
| C_Counting_42 | MAlonzo.Code.Evaluator.Program |
| C_countSetBits_178 | MAlonzo.Code.Builtin |
| C_cseT_18 | MAlonzo.Code.VerifiedCompilation.Trace |
| C_cse_14 | MAlonzo.Code.VerifiedCompilation.UCSE |
| C_data'45'cons_302 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_data'45'type_290 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_deBError_578 | MAlonzo.Code.Scoped |
| C_DecEq'46'constructor_11 | MAlonzo.Code.Untyped.Equality |
| C_decodeUtf8_58 | MAlonzo.Code.Builtin |
| C_DecPoset'46'constructor_8213 | MAlonzo.Code.Relation.Binary.Bundles |
| C_DecSetoid'46'constructor_1389 | MAlonzo.Code.Relation.Binary.Bundles |
| C_DecStrictPartialOrder'46'constructor_13245 | MAlonzo.Code.Relation.Binary.Bundles |
| C_DecTotalOrder'46'constructor_17849 | MAlonzo.Code.Relation.Binary.Bundles |
| C_def_184 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_delay'33'_918 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| C_delay_118 | MAlonzo.Code.VerifiedCompilation.UForceDelay |
| C_delay_188 | MAlonzo.Code.Untyped.Reduction |
| C_delay_26 | MAlonzo.Code.Untyped |
| C_delay_262 | MAlonzo.Code.VerifiedCompilation.UInline |
| C_delay_36 | MAlonzo.Code.VerifiedCompilation.UFloatDelay |
| C_delay_40 | MAlonzo.Code.VerifiedCompilation.Trace |
| C_delay_54 | MAlonzo.Code.VerifiedCompilation.UntypedTranslation |
| C_delay_58 | MAlonzo.Code.Untyped.Purity |
| C_DenseLinearOrder'46'constructor_23325 | MAlonzo.Code.Relation.Binary.Bundles |
| C_DistributiveLattice'46'constructor_11867 | MAlonzo.Code.Relation.Binary.Lattice.Bundles |
| C_DistributiveLattice'46'constructor_9515 | MAlonzo.Code.Algebra.Lattice.Bundles |
| C_divideInteger_10 | MAlonzo.Code.Builtin |
| C_divides_34 | MAlonzo.Code.Data.Nat.Divisibility.Core |
| C_done_18 | MAlonzo.Code.Algorithmic.Evaluation |
| C_done_20 | MAlonzo.Code.Algorithmic.ReductionEC.Progress |
| C_done_48 | MAlonzo.Code.Algorithmic.ReductionEC.Progress |
| C_done_526 | MAlonzo.Code.Untyped.Reduction |
| C_done_66 | MAlonzo.Code.VerifiedCompilation.Trace |
| C_dot_248 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_dropList_186 | MAlonzo.Code.Builtin |
| C_drop_122 | MAlonzo.Code.VerifiedCompilation.UInline |
| C_E'45'error_1176 | MAlonzo.Code.Algorithmic.CEK |
| C_E'45'error_346 | MAlonzo.Code.Algorithmic.ReductionEC |
| C_emptyDump_4 | MAlonzo.Code.VerifiedCompilation |
| C_encodeUtf8_56 | MAlonzo.Code.Builtin |
| C_equalsByteString_34 | MAlonzo.Code.Builtin |
| C_equalsData_108 | MAlonzo.Code.Builtin |
| C_equalsInteger_18 | MAlonzo.Code.Builtin |
| C_equalsString_54 | MAlonzo.Code.Builtin |
| C_equals_74 | MAlonzo.Code.Relation.Binary.Reasoning.Base.Double |
| C_equals_94 | MAlonzo.Code.Relation.Binary.Reasoning.Base.Triple |
| C_equal_448 | MAlonzo.Code.Data.Nat.Base |
| C_equal_458 | MAlonzo.Code.Data.Fin.Base |
| C_Equivalence'46'constructor_25797 | MAlonzo.Code.Function.Bundles |
| C_equivalence_118 | MAlonzo.Code.Function.Related.Propositional |
| C_equivalence_12 | MAlonzo.Code.Function.Related.Propositional |
| C_equivalence_136 | MAlonzo.Code.Function.Related.Propositional |
| C_equivalence_88 | MAlonzo.Code.Function.Related.Propositional |
| C_equivalence_98 | MAlonzo.Code.Function.Related.Propositional |
| C_error'33'_978 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| C_Error'46'constructor_421 | MAlonzo.Code.Text.Printf.Generic |
| C_error'8321'_294 | MAlonzo.Code.Untyped.Reduction |
| C_error'8322'_298 | MAlonzo.Code.Untyped.Reduction |
| C_error_170 | MAlonzo.Code.Declarative |
| C_error_26 | MAlonzo.Code.Algorithmic.Evaluation |
| C_error_268 | MAlonzo.Code.Algorithmic |
| C_error_292 | MAlonzo.Code.VerifiedCompilation.UInline |
| C_error_46 | |
| 1 (Data Constructor) | MAlonzo.Code.VerifiedCompilation.Trace |
| 2 (Data Constructor) | MAlonzo.Code.Raw |
| 3 (Data Constructor) | MAlonzo.Code.Untyped |
| C_error_50 | MAlonzo.Code.VerifiedCompilation.UFloatDelay |
| C_error_540 | MAlonzo.Code.Scoped |
| C_error_82 | MAlonzo.Code.VerifiedCompilation.UntypedTranslation |
| C_EvalOpts_28 | MAlonzo.Code.Main |
| C_Eval_40 | MAlonzo.Code.Main |
| C_expand_28 | MAlonzo.Code.VerifiedCompilation.Trace |
| C_ExpModCost_190 | MAlonzo.Code.Cost.Raw |
| C_expModInteger_184 | MAlonzo.Code.Builtin |
| C_f'60't_20 | MAlonzo.Code.Data.Bool.Base |
| C_f'8804't_12 | MAlonzo.Code.Data.Bool.Base |
| C_fail_528 | MAlonzo.Code.Untyped.Reduction |
| C_false_8 | MAlonzo.Code.Agda.Builtin.Bool |
| C_findFirstSetBit_180 | MAlonzo.Code.Builtin |
| C_fixity_30 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_FlexibleMagma'46'constructor_6559 | MAlonzo.Code.Algebra.Bundles |
| C_FloatArg_10 | MAlonzo.Code.Text.Format |
| C_floatDelayT_6 | MAlonzo.Code.VerifiedCompilation.Trace |
| C_floatdelay_476 | MAlonzo.Code.VerifiedCompilation.UFloatDelay |
| C_float_136 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_force'33'_906 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| C_force'45'constr_376 | MAlonzo.Code.Untyped.Reduction |
| C_force'45'con_370 | MAlonzo.Code.Untyped.Reduction |
| C_force'45'delay_290 | MAlonzo.Code.Untyped.Reduction |
| C_force'45'error_300 | MAlonzo.Code.Untyped.Reduction |
| C_force'45'interleave'45'error_382 | MAlonzo.Code.Untyped.Reduction |
| C_force'45'_206 | MAlonzo.Code.Untyped.CEK |
| C_force'45'ƛ_366 | MAlonzo.Code.Untyped.Reduction |
| C_forceCaseDelayT_10 | MAlonzo.Code.VerifiedCompilation.Trace |
| C_forceDelayT_8 | MAlonzo.Code.VerifiedCompilation.Trace |
| C_forcedelay_14 | MAlonzo.Code.VerifiedCompilation.UForceDelay |
| C_forced_28 | MAlonzo.Code.VerifiedCompilation.UFloatDelay |
| C_force_116 | MAlonzo.Code.VerifiedCompilation.UForceDelay |
| C_force_12 | MAlonzo.Code.Untyped.Purity |
| C_force_24 | MAlonzo.Code.Untyped |
| C_force_258 | MAlonzo.Code.VerifiedCompilation.UInline |
| C_force_32 | MAlonzo.Code.VerifiedCompilation.UFloatDelay |
| C_force_38 | MAlonzo.Code.VerifiedCompilation.Trace |
| C_force_48 | MAlonzo.Code.VerifiedCompilation.UntypedTranslation |
| C_force_84 | MAlonzo.Code.VerifiedCompilation.UForceDelay |
| C_FormatSpec'46'constructor_27 | MAlonzo.Code.Text.Format.Generic |
| C_freeVariableError_580 | MAlonzo.Code.Scoped |
| C_fstPair_66 | MAlonzo.Code.Builtin |
| C_Func'46'constructor_6307 | MAlonzo.Code.Function.Bundles |
| C_Func'46'constructor_677 | MAlonzo.Code.Function.Dependent.Bundles |
| C_function_284 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_gasError_410 | MAlonzo.Code.Utils |
| C_gas_6 | MAlonzo.Code.Algorithmic.Evaluation |
| C_greater_454 | MAlonzo.Code.Data.Nat.Base |
| C_greater_464 | MAlonzo.Code.Data.Fin.Base |
| C_Group'46'constructor_27303 | MAlonzo.Code.Algebra.Bundles |
| C_halt_48 | MAlonzo.Code.Data.List.Relation.Binary.Lex.Core |
| C_hasNonTrivialDivisor_72 | MAlonzo.Code.Data.Nat.Divisibility.Core |
| C_headList_74 | MAlonzo.Code.Builtin |
| C_here_46 | MAlonzo.Code.Data.List.Relation.Unary.Any |
| C_here_52 | MAlonzo.Code.Data.Vec.Base |
| C_here_88 | MAlonzo.Code.Data.List.Relation.Unary.All |
| C_HeytingAlgebra'46'constructor_18655 | MAlonzo.Code.Relation.Binary.Lattice.Bundles |
| C_hidden_52 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_HsEq'46'constructor_57 | MAlonzo.Code.Untyped.Equality |
| C_iDATA_616 | MAlonzo.Code.Utils |
| C_iData_94 | MAlonzo.Code.Builtin |
| C_IdempotentCommutativeMonoid'46'constructor_21499 | MAlonzo.Code.Algebra.Bundles |
| C_IdempotentMagma'46'constructor_4403 | MAlonzo.Code.Algebra.Bundles |
| C_IdempotentMonoid'46'constructor_19753 | MAlonzo.Code.Algebra.Bundles |
| C_IdempotentSemiring'46'constructor_51015 | MAlonzo.Code.Algebra.Bundles |
| C_ifThenElse_128 | MAlonzo.Code.VerifiedCompilation.UForceDelay |
| C_ifThenElse_60 | MAlonzo.Code.Builtin |
| C_illScoped_6 | MAlonzo.Code.VerifiedCompilation |
| C_implication_8 | MAlonzo.Code.Function.Related.Propositional |
| C_implication_96 | MAlonzo.Code.Function.Related.Propositional |
| C_indexArray_84 | MAlonzo.Code.Builtin |
| C_indexByteString_32 | MAlonzo.Code.Builtin |
| C_IndexedPreorder'46'constructor_1987 | MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Bundles |
| C_IndexedSetoid'46'constructor_445 | MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Bundles |
| C_IndexOutOfBounds_82 | MAlonzo.Code.Check |
| C_inf_236 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_inh_1988 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| C_inj'8321'_12 | MAlonzo.Code.Utils |
| C_inj'8321'_38 | MAlonzo.Code.Data.Sum.Base |
| C_inj'8321'_88 | MAlonzo.Code.Data.Sum.Relation.Binary.Pointwise |
| C_inj'8322'_14 | MAlonzo.Code.Utils |
| C_inj'8322'_42 | MAlonzo.Code.Data.Sum.Base |
| C_inj'8322'_94 | MAlonzo.Code.Data.Sum.Relation.Binary.Pointwise |
| C_Injection'46'constructor_8675 | MAlonzo.Code.Function.Bundles |
| C_injection_100 | MAlonzo.Code.Function.Related.Propositional |
| C_injection_14 | MAlonzo.Code.Function.Related.Propositional |
| C_inlineT_16 | MAlonzo.Code.VerifiedCompilation.Trace |
| C_inline_54 | MAlonzo.Code.VerifiedCompilation.Trace |
| C_instance'8242'_54 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_integerToByteString_158 | MAlonzo.Code.Builtin |
| C_integer_30 | MAlonzo.Code.RawU |
| C_InvalidType_86 | MAlonzo.Code.Text.Format.Generic |
| C_Inverse'46'constructor_38621 | MAlonzo.Code.Function.Bundles |
| C_InvertibleMagma'46'constructor_24127 | MAlonzo.Code.Algebra.Bundles |
| C_InvertibleUnitalMagma'46'constructor_25619 | MAlonzo.Code.Algebra.Bundles |
| C_irrelevant_60 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_IsAbelianGroup'46'constructor_32441 | MAlonzo.Code.Algebra.Structures |
| C_IsAbelianGroupMorphism'46'constructor_11939 | MAlonzo.Code.Algebra.Morphism |
| C_IsAlternativeMagma'46'constructor_5319 | MAlonzo.Code.Algebra.Structures |
| C_IsApartnessRelation'46'constructor_30225 | MAlonzo.Code.Relation.Binary.Structures |
| C_isapp_156 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| C_IsBand'46'constructor_11205 | MAlonzo.Code.Algebra.Structures |
| C_IsBiEquivalence'46'constructor_28009 | MAlonzo.Code.Function.Structures |
| C_IsBiInverse'46'constructor_32731 | MAlonzo.Code.Function.Structures |
| C_IsBijection'46'constructor_10113 | MAlonzo.Code.Function.Structures |
| C_IsBooleanAlgebra'46'constructor_31651 | MAlonzo.Code.Relation.Binary.Lattice.Structures |
| C_IsBooleanAlgebra'46'constructor_44015 | MAlonzo.Code.Algebra.Lattice.Structures |
| C_IsBoundedJoinSemilattice'46'constructor_5215 | MAlonzo.Code.Relation.Binary.Lattice.Structures |
| C_IsBoundedLattice'46'constructor_21319 | MAlonzo.Code.Relation.Binary.Lattice.Structures |
| C_IsBoundedMeetSemilattice'46'constructor_12265 | MAlonzo.Code.Relation.Binary.Lattice.Structures |
| C_isbuiltin_706 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| C_IsCancellativeCommutativeSemiring'46'constructor_55863 | MAlonzo.Code.Algebra.Structures |
| C_iscase_588 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| C_isCoCCase_54 | MAlonzo.Code.VerifiedCompilation.UCaseOfCase |
| C_isCoCForce_158 | MAlonzo.Code.VerifiedCompilation.UCaseOfCase |
| C_isCoC_26 | MAlonzo.Code.VerifiedCompilation.UCaseOfCase |
| C_IsCommutativeBand'46'constructor_13109 | MAlonzo.Code.Algebra.Structures |
| C_IsCommutativeMagma'46'constructor_3749 | MAlonzo.Code.Algebra.Structures |
| C_IsCommutativeMonoid'46'constructor_17695 | MAlonzo.Code.Algebra.Structures |
| C_IsCommutativeMonoid'691''46'constructor_36341 | MAlonzo.Code.Algebra.Structures.Biased |
| C_IsCommutativeMonoid'737''46'constructor_34899 | MAlonzo.Code.Algebra.Structures.Biased |
| C_IsCommutativeMonoidMorphism'46'constructor_3705 | MAlonzo.Code.Algebra.Morphism |
| C_IsCommutativeRing'46'constructor_100945 | MAlonzo.Code.Algebra.Structures |
| C_IsCommutativeSemigroup'46'constructor_12093 | MAlonzo.Code.Algebra.Structures |
| C_IsCommutativeSemiring'46'constructor_51895 | MAlonzo.Code.Algebra.Structures |
| C_IsCommutativeSemiring'691''46'constructor_48791 | MAlonzo.Code.Algebra.Structures.Biased |
| C_IsCommutativeSemiring'737''46'constructor_43731 | MAlonzo.Code.Algebra.Structures.Biased |
| C_IsCommutativeSemiringWithoutOne'46'constructor_41457 | MAlonzo.Code.Algebra.Structures |
| C_IsCongruent'46'constructor_985 | MAlonzo.Code.Function.Structures |
| C_isconstr_490 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| C_iscon_446 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| C_IsDecEquivalence'46'constructor_3083 | MAlonzo.Code.Relation.Binary.Structures |
| C_IsDecPartialOrder'46'constructor_11683 | MAlonzo.Code.Relation.Binary.Structures |
| C_IsDecStrictPartialOrder'46'constructor_18663 | MAlonzo.Code.Relation.Binary.Structures |
| C_IsDecTotalOrder'46'constructor_22695 | MAlonzo.Code.Relation.Binary.Structures |
| C_isdelay_364 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| C_IsDenseLinearOrder'46'constructor_28131 | MAlonzo.Code.Relation.Binary.Structures |
| C_IsDistributiveLattice'46'constructor_18193 | MAlonzo.Code.Relation.Binary.Lattice.Structures |
| C_IsDistributiveLattice'46'constructor_40943 | MAlonzo.Code.Algebra.Lattice.Structures |
| C_isEquality_130 | MAlonzo.Code.Relation.Binary.Reasoning.Base.Double |
| C_isEquality_216 | MAlonzo.Code.Relation.Binary.Reasoning.Base.Triple |
| C_IsEquivalence'46'constructor_745 | MAlonzo.Code.Relation.Binary.Structures |
| C_iserror_742 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| C_IsFlexibleMagma'46'constructor_6681 | MAlonzo.Code.Algebra.Structures |
| C_isforce_278 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| C_IsGeneralMetric'46'constructor_18255 | MAlonzo.Code.Function.Metric.Structures |
| C_IsGroup'46'constructor_26963 | MAlonzo.Code.Algebra.Structures |
| C_IsGroupHomomorphism'46'constructor_14585 | MAlonzo.Code.Algebra.Morphism.Structures |
| C_IsGroupIsomorphism'46'constructor_17073 | MAlonzo.Code.Algebra.Morphism.Structures |
| C_IsGroupMonomorphism'46'constructor_15537 | MAlonzo.Code.Algebra.Morphism.Structures |
| C_IsGroupMorphism'46'constructor_7465 | MAlonzo.Code.Algebra.Morphism |
| C_IsHeytingAlgebra'46'constructor_25303 | MAlonzo.Code.Relation.Binary.Lattice.Structures |
| C_IsIdempotentCommutativeMonoid'46'constructor_20685 | MAlonzo.Code.Algebra.Structures |
| C_IsIdempotentCommutativeMonoidMorphism'46'constructor_5361 | MAlonzo.Code.Algebra.Morphism |
| C_IsIdempotentMagma'46'constructor_4535 | MAlonzo.Code.Algebra.Structures |
| C_IsIdempotentMonoid'46'constructor_19237 | MAlonzo.Code.Algebra.Structures |
| C_IsIdempotentSemiring'46'constructor_60011 | MAlonzo.Code.Algebra.Structures |
| C_IsIndexedEquivalence'46'constructor_1089 | MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Structures |
| C_IsIndexedPreorder'46'constructor_5837 | MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Structures |
| C_IsInjection'46'constructor_3997 | MAlonzo.Code.Function.Structures |
| C_IsInverse'46'constructor_22449 | MAlonzo.Code.Function.Structures |
| C_IsInvertibleMagma'46'constructor_22695 | MAlonzo.Code.Algebra.Structures |
| C_IsInvertibleUnitalMagma'46'constructor_24571 | MAlonzo.Code.Algebra.Structures |
| C_IsJoinSemilattice'46'constructor_527 | MAlonzo.Code.Relation.Binary.Lattice.Structures |
| C_IsKleeneAlgebra'46'constructor_63875 | MAlonzo.Code.Algebra.Structures |
| C_IsKleeneAlgebraHomomorphism'46'constructor_63187 | MAlonzo.Code.Algebra.Morphism.Structures |
| C_IsKleeneAlgebraIsomorphism'46'constructor_65931 | MAlonzo.Code.Algebra.Morphism.Structures |
| C_IsKleeneAlgebraMonomorphism'46'constructor_64491 | MAlonzo.Code.Algebra.Morphism.Structures |
| C_islambda_64 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| C_IsLattice'46'constructor_14941 | MAlonzo.Code.Relation.Binary.Lattice.Structures |
| C_IsLattice'46'constructor_36793 | MAlonzo.Code.Algebra.Lattice.Structures |
| C_IsLeftBolLoop'46'constructor_114283 | MAlonzo.Code.Algebra.Structures |
| C_IsLeftInverse'46'constructor_14363 | MAlonzo.Code.Function.Structures |
| C_IsLoop'46'constructor_111285 | MAlonzo.Code.Algebra.Structures |
| C_IsLoopHomomorphism'46'constructor_58349 | MAlonzo.Code.Algebra.Morphism.Structures |
| C_IsLoopIsomorphism'46'constructor_60703 | MAlonzo.Code.Algebra.Morphism.Structures |
| C_IsLoopMonomorphism'46'constructor_59459 | MAlonzo.Code.Algebra.Morphism.Structures |
| C_IsMagma'46'constructor_1867 | MAlonzo.Code.Algebra.Structures |
| C_IsMagmaHomomorphism'46'constructor_4629 | MAlonzo.Code.Algebra.Morphism.Structures |
| C_IsMagmaIsomorphism'46'constructor_7199 | MAlonzo.Code.Algebra.Morphism.Structures |
| C_IsMagmaMonomorphism'46'constructor_5763 | MAlonzo.Code.Algebra.Morphism.Structures |
| C_IsMedialMagma'46'constructor_7467 | MAlonzo.Code.Algebra.Structures |
| C_IsMeetSemilattice'46'constructor_7577 | MAlonzo.Code.Relation.Binary.Lattice.Structures |
| C_IsMiddleBolLoop'46'constructor_121973 | MAlonzo.Code.Algebra.Structures |
| C_IsMonoid'46'constructor_15873 | MAlonzo.Code.Algebra.Structures |
| C_IsMonoidHomomorphism'46'constructor_9411 | MAlonzo.Code.Algebra.Morphism.Structures |
| C_IsMonoidIsomorphism'46'constructor_11597 | MAlonzo.Code.Algebra.Morphism.Structures |
| C_IsMonoidMonomorphism'46'constructor_10237 | MAlonzo.Code.Algebra.Morphism.Structures |
| C_IsMonoidMorphism'46'constructor_2139 | MAlonzo.Code.Algebra.Morphism |
| C_IsMoufangLoop'46'constructor_119263 | MAlonzo.Code.Algebra.Structures |
| C_IsNearring'46'constructor_90609 | MAlonzo.Code.Algebra.Structures |
| C_IsNearSemiring'42''46'constructor_39635 | MAlonzo.Code.Algebra.Structures.Biased |
| C_IsNearSemiring'46'constructor_35025 | MAlonzo.Code.Algebra.Structures |
| C_IsNearSemiringHomomorphism'46'constructor_19989 | MAlonzo.Code.Algebra.Morphism.Structures |
| C_IsNearSemiringIsomorphism'46'constructor_23007 | MAlonzo.Code.Algebra.Morphism.Structures |
| C_IsNearSemiringMonomorphism'46'constructor_21119 | MAlonzo.Code.Algebra.Morphism.Structures |
| C_IsNonAssociativeRing'46'constructor_83447 | MAlonzo.Code.Algebra.Structures |
| C_IsOrderHomomorphism'46'constructor_5435 | MAlonzo.Code.Relation.Binary.Morphism.Structures |
| C_IsOrderIsomorphism'46'constructor_14201 | MAlonzo.Code.Relation.Binary.Morphism.Structures |
| C_IsOrderMonomorphism'46'constructor_9103 | MAlonzo.Code.Relation.Binary.Morphism.Structures |
| C_IsPartialEquivalence'46'constructor_273 | MAlonzo.Code.Relation.Binary.Structures |
| C_IsPartialOrder'46'constructor_9853 | MAlonzo.Code.Relation.Binary.Structures |
| C_IsPreMetric'46'constructor_6347 | MAlonzo.Code.Function.Metric.Structures |
| C_IsPreorder'46'constructor_4003 | MAlonzo.Code.Relation.Binary.Structures |
| C_IsProtoMetric'46'constructor_2109 | MAlonzo.Code.Function.Metric.Structures |
| C_IsQuasigroup'46'constructor_106057 | MAlonzo.Code.Algebra.Structures |
| C_IsQuasigroupHomomorphism'46'constructor_50171 | MAlonzo.Code.Algebra.Morphism.Structures |
| C_IsQuasigroupIsomorphism'46'constructor_54087 | MAlonzo.Code.Algebra.Morphism.Structures |
| C_IsQuasigroupMonomorphism'46'constructor_51967 | MAlonzo.Code.Algebra.Morphism.Structures |
| C_IsQuasiring'46'constructor_69993 | MAlonzo.Code.Algebra.Structures |
| C_IsQuasiSemiMetric'46'constructor_10111 | MAlonzo.Code.Function.Metric.Structures |
| C_IsRelHomomorphism'46'constructor_587 | MAlonzo.Code.Relation.Binary.Morphism.Structures |
| C_IsRelIsomorphism'46'constructor_3019 | MAlonzo.Code.Relation.Binary.Morphism.Structures |
| C_IsRelMonomorphism'46'constructor_1563 | MAlonzo.Code.Relation.Binary.Morphism.Structures |
| C_IsRightBolLoop'46'constructor_116761 | MAlonzo.Code.Algebra.Structures |
| C_IsRightInverse'46'constructor_18837 | MAlonzo.Code.Function.Structures |
| C_IsRing'42''46'constructor_53915 | MAlonzo.Code.Algebra.Structures.Biased |
| C_IsRing'46'constructor_95033 | MAlonzo.Code.Algebra.Structures |
| C_IsRingHomomorphism'46'constructor_41447 | MAlonzo.Code.Algebra.Morphism.Structures |
| C_IsRingIsomorphism'46'constructor_45617 | MAlonzo.Code.Algebra.Morphism.Structures |
| C_IsRingMonomorphism'46'constructor_42933 | MAlonzo.Code.Algebra.Morphism.Structures |
| C_IsRingMorphism'46'constructor_13939 | MAlonzo.Code.Algebra.Morphism |
| C_IsRingWithoutAnnihilatingZero'46'constructor_56523 | MAlonzo.Code.Algebra.Structures.Biased |
| C_IsRingWithoutOne'46'constructor_75855 | MAlonzo.Code.Algebra.Structures |
| C_IsRingWithoutOneHomomorphism'46'constructor_33433 | MAlonzo.Code.Algebra.Morphism.Structures |
| C_IsRingWithoutOneIsoMorphism'46'constructor_36755 | MAlonzo.Code.Algebra.Morphism.Structures |
| C_IsRingWithoutOneMonomorphism'46'constructor_34691 | MAlonzo.Code.Algebra.Morphism.Structures |
| C_IsSelectiveMagma'46'constructor_9631 | MAlonzo.Code.Algebra.Structures |
| C_IsSemigroup'46'constructor_10417 | MAlonzo.Code.Algebra.Structures |
| C_IsSemigroupMorphism'46'constructor_1081 | MAlonzo.Code.Algebra.Morphism |
| C_IsSemimedialMagma'46'constructor_8257 | MAlonzo.Code.Algebra.Structures |
| C_IsSemiMetric'46'constructor_14005 | MAlonzo.Code.Function.Metric.Structures |
| C_IsSemiring'46'constructor_48071 | MAlonzo.Code.Algebra.Structures |
| C_IsSemiringHomomorphism'46'constructor_26561 | MAlonzo.Code.Algebra.Morphism.Structures |
| C_IsSemiringIsomorphism'46'constructor_29931 | MAlonzo.Code.Algebra.Morphism.Structures |
| C_IsSemiringMonomorphism'46'constructor_27871 | MAlonzo.Code.Algebra.Morphism.Structures |
| C_IsSemiringWithoutAnnihilatingZero'42''46'constructor_41443 | MAlonzo.Code.Algebra.Structures.Biased |
| C_IsSemiringWithoutAnnihilatingZero'46'constructor_43811 | MAlonzo.Code.Algebra.Structures |
| C_IsSemiringWithoutOne'42''46'constructor_37821 | MAlonzo.Code.Algebra.Structures.Biased |
| C_IsSemiringWithoutOne'46'constructor_37629 | MAlonzo.Code.Algebra.Structures |
| C_IsSplitSurjection'46'constructor_35501 | MAlonzo.Code.Function.Structures |
| C_IsStrictPartialOrder'46'constructor_14045 | MAlonzo.Code.Relation.Binary.Structures |
| C_IsStrictTotalOrder'46'constructor_24953 | MAlonzo.Code.Relation.Binary.Structures |
| C_IsStrictTotalOrder'7580''46'constructor_6029 | MAlonzo.Code.Relation.Binary.Structures.Biased |
| C_isStrict_180 | MAlonzo.Code.Relation.Binary.Reasoning.Base.Triple |
| C_IsSuccessorSet'46'constructor_817 | MAlonzo.Code.Algebra.Structures |
| C_IsSuccessorSetHomomorphism'46'constructor_777 | MAlonzo.Code.Algebra.Morphism.Structures |
| C_IsSuccessorSetIsomorphism'46'constructor_2827 | MAlonzo.Code.Algebra.Morphism.Structures |
| C_IsSuccessorSetMonomorphism'46'constructor_1407 | MAlonzo.Code.Algebra.Morphism.Structures |
| C_IsSurjection'46'constructor_6463 | MAlonzo.Code.Function.Structures |
| C_isterm_780 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| C_IsTotalOrder'46'constructor_20555 | MAlonzo.Code.Relation.Binary.Structures |
| C_IsTotalPreorder'46'constructor_8325 | MAlonzo.Code.Relation.Binary.Structures |
| C_istranslation_92 | MAlonzo.Code.VerifiedCompilation.UntypedTranslation |
| C_IsUnitalMagma'46'constructor_14317 | MAlonzo.Code.Algebra.Structures |
| C_isvar_22 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| C_JoinSemilattice'46'constructor_2531 | MAlonzo.Code.Algebra.Lattice.Bundles |
| C_JoinSemilattice'46'constructor_371 | MAlonzo.Code.Relation.Binary.Lattice.Bundles |
| C_jsonError_22 | MAlonzo.Code.Evaluator.Base |
| C_just_16 | MAlonzo.Code.Agda.Builtin.Maybe |
| C_just_30 | |
| 1 (Data Constructor) | MAlonzo.Code.Data.Maybe.Relation.Unary.Any |
| 2 (Data Constructor) | MAlonzo.Code.Data.Maybe.Relation.Unary.All |
| C_K'9839'_48 | MAlonzo.Code.Algorithmic |
| C_keccak'45'256_152 | MAlonzo.Code.Builtin |
| C_keep_114 | MAlonzo.Code.VerifiedCompilation.UInline |
| C_kindMismatch_18 | MAlonzo.Code.Check |
| C_KleeneAlgebra'46'constructor_54207 | MAlonzo.Code.Algebra.Bundles |
| C_lam_190 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_last'45'abs_126 | MAlonzo.Code.VerifiedCompilation.UForceDelay |
| C_last'45'delay_124 | MAlonzo.Code.VerifiedCompilation.UForceDelay |
| C_Lattice'46'constructor_7925 | MAlonzo.Code.Algebra.Lattice.Bundles |
| C_Lattice'46'constructor_8977 | MAlonzo.Code.Relation.Binary.Lattice.Bundles |
| C_leaf_192 | MAlonzo.Code.Data.Tree.AVL.Indexed |
| C_left'45'assoc_16 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_LeftBolLoop'46'constructor_80531 | MAlonzo.Code.Algebra.Bundles |
| C_LeftInverse'46'constructor_29775 | MAlonzo.Code.Function.Bundles |
| C_leftInverse_102 | MAlonzo.Code.Function.Related.Propositional |
| C_leftInverse_122 | MAlonzo.Code.Function.Related.Propositional |
| C_leftInverse_138 | MAlonzo.Code.Function.Related.Propositional |
| C_leftInverse_18 | MAlonzo.Code.Function.Related.Propositional |
| C_left_466 | MAlonzo.Code.Induction.WellFounded |
| C_Left_94 | MAlonzo.Code.Data.String.Base |
| C_lengthOfArray_80 | MAlonzo.Code.Builtin |
| C_lengthOfByteString_30 | MAlonzo.Code.Builtin |
| C_lessThanByteString_36 | MAlonzo.Code.Builtin |
| C_lessThanEqualsByteString_38 | MAlonzo.Code.Builtin |
| C_lessThanEqualsInteger_22 | MAlonzo.Code.Builtin |
| C_lessThanInteger_20 | MAlonzo.Code.Builtin |
| C_less_444 | MAlonzo.Code.Data.Nat.Base |
| C_less_454 | MAlonzo.Code.Data.Fin.Base |
| C_lift_20 | MAlonzo.Code.Level |
| C_linearCostIn_16 | MAlonzo.Code.Cost.Model |
| C_LinearInMaxYZ_166 | MAlonzo.Code.Cost.Raw |
| C_LinearInU_162 | MAlonzo.Code.Cost.Raw |
| C_LinearInXAndY_168 | MAlonzo.Code.Cost.Raw |
| C_LinearInX_156 | MAlonzo.Code.Cost.Raw |
| C_LinearInYAndZ_170 | MAlonzo.Code.Cost.Raw |
| C_LinearInY_158 | MAlonzo.Code.Cost.Raw |
| C_LinearInZ_160 | MAlonzo.Code.Cost.Raw |
| C_ListDATA_614 | MAlonzo.Code.Utils |
| C_listData_92 | MAlonzo.Code.Builtin |
| C_listToArray_82 | MAlonzo.Code.Builtin |
| C_list_10 | MAlonzo.Code.Builtin.Constant.Type |
| C_list_16 | MAlonzo.Code.Builtin.Signature |
| C_list_26 | MAlonzo.Code.Raw |
| C_list_50 | MAlonzo.Code.RawU |
| C_literalCostIn_28 | MAlonzo.Code.Cost.Model |
| C_LiteralInYOrLinearInZ_164 | MAlonzo.Code.Cost.Raw |
| C_lit_210 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_lit_224 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_lit_256 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_Loop'46'constructor_78267 | MAlonzo.Code.Algebra.Bundles |
| C_MachineParameters'46'constructor_359 | MAlonzo.Code.Cost.Base |
| C_Magma'46'constructor_1279 | MAlonzo.Code.Algebra.Bundles |
| C_MapDATA_612 | MAlonzo.Code.Utils |
| C_mapData_90 | MAlonzo.Code.Builtin |
| C_match'33'_1876 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| C_match_98 | MAlonzo.Code.VerifiedCompilation.UntypedTranslation |
| C_MaxOperator'46'constructor_1665 | MAlonzo.Code.Algebra.Construct.NaturalChoice.Base |
| C_MaxSize_154 | MAlonzo.Code.Cost.Raw |
| C_maxSize_44 | MAlonzo.Code.Cost.Model |
| C_MedialMagma'46'constructor_7617 | MAlonzo.Code.Algebra.Bundles |
| C_MeetSemilattice'46'constructor_1393 | MAlonzo.Code.Algebra.Lattice.Bundles |
| C_MeetSemilattice'46'constructor_4629 | MAlonzo.Code.Relation.Binary.Lattice.Bundles |
| C_meta_152 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_meta_214 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_Metric'46'constructor_6797 | MAlonzo.Code.Function.Metric.Nat.Bundles |
| C_MiddleBolLoop'46'constructor_87215 | MAlonzo.Code.Algebra.Bundles |
| C_MinOperator'46'constructor_1121 | MAlonzo.Code.Algebra.Construct.NaturalChoice.Base |
| C_MinSize_152 | MAlonzo.Code.Cost.Raw |
| C_minSize_40 | MAlonzo.Code.Cost.Model |
| C_mkCons_72 | MAlonzo.Code.Builtin |
| C_mkCpuAndMemoryModel_202 | MAlonzo.Code.Cost.Raw |
| C_mkExBudget_62 | MAlonzo.Code.Cost |
| C_mkExpModCostingFunction_142 | MAlonzo.Code.Cost.Raw |
| C_mkGeneralizeTel_10109 | MAlonzo.Code.Induction.WellFounded |
| C_mkGeneralizeTel_101605 | MAlonzo.Code.Data.List.Relation.Unary.All.Properties |
| C_mkGeneralizeTel_1877 | MAlonzo.Code.Relation.Nullary.Decidable |
| C_mkGeneralizeTel_409 | MAlonzo.Code.Function.Properties.RightInverse |
| C_mkGeneralizeTel_425 | MAlonzo.Code.Function.Properties.Surjection |
| C_mkGeneralizeTel_6169 | MAlonzo.Code.Induction.WellFounded |
| C_mkGeneralizeTel_9223 | MAlonzo.Code.Function.Properties.Surjection |
| C_mkLinearFunction_42 | MAlonzo.Code.Cost.Raw |
| C_mkNilData_114 | MAlonzo.Code.Builtin |
| C_mkNilPairData_116 | MAlonzo.Code.Builtin |
| C_mkOneVariableQuadraticFunction_58 | MAlonzo.Code.Cost.Raw |
| C_mkPairData_112 | MAlonzo.Code.Builtin |
| C_mkTwoVariableLinearFunction_74 | MAlonzo.Code.Cost.Raw |
| C_mkTwoVariableQuadraticFunction_106 | MAlonzo.Code.Cost.Raw |
| C_mkTwoVariableWithInteractionFunction_126 | MAlonzo.Code.Cost.Raw |
| C_MkValue_50 | MAlonzo.Code.Data.Tree.AVL.Value |
| C_modality_74 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_modInteger_16 | MAlonzo.Code.Builtin |
| C_Monad'46'constructor_14947 | MAlonzo.Code.Utils |
| C_Monoid'46'constructor_16157 | MAlonzo.Code.Algebra.Bundles |
| C_Morphism'46'constructor_14129 | MAlonzo.Code.Effect.Applicative |
| C_Morphism'46'constructor_3741 | MAlonzo.Code.Effect.Functor |
| C_MoufangLoop'46'constructor_84927 | MAlonzo.Code.Algebra.Bundles |
| C_MultipliedSizes_150 | MAlonzo.Code.Cost.Raw |
| C_multipliedSizes_36 | MAlonzo.Code.Cost.Model |
| C_multiplyInteger_8 | MAlonzo.Code.Builtin |
| C_nameErr_316 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_name_148 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_nat_128 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_Nearring'46'constructor_65771 | MAlonzo.Code.Algebra.Bundles |
| C_NearSemiring'46'constructor_32269 | MAlonzo.Code.Algebra.Bundles |
| C_Negative'46'constructor_1573 | MAlonzo.Code.Data.Integer.Base |
| C_negsuc_14 | MAlonzo.Code.Agda.Builtin.Int |
| C_next_74 | MAlonzo.Code.Data.List.Relation.Binary.Lex.Core |
| C_ne_20 | MAlonzo.Code.Type.BetaNormal |
| C_nil'10216''91''8801''93''10217'β_62 | MAlonzo.Code.Type.Equality |
| C_nil'91''8801''93'β_50 | MAlonzo.Code.Type.Equality |
| C_no'45'builtin_6 | MAlonzo.Code.Untyped.Reduction |
| C_node_208 | MAlonzo.Code.Data.Tree.AVL.Indexed |
| C_non'45'assoc_20 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_NonAssociativeRing'46'constructor_62767 | MAlonzo.Code.Algebra.Bundles |
| C_nonEmpty_460 | MAlonzo.Code.Relation.Binary.Definitions |
| C_none_56 | MAlonzo.Code.VerifiedCompilation.Trace |
| C_NonNegative'46'constructor_1457 | MAlonzo.Code.Data.Integer.Base |
| C_NonPositive'46'constructor_1515 | MAlonzo.Code.Data.Integer.Base |
| C_nonstrict_70 | MAlonzo.Code.Relation.Binary.Reasoning.Base.Double |
| C_nonstrict_90 | MAlonzo.Code.Relation.Binary.Reasoning.Base.Triple |
| C_NonTrivial'46'constructor_5661 | MAlonzo.Code.Data.Nat.Base |
| C_NonZero'46'constructor_3575 | MAlonzo.Code.Data.Nat.Base |
| C_notFunKind_26 | MAlonzo.Code.Check |
| C_notFunType_66 | MAlonzo.Code.Check |
| C_nothing_18 | MAlonzo.Code.Agda.Builtin.Maybe |
| C_nothing_32 | MAlonzo.Code.Data.Maybe.Relation.Unary.All |
| C_notImplemented_20 | MAlonzo.Code.VerifiedCompilation.NotImplemented |
| C_notMu_56 | MAlonzo.Code.Check |
| C_notPat_32 | MAlonzo.Code.Check |
| C_notPi_44 | MAlonzo.Code.Check |
| C_notSOP_76 | MAlonzo.Code.Check |
| C_nullList_78 | MAlonzo.Code.Builtin |
| C_of'696'_22 | MAlonzo.Code.Relation.Nullary.Reflects |
| C_of'8319'_26 | MAlonzo.Code.Relation.Nullary.Reflects |
| C_orByteString_162 | MAlonzo.Code.Builtin |
| C_out'45'of'45'gas_22 | MAlonzo.Code.Algorithmic.Evaluation |
| C_pair_14 | MAlonzo.Code.Builtin.Constant.Type |
| C_pair_24 | MAlonzo.Code.Builtin.Signature |
| C_pair_30 | MAlonzo.Code.Raw |
| C_pair_46 | MAlonzo.Code.RawU |
| C_parseError_16 | MAlonzo.Code.Evaluator.Base |
| C_PartialSetoid'46'constructor_133 | MAlonzo.Code.Relation.Binary.Bundles |
| C_pat'45'lam_196 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_pattErr_314 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_pdata_40 | MAlonzo.Code.RawU |
| C_pi_202 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_Poset'46'constructor_6389 | MAlonzo.Code.Relation.Binary.Bundles |
| C_Positive'46'constructor_1399 | MAlonzo.Code.Data.Integer.Base |
| C_pos_10 | MAlonzo.Code.Agda.Builtin.Int |
| C_PreMetric'46'constructor_1629 | MAlonzo.Code.Function.Metric.Nat.Bundles |
| C_Preorder'46'constructor_2267 | MAlonzo.Code.Relation.Binary.Bundles |
| C_prim'45'fun_306 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_PrintfSpec'46'constructor_113 | MAlonzo.Code.Text.Printf.Generic |
| C_proj_260 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_proof_18 | MAlonzo.Code.VerifiedCompilation.Certificate |
| C_proof_44 | MAlonzo.Code.VerifiedCompilation.Certificate |
| C_proof_64 | MAlonzo.Code.VerifiedCompilation.Certificate |
| C_propLit_232 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_prop_228 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_ProtoMetric'46'constructor_193 | MAlonzo.Code.Function.Metric.Nat.Bundles |
| C_pushfd_24 | MAlonzo.Code.VerifiedCompilation.UForceDelay |
| C_quadraticCostIn1_20 | MAlonzo.Code.Cost.Model |
| C_quadraticCostIn2_24 | MAlonzo.Code.Cost.Model |
| C_QuadraticInXAndY_178 | MAlonzo.Code.Cost.Raw |
| C_QuadraticInX_172 | MAlonzo.Code.Cost.Raw |
| C_QuadraticInY_174 | MAlonzo.Code.Cost.Raw |
| C_QuadraticInZ_176 | MAlonzo.Code.Cost.Raw |
| C_quantity'45'0_64 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_quantity'45'ω_66 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_Quasigroup'46'constructor_76277 | MAlonzo.Code.Algebra.Bundles |
| C_Quasiring'46'constructor_57285 | MAlonzo.Code.Algebra.Bundles |
| C_QuasiSemiMetric'46'constructor_3255 | MAlonzo.Code.Function.Metric.Nat.Bundles |
| C_quotientInteger_12 | MAlonzo.Code.Builtin |
| C_RawAlternative'46'constructor_9897 | MAlonzo.Code.Effect.Applicative |
| C_RawApplicative'46'constructor_453 | MAlonzo.Code.Effect.Applicative |
| C_RawApplicativeZero'46'constructor_8049 | MAlonzo.Code.Effect.Applicative |
| C_RawChoice'46'constructor_149 | MAlonzo.Code.Effect.Choice |
| C_RawEmpty'46'constructor_129 | MAlonzo.Code.Effect.Empty |
| C_RawFunctor'46'constructor_241 | MAlonzo.Code.Effect.Functor |
| C_RawGroup'46'constructor_1207 | MAlonzo.Code.Algebra.Bundles.Raw |
| C_RawKleeneAlgebra'46'constructor_6153 | MAlonzo.Code.Algebra.Bundles.Raw |
| C_RawLattice'46'constructor_121 | MAlonzo.Code.Algebra.Lattice.Bundles.Raw |
| C_RawLoop'46'constructor_5465 | MAlonzo.Code.Algebra.Bundles.Raw |
| C_RawMagma'46'constructor_341 | MAlonzo.Code.Algebra.Bundles.Raw |
| C_RawMonad'46'constructor_319 | MAlonzo.Code.Effect.Monad |
| C_RawMonadPlus'46'constructor_9035 | MAlonzo.Code.Effect.Monad |
| C_RawMonadTd'46'constructor_11233 | MAlonzo.Code.Effect.Monad |
| C_RawMonadZero'46'constructor_7131 | MAlonzo.Code.Effect.Monad |
| C_RawMonoid'46'constructor_745 | MAlonzo.Code.Algebra.Bundles.Raw |
| C_RawNearSemiring'46'constructor_1729 | MAlonzo.Code.Algebra.Bundles.Raw |
| C_RawQuasigroup'46'constructor_4731 | MAlonzo.Code.Algebra.Bundles.Raw |
| C_RawRing'46'constructor_3857 | MAlonzo.Code.Algebra.Bundles.Raw |
| C_RawRingWithoutOne'46'constructor_3105 | MAlonzo.Code.Algebra.Bundles.Raw |
| C_RawSemiring'46'constructor_2353 | MAlonzo.Code.Algebra.Bundles.Raw |
| C_RawSuccessorSet'46'constructor_89 | MAlonzo.Code.Algebra.Bundles.Raw |
| C_Raw_64 | MAlonzo.Code.Text.Format.Generic |
| C_readBit_168 | MAlonzo.Code.Builtin |
| C_record'45'type_296 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_reduce_1212 | MAlonzo.Code.Untyped.Reduction |
| C_refl'8212''8608'_786 | MAlonzo.Code.Algorithmic.ReductionEC |
| C_refl'8801'β_14 | MAlonzo.Code.Type.Equality |
| C_refl_20 | MAlonzo.Code.Agda.Builtin.Equality |
| C_refl_28 | MAlonzo.Code.Relation.Binary.HeterogeneousEquality.Core |
| C_refl_36 | MAlonzo.Code.Relation.Binary.Construct.Closure.Reflexive |
| C_refl_476 | MAlonzo.Code.Untyped.Reduction |
| C_reject_8 | MAlonzo.Code.VerifiedCompilation.NotImplemented |
| C_related_24 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_relevant_58 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_relTo_34 | MAlonzo.Code.Relation.Binary.Reasoning.Base.Single |
| C_remainderInteger_14 | MAlonzo.Code.Builtin |
| C_replicateByte_172 | MAlonzo.Code.Builtin |
| C_result_1146 | MAlonzo.Code.Data.Nat.DivMod |
| C_reverseImplication_10 | MAlonzo.Code.Function.Related.Propositional |
| C_reverseImplication_116 | MAlonzo.Code.Function.Related.Propositional |
| C_reverseInjection_120 | MAlonzo.Code.Function.Related.Propositional |
| C_reverseInjection_16 | MAlonzo.Code.Function.Related.Propositional |
| C_right'45'assoc_18 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_RightBolLoop'46'constructor_82729 | MAlonzo.Code.Algebra.Bundles |
| C_RightInverse'46'constructor_34573 | MAlonzo.Code.Function.Bundles |
| C_right_476 | MAlonzo.Code.Induction.WellFounded |
| C_Right_98 | MAlonzo.Code.Data.String.Base |
| C_Ring'46'constructor_68489 | MAlonzo.Code.Algebra.Bundles |
| C_RingWithoutOne'46'constructor_59923 | MAlonzo.Code.Algebra.Bundles |
| C_ripemd'45'160_182 | MAlonzo.Code.Builtin |
| C_rotateByteString_176 | MAlonzo.Code.Builtin |
| C_ruleEC_766 | MAlonzo.Code.Algorithmic.ReductionEC |
| C_ruleErr_776 | MAlonzo.Code.Algorithmic.ReductionEC |
| C_runtimeError_20 | MAlonzo.Code.Evaluator.Base |
| C_runtimeTypeError_414 | MAlonzo.Code.Utils |
| C_s'8804's_34 | MAlonzo.Code.Data.Nat.Base |
| C_sat'45'app'45'builtin_306 | MAlonzo.Code.Untyped.Reduction |
| C_sat'45'force'45'builtin_310 | MAlonzo.Code.Untyped.Reduction |
| C_scopeError_18 | MAlonzo.Code.Evaluator.Base |
| C_SelectiveMagma'46'constructor_2287 | MAlonzo.Code.Algebra.Bundles |
| C_Semigroup'46'constructor_9793 | MAlonzo.Code.Algebra.Bundles |
| C_Semilattice'46'constructor_193 | MAlonzo.Code.Algebra.Lattice.Bundles |
| C_SemimedialMagma'46'constructor_8683 | MAlonzo.Code.Algebra.Bundles |
| C_SemiMetric'46'constructor_4991 | MAlonzo.Code.Function.Metric.Nat.Bundles |
| C_Semiring'46'constructor_41765 | MAlonzo.Code.Algebra.Bundles |
| C_SemiringWithoutAnnihilatingZero'46'constructor_38993 | MAlonzo.Code.Algebra.Bundles |
| C_SemiringWithoutOne'46'constructor_34609 | MAlonzo.Code.Algebra.Bundles |
| C_serialiseData_110 | MAlonzo.Code.Builtin |
| C_Setoid'46'constructor_733 | MAlonzo.Code.Relation.Binary.Bundles |
| C_set_220 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_sha2'45'256_40 | MAlonzo.Code.Builtin |
| C_sha3'45'256_42 | MAlonzo.Code.Builtin |
| C_shiftByteString_174 | MAlonzo.Code.Builtin |
| C_sig_90 | MAlonzo.Code.Builtin.Signature |
| C_Silent_40 | MAlonzo.Code.Evaluator.Program |
| C_sliceByteString_28 | MAlonzo.Code.Builtin |
| C_sndPair_68 | MAlonzo.Code.Builtin |
| C_SOP'8801'β_42 | MAlonzo.Code.Type.Equality |
| C_SOP_22 | MAlonzo.Code.Raw |
| C_SOP_28 | MAlonzo.Code.Type.BetaNormal |
| C_SOP_34 | MAlonzo.Code.Scoped |
| C_SOP_40 | MAlonzo.Code.Type |
| C_start_1120 | MAlonzo.Code.Utils.List |
| C_start_184 | MAlonzo.Code.Utils |
| C_start_690 | MAlonzo.Code.Utils.List |
| C_step'8902'_130 | MAlonzo.Code.Algorithmic.ReductionEC |
| C_steps_38 | MAlonzo.Code.Algorithmic.Evaluation |
| C_step_100 | MAlonzo.Code.Algorithmic.ReductionEC |
| C_step_18 | MAlonzo.Code.Algorithmic.ReductionEC.Progress |
| C_step_522 | MAlonzo.Code.Untyped.Reduction |
| C_step_64 | MAlonzo.Code.VerifiedCompilation.Trace |
| C_step_80 | MAlonzo.Code.Algorithmic.ReductionEC.Progress |
| C_strErr_310 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_StrictPartialOrder'46'constructor_11097 | MAlonzo.Code.Relation.Binary.Bundles |
| C_StrictTotalOrder'46'constructor_21059 | MAlonzo.Code.Relation.Binary.Bundles |
| C_strict_86 | MAlonzo.Code.Relation.Binary.Reasoning.Base.Triple |
| C_StringArg_14 | MAlonzo.Code.Text.Format |
| C_string_144 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_string_34 | MAlonzo.Code.RawU |
| C_SubRelation'46'constructor_2989 | MAlonzo.Code.Relation.Binary.Reasoning.Syntax |
| C_SubtractedSizes_182 | MAlonzo.Code.Cost.Raw |
| C_subtractInteger_6 | MAlonzo.Code.Builtin |
| C_SuccessorSet'46'constructor_227 | MAlonzo.Code.Algebra.Bundles |
| C_suc_12 | MAlonzo.Code.Agda.Builtin.Nat |
| C_suc_16 | MAlonzo.Code.Data.Fin.Base |
| C_sucΠ_326 | MAlonzo.Code.Builtin.Signature |
| C_Surjection'46'constructor_11197 | MAlonzo.Code.Function.Bundles |
| C_surjection_104 | MAlonzo.Code.Function.Related.Propositional |
| C_surjection_124 | MAlonzo.Code.Function.Related.Propositional |
| C_surjection_140 | MAlonzo.Code.Function.Related.Propositional |
| C_surjection_20 | MAlonzo.Code.Function.Related.Propositional |
| C_sym'8801'β_16 | MAlonzo.Code.Type.Equality |
| C_S_18 | MAlonzo.Code.Type |
| C_S_30 | MAlonzo.Code.Algorithmic |
| C_S_38 | MAlonzo.Code.Declarative |
| C_S_48 | MAlonzo.Code.Scoped |
| C_S_68 | MAlonzo.Code.Scoped |
| C_tagCon_110 | MAlonzo.Code.RawU |
| C_tailList_76 | MAlonzo.Code.Builtin |
| C_Tallying_44 | MAlonzo.Code.Evaluator.Program |
| C_TCEK_54 | MAlonzo.Code.Evaluator.Program |
| C_TCK_52 | MAlonzo.Code.Evaluator.Program |
| C_TCOpts_32 | MAlonzo.Code.Main |
| C_termErr_312 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_that_50 | MAlonzo.Code.Data.These.Base |
| C_there_104 | MAlonzo.Code.Data.List.Relation.Unary.All |
| C_there_54 | MAlonzo.Code.Data.List.Relation.Unary.Any |
| C_there_64 | MAlonzo.Code.Data.Vec.Base |
| C_these_52 | MAlonzo.Code.Data.These.Base |
| C_this_48 | MAlonzo.Code.Data.These.Base |
| C_this_60 | MAlonzo.Code.Data.List.Relation.Binary.Lex.Core |
| C_threeArgumentsExpModCost_58 | MAlonzo.Code.Cost.Model |
| C_TL_50 | MAlonzo.Code.Evaluator.Program |
| C_tmCon_206 | MAlonzo.Code.RawU |
| C_TooFewCases_88 | MAlonzo.Code.Check |
| C_TooFewConstrArgs_86 | MAlonzo.Code.Check |
| C_TooManyCases_90 | MAlonzo.Code.Check |
| C_TooManyConstrArgs_84 | MAlonzo.Code.Check |
| C_TotalOrder'46'constructor_15747 | MAlonzo.Code.Relation.Binary.Bundles |
| C_TotalPreorder'46'constructor_4573 | MAlonzo.Code.Relation.Binary.Bundles |
| C_tp_816 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| C_trace_64 | MAlonzo.Code.Builtin |
| C_trans'8212''8608'_796 | MAlonzo.Code.Algorithmic.ReductionEC |
| C_trans'8801'β_18 | MAlonzo.Code.Type.Equality |
| C_translationfd_38 | MAlonzo.Code.VerifiedCompilation.UForceDelay |
| C_trans_394 | MAlonzo.Code.Induction.WellFounded |
| C_trans_484 | MAlonzo.Code.Untyped.Reduction |
| C_tree_262 | MAlonzo.Code.Data.Tree.AVL |
| C_tri'60'_172 | MAlonzo.Code.Relation.Binary.Definitions |
| C_tri'62'_188 | MAlonzo.Code.Relation.Binary.Definitions |
| C_tri'8776'_180 | MAlonzo.Code.Relation.Binary.Definitions |
| C_true_10 | MAlonzo.Code.Agda.Builtin.Bool |
| C_tt_8 | MAlonzo.Code.Agda.Builtin.Unit |
| C_twoArgumentsConstAboveDiagonal_48 | MAlonzo.Code.Cost.Model |
| C_twoArgumentsConstBelowDiagonal_50 | MAlonzo.Code.Cost.Model |
| C_twoArgumentsConstOffDiagonal_52 | MAlonzo.Code.Cost.Model |
| C_twoArgumentsLinearInMaxYZ_56 | MAlonzo.Code.Cost.Model |
| C_twoArgumentsLinearInYAndZ_54 | MAlonzo.Code.Cost.Model |
| C_twoArgumentsSubtractedSizes_46 | MAlonzo.Code.Cost.Model |
| C_Typecheck_42 | MAlonzo.Code.Main |
| C_typeError_14 | MAlonzo.Code.Evaluator.Base |
| C_typeMismatch_100 | MAlonzo.Code.Check |
| C_T_38 | MAlonzo.Code.Algorithmic |
| C_T_40 | MAlonzo.Code.Declarative |
| C_T_52 | MAlonzo.Code.Scoped |
| C_T_74 | MAlonzo.Code.Scoped |
| C_UApp_214 | MAlonzo.Code.RawU |
| C_UBuiltin_220 | MAlonzo.Code.RawU |
| C_UCase_228 | MAlonzo.Code.RawU |
| C_UConstr_226 | MAlonzo.Code.RawU |
| C_UCon_216 | MAlonzo.Code.RawU |
| C_UDelay_222 | MAlonzo.Code.RawU |
| C_UError_218 | MAlonzo.Code.RawU |
| C_UForce_224 | MAlonzo.Code.RawU |
| C_ULambda_212 | MAlonzo.Code.RawU |
| C_UltraMetric'46'constructor_8503 | MAlonzo.Code.Function.Metric.Nat.Bundles |
| C_unBData_106 | MAlonzo.Code.Builtin |
| C_unConstrData_98 | MAlonzo.Code.Builtin |
| C_UnexpectedEndOfString_84 | MAlonzo.Code.Text.Format.Generic |
| C_unIData_104 | MAlonzo.Code.Builtin |
| C_Unimplemented_104 | MAlonzo.Code.Check |
| C_UnitalMagma'46'constructor_14927 | MAlonzo.Code.Algebra.Bundles |
| C_unit_38 | MAlonzo.Code.RawU |
| C_UnknownType_34 | MAlonzo.Code.Check |
| C_unknown_216 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_unknown_22 | MAlonzo.Code.VerifiedCompilation.Trace |
| C_unknown_238 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_unListData_102 | MAlonzo.Code.Builtin |
| C_unMapData_100 | MAlonzo.Code.Builtin |
| C_unrelated_26 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_unsat'45'builtin'8320''8331''8321'_36 | MAlonzo.Code.Untyped.Purity |
| C_unsat'45'builtin'8320'_30 | MAlonzo.Code.Untyped.Purity |
| C_unsat'45'builtin'8321'_44 | MAlonzo.Code.Untyped.Purity |
| C_unsat'8320''8331''8321'_214 | MAlonzo.Code.Untyped.Reduction |
| C_unsat'8320'_208 | MAlonzo.Code.Untyped.Reduction |
| C_unsat'8321'_222 | MAlonzo.Code.Untyped.Reduction |
| C_unwrap'45'_1226 | MAlonzo.Code.Algorithmic.CEK |
| C_unwrap'45'_398 | MAlonzo.Code.Algorithmic.ReductionEC |
| C_unwrap_'47'__534 | MAlonzo.Code.Algorithmic.ReductionEC |
| C_unwrap_132 | MAlonzo.Code.Declarative |
| C_unwrap_230 | MAlonzo.Code.Algorithmic |
| C_unwrap_52 | MAlonzo.Code.Raw |
| C_unwrap_548 | MAlonzo.Code.Scoped |
| C_userError_412 | MAlonzo.Code.Utils |
| C_UVar_210 | MAlonzo.Code.RawU |
| C_U_48 | MAlonzo.Code.Evaluator.Program |
| C_V'45'constr_140 | MAlonzo.Code.Algorithmic.CEK |
| C_V'45'constr_234 | MAlonzo.Code.Algorithmic.ReductionEC |
| C_V'45'constr_60 | MAlonzo.Code.Untyped.CEK |
| C_V'45'con_162 | MAlonzo.Code.Algorithmic.ReductionEC |
| C_V'45'con_50 | MAlonzo.Code.Untyped.CEK |
| C_V'45'con_86 | MAlonzo.Code.Algorithmic.CEK |
| C_V'45'delay_54 | MAlonzo.Code.Untyped.CEK |
| C_V'45'I'8658'_106 | MAlonzo.Code.Algorithmic.CEK |
| C_V'45'I'8658'_184 | MAlonzo.Code.Algorithmic.ReductionEC |
| C_V'45'I'8658'_74 | MAlonzo.Code.Untyped.CEK |
| C_V'45'IΠ_128 | MAlonzo.Code.Algorithmic.CEK |
| C_V'45'IΠ_208 | MAlonzo.Code.Algorithmic.ReductionEC |
| C_V'45'IΠ_90 | MAlonzo.Code.Untyped.CEK |
| C_V'45'wrap_156 | MAlonzo.Code.Algorithmic.ReductionEC |
| C_V'45'wrap_82 | MAlonzo.Code.Algorithmic.CEK |
| C_V'45'ƛ_138 | MAlonzo.Code.Algorithmic.ReductionEC |
| C_V'45'ƛ_46 | MAlonzo.Code.Untyped.CEK |
| C_V'45'ƛ_64 | MAlonzo.Code.Algorithmic.CEK |
| C_V'45'Λ_146 | MAlonzo.Code.Algorithmic.ReductionEC |
| C_V'45'Λ_74 | MAlonzo.Code.Algorithmic.CEK |
| C_var_172 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_var_24 | MAlonzo.Code.VerifiedCompilation.UFloatDelay |
| C_var_252 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_var_26 | |
| 1 (Data Constructor) | MAlonzo.Code.VerifiedCompilation.Trace |
| 2 (Data Constructor) | MAlonzo.Code.VerifiedCompilation.UntypedTranslation |
| C_var_54 | MAlonzo.Code.Untyped.Purity |
| C_verifyEcdsaSecp256k1Signature_48 | MAlonzo.Code.Builtin |
| C_verifyEd25519Signature_46 | MAlonzo.Code.Builtin |
| C_verifySchnorrSecp256k1Signature_50 | MAlonzo.Code.Builtin |
| C_visible_50 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_want_8 | MAlonzo.Code.Untyped.Reduction |
| C_WithInteractionInXAndY_180 | MAlonzo.Code.Cost.Raw |
| C_word64_132 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_wrap'45'_1218 | MAlonzo.Code.Algorithmic.CEK |
| C_wrap'45'_390 | MAlonzo.Code.Algorithmic.ReductionEC |
| C_wrap_130 | MAlonzo.Code.Declarative |
| C_wrap_220 | MAlonzo.Code.Algorithmic |
| C_wrap_50 | MAlonzo.Code.Raw |
| C_wrap_522 | MAlonzo.Code.Algorithmic.ReductionEC |
| C_wrap_546 | MAlonzo.Code.Scoped |
| C_writeBits_170 | MAlonzo.Code.Builtin |
| C_xorByteString_164 | MAlonzo.Code.Builtin |
| C_z'8804'n_26 | MAlonzo.Code.Data.Nat.Base |
| C_zero_12 | MAlonzo.Code.Data.Fin.Base |
| C_zero_8 | MAlonzo.Code.Agda.Builtin.Nat |
| C_Z_16 | MAlonzo.Code.Type |
| C_Z_22 | MAlonzo.Code.Algorithmic |
| C_Z_36 | MAlonzo.Code.Declarative |
| C_Z_44 | MAlonzo.Code.Scoped |
| C_Z_62 | MAlonzo.Code.Scoped |
| C__'10814'__32 | MAlonzo.Code.VerifiedCompilation.UForceDelay |
| C__'183''33'__894 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| C__'183''45'_1202 | MAlonzo.Code.Algorithmic.CEK |
| C__'183''45'_204 | MAlonzo.Code.Untyped.CEK |
| C__'183''45'_374 | MAlonzo.Code.Algorithmic.ReductionEC |
| C__'183''8595'_254 | MAlonzo.Code.VerifiedCompilation.UInline |
| C__'183''8595'_36 | MAlonzo.Code.VerifiedCompilation.Trace |
| C__'183''8902'_'47'__212 | MAlonzo.Code.Algorithmic |
| C__'183''8902'_'47'__512 | MAlonzo.Code.Algorithmic.ReductionEC |
| C__'183''8902'__124 | MAlonzo.Code.Declarative |
| C__'183''8902'__38 | MAlonzo.Code.Raw |
| C__'183''8902'__532 | MAlonzo.Code.Scoped |
| C__'183'r__500 | MAlonzo.Code.Algorithmic.ReductionEC |
| C__'183'__10 | MAlonzo.Code.Type.BetaNormal |
| C__'183'__118 | MAlonzo.Code.Declarative |
| C__'183'__14 | MAlonzo.Code.Raw |
| C__'183'__196 | MAlonzo.Code.Algorithmic |
| C__'183'__22 | MAlonzo.Code.Untyped |
| C__'183'__250 | MAlonzo.Code.VerifiedCompilation.UInline |
| C__'183'__26 | MAlonzo.Code.Scoped |
| C__'183'__30 | MAlonzo.Code.Type |
| C__'183'__34 | |
| 1 (Data Constructor) | MAlonzo.Code.VerifiedCompilation.Trace |
| 2 (Data Constructor) | MAlonzo.Code.VerifiedCompilation.UInline |
| C__'183'__42 | MAlonzo.Code.Raw |
| C__'183'__536 | MAlonzo.Code.Scoped |
| C__'183'__86 | MAlonzo.Code.VerifiedCompilation.UForceDelay |
| C__'36''36'__190 | MAlonzo.Code.Algorithmic.CEK |
| C__'36'__162 | MAlonzo.Code.Algorithmic.CEK |
| C__'44''8902'__22 | MAlonzo.Code.Declarative |
| C__'44''8902'__6 | MAlonzo.Code.Type |
| C__'44''8902'__8 | MAlonzo.Code.Algorithmic |
| C__'44'__12 | |
| 1 (Data Constructor) | MAlonzo.Code.Untyped.CEK |
| 2 (Data Constructor) | MAlonzo.Code.Algorithmic |
| C__'44'__1274 | MAlonzo.Code.Algorithmic.CEK |
| C__'44'__144 | MAlonzo.Code.Data.Vec.Bounded.Base |
| C__'44'__26 | MAlonzo.Code.Declarative |
| C__'44'__30 | MAlonzo.Code.Algorithmic.CK |
| C__'44'__32 | MAlonzo.Code.Agda.Builtin.Sigma |
| C__'44'__378 | MAlonzo.Code.Utils |
| C__'44'__40 | MAlonzo.Code.Algebra.Definitions.RawMagma |
| C__'44'__440 | MAlonzo.Code.Utils |
| C__'44'__66 | MAlonzo.Code.Algebra.Definitions.RawMagma |
| C__'44'__70 | MAlonzo.Code.Data.Tree.AVL.Value |
| C__'58''60'__12 | MAlonzo.Code.Utils.List |
| C__'58''60'__408 | MAlonzo.Code.Utils.List |
| C__'58''60'__850 | MAlonzo.Code.Utils.List |
| C__'8593'_38 | MAlonzo.Code.Builtin.Signature |
| C__'8658'__16 | MAlonzo.Code.Type.BetaNormal |
| C__'8658'__20 | MAlonzo.Code.Scoped |
| C__'8658'__26 | MAlonzo.Code.Type |
| C__'8658'__772 | MAlonzo.Code.Utils |
| C__'8658'__8 | MAlonzo.Code.Raw |
| C__'8759''33'__1902 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| C__'8759''691''8242'__312 | MAlonzo.Code.Data.List.NonEmpty.Base |
| C__'8759''691''8242'__484 | MAlonzo.Code.Data.List.Base |
| C__'8759'__192 | MAlonzo.Code.Declarative |
| C__'8759'__208 | MAlonzo.Code.Algorithmic.CEK |
| C__'8759'__22 | |
| 1 (Data Constructor) | MAlonzo.Code.Agda.Builtin.List |
| 2 (Data Constructor) | MAlonzo.Code.Untyped.CEK |
| C__'8759'__28 | MAlonzo.Code.Data.List.Relation.Unary.AllPairs.Core |
| C__'8759'__290 | MAlonzo.Code.Algorithmic |
| C__'8759'__314 | MAlonzo.Code.Utils.List |
| C__'8759'__34 | MAlonzo.Code.Data.List.NonEmpty.Base |
| C__'8759'__38 | MAlonzo.Code.Data.Vec.Base |
| C__'8759'__450 | MAlonzo.Code.Utils |
| C__'8759'__476 | MAlonzo.Code.Utils |
| C__'8759'__60 | MAlonzo.Code.Data.List.Relation.Unary.All |
| C__'8759'__62 | MAlonzo.Code.Data.List.Relation.Binary.Pointwise.Base |
| C__'8759'__820 | MAlonzo.Code.Utils.List |
| C__'8771'_'46'constructor_973 | MAlonzo.Code.Function.Properties.Inverse.HalfAdjointEquivalence |
| C__'8804''8868''8314'_30 | MAlonzo.Code.Relation.Binary.Construct.Add.Supremum.NonStrict |
| C__'8827'toℕ__524 | MAlonzo.Code.Data.Fin.Base |
| C__'894'_'9659'__1286 | MAlonzo.Code.Algorithmic.CEK |
| C__'894'_'9659'__222 | MAlonzo.Code.Untyped.CEK |
| C__'9659'__40 | MAlonzo.Code.Algorithmic.CK |
| C__'9666'__242 | MAlonzo.Code.Data.Integer.Base |
| C__'9669'__1290 | MAlonzo.Code.Algorithmic.CEK |
| C__'9669'__224 | MAlonzo.Code.Untyped.CEK |
| C__'9669'__46 | MAlonzo.Code.Algorithmic.CK |
| C__B'8658'__302 | MAlonzo.Code.Builtin.Signature |
| C__because__32 | MAlonzo.Code.Relation.Nullary.Decidable.Core |
| C__l'183'__490 | MAlonzo.Code.Algorithmic.ReductionEC |
| C_ƛ'33'_876 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| C_ƛ'8595'_244 | MAlonzo.Code.VerifiedCompilation.UInline |
| C_ƛ'8595'_32 | MAlonzo.Code.VerifiedCompilation.Trace |
| C_ƛ'8801'β_24 | MAlonzo.Code.Type.Equality |
| C_ƛ'9633'_236 | MAlonzo.Code.VerifiedCompilation.UInline |
| C_ƛ_116 | MAlonzo.Code.Declarative |
| C_ƛ_12 | MAlonzo.Code.Raw |
| C_ƛ_18 | MAlonzo.Code.Type.BetaNormal |
| C_ƛ_190 | MAlonzo.Code.Algorithmic |
| C_ƛ_192 | MAlonzo.Code.Untyped.Reduction |
| C_ƛ_20 | MAlonzo.Code.Untyped |
| C_ƛ_24 | MAlonzo.Code.Scoped |
| C_ƛ_240 | MAlonzo.Code.VerifiedCompilation.UInline |
| C_ƛ_28 | MAlonzo.Code.Type |
| C_ƛ_30 | MAlonzo.Code.VerifiedCompilation.Trace |
| C_ƛ_32 | MAlonzo.Code.VerifiedCompilation.UntypedTranslation |
| C_ƛ_40 | MAlonzo.Code.Raw |
| C_ƛ_42 | MAlonzo.Code.VerifiedCompilation.UFloatDelay |
| C_ƛ_534 | MAlonzo.Code.Scoped |
| C_ƛ_62 | MAlonzo.Code.Untyped.Purity |
| C_β'45'builtin_720 | MAlonzo.Code.Algorithmic.ReductionEC |
| C_β'45'case_746 | MAlonzo.Code.Algorithmic.ReductionEC |
| C_β'45'wrap_694 | MAlonzo.Code.Algorithmic.ReductionEC |
| C_β'45'ƛ_662 | MAlonzo.Code.Algorithmic.ReductionEC |
| C_β'45'Λ_678 | MAlonzo.Code.Algorithmic.ReductionEC |
| C_β'8801'β_48 | MAlonzo.Code.Type.Equality |
| C_β_286 | MAlonzo.Code.Untyped.Reduction |
| C_ε_10 | MAlonzo.Code.Untyped.CEK |
| C_ε_1268 | MAlonzo.Code.Algorithmic.CEK |
| C_ε_22 | MAlonzo.Code.Algorithmic.CK |
| C_Λ_120 | MAlonzo.Code.Declarative |
| C_Λ_202 | MAlonzo.Code.Algorithmic |
| C_Λ_36 | MAlonzo.Code.Raw |
| C_Λ_530 | MAlonzo.Code.Scoped |
| C_μ'8801'β_28 | MAlonzo.Code.Type.Equality |
| C_μ_18 | MAlonzo.Code.Raw |
| C_μ_24 | MAlonzo.Code.Type.BetaNormal |
| C_μ_32 | |
| 1 (Data Constructor) | MAlonzo.Code.Type |
| 2 (Data Constructor) | MAlonzo.Code.Scoped |
| C_ξ'8321'_266 | MAlonzo.Code.Untyped.Reduction |
| C_ξ'8322'_274 | MAlonzo.Code.Untyped.Reduction |
| C_ξ'8323'_280 | MAlonzo.Code.Untyped.Reduction |
| C_Π'8801'β_22 | MAlonzo.Code.Type.Equality |
| C_Π_10 | MAlonzo.Code.Raw |
| C_Π_14 | MAlonzo.Code.Type.BetaNormal |
| C_Π_22 | MAlonzo.Code.Scoped |
| C_Π_24 | MAlonzo.Code.Type |
| C_ℕArg_6 | MAlonzo.Code.Text.Format |
| C_ℤArg_8 | MAlonzo.Code.Text.Format |