Documentation

d_Map_6 ∷ T_Level_18 → () → () Source #

d_empty_10 ∷ T_Level_18 → () → T_Tree_240 Source #

d_lookup_32 ∷ T_Level_18 → () → T_String_6 → T_Tree_240 → Maybe AgdaAny Source #

d_singleton_36 ∷ T_Level_18 → () → T_String_6 → AgdaAny → T_Tree_240 Source #

d_unionWith_44 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → Maybe AgdaAny → AgdaAny) → T_Tree_240 → T_Tree_240 → T_Tree_240 Source #

d_ExBudget_50 ∷ () Source #

data T_ExBudget_50 Source #

d_ExCPU_56 ∷ T_ExBudget_50 → Integer Source #

d_ExMem_58 ∷ T_ExBudget_50 → Integer Source #

d_fromHExBudget_62 ∷ T_HExBudget_6 → T_ExBudget_50 Source #

d_ε'8364'_66 ∷ T_ExBudget_50 Source #

d__'8729''8364'__68 ∷ T_ExBudget_50 → T_ExBudget_50 → T_ExBudget_50 Source #

d_isMonoidExBudget_78 ∷ T_IsMonoid_358 Source #

d_builtinCost_94 ∷ T_Builtin_2 → T_BuiltinModel_60 → T_Vec_24 → T_ExBudget_50 Source #

d_CostModel_102 ∷ () Source #

d_cekMachineCostFunction_104 ∷ T_HCekMachineCosts_4 → T_StepKind_6 → T_ExBudget_50 Source #

d_exBudgetCategoryCost_124 ∷ T__'215'__364 T_HCekMachineCosts_4 (T_Builtin_2 → T_BuiltinModel_60) → T_ExBudgetCategory_34 → T_ExBudget_50 Source #

d_machineParameters_138 ∷ T__'215'__364 T_HCekMachineCosts_4 (T_Builtin_2 → T_BuiltinModel_60) → T_MachineParameters_46 Source #

d_countingReport_142 ∷ T_ExBudget_50 → T_String_6 Source #

d_mkKeyFromExBudgetCategory_148 ∷ T_ExBudgetCategory_34 → T_String_6 Source #

d_TallyingBudget_154 ∷ () Source #

d_lookup_156 ∷ T_Tree_240 → T_ExBudgetCategory_34 → T_ExBudget_50 Source #

d_εT_176 ∷ T__'215'__364 T_Tree_240 T_ExBudget_50 Source #

d__'8729'T__178 ∷ T__'215'__364 T_Tree_240 T_ExBudget_50 → T__'215'__364 T_Tree_240 T_ExBudget_50 → T__'215'__364 T_Tree_240 T_ExBudget_50 Source #

d_u_192 ∷ T_Tree_240 → T_ExBudget_50 → T_Tree_240 → T_ExBudget_50 → T_ExBudget_50 → Maybe T_ExBudget_50 → T_ExBudget_50 Source #

du_u_192 ∷ T_ExBudget_50 → Maybe T_ExBudget_50 → T_ExBudget_50 Source #

d_TallyingBudget'45'assoc_200 ∷ a Source #

d_Tallying'45'budget'45'identity'691'_202 ∷ a Source #

d_isMonoidTallyingBudget_204 ∷ T_IsMonoid_358 Source #

d_tallyingCekMachineCost_210 ∷ T__'215'__364 T_HCekMachineCosts_4 (T_Builtin_2 → T_BuiltinModel_60) → T_ExBudgetCategory_34 → T__'215'__364 T_Tree_240 T_ExBudget_50 Source #

d_tallyingMachineParameters_218 ∷ T__'215'__364 T_HCekMachineCosts_4 (T_Builtin_2 → T_BuiltinModel_60) → T_MachineParameters_46 Source #

d_tallyingReport_222 ∷ T__'215'__364 T_Tree_240 T_ExBudget_50 → T_String_6 Source #

d_totalComputeCost_232 ∷ T_Tree_240 → T_ExBudget_50 → T_ExBudget_50 Source #

du_totalComputeCost_232 ∷ T_Tree_240 → T_ExBudget_50 Source #

d_totalBuiltinCosts_234 ∷ T_Tree_240 → T_ExBudget_50 → T_ExBudget_50 Source #

du_totalBuiltinCosts_234 ∷ T_Tree_240 → T_ExBudget_50 Source #

d_getCPU_242 ∷ T_Tree_240 → T_ExBudget_50 → T_ExBudget_50 → T_Float_6 Source #

du_getCPU_242 ∷ T_ExBudget_50 → T_Float_6 Source #

d_budgetToString_246 ∷ T_Tree_240 → T_ExBudget_50 → T_ExBudget_50 → T_String_6 Source #

du_budgetToString_246 ∷ T_ExBudget_50 → T_String_6 Source #

d_printStepCost_252 ∷ T_Tree_240 → T_ExBudget_50 → T_StepKind_6 → T_ExBudget_50 → T_String_6 Source #

du_printStepCost_252 ∷ T_StepKind_6 → T_ExBudget_50 → T_String_6 Source #

d_printStepReport_258 ∷ T_Tree_240 → T_ExBudget_50 → T_Tree_240 → T_String_6 Source #

du_printStepReport_258 ∷ T_Tree_240 → T_String_6 Source #

d_printBuiltinCost_266 ∷ T_Tree_240 → T_ExBudget_50 → T_Builtin_2 → T_ExBudget_50 → T_String_6 Source #

du_printBuiltinCost_266 ∷ T_Builtin_2 → T_ExBudget_50 → T_String_6 Source #

d_printBuiltinReport_274 ∷ T_Tree_240 → T_ExBudget_50 → T_Tree_240 → T_String_6 Source #

du_printBuiltinReport_274 ∷ T_Tree_240 → T_String_6 Source #

d_formatTimePicoseconds_282 ∷ T_Tree_240 → T_ExBudget_50 → T_Float_6 → T_String_6 Source #

du_formatTimePicoseconds_282 ∷ T_Float_6 → T_String_6 Source #