| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Cost
Documentation
d_Map_6 :: T_Level_18 -> () -> () #
d_ExBudget_52 :: () #
data T_ExBudget_52 #
Constructors
| C_mkExBudget_62 Integer Integer |
d_ExCPU_58 :: T_ExBudget_52 -> Integer #
d_ExMem_60 :: T_ExBudget_52 -> Integer #
d_builtinCost_96 :: T_Builtin_2 -> T_BuiltinModel_62 -> T_Vec_28 -> T_ExBudget_52 #
d_CostModel_104 :: () #
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_TallyingBudget_156 :: () #
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_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_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 #
d_printStepCost_254 :: T_Tree_254 -> T_ExBudget_52 -> T_StepKind_6 -> T_ExBudget_52 -> T_String_6 #
d_printStepReport_260 :: T_Tree_254 -> T_ExBudget_52 -> T_Tree_254 -> T_String_6 #
d_printBuiltinCost_268 :: T_Tree_254 -> T_ExBudget_52 -> T_Builtin_2 -> T_ExBudget_52 -> T_String_6 #
d_printBuiltinReport_276 :: T_Tree_254 -> T_ExBudget_52 -> T_Tree_254 -> T_String_6 #