Documentation

d_Intercept_4 ∷ () Source #

d_Slope_6 ∷ () Source #

d_CostingModel_8 ∷ p → () Source #

data T_CostingModel_8 Source #

d_BuiltinModel_62 ∷ p → () Source #

data T_BuiltinModel_62 Source #

d_costingCPU_70 ∷ T_BuiltinModel_62 → T_CostingModel_8 Source #

d_costingMem_72 ∷ T_BuiltinModel_62 → T_CostingModel_8 Source #

d_prod_76 ∷ Integer → T_Vec_28 → Integer Source #

d_maximum_80 ∷ Integer → T_Vec_28 → Integer Source #

d_minimum_84 ∷ Integer → T_Vec_28 → Integer Source #

d_runModel_96 ∷ Integer → T_CostingModel_8 → T_Vec_28 → Integer Source #

d_convertRawModel_292 ∷ Integer → T_RawModel_144 → Maybe T_CostingModel_8 Source #

d_convertCpuAndMemoryModel_416 ∷ Integer → T_CpuAndMemoryModel_192 → Maybe T_BuiltinModel_62 Source #

d_getModel_440 ∷ T_Builtin_2 → T_List_384 (T__'215'__366 T_String_6 T_CpuAndMemoryModel_192) → Maybe T_Σ_14 Source #

d_dummyModel_476 ∷ Integer → T_BuiltinModel_62 Source #

du_dummyModel_476 ∷ T_BuiltinModel_62 Source #

d_lookupModel_482 ∷ [T_Σ_14] → T_Builtin_2 → T_BuiltinModel_62 Source #

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

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

d_ModelAssignment_540 ∷ () Source #

d_createMap_544 ∷ T_List_384 (T__'215'__366 T_String_6 T_CpuAndMemoryModel_192) → Maybe (T_Builtin_2 → T_BuiltinModel_62) Source #