cachedBuiltin | PlutusCore.Parser.Builtin, PlutusCore.Parser |
callSiteInline | PlutusIR.Transform.Inline.CallSiteInline |
CannotParseValue | PlutusTx.Options |
Case | |
1 (Data Constructor) | PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
2 (Data Constructor) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
3 (Data Constructor) | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
CaseData | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
caseData | PlutusTx.Builtins |
caseData' | PlutusTx.Builtins.Internal, PlutusTx.Builtins |
CaseList | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
caseList | PlutusTx.Builtins |
caseList' | PlutusTx.Builtins.Internal, PlutusTx.Builtins |
CaseOfCase | UntypedPlutusCore.Transform.Simplifier |
caseOfCase | |
1 (Function) | UntypedPlutusCore.Transform.CaseOfCase |
2 (Function) | PlutusIR.Transform.CaseOfCase |
caseOfCasePass | PlutusIR.Transform.CaseOfCase |
caseOfCasePassSC | PlutusIR.Transform.CaseOfCase |
CaseReduce | UntypedPlutusCore.Transform.Simplifier |
caseReduce | |
1 (Function) | UntypedPlutusCore.Transform.CaseReduce |
2 (Function) | PlutusIR.Transform.CaseReduce |
caseReducePass | PlutusIR.Transform.CaseReduce |
cat | Text.Pretty |
cataM | Data.Functor.Foldable.Monadic |
catchAll | PlutusCore.Test |
CBORDeserialiseError | PlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
ccBlackholed | PlutusTx.Compiler.Types |
ccBuiltinCostModel | |
1 (Function) | PlutusIR.Compiler.Types, PlutusIR.Compiler |
2 (Function) | PlutusTx.Compiler.Types |
ccBuiltinsInfo | |
1 (Function) | PlutusIR.Compiler.Types, PlutusIR.Compiler |
2 (Function) | PlutusTx.Compiler.Types |
ccCurDef | PlutusTx.Compiler.Types |
ccDebugTraceOn | PlutusTx.Compiler.Types |
ccEnclosing | PlutusIR.Compiler.Types, PlutusIR.Compiler |
ccFamInstEnvs | PlutusTx.Compiler.Types |
ccFlags | PlutusTx.Compiler.Types |
ccModBreaks | PlutusTx.Compiler.Types |
ccNameInfo | PlutusTx.Compiler.Types |
ccOpts | |
1 (Function) | PlutusIR.Compiler.Types, PlutusIR.Compiler |
2 (Function) | PlutusTx.Compiler.Types |
ccRewriteRules | |
1 (Function) | PlutusIR.Compiler.Types |
2 (Function) | PlutusTx.Compiler.Types |
ccScope | PlutusTx.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.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.CommonAPI, 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 |
cekCaseCost | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
CekCaseCost'exBudgetCPU | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
CekCaseCost'exBudgetMemory | 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 | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
CekConstrCost'exBudgetMemory | 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 | PlutusLedgerApi.Common.Eval, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
CekEvaluationException | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
CekEvaluationFailure | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
CekExTally | |
1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
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.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
CekMachineCostsBase | |
1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
cekMachineCostsFileA | PlutusCore.DataFilePaths |
cekMachineCostsFileB | PlutusCore.DataFilePaths |
cekMachineCostsFileC | PlutusCore.DataFilePaths |
cekMachineCostsPrefix | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
CekModel | PlutusCore.Executable.Types, PlutusCore.Executable.Common |
CekOutOfExError | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
cekResultMatchesHaskellValue | PlutusTx.Test.Util.Compiled |
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 |
CekTrans | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
CekUserError | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.CommonAPI, 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.CommonAPI, 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.Tx, PlutusLedgerApi.V2.Tx |
2 (Data Constructor) | PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V2.Data.Tx |
Certifier | PlutusCore.Executable.Types, PlutusCore.Executable.Common |
certifier | PlutusCore.Executable.Parsers |
Certifying | |
1 (Data Constructor) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V1, PlutusLedgerApi.V2 |
2 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
3 (Data Constructor) | PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2 |
4 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
CertifyingScript | |
1 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
2 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
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 | Cardano.Constitution.Validator.Common, Cardano.Constitution.Validator |
changPlus1PV | PlutusLedgerApi.Common.ProtocolVersions, PlutusLedgerApi.Common.Versions |
changPV | PlutusLedgerApi.Common.ProtocolVersions, PlutusLedgerApi.Common.Versions |
Check | PlutusCore.Generators.NEAT.Term |
check | |
1 (Function) | PlutusCore.Generators.NEAT.Term |
2 (Function) | PlutusTx.Prelude |
checkBiCondition | PlutusIR.Pass |
checkCondition | PlutusIR.Pass |
checkEmptyOn | PlutusCore.Check.Scoping |
checkEvaluationEvent | PlutusLedgerApi.Test.EvaluationEvent |
checkFails | PlutusCore.Test |
checkHasFailedError | PlutusTx.ErrorCodes |
checkKind | |
1 (Function) | PlutusCore.TypeCheck, PlutusCore |
2 (Function) | PlutusCore.Generators.QuickCheck.Common, PlutusCore.Generators.QuickCheck |
checkKindAgda | MAlonzo.Code.Evaluator.Term |
checkKindM | PlutusCore.TypeCheck.Internal |
checkProgram | |
1 (Function) | PlutusCore.Check.Uniques |
2 (Function) | PlutusCore.Check.Normal |
3 (Function) | UntypedPlutusCore.Check.Uniques |
4 (Function) | PlutusIR.Check.Uniques |
checkPurity | PlutusIR.Transform.Inline.Utils |
checkRespectsScoping | PlutusCore.Check.Scoping |
checkScope | UntypedPlutusCore.Check.Scope, UntypedPlutusCore |
checkScopeInfo | PlutusCore.Check.Scoping |
checkStar | Universe.Core, Universe, PlutusCore.Default.Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
checkTerm | |
1 (Function) | PlutusCore.Check.Uniques |
2 (Function) | PlutusCore.Check.Normal |
3 (Function) | UntypedPlutusCore.Check.Uniques |
4 (Function) | PlutusIR.Check.Uniques |
checkType | |
1 (Function) | PlutusCore.TypeCheck, PlutusCore |
2 (Function) | PlutusIR.TypeCheck |
checkTypeAgda | MAlonzo.Code.Evaluator.Term |
checkTypeM | |
1 (Function) | PlutusCore.TypeCheck.Internal |
2 (Function) | PlutusIR.TypeCheck.Internal |
checkTypeOfProgram | |
1 (Function) | PlutusCore.TypeCheck, PlutusCore |
2 (Function) | PlutusIR.TypeCheck |
check_'42'_478 | MAlonzo.Code.Utils |
check_'91''93'_386 | MAlonzo.Code.Utils |
check_'96'_32 | MAlonzo.Code.Raw |
check_'96'_6 | MAlonzo.Code.Raw |
check_'9839'_480 | 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_112 | MAlonzo.Code.Cost.Raw |
check_addInteger_4 | MAlonzo.Code.Builtin |
check_aInteger_8 | MAlonzo.Code.Builtin.Constant.AtomicType |
check_andByteString_154 | MAlonzo.Code.Builtin |
check_appendByteString_24 | MAlonzo.Code.Builtin |
check_appendString_52 | MAlonzo.Code.Builtin |
check_aString_12 | MAlonzo.Code.Builtin.Constant.AtomicType |
check_atomic_24 | MAlonzo.Code.Raw |
check_aUnit_14 | MAlonzo.Code.Builtin.Constant.AtomicType |
check_bDATA_460 | MAlonzo.Code.Utils |
check_bData_90 | MAlonzo.Code.Builtin |
check_blake2b'45'224_148 | MAlonzo.Code.Builtin |
check_blake2b'45'256_44 | MAlonzo.Code.Builtin |
check_bls12'45'381'45'finalVerify_144 | MAlonzo.Code.Builtin |
check_bls12'45'381'45'G1'45'add_112 | MAlonzo.Code.Builtin |
check_bls12'45'381'45'G1'45'compress_122 | MAlonzo.Code.Builtin |
check_bls12'45'381'45'g1'45'element_52 | MAlonzo.Code.RawU |
check_bls12'45'381'45'G1'45'equal_118 | MAlonzo.Code.Builtin |
check_bls12'45'381'45'G1'45'hashToGroup_120 | MAlonzo.Code.Builtin |
check_bls12'45'381'45'G1'45'neg_114 | MAlonzo.Code.Builtin |
check_bls12'45'381'45'G1'45'scalarMul_116 | MAlonzo.Code.Builtin |
check_bls12'45'381'45'G1'45'uncompress_124 | MAlonzo.Code.Builtin |
check_bls12'45'381'45'G2'45'add_126 | MAlonzo.Code.Builtin |
check_bls12'45'381'45'G2'45'compress_136 | MAlonzo.Code.Builtin |
check_bls12'45'381'45'g2'45'element_54 | MAlonzo.Code.RawU |
check_bls12'45'381'45'G2'45'equal_132 | MAlonzo.Code.Builtin |
check_bls12'45'381'45'G2'45'hashToGroup_134 | MAlonzo.Code.Builtin |
check_bls12'45'381'45'G2'45'neg_128 | MAlonzo.Code.Builtin |
check_bls12'45'381'45'G2'45'scalarMul_130 | MAlonzo.Code.Builtin |
check_bls12'45'381'45'G2'45'uncompress_138 | MAlonzo.Code.Builtin |
check_bls12'45'381'45'millerLoop_140 | MAlonzo.Code.Builtin |
check_bls12'45'381'45'mlresult_56 | MAlonzo.Code.RawU |
check_bls12'45'381'45'mulMlResult_142 | MAlonzo.Code.Builtin |
check_bool_36 | MAlonzo.Code.RawU |
check_builtin_46 | MAlonzo.Code.Raw |
check_byteStringToInteger_150 | MAlonzo.Code.Builtin |
check_bytestring_32 | MAlonzo.Code.RawU |
check_caseOfCaseT_8 | MAlonzo.Code.VerifiedCompilation |
check_caseReduceT_10 | MAlonzo.Code.VerifiedCompilation |
check_case_66 | MAlonzo.Code.Raw |
check_chooseData_80 | MAlonzo.Code.Builtin |
check_chooseList_70 | MAlonzo.Code.Builtin |
check_chooseUnit_62 | MAlonzo.Code.Builtin |
check_complementByteString_160 | MAlonzo.Code.Builtin |
check_consByteString_26 | MAlonzo.Code.Builtin |
check_ConstAboveDiagonal_140 | MAlonzo.Code.Cost.Raw |
check_ConstantCost_110 | MAlonzo.Code.Cost.Raw |
check_ConstBelowDiagonal_142 | MAlonzo.Code.Cost.Raw |
check_ConstOffDiagonal_144 | MAlonzo.Code.Cost.Raw |
check_ConstrDATA_452 | MAlonzo.Code.Utils |
check_constrData_82 | MAlonzo.Code.Builtin |
check_constr_58 | MAlonzo.Code.Raw |
check_con_16 | MAlonzo.Code.Raw |
check_con_42 | MAlonzo.Code.Raw |
check_Counting_42 | MAlonzo.Code.Evaluator.Program |
check_countSetBits_172 | MAlonzo.Code.Builtin |
check_cseT_14 | MAlonzo.Code.VerifiedCompilation |
check_deBError_578 | MAlonzo.Code.Scoped |
check_decodeUtf8_58 | MAlonzo.Code.Builtin |
check_divideInteger_10 | MAlonzo.Code.Builtin |
check_encodeUtf8_56 | MAlonzo.Code.Builtin |
check_equalsByteString_34 | MAlonzo.Code.Builtin |
check_equalsData_102 | MAlonzo.Code.Builtin |
check_equalsInteger_18 | MAlonzo.Code.Builtin |
check_equalsString_54 | MAlonzo.Code.Builtin |
check_error_44 | MAlonzo.Code.Raw |
check_EvalOpts_28 | MAlonzo.Code.Main |
check_Eval_40 | MAlonzo.Code.Main |
check_expModInteger_178 | MAlonzo.Code.Builtin |
check_findFirstSetBit_174 | MAlonzo.Code.Builtin |
check_fixity_30 | MAlonzo.Code.Agda.Builtin.Reflection |
check_floatDelayT_4 | MAlonzo.Code.VerifiedCompilation |
check_forceDelayT_6 | MAlonzo.Code.VerifiedCompilation |
check_freeVariableError_580 | MAlonzo.Code.Scoped |
check_fstPair_66 | MAlonzo.Code.Builtin |
check_gasError_350 | MAlonzo.Code.Utils |
check_headList_74 | MAlonzo.Code.Builtin |
check_iDATA_458 | MAlonzo.Code.Utils |
check_iData_88 | MAlonzo.Code.Builtin |
check_ifThenElse_60 | 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_12 | MAlonzo.Code.VerifiedCompilation |
check_integerToByteString_152 | MAlonzo.Code.Builtin |
check_integer_30 | MAlonzo.Code.RawU |
check_jsonError_22 | MAlonzo.Code.Evaluator.Base |
check_keccak'45'256_146 | MAlonzo.Code.Builtin |
check_left'45'assoc_16 | MAlonzo.Code.Agda.Builtin.Reflection |
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_128 | MAlonzo.Code.Cost.Raw |
check_LinearInX_120 | MAlonzo.Code.Cost.Raw |
check_LinearInYAndZ_130 | MAlonzo.Code.Cost.Raw |
check_LinearInY_122 | MAlonzo.Code.Cost.Raw |
check_LinearInZ_124 | MAlonzo.Code.Cost.Raw |
check_ListDATA_456 | MAlonzo.Code.Utils |
check_listData_86 | MAlonzo.Code.Builtin |
check_list_26 | MAlonzo.Code.Raw |
check_list_50 | MAlonzo.Code.RawU |
check_LiteralInYOrLinearInZ_126 | MAlonzo.Code.Cost.Raw |
check_MapDATA_454 | MAlonzo.Code.Utils |
check_mapData_84 | MAlonzo.Code.Builtin |
check_MaxSize_118 | MAlonzo.Code.Cost.Raw |
check_MinSize_116 | MAlonzo.Code.Cost.Raw |
check_mkCons_72 | MAlonzo.Code.Builtin |
check_mkCpuAndMemoryModel_156 | MAlonzo.Code.Cost.Raw |
check_mkLinearFunction_42 | MAlonzo.Code.Cost.Raw |
check_mkNilData_108 | MAlonzo.Code.Builtin |
check_mkNilPairData_110 | MAlonzo.Code.Builtin |
check_mkOneVariableQuadraticFunction_58 | MAlonzo.Code.Cost.Raw |
check_mkPairData_106 | MAlonzo.Code.Builtin |
check_mkTwoVariableLinearFunction_74 | MAlonzo.Code.Cost.Raw |
check_mkTwoVariableQuadraticFunction_106 | MAlonzo.Code.Cost.Raw |
check_modInteger_16 | MAlonzo.Code.Builtin |
check_MultipliedSizes_114 | MAlonzo.Code.Cost.Raw |
check_multiplyInteger_8 | MAlonzo.Code.Builtin |
check_non'45'assoc_20 | MAlonzo.Code.Agda.Builtin.Reflection |
check_nullList_78 | MAlonzo.Code.Builtin |
check_orByteString_156 | MAlonzo.Code.Builtin |
check_pair_28 | MAlonzo.Code.Raw |
check_pair_46 | MAlonzo.Code.RawU |
check_parseError_16 | MAlonzo.Code.Evaluator.Base |
check_pdata_40 | MAlonzo.Code.RawU |
check_QuadraticInXAndY_136 | MAlonzo.Code.Cost.Raw |
check_QuadraticInY_132 | MAlonzo.Code.Cost.Raw |
check_QuadraticInZ_134 | MAlonzo.Code.Cost.Raw |
check_quotientInteger_12 | MAlonzo.Code.Builtin |
check_readBit_162 | MAlonzo.Code.Builtin |
check_related_24 | MAlonzo.Code.Agda.Builtin.Reflection |
check_remainderInteger_14 | MAlonzo.Code.Builtin |
check_replicateByte_166 | MAlonzo.Code.Builtin |
check_right'45'assoc_18 | MAlonzo.Code.Agda.Builtin.Reflection |
check_ripemd'45'160_176 | MAlonzo.Code.Builtin |
check_rotateByteString_170 | MAlonzo.Code.Builtin |
check_runtimeError_20 | MAlonzo.Code.Evaluator.Base |
check_runtimeTypeError_354 | MAlonzo.Code.Utils |
check_scopeError_18 | MAlonzo.Code.Evaluator.Base |
check_serialiseData_104 | MAlonzo.Code.Builtin |
check_sha2'45'256_40 | MAlonzo.Code.Builtin |
check_sha3'45'256_42 | MAlonzo.Code.Builtin |
check_shiftByteString_168 | 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_138 | MAlonzo.Code.Cost.Raw |
check_subtractInteger_6 | MAlonzo.Code.Builtin |
check_tagCon_62 | 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_152 | MAlonzo.Code.RawU |
check_UBuiltin_158 | MAlonzo.Code.RawU |
check_UCase_166 | MAlonzo.Code.RawU |
check_UConstr_164 | MAlonzo.Code.RawU |
check_UCon_154 | MAlonzo.Code.RawU |
check_UDelay_160 | MAlonzo.Code.RawU |
check_UError_156 | MAlonzo.Code.RawU |
check_UForce_162 | MAlonzo.Code.RawU |
check_ULambda_150 | MAlonzo.Code.RawU |
check_unBData_100 | MAlonzo.Code.Builtin |
check_unConstrData_92 | MAlonzo.Code.Builtin |
check_unIData_98 | MAlonzo.Code.Builtin |
check_unit_38 | MAlonzo.Code.RawU |
check_unListData_96 | MAlonzo.Code.Builtin |
check_unMapData_94 | MAlonzo.Code.Builtin |
check_unrelated_26 | MAlonzo.Code.Agda.Builtin.Reflection |
check_unwrap_50 | MAlonzo.Code.Raw |
check_userError_352 | MAlonzo.Code.Utils |
check_UVar_148 | MAlonzo.Code.RawU |
check_U_48 | MAlonzo.Code.Evaluator.Program |
check_verifyEcdsaSecp256k1Signature_48 | MAlonzo.Code.Builtin |
check_verifyEd25519Signature_46 | MAlonzo.Code.Builtin |
check_verifySchnorrSecp256k1Signature_50 | MAlonzo.Code.Builtin |
check_wrap_48 | MAlonzo.Code.Raw |
check_writeBits_164 | MAlonzo.Code.Builtin |
check_xorByteString_158 | MAlonzo.Code.Builtin |
check__'183''8902'__36 | MAlonzo.Code.Raw |
check__'183'__14 | MAlonzo.Code.Raw |
check__'183'__40 | MAlonzo.Code.Raw |
check__'44'__378 | MAlonzo.Code.Utils |
check__'8658'__482 | MAlonzo.Code.Utils |
check__'8658'__8 | MAlonzo.Code.Raw |
check__'8759'__388 | MAlonzo.Code.Utils |
check_ƛ_12 | MAlonzo.Code.Raw |
check_ƛ_38 | MAlonzo.Code.Raw |
check_Λ_34 | 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 |
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 |
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 |
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.Core, Universe, PlutusCore.Default.Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
ClosedTermG | PlutusCore.Generators.NEAT.Term |
ClosedTypeG | PlutusCore.Generators.NEAT.Type, PlutusCore.Generators.NEAT.Term |
Closure | PlutusLedgerApi.V1.Interval, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
cmActual | PlutusCore.Evaluation.Machine.CostModelInterface, PlutusLedgerApi.Common.ParamName, PlutusLedgerApi.Common |
Cmd | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
cmExpected | PlutusCore.Evaluation.Machine.CostModelInterface, PlutusLedgerApi.Common.ParamName, PlutusLedgerApi.Common |
CMInternalReadError | PlutusCore.Evaluation.Machine.CostModelInterface, PlutusLedgerApi.Common.ParamName, 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 |
CMInternalWriteError | PlutusCore.Evaluation.Machine.CostModelInterface, PlutusLedgerApi.Common.ParamName, 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 |
CMTooFewParamsWarn | PlutusCore.Evaluation.Machine.CostModelInterface, PlutusLedgerApi.Common.ParamName, PlutusLedgerApi.Common |
CMTooManyParamsWarn | PlutusCore.Evaluation.Machine.CostModelInterface, PlutusLedgerApi.Common.ParamName, PlutusLedgerApi.Common |
CMUnknownParamError | PlutusCore.Evaluation.Machine.CostModelInterface, PlutusLedgerApi.Common.ParamName, 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 |
coBuiltinSemanticsVariant | PlutusCore.Compiler.Opts, PlutusCore.Compiler |
coCaseOfCaseConservative | PlutusIR.Compiler.Types, PlutusIR.Compiler |
coCoverage | PlutusTx.Compiler.Types |
coDatatypes | PlutusIR.Compiler.Types, PlutusIR.Compiler |
coDebug | PlutusIR.Compiler.Types, PlutusIR.Compiler |
CodecError | PlutusLedgerApi.Common.Eval, 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 |
coeff01_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
coeff02_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
coeff0_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
coeff10_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
coeff11_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
coeff1_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
coeff20_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
coeff2_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
Coefficient0 | |
1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
Coefficient00 | |
1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
Coefficient01 | |
1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
Coefficient02 | |
1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
Coefficient1 | |
1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
Coefficient10 | |
1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
Coefficient11 | |
1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
Coefficient2 | |
1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
Coefficient20 | |
1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
coerce | PlutusPrelude |
coerceArg | PlutusPrelude |
coerceRes | PlutusPrelude |
coerceVia | PlutusPrelude |
Coercible | PlutusPrelude |
coInlineConstants | PlutusIR.Compiler.Types |
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 |
CollectScopeInfo | PlutusCore.Check.Scoping |
collectScopeInfo | PlutusCore.Check.Scoping |
colon | Text.Pretty |
column | Text.Pretty |
coMaxSimplifierIterations | PlutusIR.Compiler.Types, PlutusIR.Compiler |
Comma | PlutusCore.Examples.Builtins |
comma | Text.Pretty |
Command | Opts |
commands | Opts |
comment | PlutusTx.Blueprint.Schema.Annotation, PlutusTx.Blueprint |
Committee | |
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 |
committeeMembers | |
1 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
2 (Function) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
committeeQuorum | |
1 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
2 (Function) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
CommitteeVoter | |
1 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
2 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
commuteFnWithConst | PlutusIR.Transform.RewriteRules.CommuteFnWithConst |
compare | 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) | PlutusIR.Compiler.Error |
2 (Data Constructor) | PlutusIR.Error, PlutusIR.Compiler |
3 (Data Constructor) | PlutusTx.Compiler.Error |
CompilationOpts | |
1 (Type/Class) | PlutusCore.Compiler.Opts, PlutusCore.Compiler |
2 (Data Constructor) | PlutusCore.Compiler.Opts, PlutusCore.Compiler |
3 (Type/Class) | PlutusIR.Compiler.Types, PlutusIR.Compiler |
4 (Data Constructor) | PlutusIR.Compiler.Types, PlutusIR.Compiler |
compile | PlutusTx.TH, PlutusTx |
CompileContext | |
1 (Type/Class) | PlutusTx.Compiler.Types |
2 (Data Constructor) | PlutusTx.Compiler.Types |
compileDataConRef | PlutusTx.Compiler.Expr |
compileDatatype | PlutusIR.Compiler.Datatype |
compileDatatypeDefs | PlutusIR.Compiler.Datatype |
CompiledCode | PlutusTx.Code, PlutusTx |
CompiledCodeIn | PlutusTx.Code, PlutusTx |
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 |
compileExpr | PlutusTx.Compiler.Expr |
compileExprWithDefs | PlutusTx.Compiler.Expr |
compileKind | PlutusTx.Compiler.Kind, PlutusTx.Compiler.Type |
compileLets | PlutusIR.Compiler.Let |
compileLetsPass | PlutusIR.Compiler.Let |
compileLetsPassSC | PlutusIR.Compiler.Let |
compileNameFresh | PlutusTx.Compiler.Names |
compileNonStrictBindings | PlutusIR.Transform.NonStrict |
compileNonStrictBindingsPass | PlutusIR.Transform.NonStrict |
compileNonStrictBindingsPassSC | PlutusIR.Transform.NonStrict |
CompileOptions | |
1 (Type/Class) | PlutusTx.Compiler.Types |
2 (Data Constructor) | PlutusTx.Compiler.Types |
compileProgram | |
1 (Function) | PlutusCore.Compiler |
2 (Function) | PlutusIR.Compiler |
compileReadableToPlc | PlutusIR.Compiler |
compileRecDatatypes | PlutusIR.Compiler.Datatype |
compileRecTerms | PlutusIR.Compiler.Recursion |
CompileState | |
1 (Type/Class) | PlutusTx.Compiler.Types |
2 (Data Constructor) | PlutusTx.Compiler.Types |
compileTcTyVarFresh | PlutusTx.Compiler.Names |
compileTerm | PlutusCore.Compiler |
compileToReadable | PlutusIR.Compiler |
compileTyNameFresh | PlutusTx.Compiler.Names |
compileType | PlutusTx.Compiler.Type |
compileTypeNorm | PlutusTx.Compiler.Type |
compileTyVarFresh | PlutusTx.Compiler.Names |
compileUntyped | PlutusTx.TH, PlutusTx |
compileVarFresh | PlutusTx.Compiler.Names |
compileVarWithTyFresh | PlutusTx.Compiler.Names |
compileWithOpts | PlutusIR.Test |
Compiling | |
1 (Type/Class) | PlutusCore.Compiler.Types |
2 (Type/Class) | PlutusIR.Compiler.Types, PlutusIR.Compiler |
3 (Type/Class) | PlutusTx.Compiler.Types |
CompilingDefault | PlutusTx.Compiler.Types |
ComplementByteString | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
complementByteString | |
1 (Function) | PlutusCore.Bitwise |
2 (Function) | PlutusTx.Builtins.Internal |
3 (Function) | PlutusTx.Builtins, PlutusTx.Prelude |
ComplementByteString'cpu'arguments'intercept | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
ComplementByteString'cpu'arguments'slope | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
ComplementByteString'memory'arguments'intercept | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
ComplementByteString'memory'arguments'slope | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
compoundDocM | PlutusCore.Pretty.Readable, PlutusCore.Pretty, Text.PrettyBy.Fixity |
CompoundPass | PlutusIR.Pass |
compress | |
1 (Function) | PlutusCore.Crypto.BLS12_381.G2 |
2 (Function) | PlutusCore.Crypto.BLS12_381.G1 |
compressedSizeBytes | |
1 (Function) | PlutusCore.Crypto.BLS12_381.G2 |
2 (Function) | PlutusCore.Crypto.BLS12_381.G1 |
compressed_generator | |
1 (Function) | PlutusCore.Crypto.BLS12_381.G2 |
2 (Function) | PlutusCore.Crypto.BLS12_381.G1 |
compressed_zero | |
1 (Function) | PlutusCore.Crypto.BLS12_381.G2 |
2 (Function) | PlutusCore.Crypto.BLS12_381.G1 |
computeCek | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
Computing | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
con0xBS | PlutusCore.Parser.Builtin, PlutusCore.Parser |
conBLS12_381_G1_Element | PlutusCore.Parser.Builtin, PlutusCore.Parser |
conBLS12_381_G2_Element | PlutusCore.Parser.Builtin, PlutusCore.Parser |
conBool | PlutusCore.Parser.Builtin, PlutusCore.Parser |
conBS | PlutusCore.Parser.Builtin, PlutusCore.Parser |
Concat | PlutusTx.Blueprint.Definition.TF |
concat | |
1 (Function) | PlutusTx.List |
2 (Function) | PlutusTx.Foldable, PlutusTx.Prelude |
concatBuiltinStrings | PlutusTx.Show.TH |
concatMap | |
1 (Function) | PlutusTx.List |
2 (Function) | PlutusTx.Foldable, PlutusTx.Prelude |
concatWith | Text.Pretty |
conData | PlutusCore.Parser.Builtin, PlutusCore.Parser |
conDataNoParens | PlutusCore.Parser.Builtin, PlutusCore.Parser |
CondensedErrors | PlutusCore.Pretty.Plc, PlutusCore.Pretty |
CondensedErrorsNo | PlutusCore.Pretty.Plc, PlutusCore.Pretty |
CondensedErrorsYes | PlutusCore.Pretty.Plc, PlutusCore.Pretty |
Condition | PlutusIR.Pass |
conInteger | PlutusCore.Parser.Builtin, PlutusCore.Parser |
conList | PlutusCore.Parser.Builtin, PlutusCore.Parser |
conPair | PlutusCore.Parser.Builtin, PlutusCore.Parser |
Cons | |
1 (Data Constructor) | Data.RandomAccessList.SkewBinary |
2 (Data Constructor) | Data.RandomAccessList.SkewBinarySlab |
cons | |
1 (Function) | PlutusCore.StdLib.Data.ScottList |
2 (Function) | Data.RandomAccessList.Class |
consAnnIf | PlutusCore.Pretty.Classic, PlutusCore.Pretty |
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 |
consSlab | |
1 (Function) | Data.RandomAccessList.Class |
2 (Function) | Data.RandomAccessList.SkewBinarySlab |
ConsStack | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
Const | PlutusCore.Examples.Builtins |
const | |
1 (Function) | PlutusCore.StdLib.Data.Function |
2 (Function) | PlutusTx.Base, PlutusTx.Prelude |
const0 | UntypedPlutusCore.Test.DeBruijn.Good |
ConstAboveDiagonal | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
Constant | |
1 (Data Constructor) | PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
2 (Data Constructor) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
3 (Data Constructor) | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
constant | |
1 (Function) | PlutusCore.MkPlc, PlutusIR.MkPir |
2 (Function) | PlutusCore.Parser.Builtin, PlutusCore.Parser |
ConstantCost | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
ConstantG | PlutusCore.Generators.NEAT.Term |
constantIsSerializable | PlutusIR.Analysis.Builtins |
constantOf | PlutusCore.Parser.Builtin, PlutusCore.Parser |
ConstBelowDiagonal | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
ConstCondition | PlutusIR.Pass |
ConstConfig | |
1 (Type/Class) | PlutusCore.Pretty.PrettyConst, PlutusCore.Pretty |
2 (Data Constructor) | PlutusCore.Pretty.PrettyConst, 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 | Cardano.Constitution.Validator.Common, Cardano.Constitution.Validator |
constitutionValidator | |
1 (Function) | Cardano.Constitution.Validator.Unsorted |
2 (Function) | Cardano.Constitution.Validator.Sorted |
ConstOffDiagonal | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
constPartial | PlutusCore.StdLib.Meta.Data.Function |
Constr | |
1 (Data Constructor) | PlutusCore.Data, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3, PlutusTx |
2 (Data Constructor) | PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
3 (Data Constructor) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
4 (Data Constructor) | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
constr | PlutusCore.MkPlc, PlutusIR.MkPir |
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 | PlutusIR.Compiler.Provenance, PlutusIR.Compiler |
ConstructorSchema | PlutusTx.Blueprint.Schema, PlutusTx.Blueprint |
ConstructorType | PlutusIR.Compiler.Provenance, PlutusIR.Compiler |
Container | PlutusCore.Generators.QuickCheck.Utils, PlutusCore.Generators.QuickCheck |
Contains | Universe.Core, Universe, PlutusCore.Default.Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
contains | PlutusLedgerApi.V1.Interval, PlutusLedgerApi.V1 |
Context | |
1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal |
2 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
3 (Type/Class) | PlutusLedgerApi.V1.Scripts, PlutusLedgerApi.V1 |
4 (Data Constructor) | PlutusLedgerApi.V1.Scripts, PlutusLedgerApi.V1 |
conText | PlutusCore.Parser.Builtin, PlutusCore.Parser |
contextAnn | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
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.Builtin, PlutusCore.Parser |
conv | |
1 (Function) | Raw |
2 (Function) | Untyped |
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) | Raw |
2 (Function) | Untyped |
convT | Raw |
convTyCon | Raw |
coOptimize | PlutusIR.Compiler.Types, PlutusIR.Compiler |
coPedantic | PlutusIR.Compiler.Types, PlutusIR.Compiler |
coPreserveLogging | PlutusIR.Compiler.Types, PlutusIR.Compiler |
coProfile | |
1 (Function) | PlutusIR.Compiler.Types, PlutusIR.Compiler |
2 (Function) | PlutusTx.Compiler.Types |
coRelaxedFloatin | PlutusIR.Compiler.Types, PlutusIR.Compiler |
coRemoveTrace | PlutusTx.Compiler.Types |
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.Meaning, PlutusCore.Builtin, PlutusCore.Builtin, PlutusCore.Builtin.Debug, PlutusCore.Builtin.Debug |
costIsAcceptable | PlutusIR.Transform.Inline.Utils |
CostLast | PlutusCore.Evaluation.Machine.CostStream |
CostModel | |
1 (Type/Class) | PlutusCore.Evaluation.Machine.MachineParameters |
2 (Data Constructor) | PlutusCore.Evaluation.Machine.MachineParameters |
3 (Type/Class) | Opts |
CostModelApplyError | PlutusCore.Evaluation.Machine.CostModelInterface, PlutusLedgerApi.Common.ParamName, 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 |
CostModelApplyWarn | PlutusCore.Evaluation.Machine.CostModelInterface, PlutusLedgerApi.Common.ParamName, PlutusLedgerApi.Common |
costModelDataDir | PlutusCore.DataFilePaths |
CostModelParameterMismatch | PlutusLedgerApi.Common.Eval, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
CostModelParams | PlutusCore.Evaluation.Machine.CostModelInterface, 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 |
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 |
CounterSize | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
Counting | Opts |
counting | UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
countingbudget | Opts |
CountingSt | |
1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
CountSetBits | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
countSetBits | |
1 (Function) | PlutusCore.Bitwise |
2 (Function) | PlutusTx.Builtins.Internal |
3 (Function) | PlutusTx.Builtins, PlutusTx.Prelude |
CountSetBits'cpu'arguments'intercept | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
CountSetBits'cpu'arguments'slope | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
CountSetBits'memory'arguments | 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 |
CoverageOpts | |
1 (Type/Class) | PlutusTx.Compiler.Types |
2 (Data Constructor) | PlutusTx.Compiler.Types |
CoverageReport | |
1 (Type/Class) | PlutusTx.Coverage |
2 (Data Constructor) | PlutusTx.Coverage |
CoverageType | PlutusTx.Compiler.Types |
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_146 | MAlonzo.Code.Cost.Raw |
cover_DATA_450 | 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_Fixity_28 | MAlonzo.Code.Agda.Builtin.Reflection |
cover_Kind_476 | MAlonzo.Code.Utils |
cover_LinearFunction_32 | MAlonzo.Code.Cost.Raw |
cover_List_382 | MAlonzo.Code.Utils |
cover_OneVariableQuadraticFunction_44 | MAlonzo.Code.Cost.Raw |
cover_Precedence_22 | MAlonzo.Code.Agda.Builtin.Reflection |
cover_RawModel_108 | MAlonzo.Code.Cost.Raw |
cover_RawTm_30 | MAlonzo.Code.Raw |
cover_RawTyCon_4 | MAlonzo.Code.Raw |
cover_RawTy_2 | MAlonzo.Code.Raw |
cover_RuntimeError_348 | MAlonzo.Code.Utils |
cover_ScopeError_576 | MAlonzo.Code.Scoped |
cover_SimplifierTag_2 | MAlonzo.Code.VerifiedCompilation |
cover_TagCon_58 | MAlonzo.Code.RawU |
cover_Tag_28 | MAlonzo.Code.RawU |
cover_TwoVariableLinearFunction_60 | MAlonzo.Code.Cost.Raw |
cover_TwoVariableQuadraticFunction_76 | MAlonzo.Code.Cost.Raw |
cover_TypecheckOptions_30 | MAlonzo.Code.Main |
cover_Untyped_146 | MAlonzo.Code.RawU |
cover__'215'__364 | 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 | PlutusLedgerApi.V1.Credential, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
CSE | UntypedPlutusCore.Transform.Simplifier |
cse | UntypedPlutusCore.Transform.Cse |
csNextStep | PlutusTx.Compiler.Types |
csPreviousSteps | PlutusTx.Compiler.Types |
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 |
CurrencySymbol | |
1 (Type/Class) | PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
2 (Data Constructor) | PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
3 (Type/Class) | PlutusLedgerApi.V1.Data.Value, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.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 |
currencySymbolValueOf | |
1 (Function) | PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1 |
2 (Function) | PlutusLedgerApi.V1.Data.Value |
currentLevel | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
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'_478 | 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'_1112 | MAlonzo.Code.Algorithmic.CEK |
C_'45''183''8902'_382 | MAlonzo.Code.Algorithmic.ReductionEC |
C_'45''183'v_1098 | 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'_1092 | 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'_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'_268 | MAlonzo.Code.Algorithmic |
C_'91''93'_308 | MAlonzo.Code.Utils.List |
C_'91''93'_32 | MAlonzo.Code.Data.Vec.Base |
C_'91''93'_386 | MAlonzo.Code.Utils |
C_'91''93'_402 | MAlonzo.Code.Utils.List |
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'_114 | MAlonzo.Code.Declarative |
C_'96'_174 | MAlonzo.Code.Algorithmic |
C_'96'_18 | |
1 (Data Constructor) | MAlonzo.Code.Scoped |
2 (Data Constructor) | MAlonzo.Code.Untyped |
C_'96'_22 | MAlonzo.Code.Type |
C_'96'_28 | MAlonzo.Code.Builtin.Signature |
C_'96'_32 | 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'_1194 | MAlonzo.Code.Algorithmic.CEK |
C_'9633'_226 | MAlonzo.Code.Untyped.CEK |
C_'9633'_50 | MAlonzo.Code.Algorithmic.CK |
C_'9670'_1196 | 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'_480 | MAlonzo.Code.Utils |
C_0ℙ_8 | MAlonzo.Code.Data.Parity.Base |
C_1ℙ_10 | MAlonzo.Code.Data.Parity.Base |
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_absurd'45'clause_278 | MAlonzo.Code.Agda.Builtin.Reflection |
C_absurd_264 | MAlonzo.Code.Agda.Builtin.Reflection |
C_abs_122 | MAlonzo.Code.Agda.Builtin.Reflection |
C_aBytestring_10 | MAlonzo.Code.Builtin.Constant.AtomicType |
C_acc_52 | MAlonzo.Code.Induction.WellFounded |
C_aData_18 | MAlonzo.Code.Builtin.Constant.AtomicType |
C_AddedSizes_112 | 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_794 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
C_AlternativeMagma'46'constructor_5457 | MAlonzo.Code.Algebra.Bundles |
C_andByteString_154 | MAlonzo.Code.Builtin |
C_ApartnessRelation'46'constructor_25337 | MAlonzo.Code.Relation.Binary.Bundles |
C_app'8902'_120 | MAlonzo.Code.Untyped.CEK |
C_appendByteString_24 | MAlonzo.Code.Builtin |
C_appendString_52 | MAlonzo.Code.Builtin |
C_appfd'8315''185'_58 | MAlonzo.Code.VerifiedCompilation.UForceDelay |
C_appfd_50 | MAlonzo.Code.VerifiedCompilation.UForceDelay |
C_app_106 | MAlonzo.Code.Untyped.CEK |
C_app_48 | MAlonzo.Code.VerifiedCompilation.UntypedTranslation |
C_app_50 | MAlonzo.Code.VerifiedCompilation.UFloatDelay |
C_arg'45'info_82 | MAlonzo.Code.Agda.Builtin.Reflection |
C_argtype_66 | MAlonzo.Code.Builtin.Signature |
C_Arg_62 | MAlonzo.Code.Text.Format.Generic |
C_arg_98 | MAlonzo.Code.Agda.Builtin.Reflection |
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_460 | MAlonzo.Code.Utils |
C_bData_90 | 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_148 | 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_144 | MAlonzo.Code.Builtin |
C_bls12'45'381'45'G1'45'add_112 | MAlonzo.Code.Builtin |
C_bls12'45'381'45'G1'45'compress_122 | MAlonzo.Code.Builtin |
C_bls12'45'381'45'g1'45'element_52 | MAlonzo.Code.RawU |
C_bls12'45'381'45'G1'45'equal_118 | MAlonzo.Code.Builtin |
C_bls12'45'381'45'G1'45'hashToGroup_120 | MAlonzo.Code.Builtin |
C_bls12'45'381'45'G1'45'neg_114 | MAlonzo.Code.Builtin |
C_bls12'45'381'45'G1'45'scalarMul_116 | MAlonzo.Code.Builtin |
C_bls12'45'381'45'G1'45'uncompress_124 | MAlonzo.Code.Builtin |
C_bls12'45'381'45'G2'45'add_126 | MAlonzo.Code.Builtin |
C_bls12'45'381'45'G2'45'compress_136 | MAlonzo.Code.Builtin |
C_bls12'45'381'45'g2'45'element_54 | MAlonzo.Code.RawU |
C_bls12'45'381'45'G2'45'equal_132 | MAlonzo.Code.Builtin |
C_bls12'45'381'45'G2'45'hashToGroup_134 | MAlonzo.Code.Builtin |
C_bls12'45'381'45'G2'45'neg_128 | MAlonzo.Code.Builtin |
C_bls12'45'381'45'G2'45'scalarMul_130 | MAlonzo.Code.Builtin |
C_bls12'45'381'45'G2'45'uncompress_138 | MAlonzo.Code.Builtin |
C_bls12'45'381'45'millerLoop_140 | MAlonzo.Code.Builtin |
C_bls12'45'381'45'mlresult_56 | MAlonzo.Code.RawU |
C_bls12'45'381'45'mulMlResult_142 | 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_274 | MAlonzo.Code.Builtin.Signature |
C_BStartup_42 | MAlonzo.Code.Cost.Base |
C_BStep_36 | MAlonzo.Code.Cost.Base |
C_bubble_1136 | MAlonzo.Code.Utils.List |
C_bubble_132 | MAlonzo.Code.Utils |
C_bubble_700 | MAlonzo.Code.Utils.List |
C_builtinError_102 | MAlonzo.Code.Check |
C_BuiltinModel'46'constructor_581 | MAlonzo.Code.Cost.Model |
C_builtin_'47'__254 | MAlonzo.Code.Algorithmic |
C_builtin_166 | MAlonzo.Code.Declarative |
C_builtin_44 | MAlonzo.Code.Untyped |
C_builtin_46 | MAlonzo.Code.Raw |
C_builtin_544 | MAlonzo.Code.Scoped |
C_builtin_60 | MAlonzo.Code.VerifiedCompilation.UFloatDelay |
C_builtin_86 | MAlonzo.Code.VerifiedCompilation.UntypedTranslation |
C_BVar_10 | MAlonzo.Code.Cost.Base |
C_byteStringToInteger_150 | MAlonzo.Code.Builtin |
C_bytestring_32 | MAlonzo.Code.RawU |
C_CancellativeCommutativeSemiring'46'constructor_48119 | MAlonzo.Code.Algebra.Bundles |
C_case'45'_1160 | MAlonzo.Code.Algorithmic.CEK |
C_case'45'_216 | MAlonzo.Code.Untyped.CEK |
C_case'45'_428 | MAlonzo.Code.Algorithmic.ReductionEC |
C_caseOfCaseT_8 | MAlonzo.Code.VerifiedCompilation |
C_caseReduceNotImplemented_76 | MAlonzo.Code.VerifiedCompilation |
C_caseReduceT_10 | MAlonzo.Code.VerifiedCompilation |
C_case_154 | MAlonzo.Code.Declarative |
C_case_242 | MAlonzo.Code.Algorithmic |
C_case_40 | MAlonzo.Code.Untyped |
C_case_564 | MAlonzo.Code.Scoped |
C_case_568 | MAlonzo.Code.Algorithmic.ReductionEC |
C_case_66 | MAlonzo.Code.Raw |
C_case_74 | MAlonzo.Code.VerifiedCompilation.UFloatDelay |
C_case_82 | MAlonzo.Code.VerifiedCompilation.UntypedTranslation |
C_Center_96 | MAlonzo.Code.Data.String.Base |
C_CharArg_12 | MAlonzo.Code.Text.Format |
C_char_140 | MAlonzo.Code.Agda.Builtin.Reflection |
C_chooseData_80 | 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_160 | MAlonzo.Code.Builtin |
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_140 | MAlonzo.Code.Cost.Raw |
C_ConstantCost_110 | MAlonzo.Code.Cost.Raw |
C_constantCost_12 | MAlonzo.Code.Cost.Model |
C_ConstBelowDiagonal_142 | MAlonzo.Code.Cost.Raw |
C_ConstOffDiagonal_144 | MAlonzo.Code.Cost.Raw |
C_constr'45'_1148 | MAlonzo.Code.Algorithmic.CEK |
C_constr'45'_210 | MAlonzo.Code.Untyped.CEK |
C_constr'45'_420 | MAlonzo.Code.Algorithmic.ReductionEC |
C_ConstrDATA_452 | MAlonzo.Code.Utils |
C_constrData_82 | MAlonzo.Code.Builtin |
C_constr_142 | MAlonzo.Code.Declarative |
C_constr_230 | MAlonzo.Code.Algorithmic |
C_constr_34 | MAlonzo.Code.Untyped |
C_constr_556 | MAlonzo.Code.Scoped |
C_constr_558 | MAlonzo.Code.Algorithmic.ReductionEC |
C_constr_58 | MAlonzo.Code.Raw |
C_constr_72 | MAlonzo.Code.VerifiedCompilation.UntypedTranslation |
C_constr_82 | MAlonzo.Code.VerifiedCompilation.UFloatDelay |
C_cons_102 | MAlonzo.Code.VerifiedCompilation |
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_22 | MAlonzo.Code.Type.BetaNormal |
C_con_244 | MAlonzo.Code.Agda.Builtin.Reflection |
C_con_248 | MAlonzo.Code.Algorithmic |
C_con_28 | MAlonzo.Code.Untyped |
C_con_30 | MAlonzo.Code.Scoped |
C_con_36 | MAlonzo.Code.Type |
C_con_42 | MAlonzo.Code.Raw |
C_con_538 | MAlonzo.Code.Scoped |
C_con_64 | MAlonzo.Code.VerifiedCompilation.UntypedTranslation |
C_con_66 | MAlonzo.Code.VerifiedCompilation.UFloatDelay |
C_Counting_42 | MAlonzo.Code.Evaluator.Program |
C_countSetBits_172 | MAlonzo.Code.Builtin |
C_cseT_14 | MAlonzo.Code.VerifiedCompilation |
C_cse_16 | 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.VerifiedCompilation.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_delayfd_108 | MAlonzo.Code.VerifiedCompilation.UForceDelay |
C_delay_26 | MAlonzo.Code.Untyped |
C_delay_40 | MAlonzo.Code.VerifiedCompilation.UFloatDelay |
C_delay_60 | MAlonzo.Code.VerifiedCompilation.UntypedTranslation |
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_dot_248 | MAlonzo.Code.Agda.Builtin.Reflection |
C_E'45'error_1078 | MAlonzo.Code.Algorithmic.CEK |
C_E'45'error_346 | MAlonzo.Code.Algorithmic.ReductionEC |
C_empty_88 | MAlonzo.Code.VerifiedCompilation |
C_encodeUtf8_56 | MAlonzo.Code.Builtin |
C_equalsByteString_34 | MAlonzo.Code.Builtin |
C_equalsData_102 | 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'46'constructor_421 | MAlonzo.Code.Text.Printf.Generic |
C_error_170 | MAlonzo.Code.Declarative |
C_error_258 | MAlonzo.Code.Algorithmic |
C_error_26 | MAlonzo.Code.Algorithmic.Evaluation |
C_error_44 | MAlonzo.Code.Raw |
C_error_46 | MAlonzo.Code.Untyped |
C_error_54 | MAlonzo.Code.VerifiedCompilation.UFloatDelay |
C_error_540 | MAlonzo.Code.Scoped |
C_error_88 | MAlonzo.Code.VerifiedCompilation.UntypedTranslation |
C_EvalOpts_28 | MAlonzo.Code.Main |
C_Eval_40 | MAlonzo.Code.Main |
C_expModInteger_178 | MAlonzo.Code.Builtin |
C_f'60't_20 | MAlonzo.Code.Data.Bool.Base |
C_f'8804't_12 | MAlonzo.Code.Data.Bool.Base |
C_false_8 | MAlonzo.Code.Agda.Builtin.Bool |
C_findFirstSetBit_174 | MAlonzo.Code.Builtin |
C_fixity_30 | MAlonzo.Code.Agda.Builtin.Reflection |
C_FIXME_12 | MAlonzo.Code.VerifiedCompilation.Purity |
C_FlexibleMagma'46'constructor_6559 | MAlonzo.Code.Algebra.Bundles |
C_FloatArg_10 | MAlonzo.Code.Text.Format |
C_floatDelayT_4 | MAlonzo.Code.VerifiedCompilation |
C_floatdelay_488 | MAlonzo.Code.VerifiedCompilation.UFloatDelay |
C_float_136 | MAlonzo.Code.Agda.Builtin.Reflection |
C_force'45'_206 | MAlonzo.Code.Untyped.CEK |
C_forceDelayT_6 | MAlonzo.Code.VerifiedCompilation |
C_forcedelay_18 | MAlonzo.Code.VerifiedCompilation.UForceDelay |
C_forced_32 | MAlonzo.Code.VerifiedCompilation.UFloatDelay |
C_forcefd_98 | MAlonzo.Code.VerifiedCompilation.UForceDelay |
C_force_24 | MAlonzo.Code.Untyped |
C_force_36 | MAlonzo.Code.VerifiedCompilation.UFloatDelay |
C_force_54 | MAlonzo.Code.VerifiedCompilation.UntypedTranslation |
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_350 | 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_30775 | MAlonzo.Code.VerifiedCompilation.Equality |
C_iDATA_458 | MAlonzo.Code.Utils |
C_iData_88 | 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_60 | MAlonzo.Code.Builtin |
C_implication_8 | MAlonzo.Code.Function.Related.Propositional |
C_implication_96 | MAlonzo.Code.Function.Related.Propositional |
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_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_inlineNotImplemented_66 | MAlonzo.Code.VerifiedCompilation |
C_inlineT_12 | MAlonzo.Code.VerifiedCompilation |
C_instance'8242'_54 | MAlonzo.Code.Agda.Builtin.Reflection |
C_integerToByteString_152 | 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_154 | 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_704 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
C_IsCancellativeCommutativeSemiring'46'constructor_55863 | MAlonzo.Code.Algebra.Structures |
C_iscase_586 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
C_isCoCCase_58 | MAlonzo.Code.VerifiedCompilation.UCaseOfCase |
C_isCoCForce_162 | MAlonzo.Code.VerifiedCompilation.UCaseOfCase |
C_isCoC_26 | MAlonzo.Code.VerifiedCompilation |
C_isCoC_28 | 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_488 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
C_iscon_444 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
C_isCSE_56 | MAlonzo.Code.VerifiedCompilation |
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_362 | 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_740 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
C_isFD_36 | MAlonzo.Code.VerifiedCompilation |
C_isFlD_46 | MAlonzo.Code.VerifiedCompilation |
C_IsFlexibleMagma'46'constructor_6681 | MAlonzo.Code.Algebra.Structures |
C_isforce_276 | 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_62 | 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_778 | 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_28 | MAlonzo.Code.VerifiedCompilation.UntypedTranslation |
C_IsUnitalMagma'46'constructor_14317 | MAlonzo.Code.Algebra.Structures |
C_isvar_20 | 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_146 | MAlonzo.Code.Builtin |
C_kindMismatch_18 | MAlonzo.Code.Check |
C_KleeneAlgebra'46'constructor_54207 | MAlonzo.Code.Algebra.Bundles |
C_lam_190 | MAlonzo.Code.Agda.Builtin.Reflection |
C_lastdelay_118 | 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_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_128 | MAlonzo.Code.Cost.Raw |
C_LinearInX_120 | MAlonzo.Code.Cost.Raw |
C_LinearInYAndZ_130 | MAlonzo.Code.Cost.Raw |
C_LinearInY_122 | MAlonzo.Code.Cost.Raw |
C_LinearInZ_124 | MAlonzo.Code.Cost.Raw |
C_ListDATA_456 | MAlonzo.Code.Utils |
C_listData_86 | 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_126 | 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_454 | MAlonzo.Code.Utils |
C_mapData_84 | MAlonzo.Code.Builtin |
C_MaxOperator'46'constructor_1665 | MAlonzo.Code.Algebra.Construct.NaturalChoice.Base |
C_MaxSize_118 | 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_116 | MAlonzo.Code.Cost.Raw |
C_minSize_40 | MAlonzo.Code.Cost.Model |
C_mkCons_72 | MAlonzo.Code.Builtin |
C_mkCpuAndMemoryModel_156 | MAlonzo.Code.Cost.Raw |
C_mkExBudget_62 | MAlonzo.Code.Cost |
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_108 | MAlonzo.Code.Builtin |
C_mkNilPairData_110 | MAlonzo.Code.Builtin |
C_mkOneVariableQuadraticFunction_58 | MAlonzo.Code.Cost.Raw |
C_mkPairData_106 | MAlonzo.Code.Builtin |
C_mkTwoVariableLinearFunction_74 | MAlonzo.Code.Cost.Raw |
C_mkTwoVariableQuadraticFunction_106 | 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_12257 | 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_multiabstractfd_142 | MAlonzo.Code.VerifiedCompilation.UForceDelay |
C_multiappliedfd_132 | MAlonzo.Code.VerifiedCompilation.UForceDelay |
C_MultipliedSizes_114 | 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_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_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_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_156 | MAlonzo.Code.Builtin |
C_out'45'of'45'gas_22 | MAlonzo.Code.Algorithmic.Evaluation |
C_pair_12 | MAlonzo.Code.Builtin.Constant.Type |
C_pair_20 | MAlonzo.Code.Builtin.Signature |
C_pair_28 | 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_474 | MAlonzo.Code.VerifiedCompilation |
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_28 | MAlonzo.Code.VerifiedCompilation.UForceDelay |
C_quadraticCostIn1_20 | MAlonzo.Code.Cost.Model |
C_quadraticCostIn2_24 | MAlonzo.Code.Cost.Model |
C_QuadraticInXAndY_136 | MAlonzo.Code.Cost.Raw |
C_QuadraticInY_132 | MAlonzo.Code.Cost.Raw |
C_QuadraticInZ_134 | 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_162 | MAlonzo.Code.Builtin |
C_record'45'type_296 | MAlonzo.Code.Agda.Builtin.Reflection |
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_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_166 | 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_176 | MAlonzo.Code.Builtin |
C_rotateByteString_170 | 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_354 | MAlonzo.Code.Utils |
C_s'8804's_34 | MAlonzo.Code.Data.Nat.Base |
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_104 | 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_168 | MAlonzo.Code.Builtin |
C_sig_86 | 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_124 | 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_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_138 | 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Π_320 | 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_62 | 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_TL_50 | MAlonzo.Code.Evaluator.Program |
C_tmCon_202 | 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_814 | 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_42 | MAlonzo.Code.VerifiedCompilation.UForceDelay |
C_trans_394 | MAlonzo.Code.Induction.WellFounded |
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_152 | MAlonzo.Code.RawU |
C_UBuiltin_158 | MAlonzo.Code.RawU |
C_UCase_166 | MAlonzo.Code.RawU |
C_UConstr_164 | MAlonzo.Code.RawU |
C_UCon_154 | MAlonzo.Code.RawU |
C_UDelay_160 | MAlonzo.Code.RawU |
C_UError_156 | MAlonzo.Code.RawU |
C_UForce_162 | MAlonzo.Code.RawU |
C_ULambda_150 | MAlonzo.Code.RawU |
C_UltraMetric'46'constructor_8503 | MAlonzo.Code.Function.Metric.Nat.Bundles |
C_unBData_100 | MAlonzo.Code.Builtin |
C_unConstrData_92 | MAlonzo.Code.Builtin |
C_UnexpectedEndOfString_84 | MAlonzo.Code.Text.Format.Generic |
C_unIData_98 | 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_238 | MAlonzo.Code.Agda.Builtin.Reflection |
C_unListData_96 | MAlonzo.Code.Builtin |
C_unMapData_94 | MAlonzo.Code.Builtin |
C_unrelated_26 | MAlonzo.Code.Agda.Builtin.Reflection |
C_unwrap'45'_1128 | 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_220 | MAlonzo.Code.Algorithmic |
C_unwrap_50 | MAlonzo.Code.Raw |
C_unwrap_548 | MAlonzo.Code.Scoped |
C_userError_352 | MAlonzo.Code.Utils |
C_UVar_148 | 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_252 | MAlonzo.Code.Agda.Builtin.Reflection |
C_var_28 | MAlonzo.Code.VerifiedCompilation.UFloatDelay |
C_var_32 | MAlonzo.Code.VerifiedCompilation.UntypedTranslation |
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_word64_132 | MAlonzo.Code.Agda.Builtin.Reflection |
C_wrap'45'_1120 | MAlonzo.Code.Algorithmic.CEK |
C_wrap'45'_390 | MAlonzo.Code.Algorithmic.ReductionEC |
C_wrap_130 | MAlonzo.Code.Declarative |
C_wrap_210 | MAlonzo.Code.Algorithmic |
C_wrap_48 | MAlonzo.Code.Raw |
C_wrap_522 | MAlonzo.Code.Algorithmic.ReductionEC |
C_wrap_546 | MAlonzo.Code.Scoped |
C_writeBits_164 | MAlonzo.Code.Builtin |
C_xorByteString_158 | 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'__36 | MAlonzo.Code.VerifiedCompilation.UForceDelay |
C__'183''45'_1104 | MAlonzo.Code.Algorithmic.CEK |
C__'183''45'_204 | MAlonzo.Code.Untyped.CEK |
C__'183''45'_374 | MAlonzo.Code.Algorithmic.ReductionEC |
C__'183''8902'_'47'__202 | MAlonzo.Code.Algorithmic |
C__'183''8902'_'47'__512 | MAlonzo.Code.Algorithmic.ReductionEC |
C__'183''8902'__124 | MAlonzo.Code.Declarative |
C__'183''8902'__36 | 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'__186 | MAlonzo.Code.Algorithmic |
C__'183'__22 | MAlonzo.Code.Untyped |
C__'183'__26 | MAlonzo.Code.Scoped |
C__'183'__30 | MAlonzo.Code.Type |
C__'183'__40 | MAlonzo.Code.Raw |
C__'183'__536 | MAlonzo.Code.Scoped |
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'__1176 | MAlonzo.Code.Algorithmic.CEK |
C__'44'__12 | |
1 (Data Constructor) | MAlonzo.Code.Algorithmic |
2 (Data Constructor) | MAlonzo.Code.Untyped.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'__318 | MAlonzo.Code.Utils |
C__'44'__32 | MAlonzo.Code.Agda.Builtin.Sigma |
C__'44'__378 | MAlonzo.Code.Utils |
C__'44'__40 | MAlonzo.Code.Algebra.Definitions.RawMagma |
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'_34 | 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'__482 | MAlonzo.Code.Utils |
C__'8658'__8 | MAlonzo.Code.Raw |
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'__280 | 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'__388 | 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'__1188 | 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'__1192 | MAlonzo.Code.Algorithmic.CEK |
C__'9669'__224 | MAlonzo.Code.Untyped.CEK |
C__'9669'__46 | MAlonzo.Code.Algorithmic.CK |
C__B'8658'__296 | MAlonzo.Code.Builtin.Signature |
C__because__32 | MAlonzo.Code.Relation.Nullary.Decidable.Core |
C__l'183'__490 | MAlonzo.Code.Algorithmic.ReductionEC |
C_ƛ'8801'β_24 | MAlonzo.Code.Type.Equality |
C_ƛ_116 | MAlonzo.Code.Declarative |
C_ƛ_12 | MAlonzo.Code.Raw |
C_ƛ_18 | MAlonzo.Code.Type.BetaNormal |
C_ƛ_180 | MAlonzo.Code.Algorithmic |
C_ƛ_20 | MAlonzo.Code.Untyped |
C_ƛ_24 | MAlonzo.Code.Scoped |
C_ƛ_28 | MAlonzo.Code.Type |
C_ƛ_38 | |
1 (Data Constructor) | MAlonzo.Code.Raw |
2 (Data Constructor) | MAlonzo.Code.VerifiedCompilation.UntypedTranslation |
C_ƛ_46 | MAlonzo.Code.VerifiedCompilation.UFloatDelay |
C_ƛ_534 | MAlonzo.Code.Scoped |
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_ε_10 | MAlonzo.Code.Untyped.CEK |
C_ε_1170 | MAlonzo.Code.Algorithmic.CEK |
C_ε_22 | MAlonzo.Code.Algorithmic.CK |
C_Λ_120 | MAlonzo.Code.Declarative |
C_Λ_192 | MAlonzo.Code.Algorithmic |
C_Λ_34 | 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_Π'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 |