Documentation

type T_HCekMachineCosts_4 = CekMachineCostsBase Identity Source #

d_HCekMachineCosts_4 ∷ a Source #

type T_HExBudget_6 = ExBudget Source #

d_HExBudget_6 ∷ a Source #

d_getCekStartupCost_8 ∷ T_HCekMachineCosts_4 → T_HExBudget_6 Source #

d_getCekVarCost_10 ∷ T_HCekMachineCosts_4 → T_HExBudget_6 Source #

d_getCekConstCost_12 ∷ T_HCekMachineCosts_4 → T_HExBudget_6 Source #

d_getCekLamCost_14 ∷ T_HCekMachineCosts_4 → T_HExBudget_6 Source #

d_getCekDelayCost_16 ∷ T_HCekMachineCosts_4 → T_HExBudget_6 Source #

d_getCekForceCost_18 ∷ T_HCekMachineCosts_4 → T_HExBudget_6 Source #

d_getCekApplyCost_20 ∷ T_HCekMachineCosts_4 → T_HExBudget_6 Source #

d_getCekBuiltinCost_22 ∷ T_HCekMachineCosts_4 → T_HExBudget_6 Source #

d_getCekConstrCost_24 ∷ T_HCekMachineCosts_4 → T_HExBudget_6 Source #

d_getCekCaseCost_26 ∷ T_HCekMachineCosts_4 → T_HExBudget_6 Source #

d_getCPUCost_28 ∷ T_HExBudget_6 → Integer Source #

d_getMemoryCost_30 ∷ T_HExBudget_6 → Integer Source #

d_LinearFunction_32 ∷ () Source #

type T_LinearFunction_32 = LinearFunction Source #

pattern C_mkLinearFunction_42 ∷ Integer → Integer → LinearFunction Source #

check_mkLinearFunction_42 ∷ Integer → Integer → T_LinearFunction_32 Source #

cover_LinearFunction_32 ∷ LinearFunction → () Source #

d_intercept_38 ∷ T_LinearFunction_32 → Integer Source #

d_slope_40 ∷ T_LinearFunction_32 → Integer Source #

d_OneVariableQuadraticFunction_44 ∷ () Source #

type T_OneVariableQuadraticFunction_44 = OneVariableQuadraticFunction Source #

pattern C_mkOneVariableQuadraticFunction_58 ∷ Integer → Integer → Integer → OneVariableQuadraticFunction Source #

check_mkOneVariableQuadraticFunction_58 ∷ Integer → Integer → Integer → T_OneVariableQuadraticFunction_44 Source #

cover_OneVariableQuadraticFunction_44 ∷ OneVariableQuadraticFunction → () Source #

d_coeff0_52 ∷ T_OneVariableQuadraticFunction_44 → Integer Source #

d_coeff1_54 ∷ T_OneVariableQuadraticFunction_44 → Integer Source #

d_coeff2_56 ∷ T_OneVariableQuadraticFunction_44 → Integer Source #

d_TwoVariableLinearFunction_60 ∷ () Source #

type T_TwoVariableLinearFunction_60 = TwoVariableLinearFunction Source #

pattern C_mkTwoVariableLinearFunction_74 ∷ Integer → Integer → Integer → TwoVariableLinearFunction Source #

check_mkTwoVariableLinearFunction_74 ∷ Integer → Integer → Integer → T_TwoVariableLinearFunction_60 Source #

cover_TwoVariableLinearFunction_60 ∷ TwoVariableLinearFunction → () Source #

d_intercept_68 ∷ T_TwoVariableLinearFunction_60 → Integer Source #

d_slope1_70 ∷ T_TwoVariableLinearFunction_60 → Integer Source #

d_slope2_72 ∷ T_TwoVariableLinearFunction_60 → Integer Source #

d_TwoVariableQuadraticFunction_76 ∷ () Source #

type T_TwoVariableQuadraticFunction_76 = TwoVariableQuadraticFunction Source #

pattern C_mkTwoVariableQuadraticFunction_106 ∷ Integer → Integer → Integer → Integer → Integer → Integer → Integer → TwoVariableQuadraticFunction Source #

check_mkTwoVariableQuadraticFunction_106 ∷ Integer → Integer → Integer → Integer → Integer → Integer → Integer → T_TwoVariableQuadraticFunction_76 Source #

cover_TwoVariableQuadraticFunction_76 ∷ TwoVariableQuadraticFunction → () Source #

d_minimum_92 ∷ T_TwoVariableQuadraticFunction_76 → Integer Source #

d_coeff00_94 ∷ T_TwoVariableQuadraticFunction_76 → Integer Source #

d_coeff10_96 ∷ T_TwoVariableQuadraticFunction_76 → Integer Source #

d_coeff01_98 ∷ T_TwoVariableQuadraticFunction_76 → Integer Source #

d_coeff20_100 ∷ T_TwoVariableQuadraticFunction_76 → Integer Source #

d_coeff11_102 ∷ T_TwoVariableQuadraticFunction_76 → Integer Source #

d_coeff02_104 ∷ T_TwoVariableQuadraticFunction_76 → Integer Source #

d_ExpModCostingFunction_108 ∷ () Source #

type T_ExpModCostingFunction_108 = ExpModCostingFunction Source #

