Documentation

d_Intercept_4 ∷ () Source #

d_Slope_6 ∷ () Source #

d_CostingModel_8 ∷ p → () Source #

data T_CostingModel_8 Source #

d_BuiltinModel_58 ∷ p → () Source #

data T_BuiltinModel_58 Source #

d_costingCPU_66 ∷ T_BuiltinModel_58 → T_CostingModel_8 Source #

d_costingMem_68 ∷ T_BuiltinModel_58 → T_CostingModel_8 Source #

d_prod_72 ∷ Integer → T_Vec_24 → Integer Source #

d_maximum_76 ∷ Integer → T_Vec_24 → Integer Source #

d_minimum_80 ∷ Integer → T_Vec_24 → Integer Source #

d_runModel_92 ∷ Integer → T_CostingModel_8 → T_Vec_24 → Integer Source #

d_convertRawModel_256 ∷ Integer → T_RawModel_92 → Maybe T_CostingModel_8 Source #

d_convertCpuAndMemoryModel_356 ∷ Integer → T_CpuAndMemoryModel_126 → Maybe T_BuiltinModel_58 Source #

d_getModel_380 ∷ T_Builtin_2 → T_List_380 (T__'215'__362 T_String_6 T_CpuAndMemoryModel_126) → Maybe T_Σ_14 Source #

d_dummyModel_416 ∷ Integer → T_BuiltinModel_58 Source #

du_dummyModel_416 ∷ T_BuiltinModel_58 Source #

d_lookupModel_422 ∷ [T_Σ_14] → T_Builtin_2 → T_BuiltinModel_58 Source #

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

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

d_ModelAssignment_480 ∷ () Source #

d_createMap_484 ∷ T_List_380 (T__'215'__362 T_String_6 T_CpuAndMemoryModel_126) → Maybe (T_Builtin_2 → T_BuiltinModel_58) Source #