| cachedBuiltin | PlutusCore.Parser |
| cannotFindModule | OccName, GhcPlugins |
| Case | |
| 1 (Data Constructor) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Data Constructor) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| 3 (Data Constructor) | OccName, GhcPlugins |
| caseData | PlutusCore.StdLib.Data.Data |
| caseList | PlutusCore.StdLib.Data.List |
| caseOfCase | UntypedPlutusCore.Transform.CaseOfCase |
| Cast | OccName, GhcPlugins |
| CBORDeserialiseError | PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
| cekApplyCost | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
| CekApplyCost'exBudgetCPU | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3 |
| CekApplyCost'exBudgetMemory | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3 |
| CekBudgetSpender | |
| 1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| 2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| cekBuiltinCost | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
| CekBuiltinCost'exBudgetCPU | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3 |
| CekBuiltinCost'exBudgetMemory | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3 |
| cekCaseCost | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
| CekCaseCost'exBudgetCPU | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3 |
| CekCaseCost'exBudgetMemory | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3 |
| cekConstCost | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
| CekConstCost'exBudgetCPU | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3 |
| CekConstCost'exBudgetMemory | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3 |
| cekConstrCost | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
| CekConstrCost'exBudgetCPU | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3 |
| CekConstrCost'exBudgetMemory | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3 |
| cekDelayCost | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
| CekDelayCost'exBudgetCPU | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3 |
| CekDelayCost'exBudgetMemory | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.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, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
| CekEvaluationException | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| CekEvaluationFailure | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| CekExTally | |
| 1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| 2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| cekForceCost | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
| CekForceCost'exBudgetCPU | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3 |
| CekForceCost'exBudgetMemory | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3 |
| cekLamCost | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
| CekLamCost'exBudgetCPU | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3 |
| CekLamCost'exBudgetMemory | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3 |
| CekM | |
| 1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| 2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| CekMachineCosts | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts, PlutusCore.Evaluation.Machine.CostModelInterface, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| CekMachineCostsBase | |
| 1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
| 2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
| cekMachineCostsFile | PlutusCore.DataFilePaths |
| cekMachineCostsPrefix | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
| CekOutOfExError | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| cekStartupCost | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
| CekStartupCost'exBudgetCPU | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3 |
| CekStartupCost'exBudgetMemory | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.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.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| CekValEnv | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| CekValue | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| cekVarCost | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
| CekVarCost'exBudgetCPU | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3 |
| CekVarCost'exBudgetMemory | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3 |
| Cert | PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V2.Tx |
| Certifying | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V1, PlutusLedgerApi.V2 |
| 2 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| ChangedParameters | |
| 1 (Type/Class) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| 2 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| charDataCon | OccName, GhcPlugins |
| charTy | OccName, GhcPlugins |
| charTyConName | OccName, GhcPlugins |
| check | PlutusTx.Prelude |
| checkEmptyOn | PlutusCore.Check.Scoping |
| checkHasFailedError | PlutusTx.ErrorCodes |
| checkKind | PlutusCore.TypeCheck, PlutusCore |
| 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 |
| checkRespectsScoping | PlutusCore.Check.Scoping |
| checkScope | UntypedPlutusCore.Check.Scope, UntypedPlutusCore |
| checkScopeInfo | PlutusCore.Check.Scoping |
| checkStar | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| checkTerm | |
| 1 (Function) | PlutusCore.Check.Uniques |
| 2 (Function) | PlutusCore.Check.Normal |
| 3 (Function) | UntypedPlutusCore.Check.Uniques |
| checkType | PlutusCore.TypeCheck, PlutusCore |
| checkTypeAgda | MAlonzo.Code.Evaluator.Term |
| checkTypeM | PlutusCore.TypeCheck.Internal |
| checkTypeOfProgram | PlutusCore.TypeCheck, PlutusCore |
| check_'42'_470 | MAlonzo.Code.Utils |
| check_'91''93'_384 | MAlonzo.Code.Utils |
| check_'96'_32 | MAlonzo.Code.Raw |
| check_'96'_6 | MAlonzo.Code.Raw |
| check_'9839'_472 | 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_64 | MAlonzo.Code.Cost.Raw |
| check_addInteger_4 | MAlonzo.Code.Builtin |
| check_aInteger_8 | MAlonzo.Code.Builtin.Constant.AtomicType |
| 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_458 | 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_case_66 | MAlonzo.Code.Raw |
| check_chooseData_80 | MAlonzo.Code.Builtin |
| check_chooseList_70 | MAlonzo.Code.Builtin |
| check_chooseUnit_62 | MAlonzo.Code.Builtin |
| check_consByteString_26 | MAlonzo.Code.Builtin |
| check_ConstAboveDiagonal_86 | MAlonzo.Code.Cost.Raw |
| check_ConstantCost_62 | MAlonzo.Code.Cost.Raw |
| check_ConstBelowDiagonal_88 | MAlonzo.Code.Cost.Raw |
| check_ConstOffDiagonal_90 | MAlonzo.Code.Cost.Raw |
| check_ConstrDATA_450 | 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_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_fixity_30 | MAlonzo.Code.Agda.Builtin.Reflection |
| 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_456 | 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_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_LinearInX_72 | MAlonzo.Code.Cost.Raw |
| check_LinearInY_74 | MAlonzo.Code.Cost.Raw |
| check_LinearInZ_76 | MAlonzo.Code.Cost.Raw |
| check_ListDATA_454 | MAlonzo.Code.Utils |
| check_listData_86 | MAlonzo.Code.Builtin |
| check_list_26 | MAlonzo.Code.Raw |
| check_list_50 | MAlonzo.Code.RawU |
| check_LiteralInYOrLinearInZ_78 | MAlonzo.Code.Cost.Raw |
| check_MapDATA_452 | MAlonzo.Code.Utils |
| check_mapData_84 | MAlonzo.Code.Builtin |
| check_MaxSize_70 | MAlonzo.Code.Cost.Raw |
| check_MinSize_68 | MAlonzo.Code.Cost.Raw |
| check_mkCons_72 | MAlonzo.Code.Builtin |
| check_mkCpuAndMemoryModel_102 | MAlonzo.Code.Cost.Raw |
| check_mkLinearFunction_42 | MAlonzo.Code.Cost.Raw |
| check_mkNilData_108 | MAlonzo.Code.Builtin |
| check_mkNilPairData_110 | MAlonzo.Code.Builtin |
| check_mkPairData_106 | MAlonzo.Code.Builtin |
| check_mkQuadraticFunction_58 | MAlonzo.Code.Cost.Raw |
| check_modInteger_16 | MAlonzo.Code.Builtin |
| check_MultipliedSizes_66 | 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_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_QuadraticInY_80 | MAlonzo.Code.Cost.Raw |
| check_QuadraticInZ_82 | MAlonzo.Code.Cost.Raw |
| check_quotientInteger_12 | MAlonzo.Code.Builtin |
| check_related_24 | MAlonzo.Code.Agda.Builtin.Reflection |
| check_remainderInteger_14 | MAlonzo.Code.Builtin |
| check_right'45'assoc_18 | MAlonzo.Code.Agda.Builtin.Reflection |
| 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_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_84 | 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__'183''8902'__36 | MAlonzo.Code.Raw |
| check__'183'__14 | MAlonzo.Code.Raw |
| check__'183'__40 | MAlonzo.Code.Raw |
| check__'44'__376 | MAlonzo.Code.Utils |
| check__'8658'__474 | MAlonzo.Code.Utils |
| check__'8658'__8 | MAlonzo.Code.Raw |
| check__'8759'__386 | 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 |
| 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 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3 |
| ChooseData'memory'arguments | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3 |
| 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 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3 |
| ChooseList'memory'arguments | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.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 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3 |
| ChooseUnit'memory'arguments | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.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 |
| CkValue | PlutusCore.Evaluation.Machine.Ck |
| Class | OccName, GhcPlugins |
| classAllSelIds | OccName, GhcPlugins |
| classifiesTypeWithValues | OccName, GhcPlugins |
| ClassOpId | OccName, GhcPlugins |
| Class_ | OccName, GhcPlugins |
| Closed | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| Closure | PlutusLedgerApi.V1.Interval, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
| cmActual | PlutusCore.Evaluation.Machine.CostModelInterface, PlutusLedgerApi.Common |
| Cmd | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
| CmdLineError | OccName, GhcPlugins |
| cmExpected | PlutusCore.Evaluation.Machine.CostModelInterface, PlutusLedgerApi.Common |
| CMInternalReadError | PlutusCore.Evaluation.Machine.CostModelInterface, PlutusLedgerApi.Common, PlutusLedgerApi.V1.EvaluationContext, PlutusLedgerApi.V2.EvaluationContext, PlutusLedgerApi.V3.EvaluationContext, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
| CMInternalWriteError | PlutusCore.Evaluation.Machine.CostModelInterface, PlutusLedgerApi.Common, PlutusLedgerApi.V1.EvaluationContext, PlutusLedgerApi.V2.EvaluationContext, PlutusLedgerApi.V3.EvaluationContext, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
| CMTooFewParamsWarn | PlutusCore.Evaluation.Machine.CostModelInterface, PlutusLedgerApi.Common |
| CMTooManyParamsWarn | PlutusCore.Evaluation.Machine.CostModelInterface, PlutusLedgerApi.Common |
| CMUnknownParamError | PlutusCore.Evaluation.Machine.CostModelInterface, PlutusLedgerApi.Common, PlutusLedgerApi.V1.EvaluationContext, PlutusLedgerApi.V2.EvaluationContext, PlutusLedgerApi.V3.EvaluationContext, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
| CoAxiom | OccName, GhcPlugins |
| CoAxiom_ | OccName, GhcPlugins |
| coBuiltinSemanticsVariant | PlutusCore.Compiler.Opts, PlutusCore.Compiler |
| CodecError | PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
| coe | MAlonzo.RTE |
| coeff0_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| coeff1_ | 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 |
| 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 |
| 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 |
| coerce | PlutusPrelude |
| coerceArg | PlutusPrelude |
| coerceRes | PlutusPrelude |
| coerceVia | PlutusPrelude |
| Coercible | PlutusPrelude |
| Coercion | |
| 1 (Data Constructor) | OccName, GhcPlugins |
| 2 (Type/Class) | OccName, GhcPlugins |
| Coercion_ | OccName, GhcPlugins |
| ColdCommitteeCredential | |
| 1 (Type/Class) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| 2 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| CollectScopeInfo | PlutusCore.Check.Scoping |
| collectScopeInfo | PlutusCore.Check.Scoping |
| Comma | PlutusCore.Examples.Builtins |
| Command | Opts |
| CommandLineOption | Plugins, GhcPlugins |
| 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 |
| committeeMembers | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| committeeQuorum | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| CommitteeVoter | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| compare | PlutusTx.Ord, PlutusTx.Prelude |
| compareAlphaEq | PlutusConformance.Common |
| CompilationOpts | |
| 1 (Type/Class) | PlutusCore.Compiler.Opts, PlutusCore.Compiler |
| 2 (Data Constructor) | PlutusCore.Compiler.Opts, PlutusCore.Compiler |
| compile | PlutusTx.TH, PlutusTx |
| CompiledCode | PlutusTx.Code, PlutusTx |
| CompiledCodeIn | PlutusTx.Code, PlutusTx |
| compileProgram | PlutusCore.Compiler |
| CompilerPhase | OccName, GhcPlugins |
| compileTerm | PlutusCore.Compiler |
| compileUntyped | PlutusTx.TH, PlutusTx |
| Compiling | PlutusCore.Compiler.Types |
| compoundDocM | PlutusCore.Pretty |
| 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 |
| conBLS12_381_G1_Element | PlutusCore.Parser |
| conBLS12_381_G2_Element | PlutusCore.Parser |
| conBool | PlutusCore.Parser |
| conBS | PlutusCore.Parser |
| Concat | PlutusTx.Blueprint.Definition.Unroll, PlutusTx.Blueprint.Definition, PlutusTx.Blueprint |
| 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 |
| conData | PlutusCore.Parser |
| conDataNoParens | PlutusCore.Parser |
| CondensedErrors | PlutusCore.Pretty |
| CondensedErrorsNo | PlutusCore.Pretty |
| CondensedErrorsYes | PlutusCore.Pretty |
| conInteger | PlutusCore.Parser |
| conList | PlutusCore.Parser |
| conPair | PlutusCore.Parser |
| cons | PlutusCore.StdLib.Data.ScottList |
| consAnnIf | 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 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3 |
| ConsByteString'cpu'arguments'slope | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3 |
| ConsByteString'memory'arguments'intercept | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3 |
| ConsByteString'memory'arguments'slope | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3 |
| 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 |
| ConstAboveDiagonal | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| Constant | |
| 1 (Data Constructor) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Data Constructor) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| constant | |
| 1 (Function) | PlutusCore.MkPlc |
| 2 (Function) | PlutusCore.Parser |
| ConstantCost | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| constantOf | PlutusCore.Parser |
| ConstBelowDiagonal | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| ConstConfig | |
| 1 (Type/Class) | PlutusCore.Pretty |
| 2 (Data Constructor) | PlutusCore.Pretty |
| Constitution | |
| 1 (Type/Class) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| 2 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| constitutionScript | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| 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, PlutusTx |
| 2 (Data Constructor) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 3 (Data Constructor) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| constr | PlutusCore.MkPlc |
| ConstrData | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| ConstrData'cpu'arguments | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3 |
| ConstrData'memory'arguments | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3 |
| ConstructorSchema | PlutusTx.Blueprint.Schema, PlutusTx.Blueprint |
| Contains | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| contains | PlutusLedgerApi.V1.Interval |
| Context | |
| 1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal |
| 2 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| 3 (Type/Class) | PlutusLedgerApi.V1.Scripts |
| 4 (Data Constructor) | PlutusLedgerApi.V1.Scripts |
| conText | 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 |
| conv | |
| 1 (Function) | Raw |
| 2 (Function) | Untyped |
| convK | Raw |
| convP | |
| 1 (Function) | Raw |
| 2 (Function) | Untyped |
| convT | Raw |
| convTyCon | Raw |
| conwayPV | PlutusLedgerApi.Common.Versions |
| CoreAlt | OccName, GhcPlugins |
| CoreBind | OccName, GhcPlugins |
| CoreBndr | OccName, GhcPlugins |
| CoreCSE | OccName, GhcPlugins |
| CoreDesugar | OccName, GhcPlugins |
| CoreDesugarOpt | OccName, GhcPlugins |
| CoreDoCallArity | OccName, GhcPlugins |
| CoreDoExitify | OccName, GhcPlugins |
| CoreDoFloatInwards | OccName, GhcPlugins |
| CoreDoFloatOutwards | OccName, GhcPlugins |
| CoreDoNothing | OccName, GhcPlugins |
| CoreDoPasses | OccName, GhcPlugins |
| CoreDoPluginPass | OccName, GhcPlugins |
| CoreDoPrintCore | OccName, GhcPlugins |
| CoreDoRuleCheck | OccName, GhcPlugins |
| CoreDoSimplify | OccName, GhcPlugins |
| CoreDoSpecConstr | OccName, GhcPlugins |
| CoreDoSpecialising | OccName, GhcPlugins |
| CoreDoStaticArgs | OccName, GhcPlugins |
| CoreDoStrictness | OccName, GhcPlugins |
| CoreDoWorkerWrapper | OccName, GhcPlugins |
| CoreExpr | OccName, GhcPlugins |
| CoreLiberateCase | OccName, GhcPlugins |
| CoreM | OccName, GhcPlugins |
| CoreM_ | OccName, GhcPlugins |
| CoreOccurAnal | OccName, GhcPlugins |
| CorePluginPass | OccName, GhcPlugins |
| CorePrep | OccName, GhcPlugins |
| CoreProgram | OccName, GhcPlugins |
| CoreTidy | OccName, GhcPlugins |
| CoreToDo | OccName, GhcPlugins |
| coSimplifyOpts | PlutusCore.Compiler.Opts, PlutusCore.Compiler |
| CostCons | PlutusCore.Evaluation.Machine.CostStream |
| CostingFun | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| costingFunCpu | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| costingFunMemory | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| CostingInteger | PlutusCore.Evaluation.Machine.ExMemory |
| CostingPart | PlutusCore.Builtin, PlutusCore.Builtin, PlutusCore.Builtin.Debug, PlutusCore.Builtin.Debug |
| 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, PlutusLedgerApi.V1.EvaluationContext, PlutusLedgerApi.V2.EvaluationContext, PlutusLedgerApi.V3.EvaluationContext, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
| CostModelApplyWarn | PlutusCore.Evaluation.Machine.CostModelInterface, PlutusLedgerApi.Common |
| costModelDataDir | PlutusCore.DataFilePaths |
| CostModelParameterMismatch | PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
| CostModelParams | PlutusCore.Evaluation.Machine.CostModelInterface, PlutusLedgerApi.Common, PlutusLedgerApi.V1.EvaluationContext, PlutusLedgerApi.V2.EvaluationContext, PlutusLedgerApi.V3.EvaluationContext, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
| CostRose | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.ExMemoryUsage |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.ExMemoryUsage |
| CostStream | PlutusCore.Evaluation.Machine.CostStream |
| CounterSize | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| Counting | Opts |
| counting | UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| countingbudget | Opts |
| CountingSt | |
| 1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| 2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| CoverageAnnotation | PlutusTx.Coverage |
| coverageAnnotations | PlutusTx.Coverage |
| CoverageData | |
| 1 (Type/Class) | PlutusTx.Coverage |
| 2 (Data Constructor) | PlutusTx.Coverage |
| coverageDataFromLogMsg | PlutusTx.Coverage |
| CoverageIndex | |
| 1 (Type/Class) | PlutusTx.Coverage |
| 2 (Data Constructor) | PlutusTx.Coverage |
| CoverageMetadata | |
| 1 (Type/Class) | PlutusTx.Coverage |
| 2 (Data Constructor) | PlutusTx.Coverage |
| coverageMetadata | PlutusTx.Coverage |
| CoverageReport | |
| 1 (Type/Class) | PlutusTx.Coverage |
| 2 (Data Constructor) | PlutusTx.Coverage |
| CoverBool | PlutusTx.Coverage |
| 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_92 | MAlonzo.Code.Cost.Raw |
| cover_DATA_448 | 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_468 | MAlonzo.Code.Utils |
| cover_LinearFunction_32 | MAlonzo.Code.Cost.Raw |
| cover_List_380 | MAlonzo.Code.Utils |
| cover_Precedence_22 | MAlonzo.Code.Agda.Builtin.Reflection |
| cover_QuadraticFunction_44 | MAlonzo.Code.Cost.Raw |
| cover_RawModel_60 | 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_TagCon_58 | MAlonzo.Code.RawU |
| cover_Tag_28 | MAlonzo.Code.RawU |
| cover_TypecheckOptions_30 | MAlonzo.Code.Main |
| cover_Untyped_146 | MAlonzo.Code.RawU |
| cover__'215'__362 | 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 |
| 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 |
| currencySymbol | PlutusLedgerApi.V1.Value |
| currencySymbolValueOf | PlutusLedgerApi.V1.Value |
| currentLevel | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| curry | PlutusTx.Base, PlutusTx.Prelude |
| cutoff | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
| C_'183''8801'β_26 | MAlonzo.Code.Type.Equality |
| C_'42'_470 | 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'_382 | MAlonzo.Code.Algorithmic.ReductionEC |
| C_'45''183''8902'_994 | 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'v_980 | MAlonzo.Code.Algorithmic.CEK |
| C_'45''183'_200 | MAlonzo.Code.Untyped.CEK |
| C_'45''183'_974 | MAlonzo.Code.Algorithmic.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_158 | MAlonzo.Code.Data.Nat.Base |
| C_'8804''8242''45'step_164 | MAlonzo.Code.Data.Nat.Base |
| C_'8804''8244''45'refl_226 | MAlonzo.Code.Data.Nat.Base |
| C_'8804''8244''45'step_232 | 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'_28 | MAlonzo.Code.Data.Vec.Base |
| C_'91''93'_308 | MAlonzo.Code.Utils.List |
| C_'91''93'_384 | MAlonzo.Code.Utils |
| C_'91''93'_402 | MAlonzo.Code.Utils.List |
| 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'_832 | MAlonzo.Code.Data.List.Base |
| 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'_102 | 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 | 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'_348 | 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'_1076 | MAlonzo.Code.Algorithmic.CEK |
| C_'9633'_226 | MAlonzo.Code.Untyped.CEK |
| C_'9633'_50 | MAlonzo.Code.Algorithmic.CK |
| C_'9670'_1078 | 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'_472 | MAlonzo.Code.Utils |
| C_AbelianGroup'46'constructor_16529 | 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_28 | MAlonzo.Code.Cost.Model |
| C_AddedSizes_64 | MAlonzo.Code.Cost.Raw |
| 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_app'8902'_120 | MAlonzo.Code.Untyped.CEK |
| C_appendByteString_24 | MAlonzo.Code.Builtin |
| C_appendString_52 | MAlonzo.Code.Builtin |
| C_app_106 | MAlonzo.Code.Untyped.CEK |
| 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_302 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_b'8804'b_16 | MAlonzo.Code.Data.Bool.Base |
| C_Band'46'constructor_4745 | 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_458 | 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_28533 | MAlonzo.Code.Function.Bundles |
| C_BiInverse'46'constructor_30623 | MAlonzo.Code.Function.Bundles |
| C_Bijection'46'constructor_12595 | MAlonzo.Code.Function.Bundles |
| C_Bijection'46'constructor_4749 | MAlonzo.Code.Function.Bijection |
| C_bijection_146 | MAlonzo.Code.Function.Related |
| C_bijection_162 | MAlonzo.Code.Function.Related |
| C_bijection_190 | MAlonzo.Code.Function.Related |
| C_bijection_214 | MAlonzo.Code.Function.Related |
| C_bijection_68 | MAlonzo.Code.Function.Related |
| C_Bijective'46'constructor_1705 | MAlonzo.Code.Function.Bijection |
| 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_50705 | MAlonzo.Code.Algebra.Bundles |
| C_BooleanAlgebra'46'constructor_65119 | MAlonzo.Code.Relation.Binary.Lattice |
| C_bool_36 | MAlonzo.Code.RawU |
| C_BoundedJoinSemilattice'46'constructor_11633 | MAlonzo.Code.Relation.Binary.Lattice |
| C_BoundedLattice'46'constructor_44603 | MAlonzo.Code.Relation.Binary.Lattice |
| C_BoundedMeetSemilattice'46'constructor_23291 | MAlonzo.Code.Relation.Binary.Lattice |
| 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_453 | 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_BVar_10 | MAlonzo.Code.Cost.Base |
| C_byteStringToInteger_150 | MAlonzo.Code.Builtin |
| C_bytestring_32 | MAlonzo.Code.RawU |
| C_CancellativeCommutativeSemiring'46'constructor_39835 | MAlonzo.Code.Algebra.Bundles |
| C_case'45'_1042 | MAlonzo.Code.Algorithmic.CEK |
| C_case'45'_216 | MAlonzo.Code.Untyped.CEK |
| C_case'45'_428 | MAlonzo.Code.Algorithmic.ReductionEC |
| 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_Center_144 | 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_CommutativeMagma'46'constructor_2623 | MAlonzo.Code.Algebra.Bundles |
| C_CommutativeMonoid'46'constructor_10343 | MAlonzo.Code.Algebra.Bundles |
| C_CommutativeRing'46'constructor_47013 | MAlonzo.Code.Algebra.Bundles |
| C_CommutativeSemigroup'46'constructor_5887 | MAlonzo.Code.Algebra.Bundles |
| C_CommutativeSemiring'46'constructor_36513 | MAlonzo.Code.Algebra.Bundles |
| C_CommutativeSemiringWithoutOne'46'constructor_27945 | MAlonzo.Code.Algebra.Bundles |
| 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_86 | MAlonzo.Code.Cost.Raw |
| C_constantCost_12 | MAlonzo.Code.Cost.Model |
| C_ConstantCost_62 | MAlonzo.Code.Cost.Raw |
| C_ConstBelowDiagonal_88 | MAlonzo.Code.Cost.Raw |
| C_ConstOffDiagonal_90 | MAlonzo.Code.Cost.Raw |
| C_constr'45'_1030 | MAlonzo.Code.Algorithmic.CEK |
| C_constr'45'_210 | MAlonzo.Code.Untyped.CEK |
| C_constr'45'_420 | MAlonzo.Code.Algorithmic.ReductionEC |
| C_ConstrDATA_450 | 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_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_Counting_42 | MAlonzo.Code.Evaluator.Program |
| C_data'45'cons_300 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_data'45'type_290 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_deBError_578 | MAlonzo.Code.Scoped |
| C_decodeUtf8_58 | MAlonzo.Code.Builtin |
| C_DecPoset'46'constructor_6777 | MAlonzo.Code.Relation.Binary.Bundles |
| C_DecSetoid'46'constructor_1385 | MAlonzo.Code.Relation.Binary.Bundles |
| C_DecStrictPartialOrder'46'constructor_10419 | MAlonzo.Code.Relation.Binary.Bundles |
| C_DecTotalOrder'46'constructor_14337 | MAlonzo.Code.Relation.Binary.Bundles |
| C_def_184 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_delay_26 | MAlonzo.Code.Untyped |
| C_DistributiveLattice'46'constructor_20939 | MAlonzo.Code.Algebra.Bundles |
| C_DistributiveLattice'46'constructor_36391 | MAlonzo.Code.Relation.Binary.Lattice |
| C_divideInteger_10 | MAlonzo.Code.Builtin |
| C_divides_26 | 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_346 | MAlonzo.Code.Algorithmic.ReductionEC |
| C_E'45'error_960 | MAlonzo.Code.Algorithmic.CEK |
| 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_68 | MAlonzo.Code.Relation.Binary.Reasoning.Base.Double |
| C_equals_86 | MAlonzo.Code.Relation.Binary.Reasoning.Base.Triple |
| C_equal_262 | MAlonzo.Code.Data.Nat.Base |
| C_equal_516 | MAlonzo.Code.Data.Fin.Base |
| C_Equivalence'46'constructor_16599 | MAlonzo.Code.Function.Bundles |
| C_Equivalence'46'constructor_433 | MAlonzo.Code.Function.Equivalence |
| C_equivalence_144 | MAlonzo.Code.Function.Related |
| C_equivalence_154 | MAlonzo.Code.Function.Related |
| C_equivalence_182 | MAlonzo.Code.Function.Related |
| C_equivalence_208 | MAlonzo.Code.Function.Related |
| C_equivalence_58 | MAlonzo.Code.Function.Related |
| C_Error'46'constructor_419 | 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_540 | MAlonzo.Code.Scoped |
| C_EvalOpts_28 | MAlonzo.Code.Main |
| C_Eval_40 | MAlonzo.Code.Main |
| 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_fixity_30 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_FloatArg_10 | MAlonzo.Code.Text.Format |
| C_float_136 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_force'45'_206 | MAlonzo.Code.Untyped.CEK |
| C_force_24 | MAlonzo.Code.Untyped |
| 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_5949 | MAlonzo.Code.Function.Bundles |
| C_function_284 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_gasError_350 | MAlonzo.Code.Utils |
| C_gas_6 | MAlonzo.Code.Algorithmic.Evaluation |
| C_greater_268 | MAlonzo.Code.Data.Nat.Base |
| C_greater_522 | MAlonzo.Code.Data.Fin.Base |
| C_Group'46'constructor_14575 | MAlonzo.Code.Algebra.Bundles |
| C_halt_48 | MAlonzo.Code.Data.List.Relation.Binary.Lex.Core |
| C_headList_74 | MAlonzo.Code.Builtin |
| C_here_46 | MAlonzo.Code.Data.List.Relation.Unary.Any |
| C_here_54 | MAlonzo.Code.Data.Vec.Base |
| C_here_88 | MAlonzo.Code.Data.List.Relation.Unary.All |
| C_HeytingAlgebra'46'constructor_55523 | MAlonzo.Code.Relation.Binary.Lattice |
| C_hidden_52 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_iDATA_456 | MAlonzo.Code.Utils |
| C_iData_88 | MAlonzo.Code.Builtin |
| C_IdempotentCommutativeMonoid'46'constructor_12109 | MAlonzo.Code.Algebra.Bundles |
| C_ifThenElse_60 | MAlonzo.Code.Builtin |
| C_implication_152 | MAlonzo.Code.Function.Related |
| C_implication_54 | MAlonzo.Code.Function.Related |
| C_indexByteString_32 | MAlonzo.Code.Builtin |
| C_IndexedPreorder'46'constructor_1981 | 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'_64 | 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'_70 | MAlonzo.Code.Data.Sum.Relation.Binary.Pointwise |
| C_Injection'46'constructor_3057 | MAlonzo.Code.Function.Injection |
| C_Injection'46'constructor_8015 | MAlonzo.Code.Function.Bundles |
| C_injection_156 | MAlonzo.Code.Function.Related |
| C_injection_60 | MAlonzo.Code.Function.Related |
| 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_23693 | MAlonzo.Code.Function.Bundles |
| C_Inverse'46'constructor_3557 | MAlonzo.Code.Function.Inverse |
| C_irrelevant_60 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_IsAbelianGroup'46'constructor_17421 | MAlonzo.Code.Algebra.Structures |
| C_IsAbelianGroupMorphism'46'constructor_11199 | MAlonzo.Code.Algebra.Morphism |
| C_IsBand'46'constructor_4787 | MAlonzo.Code.Algebra.Structures |
| C_IsBiEquivalence'46'constructor_24471 | MAlonzo.Code.Function.Structures |
| C_IsBiInverse'46'constructor_29527 | MAlonzo.Code.Function.Structures |
| C_IsBijection'46'constructor_9159 | MAlonzo.Code.Function.Structures |
| C_IsBooleanAlgebra'46'constructor_59337 | MAlonzo.Code.Algebra.Structures |
| C_IsBooleanAlgebra'46'constructor_59449 | MAlonzo.Code.Relation.Binary.Lattice |
| C_IsBoundedJoinSemilattice'46'constructor_9099 | MAlonzo.Code.Relation.Binary.Lattice |
| C_IsBoundedLattice'46'constructor_39749 | MAlonzo.Code.Relation.Binary.Lattice |
| C_IsBoundedMeetSemilattice'46'constructor_20757 | MAlonzo.Code.Relation.Binary.Lattice |
| C_IsCancellativeCommutativeSemiring'46'constructor_44635 | MAlonzo.Code.Algebra.Structures |
| C_IsCommutativeMagma'46'constructor_2433 | MAlonzo.Code.Algebra.Structures |
| C_IsCommutativeMonoid'46'constructor_9361 | MAlonzo.Code.Algebra.Structures |
| C_IsCommutativeMonoid'691''46'constructor_19839 | MAlonzo.Code.Algebra.Structures.Biased |
| C_IsCommutativeMonoid'737''46'constructor_18101 | MAlonzo.Code.Algebra.Structures.Biased |
| C_IsCommutativeMonoidMorphism'46'constructor_3701 | MAlonzo.Code.Algebra.Morphism |
| C_IsCommutativeRing'46'constructor_54081 | MAlonzo.Code.Algebra.Structures |
| C_IsCommutativeSemigroup'46'constructor_5673 | MAlonzo.Code.Algebra.Structures |
| C_IsCommutativeSemiring'46'constructor_40675 | MAlonzo.Code.Algebra.Structures |
| C_IsCommutativeSemiring'691''46'constructor_26987 | MAlonzo.Code.Algebra.Structures.Biased |
| C_IsCommutativeSemiring'737''46'constructor_21625 | MAlonzo.Code.Algebra.Structures.Biased |
| C_IsCommutativeSemiringWithoutOne'46'constructor_31059 | MAlonzo.Code.Algebra.Structures |
| C_IsCongruent'46'constructor_985 | MAlonzo.Code.Function.Structures |
| C_IsDecEquivalence'46'constructor_3075 | MAlonzo.Code.Relation.Binary.Structures |
| C_IsDecPartialOrder'46'constructor_10957 | MAlonzo.Code.Relation.Binary.Structures |
| C_IsDecStrictPartialOrder'46'constructor_17873 | MAlonzo.Code.Relation.Binary.Structures |
| C_IsDecTotalOrder'46'constructor_21785 | MAlonzo.Code.Relation.Binary.Structures |
| C_IsDistributiveLattice'46'constructor_24097 | MAlonzo.Code.Algebra.Structures |
| C_IsDistributiveLattice'46'constructor_33235 | MAlonzo.Code.Relation.Binary.Lattice |
| C_isEquality_134 | MAlonzo.Code.Relation.Binary.Reasoning.Base.Triple |
| C_isEquality_82 | MAlonzo.Code.Relation.Binary.Reasoning.Base.Double |
| C_IsEquivalence'46'constructor_743 | MAlonzo.Code.Relation.Binary.Structures |
| C_IsGeneralMetric'46'constructor_17141 | MAlonzo.Code.Function.Metric.Structures |
| C_IsGroup'46'constructor_12945 | MAlonzo.Code.Algebra.Structures |
| C_IsGroupMorphism'46'constructor_7461 | MAlonzo.Code.Algebra.Morphism |
| C_IsHeytingAlgebra'46'constructor_48411 | MAlonzo.Code.Relation.Binary.Lattice |
| C_IsIdempotentCommutativeMonoid'46'constructor_10859 | MAlonzo.Code.Algebra.Structures |
| C_IsIdempotentCommutativeMonoidMorphism'46'constructor_5357 | MAlonzo.Code.Algebra.Morphism |
| C_IsIndexedEquivalence'46'constructor_1089 | MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Structures |
| C_IsIndexedPreorder'46'constructor_5831 | MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Structures |
| C_IsInjection'46'constructor_3991 | MAlonzo.Code.Function.Structures |
| C_IsInverse'46'constructor_19781 | MAlonzo.Code.Function.Structures |
| C_IsJoinSemilattice'46'constructor_2281 | MAlonzo.Code.Relation.Binary.Lattice |
| C_IsLattice'46'constructor_20027 | MAlonzo.Code.Algebra.Structures |
| C_IsLattice'46'constructor_25911 | MAlonzo.Code.Relation.Binary.Lattice |
| C_IsLeftInverse'46'constructor_13425 | MAlonzo.Code.Function.Structures |
| C_IsMagma'46'constructor_553 | MAlonzo.Code.Algebra.Structures |
| C_IsMeetSemilattice'46'constructor_13939 | MAlonzo.Code.Relation.Binary.Lattice |
| C_IsMonoid'46'constructor_7687 | MAlonzo.Code.Algebra.Structures |
| C_IsMonoidMorphism'46'constructor_2137 | MAlonzo.Code.Algebra.Morphism |
| C_IsNearSemiring'46'constructor_25785 | MAlonzo.Code.Algebra.Structures |
| C_IsPartialEquivalence'46'constructor_273 | MAlonzo.Code.Relation.Binary.Structures |
| C_IsPartialOrder'46'constructor_9297 | MAlonzo.Code.Relation.Binary.Structures |
| C_IsPreMetric'46'constructor_6061 | MAlonzo.Code.Function.Metric.Structures |
| C_IsPreorder'46'constructor_3993 | MAlonzo.Code.Relation.Binary.Structures |
| C_IsProtoMetric'46'constructor_2109 | MAlonzo.Code.Function.Metric.Structures |
| C_IsQuasiSemiMetric'46'constructor_9549 | MAlonzo.Code.Function.Metric.Structures |
| C_IsRightInverse'46'constructor_16843 | MAlonzo.Code.Function.Structures |
| C_IsRing'46'constructor_48413 | MAlonzo.Code.Algebra.Structures |
| C_IsRingMorphism'46'constructor_13379 | MAlonzo.Code.Algebra.Morphism |
| C_IsRingWithoutAnnihilatingZero'46'constructor_32383 | MAlonzo.Code.Algebra.Structures.Biased |
| C_IsSelectiveMagma'46'constructor_3217 | MAlonzo.Code.Algebra.Structures |
| C_IsSemigroup'46'constructor_4001 | MAlonzo.Code.Algebra.Structures |
| C_IsSemigroupMorphism'46'constructor_1081 | MAlonzo.Code.Algebra.Morphism |
| C_IsSemilattice'46'constructor_6687 | MAlonzo.Code.Algebra.Structures |
| C_IsSemiMetric'46'constructor_13167 | MAlonzo.Code.Function.Metric.Structures |
| C_IsSemiring'46'constructor_37213 | MAlonzo.Code.Algebra.Structures |
| C_IsSemiringWithoutAnnihilatingZero'46'constructor_33703 | MAlonzo.Code.Algebra.Structures |
| C_IsSemiringWithoutOne'46'constructor_27777 | MAlonzo.Code.Algebra.Structures |
| C_IsStrictPartialOrder'46'constructor_13145 | MAlonzo.Code.Relation.Binary.Structures |
| C_IsStrictTotalOrder'46'constructor_23999 | MAlonzo.Code.Relation.Binary.Structures |
| C_isStrict_100 | MAlonzo.Code.Relation.Binary.Reasoning.Base.Triple |
| C_IsSurjection'46'constructor_6577 | MAlonzo.Code.Function.Structures |
| C_IsTotalOrder'46'constructor_19815 | MAlonzo.Code.Relation.Binary.Structures |
| C_IsTotalPreorder'46'constructor_7939 | MAlonzo.Code.Relation.Binary.Structures |
| C_JoinSemilattice'46'constructor_7027 | MAlonzo.Code.Relation.Binary.Lattice |
| 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_lam_190 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_lam_26 | MAlonzo.Code.Function.Related |
| C_lam_50 | MAlonzo.Code.Function.Related |
| C_Lattice'46'constructor_19309 | MAlonzo.Code.Algebra.Bundles |
| C_Lattice'46'constructor_30305 | MAlonzo.Code.Relation.Binary.Lattice |
| C_leaf_178 | MAlonzo.Code.Data.Tree.AVL.Indexed |
| C_left'45'assoc_16 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_left'45'inverse_158 | MAlonzo.Code.Function.Related |
| C_left'45'inverse_186 | MAlonzo.Code.Function.Related |
| C_left'45'inverse_210 | MAlonzo.Code.Function.Related |
| C_left'45'inverse_64 | MAlonzo.Code.Function.Related |
| C_LeftInverse'46'constructor_17795 | MAlonzo.Code.Function.Bundles |
| C_LeftInverse'46'constructor_4555 | MAlonzo.Code.Function.LeftInverse |
| C_Left_142 | MAlonzo.Code.Data.String.Base |
| C_left_442 | MAlonzo.Code.Induction.WellFounded |
| C_lengthOfByteString_30 | MAlonzo.Code.Builtin |
| C_less'45'than'45'or'45'equal_202 | MAlonzo.Code.Data.Nat.Base |
| 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_258 | MAlonzo.Code.Data.Nat.Base |
| C_less_512 | MAlonzo.Code.Data.Fin.Base |
| C_lift_20 | MAlonzo.Code.Level |
| C_linearCostIn_16 | MAlonzo.Code.Cost.Model |
| C_LinearInX_72 | MAlonzo.Code.Cost.Raw |
| C_LinearInY_74 | MAlonzo.Code.Cost.Raw |
| C_LinearInZ_76 | MAlonzo.Code.Cost.Raw |
| C_ListDATA_454 | 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_24 | MAlonzo.Code.Cost.Model |
| C_LiteralInYOrLinearInZ_78 | 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_MachineParameters'46'constructor_623 | MAlonzo.Code.Cost.Base |
| C_Magma'46'constructor_581 | MAlonzo.Code.Algebra.Bundles |
| C_MapDATA_452 | MAlonzo.Code.Utils |
| C_mapData_84 | MAlonzo.Code.Builtin |
| C_MaxOperator'46'constructor_1521 | MAlonzo.Code.Algebra.Construct.NaturalChoice.Base |
| C_maxSize_40 | MAlonzo.Code.Cost.Model |
| C_MaxSize_70 | MAlonzo.Code.Cost.Raw |
| C_MeetSemilattice'46'constructor_18685 | MAlonzo.Code.Relation.Binary.Lattice |
| C_meta_152 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_meta_214 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_Metric'46'constructor_6373 | MAlonzo.Code.Function.Metric.Nat.Bundles |
| C_MinOperator'46'constructor_983 | MAlonzo.Code.Algebra.Construct.NaturalChoice.Base |
| C_minSize_36 | MAlonzo.Code.Cost.Model |
| C_MinSize_68 | MAlonzo.Code.Cost.Raw |
| C_mkCons_72 | MAlonzo.Code.Builtin |
| C_mkCpuAndMemoryModel_102 | MAlonzo.Code.Cost.Raw |
| C_mkExBudget_60 | MAlonzo.Code.Cost |
| C_mkLinearFunction_42 | MAlonzo.Code.Cost.Raw |
| C_mkNilData_108 | MAlonzo.Code.Builtin |
| C_mkNilPairData_110 | MAlonzo.Code.Builtin |
| C_mkPairData_106 | MAlonzo.Code.Builtin |
| C_mkQuadraticFunction_58 | 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_12563 | MAlonzo.Code.Utils |
| C_Monoid'46'constructor_8851 | MAlonzo.Code.Algebra.Bundles |
| C_Morphism'46'constructor_18561 | MAlonzo.Code.Category.Applicative.Indexed |
| C_Morphism'46'constructor_3287 | MAlonzo.Code.Category.Functor |
| C_multipliedSizes_32 | MAlonzo.Code.Cost.Model |
| C_MultipliedSizes_66 | MAlonzo.Code.Cost.Raw |
| C_multiplyInteger_8 | MAlonzo.Code.Builtin |
| C_nameErr_314 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_name_148 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_nat_128 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_NearSemiring'46'constructor_23249 | MAlonzo.Code.Algebra.Bundles |
| 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_194 | MAlonzo.Code.Data.Tree.AVL.Indexed |
| C_non'45'assoc_20 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_nonEmpty_336 | MAlonzo.Code.Relation.Binary.Definitions |
| C_nonstrict_64 | MAlonzo.Code.Relation.Binary.Reasoning.Base.Double |
| C_nonstrict_82 | MAlonzo.Code.Relation.Binary.Reasoning.Base.Triple |
| 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 |
| C_of'8319'_26 | MAlonzo.Code.Relation.Nullary |
| 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_312 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_pdata_40 | MAlonzo.Code.RawU |
| C_pi_202 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_Poset'46'constructor_5219 | MAlonzo.Code.Relation.Binary.Bundles |
| C_pos_10 | MAlonzo.Code.Agda.Builtin.Int |
| C_PreMetric'46'constructor_1523 | MAlonzo.Code.Function.Metric.Nat.Bundles |
| C_Preorder'46'constructor_2269 | MAlonzo.Code.Relation.Binary.Bundles |
| C_prim'45'fun_304 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_PrintfSpec'46'constructor_113 | MAlonzo.Code.Text.Printf.Generic |
| C_proj_260 | MAlonzo.Code.Agda.Builtin.Reflection |
| 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_quadraticCostIn_20 | MAlonzo.Code.Cost.Model |
| C_QuadraticInY_80 | MAlonzo.Code.Cost.Raw |
| C_QuadraticInZ_82 | MAlonzo.Code.Cost.Raw |
| C_quantity'45'0_64 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_quantity'45'ω_66 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_QuasiSemiMetric'46'constructor_3043 | MAlonzo.Code.Function.Metric.Nat.Bundles |
| C_quotientInteger_12 | MAlonzo.Code.Builtin |
| C_RawComonad'46'constructor_293 | MAlonzo.Code.Category.Comonad |
| C_RawFunctor'46'constructor_241 | MAlonzo.Code.Category.Functor |
| C_RawGroup'46'constructor_13903 | MAlonzo.Code.Algebra.Bundles |
| C_RawIAlternative'46'constructor_12491 | MAlonzo.Code.Category.Applicative.Indexed |
| C_RawIApplicative'46'constructor_815 | MAlonzo.Code.Category.Applicative.Indexed |
| C_RawIApplicativeZero'46'constructor_10911 | MAlonzo.Code.Category.Applicative.Indexed |
| C_RawIMonad'46'constructor_711 | MAlonzo.Code.Category.Monad.Indexed |
| C_RawIMonadPlus'46'constructor_12775 | MAlonzo.Code.Category.Monad.Indexed |
| C_RawIMonadZero'46'constructor_10609 | MAlonzo.Code.Category.Monad.Indexed |
| C_RawLattice'46'constructor_18647 | MAlonzo.Code.Algebra.Bundles |
| C_RawMagma'46'constructor_79 | MAlonzo.Code.Algebra.Bundles |
| C_RawMonoid'46'constructor_8313 | MAlonzo.Code.Algebra.Bundles |
| C_RawNearSemiring'46'constructor_22495 | MAlonzo.Code.Algebra.Bundles |
| C_RawRing'46'constructor_42493 | MAlonzo.Code.Algebra.Bundles |
| C_RawSemiring'46'constructor_30035 | MAlonzo.Code.Algebra.Bundles |
| C_Raw_64 | MAlonzo.Code.Text.Format.Generic |
| 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_result_826 | MAlonzo.Code.Data.Nat.DivMod |
| C_reverse'45'implication_180 | MAlonzo.Code.Function.Related |
| C_reverse'45'implication_56 | MAlonzo.Code.Function.Related |
| C_reverse'45'injection_184 | MAlonzo.Code.Function.Related |
| C_reverse'45'injection_62 | MAlonzo.Code.Function.Related |
| C_right'45'assoc_18 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_RightInverse'46'constructor_21353 | MAlonzo.Code.Function.Bundles |
| C_Right_146 | MAlonzo.Code.Data.String.Base |
| C_right_452 | MAlonzo.Code.Induction.WellFounded |
| C_Ring'46'constructor_43513 | MAlonzo.Code.Algebra.Bundles |
| 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_30 | MAlonzo.Code.Data.Nat.Base |
| C_scopeError_18 | MAlonzo.Code.Evaluator.Base |
| C_SelectiveMagma'46'constructor_1577 | MAlonzo.Code.Algebra.Bundles |
| C_Semigroup'46'constructor_3669 | MAlonzo.Code.Algebra.Bundles |
| C_Semilattice'46'constructor_7205 | MAlonzo.Code.Algebra.Bundles |
| C_SemiMetric'46'constructor_4673 | MAlonzo.Code.Function.Metric.Nat.Bundles |
| C_Semiring'46'constructor_33613 | MAlonzo.Code.Algebra.Bundles |
| C_SemiringWithoutAnnihilatingZero'46'constructor_30907 | MAlonzo.Code.Algebra.Bundles |
| C_SemiringWithoutOne'46'constructor_25531 | MAlonzo.Code.Algebra.Bundles |
| C_serialiseData_104 | MAlonzo.Code.Builtin |
| C_Setoid'46'constructor_727 | 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_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_308 | MAlonzo.Code.Agda.Builtin.Reflection |
| C_StrictPartialOrder'46'constructor_8957 | MAlonzo.Code.Relation.Binary.Bundles |
| C_StrictTotalOrder'46'constructor_16739 | MAlonzo.Code.Relation.Binary.Bundles |
| C_strict_78 | 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_SubtractedSizes_84 | MAlonzo.Code.Cost.Raw |
| C_subtractInteger_6 | MAlonzo.Code.Builtin |
| 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_10327 | MAlonzo.Code.Function.Bundles |
| C_Surjection'46'constructor_2369 | MAlonzo.Code.Function.Surjection |
| C_surjection_160 | MAlonzo.Code.Function.Related |
| C_surjection_188 | MAlonzo.Code.Function.Related |
| C_surjection_212 | MAlonzo.Code.Function.Related |
| C_surjection_66 | MAlonzo.Code.Function.Related |
| C_Surjective'46'constructor_1229 | MAlonzo.Code.Function.Surjection |
| 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_310 | 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_68 | 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_12489 | MAlonzo.Code.Relation.Binary.Bundles |
| C_TotalPreorder'46'constructor_3669 | MAlonzo.Code.Relation.Binary.Bundles |
| C_trace_64 | MAlonzo.Code.Builtin |
| C_trans'8212''8608'_796 | MAlonzo.Code.Algorithmic.ReductionEC |
| C_trans'8801'β_18 | MAlonzo.Code.Type.Equality |
| C_trans_360 | MAlonzo.Code.Induction.WellFounded |
| C_tree_248 | MAlonzo.Code.Data.Tree.AVL |
| C_tri'60'_150 | MAlonzo.Code.Relation.Binary.Definitions |
| C_tri'62'_166 | MAlonzo.Code.Relation.Binary.Definitions |
| C_tri'8776'_158 | MAlonzo.Code.Relation.Binary.Definitions |
| C_true_10 | MAlonzo.Code.Agda.Builtin.Bool |
| C_tt_8 | MAlonzo.Code.Agda.Builtin.Unit |
| C_twoArgumentsConstAboveDiagonal_46 | MAlonzo.Code.Cost.Model |
| C_twoArgumentsConstBelowDiagonal_48 | MAlonzo.Code.Cost.Model |
| C_twoArgumentsConstOffDiagonal_50 | MAlonzo.Code.Cost.Model |
| C_twoArgumentsLinearInXAndY_42 | MAlonzo.Code.Cost.Model |
| C_twoArgumentsSubtractedSizes_44 | 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_7973 | 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_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'_1010 | 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_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'_1002 | 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_z'8804'n_22 | MAlonzo.Code.Data.Nat.Base |
| C_zero_10 | 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__'183''45'_204 | MAlonzo.Code.Untyped.CEK |
| C__'183''45'_374 | MAlonzo.Code.Algorithmic.ReductionEC |
| C__'183''45'_986 | MAlonzo.Code.Algorithmic.CEK |
| 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'__1058 | MAlonzo.Code.Algorithmic.CEK |
| C__'44'__12 | |
| 1 (Data Constructor) | MAlonzo.Code.Algorithmic |
| 2 (Data Constructor) | MAlonzo.Code.Untyped.CEK |
| C__'44'__140 | 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'__376 | MAlonzo.Code.Utils |
| 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'__474 | MAlonzo.Code.Utils |
| C__'8658'__8 | MAlonzo.Code.Raw |
| C__'8759''691''8242'__282 | MAlonzo.Code.Data.List.NonEmpty.Base |
| C__'8759''691''8242'__838 | 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'__36 | |
| 1 (Data Constructor) | MAlonzo.Code.Data.Vec.Base |
| 2 (Data Constructor) | MAlonzo.Code.Data.List.NonEmpty.Base |
| C__'8759'__386 | 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_923 | MAlonzo.Code.Function.HalfAdjointEquivalence |
| C__'8804''8868''8314'_30 | MAlonzo.Code.Relation.Binary.Construct.Add.Supremum.NonStrict |
| C__'8827'toℕ__500 | MAlonzo.Code.Data.Fin.Base |
| C__'894'_'9659'__1070 | MAlonzo.Code.Algorithmic.CEK |
| C__'894'_'9659'__222 | MAlonzo.Code.Untyped.CEK |
| C__'9659'__40 | MAlonzo.Code.Algorithmic.CK |
| C__'9666'__208 | MAlonzo.Code.Data.Integer.Base |
| C__'9669'__1074 | 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__46 | MAlonzo.Code.Relation.Nullary |
| C__InverseOf_'46'constructor_2103 | MAlonzo.Code.Function.Inverse |
| 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 | MAlonzo.Code.Raw |
| 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_ε_1052 | 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_Π'46'constructor_1171 | MAlonzo.Code.Function.Equality |
| 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 |