pattern C_mkExpModCostingFunction_122 ∷ Integer → Integer → Integer → ExpModCostingFunction Source #

check_mkExpModCostingFunction_122 ∷ Integer → Integer → Integer → T_ExpModCostingFunction_108 Source #

cover_ExpModCostingFunction_108 ∷ ExpModCostingFunction → () Source #

d_coeff00_116 ∷ T_ExpModCostingFunction_108 → Integer Source #

d_coeff11_118 ∷ T_ExpModCostingFunction_108 → Integer Source #

d_coeff12_120 ∷ T_ExpModCostingFunction_108 → Integer Source #

d_RawModel_124 ∷ () Source #

type T_RawModel_124 = Model Source #

pattern C_ConstantCost_126 ∷ Integer → Model Source #

pattern C_AddedSizes_128 ∷ LinearFunction → Model Source #

pattern C_MultipliedSizes_130 ∷ LinearFunction → Model Source #

pattern C_MinSize_132 ∷ LinearFunction → Model Source #

pattern C_MaxSize_134 ∷ LinearFunction → Model Source #

pattern C_LinearInX_136 ∷ LinearFunction → Model Source #

pattern C_LinearInY_138 ∷ LinearFunction → Model Source #

pattern C_LinearInZ_140 ∷ LinearFunction → Model Source #

pattern C_LiteralInYOrLinearInZ_142 ∷ LinearFunction → Model Source #

pattern C_LinearInMaxYZ_144 ∷ LinearFunction → Model Source #

pattern C_LinearInYAndZ_146 ∷ TwoVariableLinearFunction → Model Source #

pattern C_QuadraticInY_148 ∷ OneVariableQuadraticFunction → Model Source #

pattern C_QuadraticInZ_150 ∷ OneVariableQuadraticFunction → Model Source #

pattern C_QuadraticInXAndY_152 ∷ TwoVariableQuadraticFunction → Model Source #

pattern C_SubtractedSizes_154 ∷ LinearFunction → Integer → Model Source #

pattern C_ConstAboveDiagonal_156 ∷ Integer → Model → Model Source #

pattern C_ConstBelowDiagonal_158 ∷ Integer → Model → Model Source #

pattern C_ConstOffDiagonal_160 ∷ Integer → Model → Model Source #

pattern C_ExpModCost_162 ∷ ExpModCostingFunction → Model Source #

check_ConstantCost_126 ∷ Integer → T_RawModel_124 Source #

check_AddedSizes_128 ∷ T_LinearFunction_32 → T_RawModel_124 Source #

check_MultipliedSizes_130 ∷ T_LinearFunction_32 → T_RawModel_124 Source #

check_MinSize_132 ∷ T_LinearFunction_32 → T_RawModel_124 Source #

check_MaxSize_134 ∷ T_LinearFunction_32 → T_RawModel_124 Source #

check_LinearInX_136 ∷ T_LinearFunction_32 → T_RawModel_124 Source #

check_LinearInY_138 ∷ T_LinearFunction_32 → T_RawModel_124 Source #

check_LinearInZ_140 ∷ T_LinearFunction_32 → T_RawModel_124 Source #

check_LiteralInYOrLinearInZ_142 ∷ T_LinearFunction_32 → T_RawModel_124 Source #

check_LinearInMaxYZ_144 ∷ T_LinearFunction_32 → T_RawModel_124 Source #

check_LinearInYAndZ_146 ∷ T_TwoVariableLinearFunction_60 → T_RawModel_124 Source #

check_QuadraticInY_148 ∷ T_OneVariableQuadraticFunction_44 → T_RawModel_124 Source #

check_QuadraticInZ_150 ∷ T_OneVariableQuadraticFunction_44 → T_RawModel_124 Source #

check_QuadraticInXAndY_152 ∷ T_TwoVariableQuadraticFunction_76 → T_RawModel_124 Source #

check_SubtractedSizes_154 ∷ T_LinearFunction_32 → Integer → T_RawModel_124 Source #

check_ConstAboveDiagonal_156 ∷ Integer → T_RawModel_124 → T_RawModel_124 Source #

check_ConstBelowDiagonal_158 ∷ Integer → T_RawModel_124 → T_RawModel_124 Source #

check_ConstOffDiagonal_160 ∷ Integer → T_RawModel_124 → T_RawModel_124 Source #

check_ExpModCost_162 ∷ T_ExpModCostingFunction_108 → T_RawModel_124 Source #

cover_RawModel_124 ∷ Model → () Source #

d_CpuAndMemoryModel_164 ∷ () Source #

type T_CpuAndMemoryModel_164 = CpuAndMemoryModel Source #

pattern C_mkCpuAndMemoryModel_174 ∷ Model → Model → CpuAndMemoryModel Source #

check_mkCpuAndMemoryModel_174 ∷ T_RawModel_124 → T_RawModel_124 → T_CpuAndMemoryModel_164 Source #

cover_CpuAndMemoryModel_164 ∷ CpuAndMemoryModel → () Source #

d_cpuModel_170 ∷ T_CpuAndMemoryModel_164 → T_RawModel_124 Source #

d_memoryModel_172 ∷ T_CpuAndMemoryModel_164 → T_RawModel_124 Source #

d_BuiltinCostMap_176 ∷ () Source #

d_RawCostModel_178 ∷ () Source #