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_RawModel_108 ∷ () Source #

type T_RawModel_108 = Model Source #

pattern C_ConstantCost_110 ∷ Integer → Model Source #

pattern C_AddedSizes_112 ∷ LinearFunction → Model Source #

pattern C_MultipliedSizes_114 ∷ LinearFunction → Model Source #

pattern C_MinSize_116 ∷ LinearFunction → Model Source #

pattern C_MaxSize_118 ∷ LinearFunction → Model Source #

pattern C_LinearInX_120 ∷ LinearFunction → Model Source #

pattern C_LinearInY_122 ∷ LinearFunction → Model Source #

pattern C_LinearInZ_124 ∷ LinearFunction → Model Source #

pattern C_LiteralInYOrLinearInZ_126 ∷ LinearFunction → Model Source #

pattern C_LinearInMaxYZ_128 ∷ LinearFunction → Model Source #

pattern C_LinearInYAndZ_130 ∷ TwoVariableLinearFunction → Model Source #

pattern C_QuadraticInY_132 ∷ OneVariableQuadraticFunction → Model Source #

pattern C_QuadraticInZ_134 ∷ OneVariableQuadraticFunction → Model Source #

pattern C_QuadraticInXAndY_136 ∷ TwoVariableQuadraticFunction → Model Source #

pattern C_SubtractedSizes_138 ∷ LinearFunction → Integer → Model Source #

pattern C_ConstAboveDiagonal_140 ∷ Integer → Model → Model Source #

pattern C_ConstBelowDiagonal_142 ∷ Integer → Model → Model Source #

pattern C_ConstOffDiagonal_144 ∷ Integer → Model → Model Source #

check_ConstantCost_110 ∷ Integer → T_RawModel_108 Source #

check_AddedSizes_112 ∷ T_LinearFunction_32 → T_RawModel_108 Source #

check_MultipliedSizes_114 ∷ T_LinearFunction_32 → T_RawModel_108 Source #

check_MinSize_116 ∷ T_LinearFunction_32 → T_RawModel_108 Source #

check_MaxSize_118 ∷ T_LinearFunction_32 → T_RawModel_108 Source #

check_LinearInX_120 ∷ T_LinearFunction_32 → T_RawModel_108 Source #

check_LinearInY_122 ∷ T_LinearFunction_32 → T_RawModel_108 Source #

check_LinearInZ_124 ∷ T_LinearFunction_32 → T_RawModel_108 Source #

check_LiteralInYOrLinearInZ_126 ∷ T_LinearFunction_32 → T_RawModel_108 Source #

check_LinearInMaxYZ_128 ∷ T_LinearFunction_32 → T_RawModel_108 Source #

check_LinearInYAndZ_130 ∷ T_TwoVariableLinearFunction_60 → T_RawModel_108 Source #

check_QuadraticInY_132 ∷ T_OneVariableQuadraticFunction_44 → T_RawModel_108 Source #

check_QuadraticInZ_134 ∷ T_OneVariableQuadraticFunction_44 → T_RawModel_108 Source #

check_QuadraticInXAndY_136 ∷ T_TwoVariableQuadraticFunction_76 → T_RawModel_108 Source #

check_SubtractedSizes_138 ∷ T_LinearFunction_32 → Integer → T_RawModel_108 Source #

check_ConstAboveDiagonal_140 ∷ Integer → T_RawModel_108 → T_RawModel_108 Source #

check_ConstBelowDiagonal_142 ∷ Integer → T_RawModel_108 → T_RawModel_108 Source #

check_ConstOffDiagonal_144 ∷ Integer → T_RawModel_108 → T_RawModel_108 Source #

cover_RawModel_108 ∷ Model → () Source #

d_CpuAndMemoryModel_146 ∷ () Source #

type T_CpuAndMemoryModel_146 = CpuAndMemoryModel Source #

pattern C_mkCpuAndMemoryModel_156 ∷ Model → Model → CpuAndMemoryModel Source #

check_mkCpuAndMemoryModel_156 ∷ T_RawModel_108 → T_RawModel_108 → T_CpuAndMemoryModel_146 Source #

cover_CpuAndMemoryModel_146 ∷ CpuAndMemoryModel → () Source #

d_cpuModel_152 ∷ T_CpuAndMemoryModel_146 → T_RawModel_108 Source #

d_memoryModel_154 ∷ T_CpuAndMemoryModel_146 → T_RawModel_108 Source #

d_BuiltinCostMap_158 ∷ () Source #

d_RawCostModel_160 ∷ () Source #