Documentation

d_Intercept_4 ∷ () Source #

d_Slope_6 ∷ () Source #

d_CostingModel_8 ∷ p → () Source #

data T_CostingModel_8 Source #

d_BuiltinModel_60 ∷ p → () Source #

data T_BuiltinModel_60 Source #

d_costingCPU_68 ∷ T_BuiltinModel_60 → T_CostingModel_8 Source #

d_costingMem_70 ∷ T_BuiltinModel_60 → T_CostingModel_8 Source #

d_prod_74 ∷ Integer → T_Vec_24 → Integer Source #

d_maximum_78 ∷ Integer → T_Vec_24 → Integer Source #

d_minimum_82 ∷ Integer → T_Vec_24 → Integer Source #

d_runModel_94 ∷ Integer → T_CostingModel_8 → T_Vec_24 → Integer Source #

d_convertRawModel_270 ∷ Integer → T_RawModel_108 → Maybe T_CostingModel_8 Source #

d_convertCpuAndMemoryModel_380 ∷ Integer → T_CpuAndMemoryModel_146 → Maybe T_BuiltinModel_60 Source #

d_getModel_404 ∷ T_Builtin_2 → T_List_382 (T__'215'__364 T_String_6 T_CpuAndMemoryModel_146) → Maybe T_Σ_14 Source #

d_dummyModel_440 ∷ Integer → T_BuiltinModel_60 Source #

du_dummyModel_440 ∷ T_BuiltinModel_60 Source #

d_lookupModel_446 ∷ [T_Σ_14] → T_Builtin_2 → T_BuiltinModel_60 Source #

d_allJust_482 ∷ () → [Maybe AgdaAny] → Maybe [AgdaAny] Source #

du_allJust_482 ∷ [Maybe AgdaAny] → Maybe [AgdaAny] Source #

d_ModelAssignment_504 ∷ () Source #

d_createMap_508 ∷ T_List_382 (T__'215'__364 T_String_6 T_CpuAndMemoryModel_146) → Maybe (T_Builtin_2 → T_BuiltinModel_60) Source #