Documentation

d_Map_6 :: T_Level_18 -> () -> () #

d_ExBudget_52 :: () #

data T_ExBudget_52 #

d_ExCPU_58 :: T_ExBudget_52 -> Integer #

d_ExMem_60 :: T_ExBudget_52 -> Integer #

d_fromHExBudget_64 :: T_HExBudget_6 -> T_ExBudget_52 #

d_ε'8364'_68 :: T_ExBudget_52 #

d__'8729''8364'__70 :: T_ExBudget_52 -> T_ExBudget_52 -> T_ExBudget_52 #

d_isMonoidExBudget_80 :: T_IsMonoid_686 #

d_builtinCost_96 :: T_Builtin_2 -> T_BuiltinModel_62 -> T_Vec_28 -> T_ExBudget_52 #

d_CostModel_104 :: () #

d_cekMachineCostFunction_106 :: T_HCekMachineCosts_4 -> T_StepKind_6 -> T_ExBudget_52 #

d_exBudgetCategoryCost_126 :: T__'215'__426 T_HCekMachineCosts_4 (T_Builtin_2 -> T_BuiltinModel_62) -> T_ExBudgetCategory_34 -> T_ExBudget_52 #

d_machineParameters_140 :: T__'215'__426 T_HCekMachineCosts_4 (T_Builtin_2 -> T_BuiltinModel_62) -> T_MachineParameters_46 #

d_countingReport_144 :: T_ExBudget_52 -> T_String_6 #

d_mkKeyFromExBudgetCategory_150 :: T_ExBudgetCategory_34 -> T_String_6 #

d_TallyingBudget_156 :: () #

d_lookup_158 :: T_Tree_254 -> T_ExBudgetCategory_34 -> T_ExBudget_52 #

d_εT_178 :: T__'215'__426 T_Tree_254 T_ExBudget_52 #

d__'8729'T__180 :: T__'215'__426 T_Tree_254 T_ExBudget_52 -> T__'215'__426 T_Tree_254 T_ExBudget_52 -> T__'215'__426 T_Tree_254 T_ExBudget_52 #

d_u_194 :: T_Tree_254 -> T_ExBudget_52 -> T_Tree_254 -> T_ExBudget_52 -> T_ExBudget_52 -> Maybe T_ExBudget_52 -> T_ExBudget_52 #

du_u_194 :: T_ExBudget_52 -> Maybe T_ExBudget_52 -> T_ExBudget_52 #

d_TallyingBudget'45'assoc_202 :: a #

d_Tallying'45'budget'45'identity'691'_204 :: a #

d_isMonoidTallyingBudget_206 :: T_IsMonoid_686 #

d_tallyingCekMachineCost_212 :: T__'215'__426 T_HCekMachineCosts_4 (T_Builtin_2 -> T_BuiltinModel_62) -> T_ExBudgetCategory_34 -> T__'215'__426 T_Tree_254 T_ExBudget_52 #

d_tallyingMachineParameters_220 :: T__'215'__426 T_HCekMachineCosts_4 (T_Builtin_2 -> T_BuiltinModel_62) -> T_MachineParameters_46 #

d_tallyingReport_224 :: T__'215'__426 T_Tree_254 T_ExBudget_52 -> T_String_6 #

d_totalComputeCost_234 :: T_Tree_254 -> T_ExBudget_52 -> T_ExBudget_52 #

du_totalComputeCost_234 :: T_Tree_254 -> T_ExBudget_52 #

d_totalBuiltinCosts_236 :: T_Tree_254 -> T_ExBudget_52 -> T_ExBudget_52 #

du_totalBuiltinCosts_236 :: T_Tree_254 -> T_ExBudget_52 #

d_getCPU_244 :: T_Tree_254 -> T_ExBudget_52 -> T_ExBudget_52 -> T_Float_6 #

du_getCPU_244 :: T_ExBudget_52 -> T_Float_6 #

d_budgetToString_248 :: T_Tree_254 -> T_ExBudget_52 -> T_ExBudget_52 -> T_String_6 #

du_budgetToString_248 :: T_ExBudget_52 -> T_String_6 #

d_printStepCost_254 :: T_Tree_254 -> T_ExBudget_52 -> T_StepKind_6 -> T_ExBudget_52 -> T_String_6 #

du_printStepCost_254 :: T_StepKind_6 -> T_ExBudget_52 -> T_String_6 #

d_printStepReport_260 :: T_Tree_254 -> T_ExBudget_52 -> T_Tree_254 -> T_String_6 #

du_printStepReport_260 :: T_Tree_254 -> T_String_6 #

d_printBuiltinCost_268 :: T_Tree_254 -> T_ExBudget_52 -> T_Builtin_2 -> T_ExBudget_52 -> T_String_6 #

du_printBuiltinCost_268 :: T_Builtin_2 -> T_ExBudget_52 -> T_String_6 #

d_printBuiltinReport_276 :: T_Tree_254 -> T_ExBudget_52 -> T_Tree_254 -> T_String_6 #

du_printBuiltinReport_276 :: T_Tree_254 -> T_String_6 #

d_formatTimePicoseconds_284 :: T_Tree_254 -> T_ExBudget_52 -> T_Float_6 -> T_String_6 #

du_formatTimePicoseconds_284 :: T_Float_6 -> T_String_6 #